Brief announcement: view transactions: transactional model with relaxed consistency checks

We present view transactions, a model for relaxed consistency checks in software transactional memory (STM). View transactions always operate on a consistent snapshot of memory but may commit in a different snapshot. They are therefore simpler to reason about, provide opacity and maintain composability. In addition, view transactions avoid many of the overheads associated with previous approaches for relaxing consistency checks. As a result, view transactions

• Type: Conference
• Year: 2010
• Where: PODC
• Authors: Yehuda Afek, Adam Morrison, Moran Tzafrir
• Keywords: Consistency Checks, Distributed And Parallel Computing, PODC 2010, Software Transactional Memory, View Transactions