Specifying Flexible Concurrency Control Schemes: an Abstract Operational Approach

Autor:	David Stemple, Ronald Morrison
Rok vydání:	2000
Předmět:	Concurrent object-oriented programming Concurrency control Computer science Non-lock concurrency control Distributed computing Distributed concurrency control Multiversion concurrency control Concurrent computing Isolation (database systems) Optimistic concurrency control
Zdroj:	Fully Integrated Data Environments ISBN: 9783642640551
DOI:	10.1007/978-3-642-59623-0_19
Popis:	An abstract, operational model for specifying flexible concurrency control schemes within a persistent store is presented. The goal of the model is to allow concurrency control schemes to be specified in a manner that promotes understandability and supports their implementation. Schemes that support controlled sharing among autonomous computations are the primary targets of this work. An abstract machine programmed by a set of rules is employed to specify operational semantics for the concurrency control schemes.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::19d20e1a9c099cfad0007b05718c65d6 https://doi.org/10.1007/978-3-642-59623-0_19 Zobrazit plný text záznamu