Sökning: WFRF:(Castegren Elias Doktor 1987 ) >
Progress Report :
Progress Report : Exploring API Design for Capabilities for Programming with Arrays
-
- Åkerblom, Beatrice (författare)
- Stockholms universitet,Institutionen för data- och systemvetenskap,Computer and Systems Science Stockholm University,Stockholm Univ, Comp & Syst Sci, Stockholm, Sweden.
-
- Castegren, Elias, Doktor, 1987- (författare)
- KTH,Programvaruteknik och datorsystem, SCS,Royal Inst Technol, Sch EECS, Stockholm, Sweden.
-
- Wrigstad, Tobias, 1976- (författare)
- Uppsala universitet,Datalogi
-
(creator_code:org_t)
- 2019-07-19
- 2019
- Engelska.
-
Ingår i: ICOOOLPS '19. - New York, NY, USA : Association for Computing Machinery (ACM). - 9781450368629
- Relaterad länk:
-
http://kth.diva-port...
-
visa fler...
-
https://kth.diva-por... (primary) (Raw object)
-
https://urn.kb.se/re...
-
https://doi.org/10.1...
-
https://urn.kb.se/re...
-
https://urn.kb.se/re...
-
visa färre...
Abstract
Ämnesord
Stäng
- In on-going work, we are exploring reference capabilities for arrays, with the intention of carrying over previous results on statically guaranteed data-race freedom to parallel array algorithms. Reference capabilities typically restrict incoming pointers to an object to one (uniqueness), or restrict operations via multiple pointer to a single object (e.g., to only read). Extending such a design to arrays involve operations such as logically partitioning an array so that even though there are multiple pointers to a single array, these pointers cannot access the same elements.In this paper, we report on the on-going work of a prototype implementation of array capabilities, focusing in particular on the "array capability API design", meaning the native operations on capabilities such as splitting and merging arrays. Using our prototype implementation, we translate several existing array algorithms into using array capabilities and qualitatively study the result. In addition to identifying the need for additional operations, we study what features are commonly exercised, what are the recurring patterns, and how reliance on direct element addressing using indexes can be reduced. We end by discussing a possible design for a more performant implementation once the API is fixed.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Nyckelord
- Type systems
- Capabilities
- Parallelism
- Arrays
- Computer and Systems Sciences
- data- och systemvetenskap
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Hitta via bibliotek
Till lärosätets databas