Results 141 to 150 of about 14,769 (187)
Some of the next articles are maybe not open access.
Serializability for eventual consistency: criterion, analysis, and applications
ACM-SIGACT Symposium on Principles of Programming Languages, 2017Developing and reasoning about systems using eventually consistent data stores is a difficult challenge due to the presence of unexpected behaviors that do not occur under sequential consistency.
Lucas Brutschy +3 more
semanticscholar +1 more source
Legato: End-to-end bounded region serializability using commodity hardware transactional memory
IEEE/ACM International Symposium on Code Generation and Optimization, 2017Shared-memory languages and systems provide strong guarantees only for well-synchronized (data-race-free) programs. Prior work introduces support for memory consistency based on region serializability of executing code regions, but all approaches incur ...
Aritra Sengupta +3 more
semanticscholar +1 more source
Providing Serializability for Pregel-like Graph Processing Systems
International Conference on Extending Database Technology, 2016There is considerable interest in the design and development of distributed systems that can execute algorithms to process large graphs. Serializability guarantees that parallel executions of a graph algorithm produce the same results as some serial ...
Minyang Han, K. Daudjee
semanticscholar +1 more source
Serializability, not Serial: Concurrency Control and Availability in Multi-Datacenter Datastores
Proceedings of the VLDB Endowment, 2012We present a framework for concurrency control and availability in multi-datacenter datastores. While we consider Google's Megastore as our motivating example, we define general abstractions for key components, making our solution extensible to any ...
S. Patterson +4 more
semanticscholar +1 more source
One-copy serializability with snapshot isolation under the hood
IEEE International Conference on Data Engineering, 2011This paper presents a method that allows a replicated database system to provide a global isolation level stronger than the isolation level provided on each individual database replica. We propose a new multi-version concurrency control algorithm called,
Mihaela A. Bornea +3 more
semanticscholar +1 more source
Predictive analysis for detecting serializability violations through Trace Segmentation
Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011), 2011We address the problem of detecting serializability violations in a concurrent program using predictive analysis, where a violation is detected either in an observed trace or in an alternate interleaving of events in that trace.
Arnab Sinha +3 more
semanticscholar +1 more source
Autonomous transaction execution with epsilon serializability
[1992 Proceedings] Second International Workshop on Research Issues on Data Engineering: Transaction and Query Processing, 2003The authors study the feasibility of autonomous transaction execution in systems with asynchronous transaction processing based on epsilon serializability (ESR). The abstract correctness criteria defined by ESR are implemented by techniques such as asynchronous divergence control and asynchronous consistency restoration.
Calton Pu, Avraham Leff
openaire +2 more sources
On the Correctness Problem for Serializability
2021Concurrent correctness conditions formalize the notion of “seeming atomicity” in concurrent access to shared object state. For different sorts of objects (databases, concurrent data structures, software transactional memory) different sorts of correctness conditions have been proposed (serializability, linearizability, opacity).
Heike Wehrheim, Jürgen König
openaire +2 more sources
Runtime checking of serializability in software transactional memory
IEEE International Parallel and Distributed Processing Symposium, 2010Attempts have been made to formally verify software transactional memories (STMs), but these are limited in the scale of systems they can handle and generally verify only a model of the system, and not the actual system. We present an alternate attack on
Arnab Sinha, S. Malik
semanticscholar +1 more source
Dynamic detection of atomic-set-serializability violations
2008 ACM/IEEE 30th International Conference on Software Engineering, 2008Previously we presented atomic sets, memory locations that share some consistency property, and units of work, code fragments that preserve consistency of atomic sets on which they are declared.
Christian Hammer +3 more
semanticscholar +1 more source