Testing a compiler is an important, but complicated task, especially when compiling and running concurrent programs using C11 atomic operations. This thesis is dedicated to developing a compiler tester for the atomic operations and memory models introduced in the C11 standard. This tool was designed to provide a reliable method for non-deterministic stress testing on hardware. In order to achieve this goal, a thread scheduling method, that introduces random delays to threads, allows the tester to observe a wide range of possible outcomes from running compiled tests. The tool was developed, tested, and compared with previous methods. Compared to other methods, the developed tool proven to be reliable and fast because it could run many random...
<p>We have long relied on increased raw computing power to drive technological progress. However, pr...
The migration of sequential embedded software to multicore processors is a challenging task. Paralle...
Compilers sometimes generate correct sequential code but break the concurrency memory model of the p...
Testing a compiler is an important, but complicated task, especially when compiling and running conc...
The C11 standard introduced atomic types and operations, with an accompanying memory model, to enabl...
With the development of multi-core processors, concurrent programs are becoming more and more popula...
Abstract. The choice of where a thread scheduling algorithm preempts one thread in order to execute ...
This collection contains the companion material of "Concurrency-Aware Thread Scheduling for High-Lev...
grantor: University of TorontoThread-Level Data Speculation (TLDS) aim to improve the perf...
With the spread of multi-core systems, the need to write concurrent programs in order to take advant...
Testing concurrent software is hard due to its non-deterministic behavior. Concurrency bugs triggeri...
An analogue of strictness analysis is proposed for concurrent logic programming called schedule anal...
With the increasing dependency on software systems, we require them to be reliable and correct. Sof...
Modern multiprocessors architectures and programming languages exhibit weakly consistent memories. T...
164 p.Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 2005.The widespread popularity of ...
<p>We have long relied on increased raw computing power to drive technological progress. However, pr...
The migration of sequential embedded software to multicore processors is a challenging task. Paralle...
Compilers sometimes generate correct sequential code but break the concurrency memory model of the p...
Testing a compiler is an important, but complicated task, especially when compiling and running conc...
The C11 standard introduced atomic types and operations, with an accompanying memory model, to enabl...
With the development of multi-core processors, concurrent programs are becoming more and more popula...
Abstract. The choice of where a thread scheduling algorithm preempts one thread in order to execute ...
This collection contains the companion material of "Concurrency-Aware Thread Scheduling for High-Lev...
grantor: University of TorontoThread-Level Data Speculation (TLDS) aim to improve the perf...
With the spread of multi-core systems, the need to write concurrent programs in order to take advant...
Testing concurrent software is hard due to its non-deterministic behavior. Concurrency bugs triggeri...
An analogue of strictness analysis is proposed for concurrent logic programming called schedule anal...
With the increasing dependency on software systems, we require them to be reliable and correct. Sof...
Modern multiprocessors architectures and programming languages exhibit weakly consistent memories. T...
164 p.Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 2005.The widespread popularity of ...
<p>We have long relied on increased raw computing power to drive technological progress. However, pr...
The migration of sequential embedded software to multicore processors is a challenging task. Paralle...
Compilers sometimes generate correct sequential code but break the concurrency memory model of the p...