Mixing-Correct Theorem

Pick & Mix Isolation Levels: Mixed Serialization Graph Testing

Concurrency control is an integral component in achieving high performance in many-core databases. Implementing serializable transaction processing efficiently is challenging. One approach, serialization graph testing (SGT) faithfully implements the …