Towards a Software Product Line of Trie-Based Collections
Collection data structures in standard libraries of programming languages are designed to excel for the average case by carefully balancing memory footprint and runtime performance. These implicit design decisions and hard-coded trade-offs do constrain users from using an optimal variant for a given problem. Although a wide range of specialized collections is available for the Java Virtual Machine (JVM), they introduce yet another dependency and complicate user adoption by requiring specific Application Program Interfaces (APIs) incompatible with the standard library.
A product line for collection data structures would relieve library designers from optimizing for the general case. Furthermore, a product line allows evolving the potentially large code base of a collection family efficiently. The challenge is to find a small core framework for collection data structures which covers all variations without exhaustively listing them, while supporting good performance at the same time.
We claim that the concept of Array Mapped Tries (AMTs) embodies a high degree of commonality in the sub-domain of immutable collection data structures. AMTs are flexible enough to cover most of the variability, while minimizing code bloat in the generator and the generated code. We implemented a Data Structure Code Generator (DSCG) that emits immutable collections based on an AMT skeleton foundation. The generated data structures outperform competitive hand-optimized implementations, and the generator still allows for customization towards specific workloads.
Tue 1 Nov Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
13:30 - 15:10: Software Product Lines and TestingGPCE at Zürich 1 Chair(s): Tiark RompfPurdue University, USA | |||
13:30 - 14:00 Talk | IncLing: Efficient Product-Line Testing Using Incremental Pairwise Sampling GPCE Mustafa Al-HajjajiMagdeburg University, Sebastian KrieterMagdeburg University, Thomas ThümTU Braunschweig, Germany, Malte LochauTU Darmstadt, Gunter SaakeMagdeburg University | ||
14:00 - 14:30 Talk | Towards Scalable Configuration Testing in Variable Software GPCE Valentin Rothberg Friedrich-Alexander University of Erlangen-Nürnberg, Christian Dietrich, Andreas ZieglerFriedrich-Alexander University Erlangen-Nürnberg (FAU), Daniel LohmannFriedrich-Alexander University of Erlangen-Nürnberg Pre-print Media Attached | ||
14:30 - 14:45 Talk | Towards a Software Product Line of Trie-Based Collections GPCE Pre-print Media Attached | ||
14:45 - 15:00 Talk | Tool Demo: Testing Configurable Systems with FeatureIDE GPCE Mustafa Al-HajjajiMagdeburg University, Jens MeinickeMagdeburg University, Sebastian KrieterMagdeburg University, Reimar SchröterMagdeburg University, Thomas ThümTU Braunschweig, Germany, Thomas LeichHarz University of Applied Sciences, Germany, Gunter SaakeMagdeburg University |