Conference
Resource Sharing via Capability-Based Multiparty Session Types
| Τίτλος: | Resource Sharing via Capability-Based Multiparty Session Types |
|---|---|
| Συγγραφείς: | A. Laura Voinea, Ornela Dardha, Simon J. Gay |
| Στοιχεία εκδότη: | Zenodo |
| Έτος έκδοσης: | 2019 |
| Συλλογή: | Zenodo |
| Θεματικοί όροι: | session types, sharing, concurrent programming |
| Περιγραφή: | Multiparty Session Types (MPST) are a type formalism used to model communication protocols among components in distributed systems, by specifying type and direction of data transmitted. It is stan- dard for multiparty session type systems to use access control based on linear or affine types. While useful in offering strong guarantees of communication safety and session fidelity, linearity and affinity run into the well-known problem of inflexible programming, excluding scenarios that make use of shared channels or need to store channels in shared data structures. In this paper, we develop capability-based resource sharing for multiparty session types. In this setting, channels are split into two entities, the channel itself and the capability of using it. This gives rise to a more flexible session type system, which allows channel references to be shared and stored in persistent data structures. We illustrate our type system through a producer-consumer case study. Finally, we prove that the resulting language satisfies type safety. |
| Τύπος εγγράφου: | conference object |
| Γλώσσα: | English |
| Relation: | https://dblp.uni-trier.de/rec/bibtex/conf/ifm/VoineaDG19; http://www.dcs.gla.ac.uk/~ornela/publications/VDG19.pdf; https://zenodo.org/communities/eu/; https://zenodo.org/records/3661263; oai:zenodo.org:3661263 |
| DOI: | 10.1007/978-3-030-34968-4_24 |
| Διαθεσιμότητα: | https://doi.org/10.1007/978-3-030-34968-4_24 https://zenodo.org/records/3661263 |
| Rights: | Creative Commons Attribution 4.0 International ; cc-by-4.0 ; https://creativecommons.org/licenses/by/4.0/legalcode |
| Αριθμός Καταχώρησης: | edsbas.6C2E4902 |
| Βάση Δεδομένων: | BASE |
| DOI: | 10.1007/978-3-030-34968-4_24 |
|---|