For software transactional memory (STM) to be usable in large applications such as databases, it needs to be robust, i.e., live, efficient, tolerant of crashed and non-terminating transactions, and practical. In this paper, we study the question of whether one can implement a robust software transactional memory in an asynchronous system. To that end, we introduce a system model – the multicore...

Transactional monitors are proposed as an alternative to monitors based on mutual-exclusion synchronization for object-oriented programming languages. Transactional monitors have execution semantics similar to mutualexclusion monitors but implement monitors as lightweight transactions that can be executed concurrently (or in parallel on multiprocessors). They alleviate many of the constraints t...

The development of new services by composition of existing ones has gained considerable momentum as a means of integrating heterogeneous applications and realising business collaborations. Services that enter into compositions with other services may have transactional properties, especially those in the broad area of resource management (e.g. booking services). These transactional properties m...

Transaction Memory (TM) is a concurrency control abstraction that allows the programmer to specify blocks of code to be executed atomically. In this paper, we consider a distributed variant of TM in which transactional memory is consistently replicated on network nodes for greater availability and fault-tolerance. We argue that opacity, a standard TM safety property, is misused when applied to ...

This paper proposes 7T SRAM which realizes block-level simultaneous copying feature. The proposed SRAM can be used for data transfer between local memories such as checkpoint data storage and transactional memory. The 1-Mb SRAM is comprised of 32-kb blocks, in which 16-kb data can be copied in 33.3 ns at 1.2 V. The proposed scheme reduces energy consumption in copying by 92.7% compared to the c...

Emerging airborne telemetry networks present several challenges such that traditional MANET protocols do not perform well. On the other hand, application traffic characteristics are expected to be identical in this domain. Transactional application traffic performance has been studied for traditional MANETs, however this type of traffic has not been studied for domain-specific MANET scenarios. ...

Traditional software transactional memory systems implemented synchronization and recovery by tracking pertransaction memory access. In recent work, we introduced transactional boosting, a methodology whereby performance is improved by forgoing read/write sets and relying on data structure commutativity and abstract locks for synchronization. In this paper, we advocate a new aggressive form of ...

Distributed systems are widely used in high performance computing for performing computationally extensive calculations. In programming terms, distributed systems have usually been exploited through the use of dedicated APIs such as OpenMP and MPI. With these programming models, synchronization is achieved using locks and barriers, and is complex to implement correctly. Transactional memory is ...

A transactional agent is a mobile agent which manipulates objects in one or more than one computer so as to satisfy some constraint like ACID. An agent creates a surrogate agent on a computer on leaving the computer. A surrogate holds objects manipulated by the agent until the agent terminates. The surrogate can recreate a new incarnation of the agent if the agent is faulty. Transactional agent...