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 22 for “"Consistency model"”.
-
Record and replay under relaxed consistency
… However, very little is known about how the consistency model affects record and replay. Previous work only applied to very strong consistency models, or to a specific architecture of shared memory. Very little theoretical basis has been developed for record and replay. This thesis makes …
-
Efficient coherence and consistency for specialized memory hierarchies
… the cache coherence protocol, and (3) the memory consistency model. A unified global address space makes it easier to write programs for heterogeneous systems. Although industry has recently begun to provide a unified global address space across CPUs and accelerators (primarily GPUs), there are …
-
Identification of hazardous road location based on design consistency and accident prediction model federal road in Johor
… been done. This study using a new method design consistency and the accident prediction model to decreasing road accidents from occurring at hazardous road locations. The purpose of this study was to determine the relationship of accidents between motorcycles and cars on select segments Federal …
-
Specialization without complexity in heterogeneous memory systems
… such as GPUs means that coherence and consistency strategies designed for CPUs are ineffective, and evaluating the performance of alternative strategies is difficult. Recent efforts to implement coherence for such devices involve a simple software-driven coherence strategy combined with …
-
Synthesis-Aided Development of Distributed Programs
Despite many advances in programming models and frameworks, writing distributed programs remains hard. Even when the underlying logic is inherently sequential and simple, addressing distributed aspects results in complex cross-cutting code that undermines such simplicity. While the sequential …
-
Modelling orchestration
… and provide a lightweight formalisation using model checking. I use this model to explore the properties of an existing orchestrator, explaining observed failures arising from changes in the consistency model. I then explore the impact of variations to the consistency model of the global state …
-
Examination of the Reliability and Validity of the Triage Assessment Form: Families
… Reliability was tested using an internal consistency model. Validity of the TAF: F was evaluated using exploratory factor analysis. In addition, this researched analyzed the capacity of the TAF: F to distinguish among mild, moderate, marked, and severe reactions of families to a crisis …
-
Public criminology: Its social construction and policy implications
… is a two-step, attribution-based cognitive consistency model which explains public attitudes toward punishment and rehabilitation by social context via intervening attribution processes.
-
Low-overhead distributed transaction coordination
… storage applications. Granola provides a strong consistency model, while significantly reducing transaction coordination overhead. Granola supports general atomic operations, enabling it to be used as a platform on which to build various storage systems, e.g., databases or object stores. We …
-
Low Complexity Multiview Video Coding
… this problem, the thesis proposes, at the end, a consistency model for recovering frames lost during transmission. The proposed consistency model is used to evaluate inter-view and temporal consistencies while selecting candidate blocks for concealment. Experimental results show that the proposed …
-
Retina: Cross-Layered Key-Value Store using Computational Storage
… key-value pairs, and a novel version-based crash consistency model. By enabling all the design features, we equip Retina to reduce compute hotspots on the host CPU, take advantage of the on-storage accelerators to leverage the data locality on the computational storage, improve overall bandwidth …
-
Scalable and flexible bulk architecture
… Specifically, we focus on supporting Sequential Consistency (SC), a strong and intuitive memory consistency model. The first part of the thesis focuses on enforcing SC by chunk-based execution. I propose techniques to remove the scalability bottlenecks of chunk-based architectures. Also, I …
-
Optimizing high locality memory references in cache coherent shared memory multi-core processors
… memory multi-processors, regarding the data consistency, cache coherence, and memory consistency model. Thus, this thesis not only implements the schemes based on such consideration, but also breaks the chain of the widespread faulty assumption of prior academic work. This high-level approach …
-
Transactions and data management in NoSQL cloud databases
… First, NoSQL databases cannot guarantee strong consistency of data. They only guarantee a weaker consistency which is based on eventual consistency model. Second, NoSQL databases adopt a simple data model which makes it easy for data to be scaled across multiple nodes. Third, NoSQL databases do …
-
Software lock elision for x86 machine code
… performance due to the demands of the x86 memory consistency model and the need to transparently instrument x86 machine code. It shows that both of these problems can be overcome to reach a reasonable level of performance, where transparent software transactional memory can perform better than a …
-
Samhita: Virtual Shared Memory for Non-Cache-Coherent Systems
… domains. The shared memory programming model effectively addresses the parallelism needs of mainstream computing (e.g., portable devices, laptops, desktop, servers), giving rise to a growing ecosystem of shared memory parallel techniques, tools, and design practices. However, to meet the …
-
Views and consistencies in distributed shared memory
… DSM often suffers from performance problems as consistency requirements often incur long access latencies that cannot be overlapped with other operations in a process. Sequential consistency is the most general consistency requirement for DSM systems. This thesis explores two different avenues …
-
Formal Specification and Runtime Verification of Parallel Systems using Interval Temporal Logic (ITL)
… multi-core processor architecture. The proposed model can check system behaviour at runtime in order to either guarantee satisfaction or detect violations of correctness properties. My technique is based on Interval Temporal Logic (ITL) and its executable subset Tempura to verify properties at …
-
Parallel file system with tunable consistency
Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2022-11-15 without embargo terms
-
Locality-aware cache hierarchy management for multicore processors
… out-of-order memory that employ popular memory consistency models. This method does not rely on cache coherence messages to detect speculation violations, and hence is applicable to the locality-aware protocol. The timestamp mechanism is efficient due to the observation that consistency …
Page 1 of 2