Results 41 to 50 of about 15,889,209 (373)
Composing concurrency control [PDF]
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015 Concurrency control poses significant challenges when composing computations over multiple data-structures (objects) with different concurrency-control implementations. We formalize the usually desired requirements (serializability, abort-safety, deadlock-safety, and opacity) as well as stronger versions of these properties that enable composition.
Ofri Ziv +4 more
openaire +1 more source
Power‐aware pipelining with automatic concurrency control
Concurrency and Computation, 2018 Continuous streaming computations are usually composed of different modules, exchanging data through shared message queues. The selection of the algorithm used to access such queues (ie, the concurrency control) is a critical aspect both for performance ...
M. Torquati +4 more
semanticscholar +1 more source
Rethinking serializable multiversion concurrency control [PDF]
Proceedings of the VLDB Endowment, 2014 Multi-versioned database systems have the potential to significantly increase the amount of concurrency in transaction processing because they can avoid read-write conflicts.
Jose M. Faleiro, D. Abadi
semanticscholar +1 more source
Analysis of concurrency control protocols for real-time database systems [PDF]
, 1998 Cataloged from PDF version of article.This paper provides an approximate analytic solution method for evaluating the performance of concurrency control protocols developed for real-time database systems (RTDBSs).
Ulusoy, O.
core +1 more source
PyCSP - controlled concurrency [PDF]
International Journal of Information Processing and Management, 2010 Producing readable and correct programs while at the same time taking advantage of multi-core architectures is a challenge. PyCSP is an implementation of Communicating Sequential Processes algebra (CSP) for the Python programming language, that take advantage of CSP's formal and verifiable approach to controlling concurrency and the readability of ...
Vinter, Brian +2 more
openaire +2 more sources
Discrete-Time Systems Modeling and Verification With Alvis Language and Tools
IEEE Access, 2018 Alvis is a formal modeling language intended for developing systems consisting of concurrently operating units (real-time, embedded, and distributed systems).
Marcin Szpyrka +3 more
doaj +1 more source
Performance of Parallel K-Means Algorithms in Java
Algorithms, 2022 K-means is a well-known clustering algorithm often used for its simplicity and potential efficiency. Its properties and limitations have been investigated by many works reported in the literature. K-means, though, suffers from computational problems when
Libero Nigro
doaj +1 more source
RELEASE: A High-level Paradigm for Reliable Large-scale Server Software [PDF]
, 2012 Erlang is a functional language with a much-emulated model for building reliable distributed systems. This paper outlines the RELEASE project, and describes the progress in the first six months.
A. Leung +14 more
core +4 more sources
Intelligent Transaction Scheduling to Enhance Concurrency in High-Contention Workloads
Applied SciencesConcurrency control (CC) scheme based on transaction decomposition has significantly enhanced the concurrency performance of multicore in-memory databases, surpassing traditional CC schemes such as two-phase locking (2PL) or optimistic concurrency ...
Shuhan Chen, Congqi Shen, Chunming Wu
doaj +1 more source
Maintaining consistency in distributed systems [PDF]
, 1991 In systems designed as assemblies of independently developed components, concurrent access to data or data structures normally arises within individual programs, and is controlled using mutual exclusion constructs, such as semaphores and monitors.
Birman, Kenneth P.
core +3 more sources