[pt] REVISITANDO MONITORES

• Ano de defesa: 2020
• Autor(a) principal: RENAN ALMEIDA DE MIRANDA SANTOS
• Tipo de documento: Tese
• Tipo de acesso: Acesso aberto
• Idioma: eng
• Instituição de defesa: MAXWELL
• Palavras-chave em Português: [pt] IMUTABILIDADE; [pt] LINGUAGENS DE PROGRAMACAO CONCORRENTES; [pt] PROBLEMAS DE CONCORRENCIA CLASSICOS; [pt] MONITORES; [pt] MEMORIA COMPARTILHADA; [pt] CONCORRENCIA; [en] IMMUTABILITY; [en] CONCURRENT PROGRAMMING LANGUAGES; [en] CLASSIC CONCURRENCY PROBLEMS; [en] MONITORS; [en] SHARED MEMORY; [en] CONCURRENCE
• Link de acesso: https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=49068&idi=1; https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=49068&idi=2; http://doi.org/10.17771/PUCRio.acad.49068

[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.