Vats: A Safe, Reactive Storage Abstraction
2016 (English)In: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday / [ed] Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen, Springer, 2016, 140-154 p.Chapter in book (Refereed)
The rise of multicore computers has hastened the advent of multifarious abstractions to facilitate the construction of parallel programs. This paper presents another: the vat. A vat is like a variable, but it has various actions attached to it that can block, transform and react to changes to the vat. Vats can be combined together in various ways, linking the behaviours of the vats together, resulting in various synchronisation mechanisms. Vats are powerful enough to encode (part of) many existing mechanisms including promises, condition variables, LVars and reactive programming.
Place, publisher, year, edition, pages
Springer, 2016. 140-154 p.
, Lecture Notes in Computer Science, ISSN 0302-9743 ; 9660
IdentifiersURN: urn:nbn:se:uu:diva-287594DOI: 10.1007/978-3-319-30734-3_11ISBN: 978-3-319-30733-6OAI: oai:DiVA.org:uu-287594DiVA: diva2:922964
FunderEU, FP7, Seventh Framework Programme