The serializability of concurrent database updates
From MaRDI portal
Cited in
(84)- Commutativity-based locking for nested transactions
- Correctness of concurrent executions of closed nested transactions in transactional memory systems
- On speculative replication of transactional systems
- Serializable histories in quantified propositional temporal logic
- Towards formally specifying and verifying transactional memory
- A formal semantics of nested atomic sections with thread escape
- A Versatile STM Protocol with Invisible Read Operations That Satisfies the Virtual World Consistency Condition
- The impact of recovery on concurrency control
- Linearizable counting networks
- Hybrid concurrency control for abstract data types
- A proof technique for concurrency control and recovery algorithms for replicated databases
- A cautious scheduler for multistep transactions
- Completeness and Nondeterminism in Model Checking Transactional Memories
- General purpose schedulers for database systems
- Strict linearizability and abstract atomicity
- A single-version STM that is multi-versioned permissive
- scientific article; zbMATH DE number 7561456 (Why is no real title available?)
- The complexity of strict serializability revisited
- Generalized theory of serializability
- On the correctness problem for serializability
- A dynamic majority determination algorithm for reconfiguration of network partitions
- Checking robustness between weak transactional consistency models
- I-serializability: generalized correctness for transaction-based environments
- Modular verification of chemical reaction network encodings via serializability analysis
- Concurrent correctness in vector space
- Quantifiability: a concurrent correctness condition modeled in vector space
- On the complexity of concurrency control using semantic information
- Global serializability of concurrent programs
- Algorithmic aspects of multiversion concurrency control
- Deadlock-freedom (and safety) of transactions in a distributed database
- Some constraints assuring serializability in multidatabases
- Conceptual level concurrency control of relational update transactions
- X-ability: a theory of replication
- Virtual world consistency: a condition for STM systems (with a versatile protocol with invisible read operations)
- Multi-version concurrency control scheme for a database system
- Linearizable read/write objects
- Timing conditions for linearizability in uniform counting networks
- An efficient approach to achieve compositionality using optimized multi-version object based transactional systems
- Verification of STM on relaxed memory models
- Toward a formal semantic framework for deterministic parallel programming
- Verifying robustness of event-driven asynchronous programs against concurrency
- A formal model for the deferred update replication technique
- In the search for optimal concurrency
- Non-interference and local correctness in transactional memory
- Asynchronous wait-free runtime verification and enforcement of linearizability
- On serializability
- Transactional scheduling for read-dominated workloads
- On avoiding spare aborts in transactional memory
- Abstraction for concurrent objects
- The serializability problem for a temporal logic of transaction queries
- Asynchronous group mutual exclusion
- Serializable graphs
- Proving opacity of transactional memory with early release
- Modular verification of DNA strand displacement networks via serializability analysis
- Mechanized proofs of opacity: a comparison of two techniques
- Une approche quantitative de l'exclusion mutuelle
- On the power of safe locking
- Verifying atomic data types
- Mixed product and asynchronous automata
- Permissiveness in Transactional Memories
- Extensible transactional memory testbed
- Pebble games for studying storage sharing
- A transaction model and multiversion concurrency control for mobile database systems
- Concurrent operations in linear hashing
- Integrated concurrency control in shared B-trees
- Static and dynamic aspects of goal-oriented concurrency control
- Combinatoire des mots et étude quantitative de la sérialisabilité: Application à la concurrence d'accès à une base de données. (Combinatorics of words and the quantitative study of serializability: Application to the concurrence of database access)
- On-line multiversion database concurrency control
- scientific article; zbMATH DE number 7327945 (Why is no real title available?)
- Comparison of algorithms controlling concurrent access to a database: A combinatorial approach
- Model checking transactional memories
- A verified durable transactional mutex lock for persistent x86-TSO
- Cut-off theorems for the \textit{PV}-model
- Verifying opacity of a transactional mutex lock
- Concurrency control by transactions carrying states and preordering multiversioned entities
- Inherent limitations on disjoint-access parallel implementations of transactional memory
- Last-use opacity: a strong safety property for transactional memory with prerelease support
- Robustness Against Transactional Causal Consistency.
- Achieving starvation-freedom with greater concurrency in multi-version object-based transactional memory systems
- Relative serializability: An approach for relaxing the atomicity of transactions
- Serializability theory for replicated databases
- Context-specific synchronization for atomic data types in object-based databases
- Universal constructions that ensure disjoint-access parallelism and wait-freedom
- Abstraction and mining of traces to explain concurrency bugs
This page was built for publication: The serializability of concurrent database updates
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3853111)
