Quad Ropes -- Immutable, Declarative Arrays with Parallelizable Operations
We describe the quad rope data structure, a representation of immutable two-dimensional arrays that avoids many of the performance pitfalls of plain C-style two-dimensional arrays. Our motivation is that, for end-user development in high-level declarative programming languages, it is impractical to let users choose between different array-like data structures. Instead, one should use the same, somewhat performance-robust, representation for every programming task.
Quad ropes roughly retain array efficiency, as long as programmers express their programs using high-level constructs. Moreover, they allow for fast concatenation and dynamic task-based parallelism and are well suited to represent sparse arrays. We describe their operational semantics and evaluate the performance of individual functions on quad ropes as well as declarative algorithms that use our quad rope implementation.
Sun 18 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
10:00 - 10:30
Morning talks 1ARRAY at Vertex WS218
Chair(s): Andreas Kloeckner University of Illinois at Urbana-Champaign
|Quad Ropes -- Immutable, Declarative Arrays with Parallelizable Operations|
Florian Biermann IT University of Copenhagen, Peter Sestoft IT University of CopenhagenDOI File Attached