Spelling suggestions: "subject:"imputabilidade"" "subject:"mutabilidade""
1 |
[pt] REVISITANDO MONITORES / [en] REVISITING MONITORSRENAN ALMEIDA DE MIRANDA SANTOS 13 August 2020 (has links)
[pt] A maioria das linguagens de programação modernas fornece ferramentas para programação concorrente sem restringir seu uso. Assim, fica a cargo do programador evitar a ocorrência de condições de corrida. Nessa dissertação, revisitamos o modelo de monitores, projetados para prevenir condições de corrida ao limitar o acesso à variáveis compartilhadas, e mostramos que monitores podem ser implementados em linguagens de programação com semântica referencial, dadas as regras de tipagem apropriadas. Nós descrevemos a linguagem de programação Aria, projetada com monitores nativos seguindo a proposta original do modelo. Através da resolução de problemas clássicos de concorrência, nós avaliamos o uso de monitores em Aria
para sincronização em diferentes níveis de granularidade, e extendemos a linguagem com novos recursos a fim de contemplar as limitações do modelo envolvendo desempenho e expressividade. / [en] Most current programming languages do not restrict the use of the concurrency primitives they provide, leaving it to the programmer to detect data races. In this dissertation, we revisit the monitor model, which
guards against data races by guaranteeing that accesses to shared variables occur only inside monitors, and show that this concept can be implemented in a programming language with referential semantics, given appropriate typing rules. We describe the Aria programming language, designed with native monitors according to these rules. Through the discussion of classic concurrency problems, we evaluate the use of Aria monitors for synchronization at different levels of granularity and extend the language with new features to address the limitations of monitors regarding performance and expressiveness.
|
2 |
[en] IM-POTENT GOD SUFFERING AND EVIL IN CONFRONTATION WITH THE CROSS / [pt] O DEUS IM-POTENTE O SOFRIMENTO E O MAL EM CONFRONTO COM A CRUZPAULO ROBERTO GOMES VIEIRA 05 January 2004 (has links)
[pt] O sofrimento e o mal levantam uma série de questões sempre
recorrentes. Tratando-se de homens e mulheres no contexto
da mentalidade moderna, surge a indagação: como harmonizar
a afirmação de um Deus Todo-Poderoso com a realidade do
sofrimento e do mal, salvaguardando a autonomia do ser
humano e do mundo? Através de três teólogos contemporâneos,
Andrés Torres Queiruga, Jürgen Moltmann e Jon Sobrino,
buscamos responder a esse questionamento, enfatizando a
contribuição de cada um dos autores estudados, percebendo as
lacunas e debruçando-nos sobre as críticas para completar,
enriquecer e aprofundar suas reflexões. Nosso estudo parte
de uma questão pastoral, refletida de forma teológico-
sistemática, em vista de uma práxis cristã coerente para
erradicar, amenizar e/ou integrar o sofrimento e o mal. / [en] Suffering and evil always raise a series of recurring
questions. In dealing with man and woman, in the context of
modern mentality, there arises an inquiry: how can we
harmonize the affirmation of an All-Mighty God with the
reality of suffering and evil, safeguarding the autonomy of
the human being and the world? In dialogue with three
contemporary theologians, Andrés Torres Queiruga, Jürgen
Moltmann and Jon Sobrino, we try to deal with this
questioning, emphasizing their contributions, detecting
lacunas, and discerning the critiques in order to
complement, enrich and deepen their considerations. Our
study departs from a pastoral question, analyzed in a
systematic-theological way, in order to establish a
coherent Christian praxis which seeks to erradicate, ease
and/or integrate the suffering and evil.
|
Page generated in 0.0612 seconds