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 20 of 48 for “"atomicity"”.
-
Hardware atomicity for compiler-directed control speculation
… largely derives from its use of hardware atomicity---the execution of a region of code either completely, and as if all operations in the region occurred at one instant, or not at all. Hardware atomicity is an architectural primitive which provides software with a simple and intuitive …
-
Adaptation of grammar based compression in detecting atomicity violations
Atomicity violation is a common kind of concurrency bug in real world projects. PENELOPE is a framework that can detect atomicity violations in a single observed trace, without explicitly examining all traces that result from every possible interleaving. This thesis proposes a way to improve …
-
Architectural and compiler support for strongly atomic transactional memory
… software transaction system implements strong atomicity, which ensures that transactions are protected from the influence of nontransactional code. Previous software systems use weaker atomicity guarantees because strong atomicity is presumed to be too expensive. In this thesis strong atomicity …
-
The count/mass distinction in native and non-native grammar
… were affected by semantic universals (atomicity). Furthermore, it was also found that L2-learners show the exact same patterns in online and offline tasks, suggesting that L2-learners’ knowledge about how atomicity relates to the count/mass distinction (specifically, the mapping between …
-
Understanding, Detecting and Exposing Concurrency Bugs
… testing framework, CTrigger, is built to expose atomicity violation bugs. CTrigger's testing space, called unserializable interleaving space, is carefully designed to balance its complexity and bug-exposing capability. Within this testing space, CTrigger uses trace analysis to identify feasible …
-
Atomic Actions in Concurrent Systems (fault-Tolerance, Control)
… action. The aim of the thesis is to show that atomicity is fundamental to programming concurrent systems and to demonstrate that many different concurrency control schemes which have appeared in many different contexts have actually the same goal: to provide a mechanism that ensures atomicity …
-
Effective architectural support for detecting concurrency bugs
… memory parallel programs, namely data races, atomicity violations, and sequential consistency violations. Specifically, we propose novel, effective and efficient hardware-based techniques that help detect and isolate these bugs. We use hardware-based solutions because they lead to low overhead …
-
Towards efficient collaboration for e-service transaction management : semantics, security and reliability
… to protect computing resources. Finally, the atomicity concept is relaxed by integrating transactions and exception handling models in order to ensure the reliable collaborations on the Web. The main contributions of this thesis are threefold. First, we proposed a novel approach to find …
-
Algorithmic advances in dynamic analysis for detecting concurrency bugs
… like data races, race conditions, deadlocks and atomicity violations incessantly find there way into production-level software. In the past, errors arising due to complex concurrency bugs in software have led to catastrophic loss of human lives and money. Tackling concurrency bugs, and in …
-
Configurable Online Multi-Tiered Storage in a Database Management System
… the immutability of its columns and its lack of atomicity for sub-partition level operations. Without atomicity, there are no mechanisms in place that guarantee that a tenant’s data within a partition is moved or deleted completely, which can cause undetermined states that are difficult to …
-
Providing concurrent implementations for Event-B developments
… and provides the developer with a clear view of atomicity using labelled atomic clauses. OCB non-atomic clauses are given Event-B semantics, and OCB atomic clauses map to atomic events. Automatic translation of an OCB specification gives rise to an Event-B model and Java source code. The Java …
-
Detecting Persistence Bugs from Non-volatile Memory Programs by Inferring Likely-correctness Conditions
… to enforce proper persistence ordering and atomicity guarantees, rendering NVM programs error-prone. The problem statement of this dissertation is how one can effectively detect persistence bugs from NVM programs. However, detecting persistence bugs in NVM programs is challenging because of …
-
GoTxn: Verifying a Crash-Safe, Concurrent Transaction System
… interface used to enforce crash and concurrent atomicity in transactions, detailing how the verification framework Perennial can be used to manage assertions about crash behavior across multiple threads. By effectively harnessing concurrency to hide disk access latency, GoTxn enables performance …
-
The design of robust protocols for distributed real-time systems
… commit protocols have been used to achieve this atomicity in distributed database systems which are not subject to deadlines. This thesis addresses the problem of applying time constraints to atomic commit protocols so that decisions can be made within a deadline. A modified protocol is proposed …
-
MULTISCALE MODELING OF III-NITRIDE CORE-SHELL SOLAR CELLS
… by an intricate coupling of size-quantization, atomicity, and built-in structural and polarization fields. The core computational framework, as available in our in-house QuADS 3-D simulator, is divided into four coupled phases: 1) Geometry construction for the wurtzite lattice having hexagonal …
-
Surplus and Scarce Energy: Designing and Optimizing Security for Energy Harvested Internet of Things
… provides continuity to underlying application, atomicity to protocol operations and detects replay and tampering of checkpoints. Both the proposals together provide comprehensive security to self-powered embedded devices.
-
Algorithms incorporating concurrency and caching
… parallel algorithms that focus on testing for atomicity violations in a parallel fork-join program. These algorithms augment a parallel program with a data structure that answers queries about the program's structure, on the fly. Specifically, one data structure, called SP-ordered-bags, …
-
CRYSTAL STRUCTURE ENGINEERING FOR IMPROVED PERFORMANCE OF EMERGING NANOSCALE DEVICES
… due to the complex nature of the interplay of atomicity, structural fields, polarization, and quantum size-quantization, all strong function of the crystallographic direction. The objective of this work is mainly four-fold: (1) Integrate a computational framework employing a combination of …
-
Exploiting fine-grain parallelism in transactional database systems
… database transactions while maintaining atomicity and isolation. However, they do not exploit intra-transaction parallelism: each transaction is executed sequentially on a single thread. While fine-grain intra-transaction parallelism is often abundant, it is too costly to exploit in …
-
Testing, runtime verification, and analysis of concurrent programs
… and test. Concurrency bugs, such as data races, atomicity violations, and deadlocks, are hard to detect and fix in multithreaded programs. To test and verify multithreaded programs, two sets of techniques are needed. The first one is to enforce thread schedules and runtime properties efficiently. …
Page 1 of 3