Proving Correctness of Concurrent Objects by Validating Linearization Points

Conference/Journal
Authors
Sathya Peri Muktikanta Sa Nandini Singhal
BibTex
Abstract
Abstract: In the recent years, several concurrent data-structures/objects have been proposed. These data-structures allow multiple threads/process to operate on them concurrently while maintaining consistency. By allowing multiple threads to operate on them simultaneously, these structures strive to increase parallelism. These structures typically involve the operating threads applying different fine-grained synchronization mechanisms. While these concurrent structures with fine-grained synchronization mechanisms certainly ...