Sciweavers

880 search results - page 27 / 176
» Semantics-Based Concurrency Control
Sort
View
RTSS
1994
IEEE
14 years 28 days ago
Timeliness via Speculation for Real-Time Databases
Various concurrency control algorithms di er in the time when con icts are detected, and in the way they are resolved. In that respect, the Pessimistic and Optimistic Concurrency ...
Azer Bestavros, Spyridon Braoudakis
BIRTHDAY
2000
Springer
14 years 1 months ago
Pict: a programming language based on the Pi-Calculus
The -calculus o ers an attractive basis for concurrent programming. It is small, elegant, and well studied, and supports via simple encodings a wide range of high-level constru...
Benjamin C. Pierce, David N. Turner
VLDB
1991
ACM
143views Database» more  VLDB 1991»
14 years 9 days ago
Adaptive Locking Strategies in a Multi-node Data Sharing Environment
This paper describes some of the concurrency control 1” lgorithms used in RdMVMS RdbIVMS uses the ,fac.ilities provided by the VMS lock manager in order to perform locking among...
Ashok M. Joshi
PLDI
2012
ACM
11 years 11 months ago
Dynamic synthesis for relaxed memory models
Modern architectures implement relaxed memory models which may reorder memory operations or execute them non-atomically. Special instructions called memory fences are provided, al...
Feng Liu, Nayden Nedev, Nedyalko Prisadnikov, Mart...
SIGMOD
2011
ACM
171views Database» more  SIGMOD 2011»
12 years 11 months ago
BRRL: a recovery library for main-memory applications in the cloud
In this demonstration we present BRRL, a library for making distributed main-memory applications fault tolerant. BRRL is optimized for cloud applications with frequent points of c...
Tuan Cao, Benjamin Sowell, Marcos Antonio Vaz Sall...