Search papers, labs, and topics across Lattice.
This paper introduces SemanticLock, a novel locking mechanism that utilizes the conflict graph between operations to manage synchronization more effectively than traditional locks. By generalizing the concept of read-write locks to account for conflicts between write operations and all other operations, the authors demonstrate its utility in two applications: a toy data structure for point and range queries, and an enhanced ConcurrentHashMap that supports long-running operations. The results indicate that SemanticLock can improve concurrency and performance in multi-threaded environments, making it a significant advancement in synchronization techniques.
SemanticLock redefines synchronization by addressing operation conflicts more comprehensively, leading to improved concurrency in complex data structures.
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 write operations and all other operations. We demonstrate the effectiveness of our lock in two applications. In the first, we design a toy data structure: an array supporting point queries and different range queries. In the second, potentially of greater interest, we augment an existing concurrent data structure, ConcurrentHashMap, with additional long-running operations.
