Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 11 of 11 for “"Serializability"”.
-
Optimizing Distributed Transactions: Speculative Client Execution, Certified Serializability, and High Performance Run-Time
… without worrying about synchronization. texttt{Serializability} is the de-facto standard form of isolation required by transactions for many applications. The existing methods employed by DBMSs to enforce serializability employ explicit fine-grained locking. The eager-locking based approach is …
-
ΠΡΟΒΛΗΜΑΤΑ ΣΥΝΤΟΝΙΣΜΟΥ ΤΑΥΤΟΧΡΟΝΩΝ ΠΡΟΣΠΕΛΑΣΕΩΝ ΣΕ ΒΑΣΕΙΣ ΔΕΔΟΜΕΝΩΝ
… THESIS WE INTRODUCE A NEW NOTION OF MULTIVERSION SERIALIZABILITY (MVSR) BASED ON CONFLICTS (MVCSR) AND DISCUSS ITS RELATION WITH THE WELL KNOWN SINGLE VERSION CONFLICT SERIALIZABILITY (CSR). WE PROVE THAT IT IS NP-COMPLETE TO DECIDE WHETHER A SET OF SCHEDULES IS ON-LINE SCHEDULABLE (OLS). WE …
-
Concurrency Control in Real-Time Database Systems
… while maintaining data consistency via enforcing serializability. The relative performance of the protocols was evaluated in both single-site and distributed RTDBS environments in terms of fraction of satisfied deadlines and average lateness of the tardy transactions. We also investigated the …
-
Detecting and tolerating Byzantine faults in database systems
… types of consistency: CBS provides single-copy serializability and SES provides single-copy snapshot isolation. We have implemented both protocols in the context of a replicated SQL database. Our implementation has been tested with production versions of several commercial and open source …
-
HyflowCPP: A Distributed Software Transactional Memory Framework for C++
… multi-node object operations with the classical serializability property, which significantly increases the programmability of distributed systems. In this thesis, we present the first ever DTM framework for distributed concurrency control in C++, called HyflowCPP. HyflowCPP provides distributed …
-
Adaptive Multi-Granularity Locking Protocol in Object -Oriented Databases
… consistency relaxation. It uses the well-known serializability for guaranteeing consistency within the database. Concurrency control is critical as it plays a significant role in determining the performance of multi-user database systems. In this study, a self-adapting multiple granularity …
-
Database consistency in cloud databases
… The TBC transaction management system ensures serializability and guarantees the ACID properties. The common isolation problems in transaction management are prevented, and we prove that the scenarios of dirty read, unrepeatable read and dirty write or lost update will never occur in concurrent …
-
Towards a Cryptographically Verifiable Database Management System
… and semantic properties, including atomicity and serializability. Litmus features a co-design of both the database and the cryptographic parts. We evaluate a proof-of-concept prototype of Litmus on the YCSB and TPC-C benchmarks. We show that under certain cryptographic assumptions, Litmus can …
-
Logical leases : scalable hardware and software systems through time traveling
… maintaining strong correctness guarantees (i.e., serializability). Sundial seamlessly integrates both features into a unified protocol which has low complexity. Evaluation shows that the distributed concurrency control algorithm in Sundial improves system performance by up to 57%, compared to the …
-
Algorithmic advances in dynamic analysis for detecting concurrency bugs
… notion of atomicity, called conflict serializability, for which the only known algorithms ran in cubic time. The algorithms proposed in this thesis have been implemented and evaluated against large benchmark suites to evaluate their effectiveness. The techniques developed in this …
-
Improving Performance of Highly-Programmable Concurrent Applications by Leveraging Parallel Nesting and Weaker Isolation Levels
… thesis: AsR, or As-Serializable transactions. Serializability is the general form of isolation or strictness for transactions in many applications. In terms of execution, its definition is equivalent to only one transaction running at a time in a given system. Many transactional systems use …