Serializability is used to keep the data in the data item in a consistent state. Serializability is a property of a transaction schedule. It relates to the isolation property of a database transaction ...

Abstract: Concurrency bugs are notoriously difficult to detect because there can be vast combinations of interleavings among concurrent threads, yet only a small fraction can reveal them. Atomic-set ...

This has been reported as BUG #13667, may be the same as BUG #11732, and seems to be fixed in 9.5. The following applies to at least postgres 9.3, 9.4, and pre-fix versions of 9.5. This is the result ...

This 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 ...

A colleague of mine recently ran into an issue that I have not run into myself, but found to be interesting and, in my opinion, worth blogging about here. During some distributed Java development, my ...

In this paper, we argue that region serializability should be guaranteed for all programs, including those with data races. This allows programmers, compilers, and other tools to reason about a ...

Chemical reaction networks are a powerful means of specifying the intended behaviour of synthetic biochemical systems. A high-level formal specification, expressed as a chemical reaction network, may ...