We introduce transactions into libraries of concurrent data structures; such transactions can be used to ensure atomicity of sequences of data structure operations. The resulting transactional data structures strike a balance between the ease-of-programming of transactions and the efficiency of custom-tailored data structures. We exemplify this concept by designing and implementing a library supporting transactions on any number of maps (implemented as skiplists) and queues. Our library offers efficient and scalable transactions, which are an order of magnitude faster than state-of-the-art transactional memory toolkits. Moreover, our approach treats stand-alone data structure operations (like \emph{put} and \emph{enqueue}) as first class citizens, and allows them to execute with virtually no overhead, at the speed of the original data structure library.
Fri 17 JunDisplayed time zone: Tijuana, Baja California change
10:30 - 12:00 | |||
10:30 30mTalk | Transactional Data Structure Libraries Research Papers Alexander Spiegelman Technion - Israel institute of technology, Guy Golan-Gueta Yahoo Labs, Idit Keidar Technion - Israel institute of technology Media Attached | ||
11:00 30mTalk | FlexVec: Auto-Vectorization for Irregular Loops Research Papers Media Attached | ||
11:30 30mTalk | Verified Lifting of Stencil Computations Research Papers Shoaib Kamil MIT CSAIL, USA, Alvin Cheung University of Washington, Shachar Itzhaky MIT CSAIL, Armando Solar-Lezama MIT Media Attached |