Results 1 to 10 of about 12,456 (200)
A distributed file service based on optimistic concurrency control [PDF]
, 1985 The design of a layered file service for the Amoeba Distributed System is discussed, on top of which various applications can easily be intplemented. The bottom layer is formed by the Amoeba Block Services, responsible for implementing stable storage and
Mullender, Sape J., Tanenbaum, Andrew S.
core +12 more sources
Logical Concurrency Control from Sequential Proofs [PDF]
, 2010 We are interested in identifying and enforcing the isolation requirements of a concurrent program, i.e., concurrency control that ensures that the program meets its specification.
Deshmukh, Jyotirmoy +3 more
core +4 more sources
Serializable Snapshot Isolation in PostgreSQL [PDF]
, 2012 This paper describes our experience implementing PostgreSQL's new serializable isolation level. It is based on the recently-developed Serializable Snapshot Isolation (SSI) technique.
Grittner, Kevin, Ports, Dan R. K.
core +2 more sources
A Concurrent Perspective on Smart Contracts [PDF]
, 2017 In this paper, we explore remarkable similarities between multi-transactional behaviors of smart contracts in cryptocurrencies such as Ethereum and classical problems of shared-memory concurrency.
Hobor, Aquinas, Sergey, Ilya
core +2 more sources
Virtual Machine Support for Many-Core Architectures: Decoupling Abstract from Concrete Concurrency Models [PDF]
, 2010 The upcoming many-core architectures require software developers to exploit concurrency to utilize available computational power. Today's high-level language virtual machines (VMs), which are a cornerstone of software development, do not provide ...
A. Peymandoust +56 more
core +3 more sources
Implementing PRISMA/DB in an OOPL [PDF]
, 1989 PRISMA/DB is implemented in a parallel object-oriented language to gain insight in the usage of parallelism. This environment allows us to experiment with parallelism by simply changing the allocation of objects to the processors of the PRISMA machine ...
Apers, P.M.G. +3 more
core +3 more sources
A Concurrency-Agnostic Protocol for Multi-Paradigm Concurrent Debugging Tools [PDF]
, 2017 Today's complex software systems combine high-level concurrency models. Each model is used to solve a specific set of problems. Unfortunately, debuggers support only the low-level notions of threads and shared memory, forcing developers to reason about ...
Marr, Stefan +4 more
core +3 more sources
Regression-free Synthesis for Concurrency [PDF]
, 2014 While fixing concurrency bugs, program repair algorithms may introduce new concurrency bugs. We present an algorithm that avoids such regressions. The solution space is given by a set of program transformations we consider in for repair process.
Henzinger, Thomas A. +4 more
core +5 more sources
HaTS: Hardware-Assisted Transaction Scheduler [PDF]
, 2020 In this paper we present HaTS, a Hardware-assisted Transaction Scheduler. HaTS improves performance of concurrent applications by classifying the executions of their atomic blocks (or in-memory transactions) into scheduling queues, according to their so ...
Chen, Zhanhao +4 more
core +1 more source
A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs [PDF]
, 2016 A number of novel programming languages and libraries have been proposed that offer simpler-to-use models of concurrency than threads. It is challenging, however, to devise execution models that successfully realise their abstractions without forfeiting ...
A Corradini +23 more
core +3 more sources