Atomicity (database systems)
Semantic Scholar uses AI to extract papers important to this topic.
Fixing software bugs has always been an important and time-consuming process in software development. Fixing concurrency bugs has… (More)
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected interactions between… (More)
Concurrency bugs are among the most difficult to test and diagnose of all software bugs. The multicore technology trend worsens… (More)
- IEEE Transactions on Software Engineering
The notion that certain procedures are atomic is a fundamental correctness property of many multithreaded software systems. A… (More)
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected and nondeterministic… (More)
Global transaction management requires cooperation from local sites to ensure the consistent and reliable execution of global… (More)
A major challenge addressed by conventional database systems has been to efficiently implement the transaction model, which… (More)
Busy-wait techniques are heavily used for mutual exclusion and barrier synchronization in shared-memory parallel programs… (More)
- ACM Trans. Database Syst.
Multilevel atomicity, a new correctness criteria for database concurrency control, is defined. It weakens the usual notion of… (More)