Memory Model Sensitive Analysis of Concurrent Data Types

Abstract

MEMORY MODEL SENSITIVE ANALYSIS OF CONCURRENT DATA TYPES Sebastian Burckhardt Rajeev Alur, Milo Martin Concurrency libraries can facilitate the development of multi-threaded programs by providing concurrent implementations of familiar data types such as queues and sets. Many optimized algorithms that use lock-free synchronization have been proposed for… (More)

Topics

29 Figures and Tables

Cite this paper

@inproceedings{Burckhardt2007MemoryMS, title={Memory Model Sensitive Analysis of Concurrent Data Types}, author={Sebastian Burckhardt and Rajeev Alur and Milo M. K. Martin}, year={2007} }