Publicação
Linguagem intermédia tipificada para concorrência em memória partilhada
| dc.contributor.advisor | Seco, João | |
| dc.contributor.author | Lourenço, Luís Miguel Cardoso | |
| dc.date.accessioned | 2011-12-27T15:30:04Z | |
| dc.date.available | 2011-12-27T15:30:04Z | |
| dc.date.issued | 2011 | |
| dc.description | Dissertação para obtenção do Grau de Mestre em Engenharia Informática | en_US |
| dc.description.abstract | O 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. | en_US |
| dc.description.sponsorship | Fundação para a Ciência e Tecnologia do MCTES - projecto PTDC/EIACCO/104583/2008 | en_US |
| dc.identifier.uri | http://hdl.handle.net/10362/6570 | |
| dc.language.iso | por | en_US |
| dc.publisher | Faculdade de Ciências e Tecnologia | en_US |
| dc.subject | Linguagem de programação | en_US |
| dc.subject | Concorrência | en_US |
| dc.subject | Máquina virtual | en_US |
| dc.subject | Compilador | en_US |
| dc.subject | Sistema de tipos | en_US |
| dc.subject | Tipos comportamentais | en_US |
| dc.title | Linguagem intermédia tipificada para concorrência em memória partilhada | en_US |
| dc.type | master thesis | |
| dspace.entity.type | Publication | |
| my.embargo.terms | null | en_US |
| rcaap.rights | openAccess | en_US |
| rcaap.type | masterThesis | en_US |