Checking Robustness Against Snapshot Isolation [PDF]
arXiv, 2019 Transactional access to databases is an important abstraction allowing programmers to consider blocks of actions (transactions) as executing in isolation. The strongest consistency model is {\em serializability}, which ensures the atomicity abstraction of transactions executing over a sequentially consistent memory.
arxiv
RegionTrack: A Trace-based Sound and Complete Checker to Debug Transactional Atomicity Violations and Non-Serializable Traces [PDF]
arXiv, 2020 Atomicity is a correctness criterion to reason about isolated code regions in a multithreaded program when they are executed concurrently. However, dynamic instances of these code regions, called transactions, may fail to behave atomically, resulting in transactional atomicity violations.
arxiv
Blistering barnacles: Space physiology in The Adventures of Tintin
Experimental Physiology, EarlyView.
Jacob P. Hartmann +4 more
wiley +1 more source
When View- and Conflict-Robustness Coincide for Multiversion Concurrency Control [PDF]
arXivA DBMS allows trading consistency for efficiency through the allocation of isolation levels that are strictly weaker than serializability. The robustness problem asks whether, for a given set of transactions and a given allocation of isolation levels, every possible interleaved execution of those transactions that is allowed under the provided ...
arxiv
CLOTHO: Directed Test Generation for Weakly Consistent Database Systems [PDF]
arXiv, 2019 Relational database applications are notoriously difficult to test and debug. Concurrent execution of database transactions may violate complex structural invariants that constraint how changes to the contents of one (shared) table affect the contents of another.
arxiv
The serialized novels of Sinclair Lewis : a comparative analysis of periodical and book [PDF]
, 1963 Martin Bucco
openalex +1 more source
Effects of phytogenic feed additives on the reproductive performance of animals. [PDF]
Saudi J Biol Sci, 2021 Swelum AA +7 more
europepmc +1 more source
TxnSails: Achieving Serializable Transaction Scheduling with Self-Adaptive Isolation Level Selection [PDF]
arXivAchieving the serializable isolation level, regarded as the gold standard for transaction processing, is costly. Recent studies reveal that adjusting specific query patterns within a workload can still achieve serializability even at lower isolation levels.
arxiv
Cooperative Update Exchange in the Youtopia System [PDF]
arXiv, 2009 Youtopia is a platform for collaborative management and integration of relational data. At the heart of Youtopia is an update exchange abstraction: changes to the data propagate through the system to satisfy user-specified mappings. We present a novel change propagation model that combines a deterministic chase with human intervention.
arxiv
Evaluation of Dosimetric Properties of Handmade Bolus for Megavoltage Electron and Photon Radiation Therapy. [PDF]
J Biomed Phys Eng, 2021 Endarko E +5 more
europepmc +1 more source