High-level small-step operational semantics for transactions

KF Moore, D Grossman - Proceedings of the 35th annual ACM SIGPLAN …, 2008 - dl.acm.org
Software transactions have received significant attention as a way to simplify shared-
memory concurrent programming, but insufficient focus has been given to the precise …

[PDF][PDF] Unrestricted transactional memory: Supporting I/O and system calls within transactions

C Blundell, EC Lewis, MMK Martin - University of Pennsylvania, 2006 - Citeseer
Hardware transactional memory has great potential to simplify the creation of correct and
efficient multithreaded programs, enabling programmers to exploit the soon-to-be-ubiquitous …

Atomic RMI: A distributed transactional memory framework

K Siek, PT Wojciechowski - International Journal of Parallel Programming, 2016 - Springer
This paper presents Atomic RMI, a distributed transactional memory framework that supports
the control flow model of execution. Atomic RMI extends Java RMI with distributed …

Last-use opacity: a strong safety property for transactional memory with prerelease support

K Siek, PT Wojciechowski - Proceedings of the 2024 ACM Workshop on …, 2024 - dl.acm.org
Transaction Memory (TM) is a concurrency control abstraction that allows the programmer to
specify blocks of code to be executed atomically as transactions. However, since …

Brief announcement: Relaxing opacity in pessimistic transactional memory

K Siek, PT Wojciechowski - DISC, 2014 - Springer
Since in the Transactional Memory (TM) abstraction transactional code can contain any
operation (rather than just reads and writes), greater attention must be paid to the state of …

Towards a fully-articulated pessimistic distributed transactional memory

K Siek, PT Wojciechowski - Proceedings of the twenty-fifth annual ACM …, 2013 - dl.acm.org
Transactional memory, an approach aiming to replace cumbersome locking mechanisms in
concurrent systems, has become a popular research topic. But due to problems posed by …

[图书][B] Language design for atomicity, declarative synchronization, and dynamic update in communicating systems

PT Wojciechowski - 2007 - cs.put.poznan.pl
Language Design for Atomicity, Declarative Synchronization, and Dynamic Update in
Communicating Systems Page 1 Language Design for Atomicity, Declarative …

Atomic RMI 2: Highly parallel pessimistic distributed transactional memory

K Siek, PT Wojciechowski - arXiv preprint arXiv:1606.03928, 2016 - arxiv.org
Distributed Transactional Memory (DTM) is an emerging approach to distributed
synchronization based on the application of the transaction abstraction to distributed …

Atomic RMI 2: distributed transactions for Java

PT Wojciechowski, K Siek - … of the 6th International Workshop on …, 2016 - dl.acm.org
The goal of this tool demo paper is to demonstrate the features of Atomic RMI 2, a system
and tool for distributed programming in Java, extending the popular Java RMI system with …

Transactional correctness for secure nested transactions

D Duggan, Y Wu - International Symposium on Trustworthy Global …, 2011 - Springer
Abstract Secure Nested Transactions are an adaptation of traditional nested transactions to
support the synergy of language-based security and multi-level database security. They …