Fri 19 Jul 2019 11:20 - 11:45 at Epernay - Workshop session

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 (\eg{} 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.

Fri 19 Jul

ICOOOLPS-2019-papers
10:30 - 12:10: ICOOOLPS 2019 - Workshop session at Epernay
ICOOOLPS-2019-papers10:30 - 10:55
Research paper
Johannes HenningHasso Plattner Institute, David Stangl, Fabio NiephausHasso Plattner Institute, University of Potsdam, Robert HirschfeldHasso-Plattner-Institut (HPI), Germany
DOI
ICOOOLPS-2019-papers10:55 - 11:20
Research paper
Tomoharu UgawaKochi University of Technology, Japan, Hideya IwasakiUniversity of Electro-Communications, Japan, Takafumi Kataoka
ICOOOLPS-2019-papers11:20 - 11:45
Research paper
Beatrice ÅkerblomStockholm University, Elias CastegrenUppsala University, Tobias WrigstadUppsala University
ICOOOLPS-2019-papers11:45 - 12:10
Research paper
Alexi TurcotteNortheastern University, Jan VitekNortheastern University