Results 321 to 330 of about 304,318 (354)
Some of the next articles are maybe not open access.
Replication and Concurrency Control
2000This chapter introduces schemes for replication and concurrency control that were originally developed in the context of distributed file systems but which could become prevalent in synchronous groupware, as well.
Johann H. Schlichter, Uwe M. Borghoff
openaire +2 more sources
Concurrency Control by Locking
SIAM Journal on Computing, 1983We present a geometric method for studying concurrency control by locking. When there are only two transactions, our method yields an exact characterization of safe locking policies and also of deadlock-free locking policies. Our results can be extended to more than two transactions, but in that case the problem becomes NP-complete.
openaire +2 more sources
The group paradigm for concurrency control
Proceedings of the 1988 ACM SIGMOD international conference on Management of data - SIGMOD '88, 1988We propose a paradigm for developing, describing and proving the correctness of concurrency control protocols for replicated databases in the presence of failures or communication restrictions. Our approach is to hierarchically divide the problem of achieving one-copy serializability by introducing the notion of a “group” that is a higher ...
Sam Toueg, Amr El Abbadi
openaire +2 more sources
Concurrent Control for Children
1993It may be argued that control situations are inherently parallel in nature. It may also be argued that, as human beings, we inherently parallel process. Yet parallel processing is the domain of degree and post-graduate studies. Needthis be so?
openaire +2 more sources
Granularity hierarchies in concurrency control
Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems - PODS '83, 1983This paper shows that granularity hierarchies may be used with many types of concurrency control algorithms. Hierarchical versions of a validation algorithm, a timestamp algorithm, and a multiversion algorithm are given, and hierarchical algorithm issues relating to request escalation and distributed databases are discussed as well.
openaire +2 more sources
High‐coverage metamorphic testing of concurrency support in C compilers
Software Testing Verification and Reliability, 2022Matt Windsor+2 more
exaly