Semantic Lock: Synchronization Based on the Analysis of the Operation Conflict Graph

Denis Korotchenko, Vitaly Aksenov

This paper presents a new lock, SemanticLock, based on the conflict graph between operations. We can consider it a generalization of a read-write lock where conflicts exist between…