15 registros encontrados - programa Programa de Pós-Graduação em Ciência da Computação E área de concentração Sistemas de Computação
Bittencourt, Luiz Fernando, 1981-
TESE - Português
Número de chamada: T/UNICAMP B548a
Publicação: Campinas, SP : [s.n.], 2010.
Assunto: Sistemas distribuídos
Resumo: Grades computacionais são sistemas distribuídos compartilhados potencialmente grandes compostos por recursos heterogêneos que são ligados...
Ver mais
Resumo
Resumo: Grades computacionais são sistemas distribuídos compartilhados potencialmente grandes compostos por recursos heterogêneos que são ligados através de uma rede com enlaces heterogêneos. Esses sistemas tornaram-se ambientes largamente difundidos para execução de tarefas que demandam grande capacidade de processamento. Por serem sistemas compartilhados, a submissão de tarefas nas grades é oriunda de diversos usuários independentemente, o que gera uma demanda concorrente pelos recursos computacionais que deve ser gerenciada pelo middleware da grade. O escalonador é o componente responsável por decidir de que forma a distribuição dessas tarefas será realizada, devendo tratar das peculiaridades desse ambiente, tais como a heterogeneidade e o comportamento dinâmico dos recursos que o compõem, com variações tanto em quantidade quanto em qualidade. A função objetivo mais comum encontrada no escalonamento de tarefas é a minimização do makespan, ou seja, o tempo de término das tarefas que estão sendo escalonadas. Dentre os possíveis tipos de tarefas executadas em grades podemos destacar as tarefas independentes, que executam sem comunicação entre si, e as tarefas dependentes, que possuem dependências de dados que geram precedências de execução e são frequentemente modeladas como grafos acíclicos direcionados (DAGs - do inglês directed acyclic graphs). Dentre as aplicações compostas por tarefas dependentes, os DAGs de e-Ciência se sobressaem pela complexidade e necessidade crescente de recursos computacionais. Adicionalmente, o problema de escalonamento de tarefas, em sua forma geral, é NP-Completo. Dessa forma, o estudo do escalonamento de DAGs em grades computacionais é importante para o aprimoramento da execução de aplicações científicas utilizadas em diversas áreas do conhecimento. Nesta tese apresentamos algoritmos para quatro tipos de problema relacionados ao escalonamento de DAGs em grades: escalonamento estático de DAGs, escalonamento dinâmico de DAGs, escalonamento bi-critério e escalonamento de múltiplos DAGs. Apresentamos avaliações do makespan gerado pelos algoritmos após o escalonamento inicial e após a execução das tarefas com carga externa simulada nos recursos
BCCL (1)
IMECC (1)
IMECC (1)
Algoritmos RWA para redes ópticas transparentes considerando limitações da camada física
Rosa, Sávio Rodrigo Antunes dos Santos
DISSERTAÇÃO - Português
Número de chamada: T/UNICAMP R71a
Publicação: Campinas, SP : [s.n.], 2010.
Assunto: Comunicações óticas
Resumo: Com a proliferação de novos serviços multimídia, tais como VoIP e IP-TV existe uma demanda crescente por altas taxas de transferência de...
Ver mais
Resumo
Resumo: Com a proliferação de novos serviços multimídia, tais como VoIP e IP-TV existe uma demanda crescente por altas taxas de transferência de dados. O núcleo da rede, por outro lado, deve ter sua capacidade continuamente dimensionada para prover um serviço confiável aos usuários finais. Nas Redes WDM, os caminhos ópticos consistem em circuitos ópticos fim-a-fim estabelecidos por meio da alocação de comprimento de onda em cada enlace de fibra óptica da rota origem-destino. Nas redes WDM transparentes, o sinal óptico pode trafegar sem sofrer conversão opto-eletro-óptica (O-E-O), minimizando o custo da rede, pois os equipamentos de comutação O-E-O são elementos de alto custo. Entretanto, apesar da vantagem na diminuição do custo, essas redes são mais susceptíveis às restrições de camada física, uma vez que o sinal não é regenerado a cada nó. Efeitos como Emissão Espontânea Amplificada (ASE), Dispersão de Modo de Polarização (PMD), entre outros, degradam a relação sinal-ruído óptica (OSNR) na recepção, podendo levar a taxas de erro de bits (BER) elevadas. Além dos efeitos degradantes do sinal, uma outra grande questão em redes ópticas é a proteção. Mecanismos devem ser desenvolvidos para aumentar a confiabilidade dos serviços que fazem uso da rede. Dessa forma, quando uma fibra óptica sofre um corte, as chamadas que faziam uso dessa fibra devem ser reroteadas, a fim de que a duração da interrupção do sinal seja a menor possível. Este trabalho apresenta um estudo das limitações da camada física no contexto de proteção em redes ópticas transparentes. Pela primeira vez os efeitos limitantes foram avaliados sobre redes com proteção por caminho compartilhado, e um novo algoritmo mais eficiente neste contexto foi desenvolvido. O estudo de confiabilidade diferenciada em redes submetidas a limitações físicas foi também analisado de forma inovadora
BCCL (1)
IMECC (1)
IMECC (1)
Analise e comparação qualitativa de sistemas de detecção de plagio em tarefas de programação
DISSERTAÇÃO - Português
Número de chamada: T/UNICAMP K672a
Publicação: Campinas, SP : [s.n.], 2007.
Assunto: Análise sintática
Resumo: Plágio em submissões de alunos e um problema que vem aumentando ao longo do tempo e instituições de ensino têm trabalho considerável para...
Ver mais
Resumo
Resumo: Plágio em submissões de alunos e um problema que vem aumentando ao longo do tempo e instituições de ensino têm trabalho considerável para eliminá-lo. Examinamos o problema do ponto de vista de submissões de alunos em disciplinas introdutórias de programação, fazendo um resumo de alguns sistemas e algoritmos existentes. Implementamos vários algoritmos descritos com a finalidade de efetuar uma comparação direta e qualitativa, com foco no pré-processamento de programas. Em particular, desenvolvemos um mecanismo para a normalização de programas através de uma análise sintática cuidadosa e reordenação da árvore de sintaxe abstrata de maneira a minimizar a quantidade de ruído criada por plagiadores ao tentar copiar e modificar programas de outros. Conseguimos resultados positivos utilizando esse método de pré-processamento, especialmente quando combinado com o algoritmo conhecido como Running Karp Rabin Greedy String Tiling. Esses resultados positivos reforçam nossa conclusão de que o pré-processamento pode ser até mais importante que o algoritmo em si, e apontam novas direções para pesquisas futuras
BCCL (1)
IMECC (1)
IMECC (1)
Assinaturas de chave públicas sem certificados
DISSERTAÇÃO - Português
Número de chamada: T/UNICAMP C279a
Publicação: Campinas, SP : [s.n.], 2009.
Assunto: Criptografia de chaves públicas
Resumo: Nesta tese é apresentada uma visão do campo de Assinaturas de Chave Pública sem Certificados (CL-PKC), resultado final de pesquisa empreendida...
Ver mais
Resumo
Resumo: Nesta tese é apresentada uma visão do campo de Assinaturas de Chave Pública sem Certificados (CL-PKC), resultado final de pesquisa empreendida durante o mestrado do autor na Universidade Estadual de Campinas. A abordagem aqui contida tem como principal base a Segurança Demonstrável; analisamos os modelos de segurança de CL-PKC, os esquemas já propostos na literatura, e suas demonstrações de segurança. Contribuímos também alguns novos resultados para a área, especificamente: o estudo da aplicabilidade do Lema da Bifurcação 'a esquemas de CL-PKC (§ 4.3.3); o algumas pequenas otimizações a esquemas seguros (§ 4.4.1); o demonstração de segurança para um esquema cuja segurança ainda era um problema em aberto (§ 4.4.2); o explicação de falhas em demonstrações de segurança de alguns esquemas (§ 4.4.4, § 4.4.5, § 4.4.7); o um ataque desconhecido a um esquema anteriormente suposto seguro (§ 4.4.4); o proposta de um modelo de segurança para agregação de assinaturas no modelo CLPKC (§ 5.4); o proposta de um novo esquema de assinaturas CL-PKC que permite agregação, assim como sua prova de segurança (§ 5.2)
BCCL (1)
IMECC (1)
IMECC (1)
Estimativa de consumo de energia em nivel de instrução para processadores modelados em ArchC
DISSERTAÇÃO - Português
Número de chamada: T/UNICAMP M11e
Publicação: Campinas, SP : [s.n.], 2007.
Assunto: Energia - Consumo
Resumo: A constante redução do tamanho e o conseqüente aumento do número de transistores em um mesmo chip faz com que a potência dissipada pelos...
Ver mais
Resumo
Resumo: A constante redução do tamanho e o conseqüente aumento do número de transistores em um mesmo chip faz com que a potência dissipada pelos circuitos digitais aumente exponencialmente. Esse fato, combinado com a crescente demanda por dispositivos portáteis, têm levado à uma crescente preocupação quanto ao consumo de energia. Quanto mais potência é dissipada mais calor é gerado e mais energia é gasta com o seu resfriamento. Como resultado, projetistas estão considerando cada vez mais o impacto de suas decisões nesse quesito. Atualmente, ADLs¹ têm sido utilizadas para projetar novos processadores. Essas linguagens descrevem o comportamento da arquitetura para cada ação ou instrução. ADLs, além de diminuirem o tempo de projeto, são úteis para descobrir problemas arquiteturais em um nível mais elevado. Nesse trabalho, foi desenvolvida uma ferramenta de estimativa de consumo de energia em nível de instrução utilizando-se como base a ADL ArchC e, como estudo de caso, um processador SPARCv8. Como resultado do uso da ferramenta desenvolvida, uma simulação de um programa com estimativa de consumo de energia pode ser realizada 100 vezes mais rápida, na média, em relação ao fluxo tradicional
BCCL (1)
IMECC (1)
IMECC (1)
Baldassin, Alexandro José, 1978-
TESE - Português
Número de chamada: T/UNICAMP B19e
Publicação: Campinas, SP : [s.n.], 2009.
Assunto: Memória transacional
Resumo: A adoção dos microprocessadores com múltiplos núcleos de execução pela indústria semicondutora tem criado uma crescente necessidade por novas...
Ver mais
Resumo
Resumo: A adoção dos microprocessadores com múltiplos núcleos de execução pela indústria semicondutora tem criado uma crescente necessidade por novas linguagens, metodologias e ferramentas que tornem o desenvolvimento de sistemas concorrentes mais rápido, eficiente e acessível aos programadores de todos os níveis. Uma das principais dificuldades em programação concorrente com memória compartilhada é garantir a correta sincronização do código, evitando assim condições de corrida que podem levar o sistema a um estado inconsistente. A sincronização tem sido tradicionalmente realizada através de métodos baseados em travas, reconhecidos amplamente por serem de difícil uso e pelas anomalias causadas. Um novo mecanismo, conhecido como memória transacional (TM), tem sido alvo de muita pesquisa recentemente e promete simplificar o processo de sincronização, além de possibilitar maior oportunidade para extração de paralelismo e consequente desempenho. O cerne desta tese é formado por três trabalhos desenvolvidos no contexto dos sistemas de memória transacional em software (STM). Primeiramente, apresentamos uma implementação de STM para processadores assimétricos, usando a arquitetura Cell/B.E. como foco. Como principal resultado, constatamos que o uso de sistemas transacionais em arquiteturas assimétricas também é promissor, principalmente pelo fator escalabilidade. No segundo trabalho, adotamos uma abordagem diferente e sugerimos um sistema de STM especialmente voltado para o domínio de jogos computacionais. O principal motivo que nos levou nesta direção é o baixo desempenho das implementações atuais de STM. Um estudo de caso conduzido a partir de um jogo complexo mostra a eficácia do sistema proposto. Finalmente, apresentamos pela primeira vez uma caracterização do consumo de energia de um sistema de STM considerado estado da arte. Além da caracterização, também propomos uma técnica para redução do consumo em casos de alta contenção. Resultados obtidos a partir dessa técnica revelam ganhos de até 87% no consumo de energia
BCCL (1)
IMECC (1)
IMECC (1)
Grades computacionais baseadas em modelos economicos
DISSERTAÇÃO - Português
Número de chamada: T/UNICAMP R71g
Publicação: Campinas, SP : [s.n.], 2010.
Assunto: Computação em grade (Sistemas de computador)
Resumo: Computação em grade e um paradigma que permite o compartilhamento de recursos heterogêneos, geograficamente distribuídos e sob administrações...
Ver mais
Resumo
Resumo: Computação em grade e um paradigma que permite o compartilhamento de recursos heterogêneos, geograficamente distribuídos e sob administrações independentes. Esse compartilhamento deve ser realizado para otimizar a utilização de recursos e atender os requisitos de qualidade de serviço. Modelos econômicos podem ser aplicados para fornecer uma alocação justa desses recursos e incentivar a disponibilização de um maior número de recursos na grade. Nesta dissertação, será discutida uma arquitetura de grade baseada em modelos econômicos, em especial, os vários modelos de leiloes para permitir negociação entre um fornecedor e vários consumidores de recursos. Serú realizada uma anúlise sobre as diversas modalidades de leilão para verificar o comportamento de consumidores e fornecedores de recursos em um ambiente de grade
BCCL (1)
IMECC (1)
IMECC (1)
DISSERTAÇÃO - r d
Número de chamada: T/UNICAMP P649m
Publicação: Campinas, SP : [s.n.], 2008.
Assunto: FPGA (Arranjo de Lógica Programável em Campo)
Resumo: Contrariando as projeções para crescimento da economia mundial, o mercado de semicondutores cresce de forma acelerada, a uma taxa superior a...
Ver mais
Resumo
Resumo: Contrariando as projeções para crescimento da economia mundial, o mercado de semicondutores cresce de forma acelerada, a uma taxa superior a 10% ao ano, movimentando anualmente mais de 270 bilhões de dólares. Acompanhando este crescimento, a importação de componentes eletrônicos pelo Brasil é um dos ítens que mais contribuem negativamente em sua balança comercial, deixando claro que o país não tem atuado de forma econômicamente interessante neste mercado. Um consórcio formado por 8 das principais universidades brasileiras, chamado BrazilIP, foi criado tendo como principal intuito inserir o Brasil no seleto grupo de países produtores de artefatos em semicondutores, em especial, na produção de componentes na forma de propriedade intelectual (IPs). Este grupo tem alcançado considerável sucesso ao longo dos últimos anos e é o foco da presente dissertação. O autor, que participou dos três primeiros anos de vida deste consór.cio, buscou registrar, na forma de método, as propostas, cursos, documentos e experiências ocorridas durante seu envolvimento. São também apresentados casos reais de aplicação da metodologia no desenvolvimento de um decoder de áudio MP3 e um codificador RSA. Uma das intenções deste trabalho é evitar que todo o conhecimento, adquirido e gerado pelo consórcio, se volatilize, além de permitir, através deste registro e exemplos de seu uso, que o método seja facilmente reaplicado em outras instituições de pesquisa. Somando-se a estas contribuições, didáticas e documentais, a dissertação ainda analisa vários pontos, positivos e negativos, sobre sua utilização e pioneirismo, propondo complementações e aprimoramentos
BCCL (1)
IMECC (1)
IMECC (1)
Negociação automatica de contratos multi-laterais em cadeias produtivas agropecuarias
TESE - Português
Número de chamada: T/UNICAMP B12n
Publicação: Campinas, SP : [s.n.], 2009.
Assunto: Gerência de cadeias produtivas
Resumo: Uma cadeia produtiva agropecuária 'e constituída por diversos tipos de atores que estabelecem uma rede de relacionamentos bastante complexa....
Ver mais
Resumo
Resumo: Uma cadeia produtiva agropecuária 'e constituída por diversos tipos de atores que estabelecem uma rede de relacionamentos bastante complexa. Estes relacionamentos variam de ad hoc e de curta duração até altamente estruturado e de longa duração. As cadeias produtivas agropecuárias possuem algumas particularidades, tais como, regulamentação estrita e dependência cultural, e possuem relevância social e econômica. A utilização de contratos 'e a forma natural para expressar os relacionamentos entre os membros de uma cadeia. Desta forma, contratos e a atividade de negociá-los são de grande importância numa cadeia produtiva. Esta tese propõe um modelo para cadeias produtivas agropecuárias que integra suas principais características, incluindo seus aspectos estruturais e sua dinâmica. Em particular, a tese propõe um formato para contratos multi-laterais e um protocolo de negociação que os constrói. Contratos multi-laterais são importantes neste contexto, pois vários atores de uma cadeia produtiva podem construir alianças que compreendem direitos e obrigações mútuos. Um conjunto de contratos bi-laterais não 'e adequado para tal propósito. A tese também apresenta uma implementação do protocolo de negócio baseado em serviços Web e numa máquina de workflow (YAWL)
BCCL (1)
IMECC (1)
IMECC (1)
Otimizações para acesso a memoria em tradução binaria dinamica
TESE - Português
Número de chamada: T/UNICAMP At86o
Publicação: Campinas, SP : [s.n.], 2008.
Assunto: Otimização
Resumo: Tradutores binários dinâmicos ou DBTs2, são programas projetados para executar, em uma arquitetura-alvo, programas binários de arquiteturas...
Ver mais
Resumo
Resumo: Tradutores binários dinâmicos ou DBTs2, são programas projetados para executar, em uma arquitetura-alvo, programas binários de arquiteturas diferentes, realizando assim a tradução do programa binário em tempo de execução. Eles também podem ser utilizados para se melhorar o desempenho de programas nativos de uma dada arquitetura. DBTs podem coletar informação de profile da aplicação em tempo de execução, habilidade essa impossível para um compilador estático. Este tipo de informação pode ser usada pelos DBTs para realizar novos tipos de otimizações, não possíveis em um compilador estático, seja por falta de informação do comportamento do programa, ou por não conhecer que regiões do código são mais importantes para otimizar, em detrimento de outras. Como os DBTs gastam tempo para traduzir o código binário, é muito importante que os processos de tradução e otimização sejam extremamente rápidos, para que o impacto final no tempo total de execução seja o mínimo possível. Desta forma, para um tradutor binário dinâmico é essencial saber onde aplicar as otimizações, isto é, descobrir quais regiões do código traduzido são realmente importantes e que podem resultar em ganhos de desempenho. Uma vez que tais regiões tenham sido identificadas, os DBTs irão aplicar às mesmas, otimizações de código de forma a tentar compensar o tempo gasto na tradução do programa binário e mesmo melhorar o desempenho da aplicação traduzida. Como o acesso à memória é algo custoso para um programa, evitá-lo em um ambiente dinâmico pode fazer com que o programa traduzido obtenha ganhos de desempenho, compensando assim parte do tempo gasto no processo de tradução Com isso, neste trabalho investigou-se o ganho de desempenho que pode ser obtido em um ambiente de tradução dinâmica ao se tentar otimizar os acessos à memória que o programa traduzido realiza dentro das regiões de código selecionadas para otimização. O processo de otimiza¸c¿ao tenta, tanto quanto possível, evitar acessos à memória principal do computador, transformando-os em acessos à registradores da arquitetura alvo. Como grande parte das otimizações de código necessita de informações de fluxo de dados para poder realizar transformações de código, este trabalho também investigou uma nova forma de se melhorar as análises de fluxo de dados que s¿ao executadas em trechos limitados de código pelo tradutor binário dinâmico. Os resultados mostram que otimizar os acessos à memória produz ganhos pequenos, da ordem de 2%. No tocando a melhora da informa¸c¿ao de fluxo de dados, descobriu-se que quando se busca por registradores disponíveis, pode-se descobrir que quase 25% do total dos registradores investigados estão de fato vazios e podem ser utilizados em otimizações
BCCL (1)
IMECC (1)
IMECC (1)
Proposta de um modelo de ferramenta para auxilio a administração computacional
DISSERTAÇÃO - Português
Número de chamada: T/UNICAMP M491p
Publicação: Campinas, SP : [s.n.], 2009.
Assunto: Redes de computadores - Administração
Resumo: Devido ao grande impacto gerado por sistemas e redes de computadores na vida moderna, as atividades dos administradores computacionais têm se...
Ver mais
Resumo
Resumo: Devido ao grande impacto gerado por sistemas e redes de computadores na vida moderna, as atividades dos administradores computacionais têm se tornados fundamentais às organizações. Entretanto, as técnicas e ferramentas utilizadas por esses profissionais não conseguiram acompanhar a evolução de uso do poder computacional. Na tentativa de auxiliar os administradores, várias ferramentas foram desenvolvidas com o intuito de possibilitar uma maneira mais simples, rápida e eficiente de configurar e administrar um parque tecnológico. Porém, muitas delas ainda apresentam impossibilidade, principalmente pela necessidade da presença física do administrador no ambiente que se administre. Deste modo, considera-se que as ferramentas de administração não atendem às necessidades julgadas essenciais aos cenários atuais. Neste contexto, esse trabalho apresenta um estudo das consideradas principais e mais populares ferramentas de administração computacional, analisando-as e comparando-as. Propõe também um novo modelo de ferramenta de administração, que busca solucionar as limitações encontradas nas ferramentas estudadas, como apontar novas possibilidades a esta área
BCCL (1)
IMECC (1)
IMECC (1)
Reestruturação de ArchC para integração a metodologias de projeto baseadas em TLM
DISSERTAÇÃO - Português
Número de chamada: T/UNICAMP Si26r
Publicação: Campinas, SP : [s.n.], 2007.
Assunto: Simulação (Computadores digitais) - Métodos de simulação
Resumo: O surgimento dos SoCs (Systems-on-Chip) levou ao desenvolvimento das metodologias de projeto baseadas em TLM (Transaction-Level Modelling),...
Ver mais
Resumo
Resumo: O surgimento dos SoCs (Systems-on-Chip) levou ao desenvolvimento das metodologias de projeto baseadas em TLM (Transaction-Level Modelling), que oferecem diversas etapas de modelagem intermediárias entre a especificação pura e a descrição sintetizável RTL (Register Transfer Level ), tornando mais tratável o projeto de sistemas dessa complexidade. Levando-se em consideração que esses sistemas geralmente possuem microprocessadores como módulos principais, torna-se desejável o uso de linguagens de descrição de arquiteturas (ADLs ? Architecture Description Languages) como ArchC e suas ferramentas para que seja possível modelar esses processadores e gerar módulos simuladores para eles em uma fração do tempo tradicionalmente gasto com essa tarefa. Porém, ArchC, em sua penúltima versão, a 1.6, possui utilidade limitada para esse fim, pois os simuladores que é capaz de gerar são autocontidos, não sendo facilmente integráveis aos modelos TLM em nível de sistema como um todo. Este trabalho consiste em uma remodelagem da linguagem ArchC e sua ferramenta acsim de modo a acrescentar essa capacidade de integração aos simuladores funcionais interpretados que é capaz de gerar, dando assim origem à versão 2.0 de ArchC
BCCL (1)
IMECC (1)
IMECC (1)
Sins : um editor Xchart na forma de plugin para o ambiente eclipse
DISSERTAÇÃO - Português
Número de chamada: T/UNICAMP K834s
Publicação: Campinas, SP : [s.n.], 2007.
Assunto: Linguagem de programação (Computadores)
Resumos: Sistemas reativos têm grande importância em muitas áreas da engenharia e da computação, mas a qualidade e maturidade das metodologias e...
Ver mais
Resumo
Resumos: Sistemas reativos têm grande importância em muitas áreas da engenharia e da computação, mas a qualidade e maturidade das metodologias e ferramentas de apoio ao desenvolvimento deixam a desejar em relação às voltadas a sistemas transformacionais. Uma das metodologias de destaque é a Arquitetura Orientada a Modelos, onde os sistemas reativos são descritos por modelos que podem ser diretamente traduzidos em formas executáveis. A linguagem mais bem sucedida na modelagem de sistemas reativos é Statechart, que deu origem a variações como os diagramas de máquinas de estado do padrão UML e à linguagem Xchart. Essa linguagem é uma extensão de Statechart que introduz construções para controle de processos externos, história de ativações e hierarquização de eventos. Para superar as limitações da ferramenta já existente para edição de diagramas Xchart conhecida como Smart, foi desenvolvido o editor Sins (Sins 1s Not Smart), implementado como plugin para o ambiente integrado de desenvolvimento Eclipse. Com o editor Sins é possível editar os diagramas através de manipulação direta, diagramar a especificação automaticamente e gerar o código fonte correspondente na linguagem textual TEXchart. O algoritmo de layout implementado é uma variação do algoritmo de Sugiyama, modificado para melhorar a legibilidade do dia:grama ao garantir a consistência na apresentação de suas estruturas e gerar mapas semelhantes aos desenhados livremente
BCCL (1)
IMECC (1)
IMECC (1)
Tecnicas avançadas de modelagem, analise e otimização de potencia em sistemas digitais
TESE - Português
Número de chamada: T/UNICAMP K672t
Publicação: Campinas, SP : [s.n.], 2009.
Assunto: Arquitetura de computador
Resumo: O crescente aumento da demanda por funcionalidades agregadas a um mesmo dispositivo, aliado a rígidas restrições de desempenho colocam a...
Ver mais
Resumo
Resumo: O crescente aumento da demanda por funcionalidades agregadas a um mesmo dispositivo, aliado a rígidas restrições de desempenho colocam a dissipação de potência como um dos requisitos mais importantes dentro do fluxo de projeto em CAD/EDA. A constante evolução da tecnologia de semicondutores das 'ultimas décadas tem garantido o aumento da complexidade dos sistemas, que demandam cada vez mais recursos computacionais. Contudo, esta crescente complexidade leva ao aumento do consumo de potência, que tem uma série de efeitos colaterais indesejados, tais como, problemas térmicos e aumento da densidade de potência, comprometendo a confiabilidade do circuito. Desta forma, 'e necessário introduzir soluções para o resfriamento do chip, aumentando seu custo final e seu time-to-market. Além disso, no que diz respeito aos dispositivos portáteis, estes têm sua autonomia reduzida devido aos elevados montantes de energia requeridos para seu funcionamento. As contribuições desta tese englobam dois temas distintos dentro do chamado low-power design. O primeiro tema aborda as técnicas de macromodelagem de potência em RTL. Inicialmente, 'e mostrado que as técnicas convencionais de modelo simples têm limitações intrínsecas que afetam a precisão de suas estimativas. Uma análise quantitativa e qualitativa 'e conduzida, apontando as limitações de diversas técnicas conhecidas, e demonstrando que o uso de uma 'única técnica pode comprometer a qualidade geral das predições. Em seguida, são propostas duas novas técnicas de macromodelagem baseadas em múltiplos modelos, a fim de explorar os pontos fortes de cada modelo individual e otimizar a qualidade das estimativas. Os resultados obtidos com a abordagem proposta revelaram melhorias significativas em relação a abordagem convencional, alcançando resultados 7 vezes superiores para os erros médios, enquanto que os erros máximos foram reduzidos em até 9 vezes. O segundo tema aborda uma 'área que vem recebendo muita atenção com a chegada da era multi-core: o paradigma de programação concorrente conhecido como memória transacional, cujo intuito 'e tornar a tarefa de criar software concorrente mais simples. Embora esta seja uma 'área muito ativa, os pesquisadores têm quase que invariavelmente se concentrado no desempenho das aplicações, negligenciando métricas tais como energia e potência. Este trabalho apresenta uma análise pormenorizada do consumo de energia de uma implementação estado-da-arte de STM (Software Transactional Memory), sendo a primeira do gênero neste contexto. Além disso, uma nova estratégia de gerenciamento de contenção baseada em DVFS (Dynamic Voltage and Frequency Scaling) é proposta, com o intuito de reduzir o consumo de energia de aplicações exibindo alta contenção no barramento
BCCL (1)
IMECC (1)
IMECC (1)
Uma arquitetura de software para replicação baseada em consenso
TESE - Português
Número de chamada: T/UNICAMP V673a
Publicação: Campinas, SP : [s.n.], 2010.
Assunto: Sistemas distribuídos
Resumo: Esta tese explora uma das ferramentas fundamentais para construção de sistemas distribuídos: a replicação de componentes de software....
Ver mais
Resumo
Resumo: Esta tese explora uma das ferramentas fundamentais para construção de sistemas distribuídos: a replicação de componentes de software. Especificamente, procuramos resolver o problema de como simplificar a construção de aplicações replicadas que combinem alto grau de disponibilidade e desempenho. Como ferramenta principal para alcançar o objetivo deste trabalho de pesquisa desenvolvemos Treplica, uma biblioteca de replicação voltada para construção de aplicações distribuídas, porém com semântica de aplicações centralizadas. Treplica apresenta ao programador uma interface simples baseada em uma especificação orientada a objetos de replicação ativa. A conclusão que defendemos nesta tese é que é possível desenvolver um suporte modular e de uso simples para replicação que exibe alto desempenho, baixa latência e que permite recuperação eficiente em caso de falhas. Acreditamos que a arquitetura de software proposta tem aplicabilidade em qualquer sistema distribuído, mas é de especial interesse para sistemas que não são distribuídos pela ausência de uma forma simples, eficiente e confiável de replicá-los
BCCL (1)
IMECC (1)
IMECC (1)