Sciweavers

82 search results - page 7 / 17
» A Concurrent Calculus with Atomic Transactions
Sort
View
ECOOPWEXCEPTION
2000
Springer
14 years 2 months ago
Action-Oriented Exception Handling in Cooperative and Competitive Concurrent Object-Oriented Systems
The chief aim of this survey is to discuss exception handling models which have been developed for concurrent object systems. In conducting this discussion we rely on the following...
Alexander B. Romanovsky, Jörg Kienzle
CAV
2009
Springer
177views Hardware» more  CAV 2009»
14 years 10 months ago
Software Transactional Memory on Relaxed Memory Models
Abstract. Pseudo-code descriptions of STMs assume sequentially consistent program execution and atomicity of high-level STM operations like read, write, and commit. These assumptio...
Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh
VLDB
1991
ACM
220views Database» more  VLDB 1991»
14 years 1 months ago
A Performance Evaluation of Multi-Level Transaction Management
Multi-level transactions are a variant of open nested transactions in which the subtransactions correspond to operations at different levels of a layered system architecture. The ...
Christof Hasse, Gerhard Weikum
PPOPP
2009
ACM
14 years 4 months ago
NePalTM: design and implementation of nested parallelism for transactional memory systems
Abstract. Transactional memory (TM) promises to simplify construction of parallel applications by allowing programmers to reason about interactions between concurrently executing c...
Haris Volos, Adam Welc, Ali-Reza Adl-Tabatabai, Ta...
VMCAI
2009
Springer
14 years 4 months ago
An Abort-Aware Model of Transactional Programming
There has been a lot of recent research on transaction-based concurrent programming, aimed at offering an easier concurrent programming paradigm that enables programmers to better...
Kousha Etessami, Patrice Godefroid