Linguagem intermédia tipificada para concorrência em memória partilhada

Detalhes bibliográficos
Autor(a) principal: Lourenço, Luís Miguel Cardoso
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/6570
Resumo: Dissertação para obtenção do Grau de Mestre em Engenharia Informática
id RCAP_cce7501118a86bd0bf6643a4a28ad696
oai_identifier_str oai:run.unl.pt:10362/6570
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 Linguagem intermédia tipificada para concorrência em memória partilhadaLinguagem de programaçãoConcorrênciaMáquina virtualCompiladorSistema de tiposTipos comportamentaisDissertação para obtenção do Grau de Mestre em Engenharia InformáticaO objectivo da dissertação consiste em implementar um compilador, e o sistema de suporte à execução, para uma linguagem de programação com mecanismos primitivos de controlo de concorrência em memória partilhada. A utilização de concorrência nos sistemas de software actuais é essencial, desde os servidores aplicacionais mais poderosos que disponibilizam serviços a múltiplos clientes simultaneamente, até aos “simples” interfaces gráficos de utilização comum. As linguagens ditas general purpose, as mais utilizadas para a implementação destes sistemas, como a linguagens Java e C#, suportam a utilização de vários fios de execução através de classes de biblioteca. O suporte específico da linguagem para controlar acessos concorrentes a zonas de memória partilhada restringe-se apenas à utilização dos objectos como monitores, o que torna difícil a implementação de mecanismos de verificação estática ao nível do sistema de tipos. Nesta dissertação pretende-se implementar uma linguagem de programação que integra mecanismos de concorrência de forma nativa, tornando possível a construção de programas concorrentes de forma mais estruturada e modular. É proposta uma linguagem concreta implementada a partir de uma linguagem core desenvolvida no grupo de investigação onde se insere este trabalho. Também é desenvolvido um compilador, a respectiva máquina virtual de pilha e uma linguagem intermédia tipificada, com um modelo de objectos análogo ao da JVM/CLR, mas com suporte nativo para concorrência. A definição de uma linguagem intermédia tipificada, onde constarão instruções para a criação de múltiplos fios de execução e controlo de concorrência, visa suportar e antever o desenvolvimento de um sistema de tipos comportamental que permita detectar estaticamente as interferências entre os múltiplos fios de execução, ao nível de abstracção mais baixo, e que também espelhe as propriedades do sistema de tipos da linguagem fonte.Fundação para a Ciência e Tecnologia do MCTES - projecto PTDC/EIACCO/104583/2008Faculdade de Ciências e TecnologiaSeco, JoãoRUNLourenço, Luís Miguel Cardoso2011-12-27T15:30:04Z20112011-01-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttp://hdl.handle.net/10362/6570porinfo: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:37:39Zoai:run.unl.pt:10362/6570Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-20T03:16:52.622765Repositó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 Linguagem intermédia tipificada para concorrência em memória partilhada
title Linguagem intermédia tipificada para concorrência em memória partilhada
spellingShingle Linguagem intermédia tipificada para concorrência em memória partilhada
Lourenço, Luís Miguel Cardoso
Linguagem de programação
Concorrência
Máquina virtual
Compilador
Sistema de tipos
Tipos comportamentais
title_short Linguagem intermédia tipificada para concorrência em memória partilhada
title_full Linguagem intermédia tipificada para concorrência em memória partilhada
title_fullStr Linguagem intermédia tipificada para concorrência em memória partilhada
title_full_unstemmed Linguagem intermédia tipificada para concorrência em memória partilhada
title_sort Linguagem intermédia tipificada para concorrência em memória partilhada
author Lourenço, Luís Miguel Cardoso
author_facet Lourenço, Luís Miguel Cardoso
author_role author
dc.contributor.none.fl_str_mv Seco, João
RUN
dc.contributor.author.fl_str_mv Lourenço, Luís Miguel Cardoso
dc.subject.por.fl_str_mv Linguagem de programação
Concorrência
Máquina virtual
Compilador
Sistema de tipos
Tipos comportamentais
topic Linguagem de programação
Concorrência
Máquina virtual
Compilador
Sistema de tipos
Tipos comportamentais
description Dissertação para obtenção do Grau de Mestre em Engenharia Informática
publishDate 2011
dc.date.none.fl_str_mv 2011-12-27T15:30:04Z
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/6570
url http://hdl.handle.net/10362/6570
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_ 1799137817545146368

Registros relacionados