Detail

Is transaction memory enough or do we need atomic conditional wait as well?

Transactional memory attempts to simplify parallel programming by allowing a group of load and store instructions to execute in an atomic way. In this talk I highlight the simplification that results from the introduction of transactional memory and the type of concurrent bug patterns that are avoided. Next, I introduce the conditional atomic primitive and highlight further simplification and additional concurrent bug patterns that are avoided if this primitive is introduced. I conclude that efficient implementation of the conditional atomic primitive is an interesting research topic.