Automated Verification of Concurrent Search Structures

Automated Verification of Concurrent Search Structures
Author :
Publisher : Springer Nature
Total Pages : 182
Release :
ISBN-10 : 9783031018060
ISBN-13 : 3031018060
Rating : 4/5 (060 Downloads)

Book Synopsis Automated Verification of Concurrent Search Structures by : Krishna Siddharth

Download or read book Automated Verification of Concurrent Search Structures written by Krishna Siddharth and published by Springer Nature. This book was released on 2022-05-31 with total page 182 pages. Available in PDF, EPUB and Kindle. Book excerpt: Search structures support the fundamental data storage primitives on key-value pairs: insert a pair, delete by key, search by key, and update the value associated with a key. Concurrent search structures are parallel algorithms to speed access to search structures on multicore and distributed servers. These sophisticated algorithms perform fine-grained synchronization between threads, making them notoriously difficult to design correctly. Indeed, bugs have been found both in actual implementations and in the designs proposed by experts in peer-reviewed publications. The rapid development and deployment of these concurrent algorithms has resulted in a rift between the algorithms that can be verified by the state-of-the-art techniques and those being developed and used today. The goal of this book is to show how to bridge this gap in order to bring the certified safety of formal verification to high-performance concurrent search structures. Similar techniques and frameworks can be applied to concurrent graph and network algorithms beyond search structures.


Automated Verification of Concurrent Search Structures Related Books

Automated Verification of Concurrent Search Structures
Language: en
Pages: 182
Authors: Krishna Siddharth
Categories: Mathematics
Type: BOOK - Published: 2022-05-31 - Publisher: Springer Nature

GET EBOOK

Search structures support the fundamental data storage primitives on key-value pairs: insert a pair, delete by key, search by key, and update the value associat
Automated Verification of Concurrent Search Structures
Language: en
Pages: 190
Authors: Siddharth Krishna
Categories:
Type: BOOK - Published: 2021-06 - Publisher:

GET EBOOK

Search structures support the fundamental data storage primitives on key-value pairs: insert a pair, delete by key, search by key, and update the value associat
Principles of Blockchain Systems
Language: en
Pages: 217
Authors: Fernández Antonio
Categories: Mathematics
Type: BOOK - Published: 2022-05-31 - Publisher: Springer Nature

GET EBOOK

This book is the first to present the state of the art and provide technical focus on the latest advances in the foundations of blockchain systems. It is a coll
Programming Languages and Systems
Language: en
Pages: 1056
Authors: Amal Ahmed
Categories: Computers
Type: BOOK - Published: 2018-04-14 - Publisher: Springer

GET EBOOK

This open access book constitutes the proceedings of the 27th European Symposium on Programming, ESOP 2018, which took place in Thessaloniki, Greece in April 20
Computer Aided Verification
Language: en
Pages: 512
Authors: Constantin Enea
Categories: Computers
Type: BOOK - Published: 2023-07-16 - Publisher: Springer Nature

GET EBOOK

The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verificatio