|
Uniqueness Typing for Resource Management in Message-Passing Concurrency. |
HENNESSY, MATTHEW
|
|
|
|
We view channels as the main form of resources in a message-passing programming paradigm. These
channels need to be carefully managed in settings where resources are scarce. To study this problem,
we extend the pi-calculus with primitives for channel allocation and deallocation and allow channels
to be reused to communicate values of different types. Inevitably, the added expressiveness increases
the possibilities for runtime errors. We define a substructural type system which combines uniqueness
typing and affine typing to reject these ill-behaved programs.
|
|
Keyword(s):
|
Computer sciences; message-passing programming |
Publication Date:
|
2010 |
|
Type:
|
Conference item |
|
Peer-Reviewed:
|
Yes |
|
Language(s):
|
English |
|
Institution:
|
Trinity College Dublin |
|
Citation(s):
|
Edsko de Vries, Adrian Francalanza and Matthew Hennessy., Uniqueness Typing for Resource Management in Message-Passing Concurrency., First International Workshop on Linearity (LINEARITY 2009). Electronic Proceedings in Theoretical Computer Science, First International Workshop on Linearity (LINEARITY 2009), Coimbra, Portugal, September 2009, M. Florido and I. Mackie, 22, 2010, 26-37 |
|
Alternative Title(s):
|
First International Workshop on Linearity (LINEARITY 2009). Electronic Proceedings in Theoretical Computer Science -First International Workshop on Linearity (LINEARITY 2009) |
|
First Indexed:
2014-05-13 05:44:04 Last Updated:
2015-07-15 05:20:50 |
