Fine-Grained Multithreading with Process Calculi

Authors:
Luís Lopes;Vasco T. Vasconcelos;Fernando Silva
Affiliations:
Univ. of Porto, Porto, Portugal;Univ. of Lisbon, Lisbon, Portugal;Univ. of Porto, Porto, Portugal
Venue:
IEEE Transactions on Computers - Special issue on the parallel architecture and compilation techniques conference
Year:
2001

Citing 19
Cited 0

Communication and concurrency

Communication and concurrency
Can dataflow subsume von Neumann computing?

ISCA '89 Proceedings of the 16th annual international symposium on Computer architecture
T: a multithreaded massively parallel architecture

ISCA '92 Proceedings of the 19th annual international symposium on Computer architecture
A calculus of mobile processes, I

Information and Computation
TAM—a compiler controlled threaded abstract machine

Journal of Parallel and Distributed Computing - Special issue on dataflow and multithreaded architectures
“Use-once” variables and linear objects: storage management, reflection and multi-threading

ACM SIGPLAN Notices
Cilk: an efficient multithreaded runtime system

PPOPP '95 Proceedings of the fifth ACM SIGPLAN symposium on Principles and practice of parallel programming
Linearity and the pi-calculus

POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The reflexive CHAM and the join-calculus

POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The Tera computer system

ICS '90 Proceedings of the 4th international conference on Supercomputing
The π-calculus in direct style

Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Quasi-linear types

Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Processes, functions, and datatypes

Theory and Practice of Object Systems - Special issue on selected papers from ESEC/FSE'97 (Joint Meeting of the European Software Engineering Conference and ACM Foundations of Software Engineering)
Monsoon: an explicit token-store architecture

ISCA '90 Proceedings of the 17th annual international symposium on Computer Architecture
Language Primitives and Type Discipline for Structured Communication-Based Programming

ESOP '98 Proceedings of the 7th European Symposium on Programming: Programming Languages and Systems
A Virtual Machine for a Process Calculus

PPDP '99 Proceedings of the International Conference PPDP'99 on Principles and Practice of Declarative Programming
An Object Calculus for Asynchronous Communication

ECOOP '91 Proceedings of the European Conference on Object-Oriented Programming
A Typing System for a Calculus of Objects

Proceedings of the First JSSST International Symposium on Object Technologies for Advanced Software
A multiple processor data flow machine that supports generalized procedures

ISCA '81 Proceedings of the 8th annual symposium on Computer Architecture

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents a multithreaded abstract machine for the TyCO process calculus. We argue that process calculi provide a powerful framework to reason about fine-grained parallel computations. They allow for the construction of formally verifiable systems on which to base high-level programming idioms, combined with efficient compilation schemes into multithreaded architectures.