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 14 of 14 for “"Race conditions"”.
-
Controlling Race Conditions in OpenFlow to Accelerate Application Verification and Packet Forwarding
… under the OpenFlow protocol since there are many race conditions between the data packets and control plane messages. Furthermore, these race conditions also increase the control plane workload and packet forwarding delay. We propose Attendre, an OpenFlow extension, to mitigate the ill effects of …
-
Expanding the synthesis of distributed memory implementations
… means by which the code is assured to be free of race conditions. Sketch uses constraint satisfaction analysis to ensure it synthesizes code the functions properly for all inputs, and I demonstrate how assertions can be generated and inserted into the analysis to guarantee freedom from race …
-
Extending the Java language for the prevention of data races
… that type-checked programs will be free of race conditions. By adding parameterization to class types, this mostly static type-system allows programmers to write generic object code independent of the concurrency protection mechanism to be used to guard it. This added flexibility makes this …
-
Synchronization on nulticore architectures
… for maintaining data integrity and preventing race conditions in multithreaded applications. This thesis explores the lock design space. We propose a hardware lock implementation, called the lock arbiter, which reduces lock latency while minimizing hardware overheads and maintaining high levels …
-
Energy methods for analyzing drag and inertia in cycling kinematics
… and effects of inertia for a cyclist during a race. Professional cyclist data from the Tour de France was acquired for several athletes. The data contained elevation, distance, velocity, and power as a function of time. Rolling resistance, drag, inertial energy, and potential energy were then …
-
Scalable, repeatable, and contention-free parallelization of traffic simulation
… parallelize traffic simulation that avoids the race conditions and concurrency issues generally associated with such systems.
-
Algorithms incorporating concurrency and caching
… among threads, which is vital for uncovering race conditions (bugs) in the program. Another data structure, called XConflict, aids in detecting conflicts in a transactional-memory system with nested parallel transactions. For a program with work T and span To, maintaining either data structure …
-
Physically-asynchronous logically-synchronous (PALS) system design and development
… not properly dealt with, can lead to distributed race conditions and subsequently result in inconsistent actions and anomalous system behaviors. In this thesis, we address this problem and introduce a novel design methodology that guarantees consistency in real-time distributed computations. At …
-
Failure diagnosis in distributed systems
… that are caused by software bugs triggered by race conditions. Due to the non-deterministic manifestation, these bugs are much harder to diagnose, fix and test than the bugs in sequential logic. To understand the concurrency bugs, we first study the characteristics of concurrency bugs using 105 …
-
SHM Racer : dynamic race condition detection using shared memory traps
This project investigated different types of data races that can exist within C code, and then incrementally built a race condition detector, SHM Racer, using an assortment of thread safety violation/data race violation detection methods. The objective of this report was to demonstrate the …
-
A Design-by-Contract based Approach for Architectural Modelling and Analysis
… are always complete, (iii)there are no race-conditions, (iv) there is no deadlock, and (v) for components having event communications, there is no overflow of event buffers. Finally, I evaluate XCD via five well-known case studies and illustrate XCD’s enhanced modularity, expressive …
-
Algorithmic advances in dynamic analysis for detecting concurrency bugs
… in-house testing, concurrency issues 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. …
-
The Proteus Effect and Gaming: The Impact of Digital Actors and Race in a Virtual Environment
<p>Race and racial identity is a frequently discussed topic in the media today. This topic is driven by what oftentimes amounts to culture clashes, and a system that claims impartiality yet is rampant with implicit bias demonstrating favorable treatment of one race over another. An example of this …
-
Whole-system testing and analysis of actor programs
… building scalable systems by making unintended race conditions and deadlocks less likely. Many large systems such as Twitter, LinkedIn, and Facebook Chat, as well as frameworks such as Microsoft Orleans have used the Actor model. In particular, we propose a target test generation method for …