Search: onr:"swepub:oai:DiVA.org:uu-334694" >
Orca :
Orca : GC and Type System Co-design for Actor Languages
-
- Clebsch, Sylvan (author)
- Microsoft Research, UK
-
- Franco, Juliana (author)
- Imperial College London, UK
-
- Drossopoulou, Sophia (author)
- Imperial College London, UK
-
show more...
-
- Yang, Albert Mingkun (author)
- Uppsala universitet,Datalogi
-
- Wrigstad, Tobias, 1976- (author)
- Uppsala universitet,Datalogi
-
- Vitek, Jan (author)
- Northeastern University, USA
-
show less...
-
(creator_code:org_t)
- 2017-10-12
- 2017
- English.
-
In: Proceedings of the ACM on Programming Languages. - : ACM. - 2475-1421. ; 1:OOPSLA, s. 1-28
- Related links:
-
https://doi.org/10.1...
-
show more...
-
http://doi.acm.org/1...
-
https://uu.diva-port... (primary) (Raw object)
-
https://dl.acm.org/d...
-
https://urn.kb.se/re...
-
https://doi.org/10.1...
-
show less...
Abstract
Subject headings
Close
- ORCA is a concurrent and parallel garbage collector for actor programs, which does not require any STW steps, or synchronization mechanisms, and that has been designed to support zero-copy message passing and sharing of mutable data. ORCA is part of a runtime for actor-based languages, which was co-designed with the Pony programming language, and in particular, with its data race free type system. By co-designing an actor language with its runtime, it was possible to exploit certain language properties in order to optimize performance of garbage collection. Namely, ORCA relies on the guarantees of absence of race conditions in order to avoid read/write barriers, and it leverages the actor message passing, for synchronization among actors.In this paper we briefly describe Pony and its type system. We use pseudo-code in order to introduce how ORCA allocates and deallocates objects, how it shares mutable data without requiring barriers upon data mutation, and how can immutability be used to further optimize garbage collection. Moreover, we discuss the advantages of co-designing an actor language with its runtime, and we demonstrate that ORCA can be implemented in a performant and scalable way through a set of micro-benchmarks, including a comparison with other well-known collectors.
Subject headings
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Datorsystem (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Computer Systems (hsv//eng)
Keyword
- actors
- messages
Publication and Content Type
- ref (subject category)
- art (subject category)
Find in a library
To the university's database