Implementação de uma linguagem concorrente com tipos comportamentais

Detalhes bibliográficos
Autor(a) principal: Parreira, Nuno Jorge Corvo
Data de Publicação: 2011
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: http://hdl.handle.net/10362/5628
Resumo: Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática
id RCAP_b0828e2bad750704c38f0a52db438b28
oai_identifier_str oai:run.unl.pt:10362/5628
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling Implementação de uma linguagem concorrente com tipos comportamentaisLinguagens de programaçãoConcorrênciaMemória partilhadaVerificação estáticaTipos espaciais/comportamentaisInferência de tiposTrabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia InformáticaA programação concorrente com base em memória partilhada é uma disciplina difícil. A possível interferência entre threads no acesso a zonas de memória partilhada pode causar comportamentos que comprometam o funcionamento esperado de um programa. Em geral, pretende-se que os programas concorrentes não tenham problemas do tipo deadlocks ou race conditions. Esse objectivo atinge-se controlando o acesso às zonas partilhadas através de mecanismos fornecidos a nível dos sistemas operativos, que são eficazes mas difíceis de usar sem cometer erros. Uma forma de minimizar esse problema é usar linguagens com abstracções próprias para representar concorrência, e mais ainda se estas permitirem efectuar análise estática do código dos programas para detectar situações anómalas. Este trabalho descreve a implementação de uma linguagem de programação orientada aos objectos, com suporte para concorrência, e respectivo algoritmo de tipificação, baseado em tipos espaciais/comportamentais, com operadores de tipo de composição sequencial, composição paralela, escolha, repetição e replicação. O sistema de tipos em que se baseia o algoritmo de tipificação apresentado aqui, garante a ausência de race conditions nos programas através da disciplina no acesso a recursos partilhados. O algoritmo de tipificação combina técnicas de verificação de tipos com inferência de tipos; obtém também a utilização dos identificadores livres por análise das expressões, e relaciona-a com os tipos declarados para os objectos através de uma relação de subtyping.Este trabalho foi parcialmente suportado pelas bolsas PTDC/EIA-CCO/104583/2008 e de introdução à investigação do DI-FCT-UNLFaculdade de Ciências e TecnologiaSeco, JoãoRUNParreira, Nuno Jorge Corvo2011-05-16T10:00:07Z20112011-01-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttp://hdl.handle.net/10362/5628porinfo:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2024-03-11T03:36:20Zoai:run.unl.pt:10362/5628Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-20T03:16:24.506882Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv Implementação de uma linguagem concorrente com tipos comportamentais
title Implementação de uma linguagem concorrente com tipos comportamentais
spellingShingle Implementação de uma linguagem concorrente com tipos comportamentais
Parreira, Nuno Jorge Corvo
Linguagens de programação
Concorrência
Memória partilhada
Verificação estática
Tipos espaciais/comportamentais
Inferência de tipos
title_short Implementação de uma linguagem concorrente com tipos comportamentais
title_full Implementação de uma linguagem concorrente com tipos comportamentais
title_fullStr Implementação de uma linguagem concorrente com tipos comportamentais
title_full_unstemmed Implementação de uma linguagem concorrente com tipos comportamentais
title_sort Implementação de uma linguagem concorrente com tipos comportamentais
author Parreira, Nuno Jorge Corvo
author_facet Parreira, Nuno Jorge Corvo
author_role author
dc.contributor.none.fl_str_mv Seco, João
RUN
dc.contributor.author.fl_str_mv Parreira, Nuno Jorge Corvo
dc.subject.por.fl_str_mv Linguagens de programação
Concorrência
Memória partilhada
Verificação estática
Tipos espaciais/comportamentais
Inferência de tipos
topic Linguagens de programação
Concorrência
Memória partilhada
Verificação estática
Tipos espaciais/comportamentais
Inferência de tipos
description Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática
publishDate 2011
dc.date.none.fl_str_mv 2011-05-16T10:00:07Z
2011
2011-01-01T00:00:00Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10362/5628
url http://hdl.handle.net/10362/5628
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Faculdade de Ciências e Tecnologia
publisher.none.fl_str_mv Faculdade de Ciências e Tecnologia
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799137813610889216

Registros relacionados