Spelling suggestions: "subject:"escalar""
11 |
Cosmologia quântica em teorias escalares-tensoriais: aspectos físicos e matemáticos.Almeida, C. R. 21 September 2017 (has links)
Made available in DSpace on 2018-08-01T21:59:51Z (GMT). No. of bitstreams: 1
tese_11459_Tese final Carla Rodrigues Almeida -PPGFis20171017-84343.pdf: 8309565 bytes, checksum: 57bfd55ba54ed368ff12fc5c3a58120f (MD5)
Previous issue date: 2017-09-21 / O objetivo deste trabalho é estudar os aspectos físicos e matemáticos da quantização canônica de teorias escalares-tensoriais, em particular da Teoria de Brans-Dicke, usando um fluido perfeito como componente de matéria do universo, introduzido via formalismo de Schutz. Fazemos um estudo completo do caráter autoadjunto do operador de energia
efetivo proveniente da quantização desta teoria. Tal quantização é feita através do vínculo de energia obtido da descrição Hamiltoniana da Relatividade Geral, a equação de Wheeler-DeWitt, de onde recuperamos uma equação do tipo Schrödinger, considerando o parâmetro temporal dado pelo fluido que compõe o universo. Adotamos a Interpretação
de Copenhagen para Mecânica Quântica para analisar o sistema quantizado. Também apresentamos o caso da quantização da Teoria de K-essência para um limite particular, onde recuperamos um comportamento de um fluido perfeito em Relatividade Geral via Schutz. Introduzimos também a noção de quantização afim como alternativa ao método canônico e apresentamos os conceitos matemáticos nos quais ele é baseado, aplicando o método num exemplo cosmológico de um universo dominado por poeira. Também fazemos uma análise semiclássica qualitativa da Teoria de Brans-Dicke.
|
12 |
Fluidos Ideais em Relatividade Geral e Cosmologia.SANTOS, F. M. 31 March 2016 (has links)
Made available in DSpace on 2018-08-01T22:29:44Z (GMT). No. of bitstreams: 1
tese_9806_Dissertação final Felipe de Melo Santos.pdf: 1084214 bytes, checksum: f62459402286abe377500e2d85f245db (MD5)
Previous issue date: 2016-03-31 / O conteúdo material que permeia o universo é comumente descrito por modelos de fluidos ideais. Uma revisão sobre a dinâmica destes fluidos é feita neste trabalho e uma formulação para a ação de fluido ideal é estudada. Mostra-se que modelos de campo escalar minimamente acoplado, como o campo escalar canônico e o campo tipo K-essência,
mimetizam fluidos ideais. É feita a definição de campos não usuais, chamados fantasmas e táquions. Por fim, teoria de sistemas dinâmicos é usada para analisar a evolução desses fluidos num fundo cosmológico.
|
13 |
Teorias de K-essência em espaços-tempos estáticos e esfericamente simétricos.RODRIGUES, D. C. 17 March 2016 (has links)
Made available in DSpace on 2018-08-01T22:29:44Z (GMT). No. of bitstreams: 1
tese_9807_Dissertação Denis Campos Rodrigues.pdf: 922328 bytes, checksum: dd339492b0b09eff069828df26295d6e (MD5)
Previous issue date: 2016-03-17 / O estudo da Relatividade Geral minimamente acoplada a um campo escalar em um espaço-tempo estático e esfericamente simétrico mostra que soluções de buraco negro são possíveis mediante a existência de um campo escalar fantasma. Estes buracos negros, considerados
exóticos, possuem horizonte de área infinita e temperatura de Hawking igual a zero, por isso são denominados de buracos negros frios. Nosso objetivo neste trabalho é propor um estudo de espaços-tempos estáticos e esfericamente simétricos em teorias de k-essência. Tais teorias são amplamente aplicadas no contexto de expansão acelerada do universo, energia escura e modelos inflacionários, entretanto, há uma lacuna no estudo de objetos locais, como estrelas, buracos negros e buracos de minhoca. Em nosso estudo de teorias de k-essência em configurações estáticas e esfericamente simétricas resultou em duas soluções distintas: uma primeira solução com características semelhantes às encontradas em buracos negros frios, mas com dois horizontes de eventos (de natureza cosmológica) e não assintoticamente plana; e, uma segunda solução com apenas um horizonte de eventos, semelhante à solução de Schwarzschild imersa em espaçotempo assintoticamente singular.
|
14 |
Polinomios ortogonales matriciales. Teoría y aplicacionesDefez Candel, Emilio 23 June 2009 (has links)
La teoría de polinomios ortogonales matriarcales ha experimentado un desarrollo importante en las últimas décadas. El primer contacto de nuestro grupo de investigación con el tema surgio al dearrollar un método de Frobenius matriarcal para resolver ecuaciones diferenciales matriarcales de segundo orden sin aumentar la dimensión del problema. De esta forma, aparecieron soluciones de tipo polinomial matriarcal de ecuaciones diferenciales matriarcales que generalizaban las ecuaciones escalares clásicas de Hermite, Laguerre; Legendre.En la Tesis doctoral de R. Company [3] y en los trabajos siguientes [34],[35],[40],se introdujeron los polinomios matriarcales de Laguerre, Gegenbauer y Hermite, que verificaban ciertas propiedades de ortogonalidad de naturaleza no del todo transparente.
Nos encontramos entonces, al disponer de ejemplos de clases concretas de polinomios ortogonales, sin estructurar la idea de ortogonalidad, a pesar de que ya se habían publicado, incluso en un contexto abstracto, pero próximo, resultados sobre ortogonalidad de polinomios en un álgebra no conmutativa [10],[11].
El objetivo de esta tesis es bidireccional; por una parte se trata de estructurar satisfactoriamente la idea de ortogonalidad para polinomios matriarcales, pero, con la intención dirigida a conseguir la utilidad en las aplicaciones que suministran las familias clásicas de polinomios ortogonales escalares. Estamos pensando, a corto plazo, en este trabajo, en utilizar la idea de ortoganalidad de polinomios matriarcales para aproximar integrales matriarcales y, también en desarrollar funciones matriarcales en serie de polinomios ortogonales matriarcales.
Estas ambiciones han estado influidas por el enfoque de Chihara [5] y los trabajos de Stone [70] y Ghizzetti [29]. en la memoria se resuelven algunas de las dificultades que aparecen y, se suministran algunas respuestas, parcialmente publicadas en [36], [38], [39], [41], que no son ni mucho menos, el final de los muchos objetivos que en esta línea, pensamos se pueden conseguir. Entre las cuestiones a resolver objeto de este trabajo se encuentran:
- Definición del concepto de ortogonalidad para polinomios matriarcales y funciones matriarcales.
- Estructurar un espacio normado base donde yacen las funciones ortogonales matriarcales.
- Estudio de la relación de la norma del espacio base y el concepto de ortogonalidad en ausencia de espacio Hilbert.
- Solución del problema de la mejor aproximación matriarcal respecto a un funcional matriarcal definido positivo.
- Series de Fourier matriarcales.
- Obtención de análogos de Lema de Riemann-Lebesgue y de la igualdad (desigualdad) de Bessel-Parseval, en ausencia de estructura hilbertiana.
- Introducción del concepto de totalidad para una familia de funciones ortogonales matriarcales en ausencia de estructura hilbertiana.
- Posibilidad de desarrollo en serie de polinomios ortogonales matriarcales (solamente para el caso de Hermite)
- Aplicación al desarrollo de la exponencial de una matriz. / Defez Candel, E. (1996). Polinomios ortogonales matriciales. Teoría y aplicaciones [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/5641
|
15 |
Ressonâncias escalares: relações dinâmicas entre processos de espalhamento e decaimento / Scalar resonances: dynamic relations between scattering and decay processesBoito, Diogo Rodrigues 16 October 2007 (has links)
A existência de um méson escalar-isoescalar leve, conhecido como ?, foi proposta pela primeira vez na década de 60. A partícula tinha então um papel importante na construção teórica das interações ?? mas, apesar dos esforços experimentais, ela não foi detectada nos anos que se seguiram. Essa situação foi radicalmente alterada em 2001, quando uma ressonância escalar foi descoberta nos canais ?+?- do decaimento D+ -> ?+?-?+ e recebeu o rótulo ?(500). Sua existência é bem estabelecida hoje em dia. Contudo, no tratamento dos dados dos vários grupos experimentais são empregadas expressões com pouca base teórica e, por isso, os valores de sua massa e largura ainda são mal conhecidos. Neste tipo de decaimento, a formação da ressonância pode se dar no vértice fraco. Em sua subseqüente propagação, ocorrem as chamadas interações de estado final, cuja descrição não é trivial. Normalmente, essas interações não são levadas em conta de maneira criteriosa na análise de dados experimentais. Neste trabalho introduzimos uma função _(s) que descreve a propagação e decaimento da ressonância em presença das interações de estado final. No regime elástico, a fase de _(s) é determinada pelo chamado teorema de Watson, segundo o qual ela deve ser a mesma do espalhamento. Conseguimos estabelecer, sem ambigüidades, como a informação do espalhamento deve ser usada de forma a determinar não somente a fase de _(s), mas também seu módulo. Nosso principal resultado é uma expressão para _(s) em termos da fase elástica e de uma outra fase relacionada a uma integral de loop bem controlada. Três casos particulares foram explorados numericamente: os modelos sigma linear e não linear e ainda um modelo fenomenológico que leva em conta o acoplamento de canais p´?on-p´?on e k´aon-k´aon. Em consonância com a teoria quântica de campos, nosso resultado incorpora a unitariedade, considera a ressonância como grau de liberdade explícito e representa, ainda, uma generalização do procedimento usual de unitarizacao pela matriz K. Por permitir uma ligação clara entre espalhamento e produção, a função _(s) pode ser útil na análise de dados experimentais e ajudar na determinação da posição do pólo do ? e de outras ressonâncias escalares. / The existence of a light scalar-isoscalar meson, known as ?, was suggested in the 60\'s. This particle played an important role in the theoretical construction of ?? interactions but, in spite of all experimental effort, it failed to be detected. This scenario changed radically in 2001, when a scalar-isoscalar resonance was discovered in the ?+?- channel of the D+ -> ?+?-?+ decay and was called ?(500). Nowadays, its existence is rather well established. However, in the analysis of experimental data, expressions loosely based on theory are employed and therefore its mass and width are still not well known. In this kind of decay, the production of the resonance may occur at the weak vertex. When it propagates, final state interactions take place. Usually these interactions are not properly taken into account in data analysis. In this work, we introduce a function _(s), which describes the propagation and decay of the resonance in the presence of the final state interactions. In the elastic regime, the phase of _(s) is determined by the Watson\'s theorem, which states that it must be the same as the scattering phase. We were able to establish, unambiguously, how the information from scattering should be used to determine not only the phase of _(s) but also its modulus. Our main result is an expression for _(s) in terms of the elastic phase and another one related to a well controlled loop integral. Three special cases are explored numerically, namely: the linear and non linear sigma models and a phenomenological model that takes into account the coupling between pion-pion and kaon-kaon channels. In agreement with quantum field theory, our result encompasses unitarity, treats the resonance as an explicit degree of freedom and, moreover, corresponds to a generalisation of the usual K-matrix unitarization procedure. Since it represents a clear way to relate scattering and production, our function _(s) can be useful in data analysis and may be instrumental in the determination of the pole position of the ? as well as other scalar resonances.
|
16 |
Arquiteturas multi-tarefas simultâneas : SEMPRE : arquitetura SMT com capacidade de execução e escalonamento de processosGoncalves, Ronaldo Augusto de Lara January 2000 (has links)
O avanço tecnológico no projeto de microprocessadores, nos recentes anos, tem seguido duas tendências principais. A primeira tenta aumentar a freqüência do relógio dos mesmos usando componentes digitais e técnicas VLSI mais eficientes. A segunda tenta explorar paralelismo no nível de instrução através da reorganização dos seus componentes internos. Dentro desta segunda abordagem estão as arquiteturas multi-tarefas simultâneas, que são capazes de extrair o paralelismo existente entre e dentro de diferentes tarefas das aplicações, executando instruções de vários fluxos simultaneamente e maximizando assim a utilização do hardware. Apesar do alto custo da implementação em hardware, acredita-se no potencial destas arquiteturas para o futuro próximo, pois é previsto que em breve haverá a disponibilidade de bilhões de transistores para o desenvolvimento de circuitos integrados. Assim, a questão principal a ser encarada talvez seja: como prover instruções paralelas para uma arquitetura deste tipo? Sabe-se que a maioria das aplicações é seqüencial pois os problemas nem sempre possuem uma solução paralela e quando a solução existe os programadores nem sempre têm habilidade para ver a solução paralela. Pensando nestas questões a arquitetura SEMPRE foi projetada. Esta arquitetura executa múltiplos processos, ao invés de múltiplas tarefas, aproveitando assim o paralelismo existente entre diferentes aplicações. Este paralelismo é mais expressivo do que aquele que existe entre tarefas dentro de uma mesma aplicação devido a não existência de sincronismo ou comunicação entre elas. Portanto, a arquitetura SEMPRE aproveita a grande quantidade de processos existentes nas estações de trabalho compartilhadas e servidores de rede. Além disso, esta arquitetura provê suporte de hardware para o escalonamento de processos e instruções especiais para o sistema operacional gerenciar processos com mínimo esforço. Assim, os tempos perdidos com o escalonamento de processos e as trocas de contextos são insignificantes nesta arquitetura, provendo ainda maior desempenho durante a execução das aplicações. Outra característica inovadora desta arquitetura é a existência de um mecanismo de prébusca de processos que, trabalhando em cooperação com o escalonamento de processos, permite reduzir faltas na cache de instruções. Também, devido a essa rápida troca de contexto, a arquitetura permite a definição de uma fatia de tempo (fatia de tempo) menor do que aquela praticada pelo sistema operacional, provendo maior dinâmica na execução das aplicações. A arquitetura SEMPRE foi analisada e avaliada usando modelagem analítica e simulação dirigida por execução de programas do SPEC95. A modelagem mostrou que o escalonamento por hardware reduz os efeitos colaterais causados pela presença de processos na cache de instruções e a simulação comprovou que as diferentes características desta arquitetura podem, juntas, prover ganho de desempenho razoável sobre outras arquiteturas multi-tarefas simultâneas equivalentes, com um pequeno acréscimo de hardware, melhor aproveitando as fatias de tempo atribuídas aos processos.
|
17 |
Arquiteturas multi-tarefas simultâneas : SEMPRE : arquitetura SMT com capacidade de execução e escalonamento de processosGoncalves, Ronaldo Augusto de Lara January 2000 (has links)
O avanço tecnológico no projeto de microprocessadores, nos recentes anos, tem seguido duas tendências principais. A primeira tenta aumentar a freqüência do relógio dos mesmos usando componentes digitais e técnicas VLSI mais eficientes. A segunda tenta explorar paralelismo no nível de instrução através da reorganização dos seus componentes internos. Dentro desta segunda abordagem estão as arquiteturas multi-tarefas simultâneas, que são capazes de extrair o paralelismo existente entre e dentro de diferentes tarefas das aplicações, executando instruções de vários fluxos simultaneamente e maximizando assim a utilização do hardware. Apesar do alto custo da implementação em hardware, acredita-se no potencial destas arquiteturas para o futuro próximo, pois é previsto que em breve haverá a disponibilidade de bilhões de transistores para o desenvolvimento de circuitos integrados. Assim, a questão principal a ser encarada talvez seja: como prover instruções paralelas para uma arquitetura deste tipo? Sabe-se que a maioria das aplicações é seqüencial pois os problemas nem sempre possuem uma solução paralela e quando a solução existe os programadores nem sempre têm habilidade para ver a solução paralela. Pensando nestas questões a arquitetura SEMPRE foi projetada. Esta arquitetura executa múltiplos processos, ao invés de múltiplas tarefas, aproveitando assim o paralelismo existente entre diferentes aplicações. Este paralelismo é mais expressivo do que aquele que existe entre tarefas dentro de uma mesma aplicação devido a não existência de sincronismo ou comunicação entre elas. Portanto, a arquitetura SEMPRE aproveita a grande quantidade de processos existentes nas estações de trabalho compartilhadas e servidores de rede. Além disso, esta arquitetura provê suporte de hardware para o escalonamento de processos e instruções especiais para o sistema operacional gerenciar processos com mínimo esforço. Assim, os tempos perdidos com o escalonamento de processos e as trocas de contextos são insignificantes nesta arquitetura, provendo ainda maior desempenho durante a execução das aplicações. Outra característica inovadora desta arquitetura é a existência de um mecanismo de prébusca de processos que, trabalhando em cooperação com o escalonamento de processos, permite reduzir faltas na cache de instruções. Também, devido a essa rápida troca de contexto, a arquitetura permite a definição de uma fatia de tempo (fatia de tempo) menor do que aquela praticada pelo sistema operacional, provendo maior dinâmica na execução das aplicações. A arquitetura SEMPRE foi analisada e avaliada usando modelagem analítica e simulação dirigida por execução de programas do SPEC95. A modelagem mostrou que o escalonamento por hardware reduz os efeitos colaterais causados pela presença de processos na cache de instruções e a simulação comprovou que as diferentes características desta arquitetura podem, juntas, prover ganho de desempenho razoável sobre outras arquiteturas multi-tarefas simultâneas equivalentes, com um pequeno acréscimo de hardware, melhor aproveitando as fatias de tempo atribuídas aos processos.
|
18 |
Ressonâncias escalares: relações dinâmicas entre processos de espalhamento e decaimento / Scalar resonances: dynamic relations between scattering and decay processesDiogo Rodrigues Boito 16 October 2007 (has links)
A existência de um méson escalar-isoescalar leve, conhecido como ?, foi proposta pela primeira vez na década de 60. A partícula tinha então um papel importante na construção teórica das interações ?? mas, apesar dos esforços experimentais, ela não foi detectada nos anos que se seguiram. Essa situação foi radicalmente alterada em 2001, quando uma ressonância escalar foi descoberta nos canais ?+?- do decaimento D+ -> ?+?-?+ e recebeu o rótulo ?(500). Sua existência é bem estabelecida hoje em dia. Contudo, no tratamento dos dados dos vários grupos experimentais são empregadas expressões com pouca base teórica e, por isso, os valores de sua massa e largura ainda são mal conhecidos. Neste tipo de decaimento, a formação da ressonância pode se dar no vértice fraco. Em sua subseqüente propagação, ocorrem as chamadas interações de estado final, cuja descrição não é trivial. Normalmente, essas interações não são levadas em conta de maneira criteriosa na análise de dados experimentais. Neste trabalho introduzimos uma função _(s) que descreve a propagação e decaimento da ressonância em presença das interações de estado final. No regime elástico, a fase de _(s) é determinada pelo chamado teorema de Watson, segundo o qual ela deve ser a mesma do espalhamento. Conseguimos estabelecer, sem ambigüidades, como a informação do espalhamento deve ser usada de forma a determinar não somente a fase de _(s), mas também seu módulo. Nosso principal resultado é uma expressão para _(s) em termos da fase elástica e de uma outra fase relacionada a uma integral de loop bem controlada. Três casos particulares foram explorados numericamente: os modelos sigma linear e não linear e ainda um modelo fenomenológico que leva em conta o acoplamento de canais p´?on-p´?on e k´aon-k´aon. Em consonância com a teoria quântica de campos, nosso resultado incorpora a unitariedade, considera a ressonância como grau de liberdade explícito e representa, ainda, uma generalização do procedimento usual de unitarizacao pela matriz K. Por permitir uma ligação clara entre espalhamento e produção, a função _(s) pode ser útil na análise de dados experimentais e ajudar na determinação da posição do pólo do ? e de outras ressonâncias escalares. / The existence of a light scalar-isoscalar meson, known as ?, was suggested in the 60\'s. This particle played an important role in the theoretical construction of ?? interactions but, in spite of all experimental effort, it failed to be detected. This scenario changed radically in 2001, when a scalar-isoscalar resonance was discovered in the ?+?- channel of the D+ -> ?+?-?+ decay and was called ?(500). Nowadays, its existence is rather well established. However, in the analysis of experimental data, expressions loosely based on theory are employed and therefore its mass and width are still not well known. In this kind of decay, the production of the resonance may occur at the weak vertex. When it propagates, final state interactions take place. Usually these interactions are not properly taken into account in data analysis. In this work, we introduce a function _(s), which describes the propagation and decay of the resonance in the presence of the final state interactions. In the elastic regime, the phase of _(s) is determined by the Watson\'s theorem, which states that it must be the same as the scattering phase. We were able to establish, unambiguously, how the information from scattering should be used to determine not only the phase of _(s) but also its modulus. Our main result is an expression for _(s) in terms of the elastic phase and another one related to a well controlled loop integral. Three special cases are explored numerically, namely: the linear and non linear sigma models and a phenomenological model that takes into account the coupling between pion-pion and kaon-kaon channels. In agreement with quantum field theory, our result encompasses unitarity, treats the resonance as an explicit degree of freedom and, moreover, corresponds to a generalisation of the usual K-matrix unitarization procedure. Since it represents a clear way to relate scattering and production, our function _(s) can be useful in data analysis and may be instrumental in the determination of the pole position of the ? as well as other scalar resonances.
|
19 |
Estudo de colisÃes de paredes de Bloch e localizaÃÃo de modos ferminÃnicosVictor Hugo Ferreira Bezerra 02 September 2005 (has links)
Conselho Nacional de Desenvolvimento CientÃfico e TecnolÃgico / Neste trabalho estudamos numericamente o processo de colisÃo de paredes de domÃnio em um modelo de dois campos escalares acoplados que geram paredes com estrutura interna, as chamadas paredes de Bloch. Percebemos que os objetos resultantes da colisÃo pertencem a um setor topolÃgico diferente dos setores escolhidos no inÃcio do processo, ou seja, o sistema passou de um setor do tipo AA para um setor do tipo AB. Para a velocidade inicial acima de 0, 57..., percebemos a aniquilaÃÃo dos objetos. As ondas solitÃrias refletidas possuem aproximadamente metade da energia inicial. AlÃm do decaimento do setor AA para um tipo AB, verificou-se que parte da energia à convertida numa estrutura coerente oscilante no centro da rede, com aproximadamente metade da energia inicial do sistema. Estudamos ainda estados ligados a partir de duas paredes inicialmente prÃximas com velocidade nula. A estrutura formada perde energia em forma de radiaÃÃo. Entretanto, a perda de energia se dà lentamente, assim como os breathers do modelo Ã4. Estudou-se ainda a presenÃa de fÃrmions acoplados nas paredes de domÃnio tipo Bloch. O acoplamento entre o campo fermiÃnico e os campos à e à à do tipo Yukawa. Mostrou-se que o modo zero fermiÃnico à localizado em x = 0 no campo x, ou seja, o campo fermiÃnico à localizado dentro da parede. A massa fermiÃnica no setor de vÃcuo à a mesma para o modelo Ã4, uma vez que a massa do campo à no setor de vÃcuo à nula. / In this work we numerically study the collision process of domain-walls in a system with two coupled scalar fields, which generates a wall with internal structures, the so called Bloch Walls. If the initial velocity is less than 0, 57... occurs inelastic scattering and part of the energy is lost as radiation. We realize that the objects resulting from the collision belong to a topological sector which is different from those chosen in the beginning of the process. In other words, the system transit from a sector AA-like to a sector AB-like one. The reflected solitary waves have approximately half of the initial energy. Besides of the decay of the sector AA to AB one, we note that part of the energy is converted into a coherent structure which oscillates in the center of the net, with approximately half of the initial energy of the system. We have studied also bound states of the system in the case of two walls which initially are close and with null velocity. The resulting structure lose energy as radiation. However, the energy loss is gradual, like in the case of the breathers of the Ã4 model. On the other hand, we have studied the coupling of fermions to the Bloch domainwall. The coupling between the fermionic field and two different scalar fields named à and à it is a Yukawa-type coupling. We have showed that the fermionic zero mode is localized at x = 0 in the scalar field Ã, which means that the ferminonic field is localized inside wall. The fermionic mass in the vacuum sector is the same obtained for the Ã4 model, since that the mass of the scalar field à in the vacuum sector is zero.
|
20 |
Arquiteturas multi-tarefas simultâneas : SEMPRE : arquitetura SMT com capacidade de execução e escalonamento de processosGoncalves, Ronaldo Augusto de Lara January 2000 (has links)
O avanço tecnológico no projeto de microprocessadores, nos recentes anos, tem seguido duas tendências principais. A primeira tenta aumentar a freqüência do relógio dos mesmos usando componentes digitais e técnicas VLSI mais eficientes. A segunda tenta explorar paralelismo no nível de instrução através da reorganização dos seus componentes internos. Dentro desta segunda abordagem estão as arquiteturas multi-tarefas simultâneas, que são capazes de extrair o paralelismo existente entre e dentro de diferentes tarefas das aplicações, executando instruções de vários fluxos simultaneamente e maximizando assim a utilização do hardware. Apesar do alto custo da implementação em hardware, acredita-se no potencial destas arquiteturas para o futuro próximo, pois é previsto que em breve haverá a disponibilidade de bilhões de transistores para o desenvolvimento de circuitos integrados. Assim, a questão principal a ser encarada talvez seja: como prover instruções paralelas para uma arquitetura deste tipo? Sabe-se que a maioria das aplicações é seqüencial pois os problemas nem sempre possuem uma solução paralela e quando a solução existe os programadores nem sempre têm habilidade para ver a solução paralela. Pensando nestas questões a arquitetura SEMPRE foi projetada. Esta arquitetura executa múltiplos processos, ao invés de múltiplas tarefas, aproveitando assim o paralelismo existente entre diferentes aplicações. Este paralelismo é mais expressivo do que aquele que existe entre tarefas dentro de uma mesma aplicação devido a não existência de sincronismo ou comunicação entre elas. Portanto, a arquitetura SEMPRE aproveita a grande quantidade de processos existentes nas estações de trabalho compartilhadas e servidores de rede. Além disso, esta arquitetura provê suporte de hardware para o escalonamento de processos e instruções especiais para o sistema operacional gerenciar processos com mínimo esforço. Assim, os tempos perdidos com o escalonamento de processos e as trocas de contextos são insignificantes nesta arquitetura, provendo ainda maior desempenho durante a execução das aplicações. Outra característica inovadora desta arquitetura é a existência de um mecanismo de prébusca de processos que, trabalhando em cooperação com o escalonamento de processos, permite reduzir faltas na cache de instruções. Também, devido a essa rápida troca de contexto, a arquitetura permite a definição de uma fatia de tempo (fatia de tempo) menor do que aquela praticada pelo sistema operacional, provendo maior dinâmica na execução das aplicações. A arquitetura SEMPRE foi analisada e avaliada usando modelagem analítica e simulação dirigida por execução de programas do SPEC95. A modelagem mostrou que o escalonamento por hardware reduz os efeitos colaterais causados pela presença de processos na cache de instruções e a simulação comprovou que as diferentes características desta arquitetura podem, juntas, prover ganho de desempenho razoável sobre outras arquiteturas multi-tarefas simultâneas equivalentes, com um pequeno acréscimo de hardware, melhor aproveitando as fatias de tempo atribuídas aos processos.
|
Page generated in 0.0709 seconds