Publicação
Compiling the $\pi$-calculus into a Multithreaded Typed Assembly Language
| dc.contributor.author | Cogumbreiro, Tiago | por |
| dc.contributor.author | Martins, Francisco | por |
| dc.contributor.author | Vasconcelos, Vasco T. | por |
| dc.date.accessioned | 2009-02-10T13:11:39Z | por |
| dc.date.accessioned | 2014-11-14T16:24:04Z | |
| dc.date.available | 2009-02-10T13:11:39Z | por |
| dc.date.available | 2014-11-14T16:24:04Z | |
| dc.date.issued | 2008-05 | por |
| dc.description.abstract | Current trends in hardware made available multi-core CPU systems to ordinary users, challenging researchers to devise new techniques to bring software into the multi-core world. However, shaping software for multi-cores is more envolving than simply balancing workload among cores. In a near future (in less than a decade) Intel prepares to manufacture and ship 80-core processors; programmers must perform a paradigm shift from sequential to concurrent programming and produce software adapted for multi-core platforms. In the last decade, proposals have been made to compile formal concurrent and functional languages, notably the $\pi$-calculus, typed concurrent objects, and the $\lambda$-calculus, into assembly languages. The last work goes a step further and presents a series of type-preserving compilation steps leading from System F to a typed assembly language. Nevertheless, all theses works are targeted at sequential architectures. This paper proposes a type-preserving translation from the $\pi$-calculus into MIL, a multithreaded typed assembly language for multi-core/multi-processor architectures. We start from a simple asynchronous typed version of the $\pi$-calculus and translate it into MIL code that is then linked to a run-time library (written in MIL) that provides support for implementation of the $\pi$-calculus primitives (e.g., queuing messages and processes). In short, we implement a message-passing paradigm in a shared memory architecture | por |
| dc.identifier.uri | http://hdl.handle.net/10451/14195 | por |
| dc.identifier.uri | http://repositorio.ul.pt/handle/10455/2901 | por |
| dc.language.iso | por | por |
| dc.publisher | Department of Informatics, University of Lisbon | por |
| dc.relation.ispartofseries | di-fcul-tr-08-13 | por |
| dc.title | Compiling the $\pi$-calculus into a Multithreaded Typed Assembly Language | por |
| dc.type | report | |
| dspace.entity.type | Publication | |
| rcaap.rights | openAccess | por |
| rcaap.type | report | por |
Ficheiros
Principais
1 - 1 de 1