Transaction programs are comprised of read and write operations issued against the database. In a shared database system, one transaction program conflicts with another if it reads or writes data that another transaction program has written. This thesis presents a semi-automatic technique for pairwise static conflict analysis of embedded transaction programs. The analysis predicts whether a given pair of programs will conflict when executed against the database. There are several potential applications of this technique, the most obvious being transaction concurrency control in systems where it is not necessary to support arbitrary, dynamic queries and updates. By analyzing transactions in such systems before the transactions are ...
Transactional Memory (TM) has been proposed as a simpler parallel programming model compared to the...
Advanced software systems utilize highly structured, complex data that can be effectively represente...
Atomicity is an important correctness condition for concurrent systems. Informally, atomicity is the...
Abstract. In a software transactional memory (STM) system, conflict detection is the problem of dete...
Abstract—When multiple instances of a database application (DBA) are executing concurrently, transac...
Database replication protocols need to detect, block or abort part of conflicting transactions. A po...
Transactional dependencies play an important role in coordinating the execution of subtransactions i...
This paper proposes a formal framework to statically analyze intensional databases modeling transact...
Database application programs are often designed to be executed concurrently by many clients. By gro...
Abstract. Programs containing concurrency anomalies will most prob-ably exhibit harmful erroneous an...
Abstract Atomic sections are supported in software through the use of optimistic concurrency by usin...
In distributed database systems, it is desirable to allow read and write accesses to occur independe...
Concurrency control algorithms use a conflict detection strategy to determine operations that have ...
In distributed database systems, immediate global consistency of replicated data can be achieved by ...
Developers of concurrent software need cost-effective analysis techniques to acquire confidence in t...
Transactional Memory (TM) has been proposed as a simpler parallel programming model compared to the...
Advanced software systems utilize highly structured, complex data that can be effectively represente...
Atomicity is an important correctness condition for concurrent systems. Informally, atomicity is the...
Abstract. In a software transactional memory (STM) system, conflict detection is the problem of dete...
Abstract—When multiple instances of a database application (DBA) are executing concurrently, transac...
Database replication protocols need to detect, block or abort part of conflicting transactions. A po...
Transactional dependencies play an important role in coordinating the execution of subtransactions i...
This paper proposes a formal framework to statically analyze intensional databases modeling transact...
Database application programs are often designed to be executed concurrently by many clients. By gro...
Abstract. Programs containing concurrency anomalies will most prob-ably exhibit harmful erroneous an...
Abstract Atomic sections are supported in software through the use of optimistic concurrency by usin...
In distributed database systems, it is desirable to allow read and write accesses to occur independe...
Concurrency control algorithms use a conflict detection strategy to determine operations that have ...
In distributed database systems, immediate global consistency of replicated data can be achieved by ...
Developers of concurrent software need cost-effective analysis techniques to acquire confidence in t...
Transactional Memory (TM) has been proposed as a simpler parallel programming model compared to the...
Advanced software systems utilize highly structured, complex data that can be effectively represente...
Atomicity is an important correctness condition for concurrent systems. Informally, atomicity is the...