RRB Vector: A Practical General Purpose Immutable Sequence

State-of-the-art immutable collections have wildly differing performance characteristics across their operations, often forcing programmers to choose different collection implementations for each task. Thus, changes to the program can invalidate the choice of collections, making code evolution costly. It would be desirable to have a collection that performs well for a broad range of operations. To this end, we present the RRB-Vector, an immutable sequence collection that offers good performance across a large number of sequential and parallel operations. The underlying innovations are: (1) the Relaxed-Radix-Balanced (RRB) tree structure, which allows efficient structural reorganization, and (2) an optimization that exploits spatio-temporal locality on the RRB data structure in order to offset the cost of traversing the tree. In our benchmarks, the RRB-Vector speedup for parallel operations is lower bounded by 7x when executing on 4 CPUs of 8 cores each. The performance for discrete operations, such as appending on either end, or updating and removing elements, is consistently good and compares favorably to the most important immutable sequence collections in the literature and in use today. The memory footprint of RRB-Vector is on par with arrays and an order of magnitude less than competing collections.


Publié dans:
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 342--354
Présenté à:
International Conference on Functional Programming (ICFP), Vancouver, BC, Canada, August 31 – September 2, 2015
Année
2015
Publisher:
New York, NY, USA, ACM
ISBN:
978-1-4503-3669-7
Mots-clefs:
Laboratoires:




 Notice créée le 2015-11-02, modifiée le 2019-03-26

Publisher's version:
Télécharger le documentPDF
Lien externe:
Télécharger le documentURL
Évaluer ce document:

Rate this document:
1
2
3
 
(Pas encore évalué)