12 papers · ranked by Valyu relevance
Maxwell Pirtle, Luka Jovanović, Gene Cooperman
Context Model checking has become a key tool for gaining confidence in correctness of multi-threaded programs. Unit tests and functional tests do not suffice because of race conditions that are not discovered by those tests. This problem is addressed by model checking tools. A simple model checker is useful for…
T. Murata, Hiroaki Hashiura
—Multi-threaded programs are expected to improve responsiveness and conserve resources by dividing an application process into multiple threads for concurrent processing. However, due to scheduling and the interaction of multiple threads, their runtime behavior is more complex than that of single-threaded programs…
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Frederik Meyer Bønneland, Sarbojit Das + 3 more
'Sarbojit Das' 'Bengt Jönsson' 'Magnus Lång' 'Konstantinos Sagonas'] Abstract. Event-driven multi-threaded programming is an important idiom for structuring concurrent computations. Stateless Model Checking (SMC) is an effective verification technique for multi-threaded programs, especially when coupled with Dynamic…
Matthias Heizmann, Dominik Klumpp, Frank Schüssele, Lars Nitzke
We address the verification problem for concurrent program that dynamically create (fork) new threads or destroy (join) existing threads. We present a reduction to the verification problem for concurrent programs with a fixed number of threads. More precisely, we present petrification, a transformation from programs…
Li, Ruihao, John, Lizy K. + 2 more
Memory allocators hide beneath nearly every application stack, yet their performance footprint extends far beyond their code size. Even small inefficiencies in the allocators ripple through caches and the rest of the memory hierarchy, collectively imposing what operators often call a "datacenter tax". At hyperscale…
Saugata Ghose
The first years of the 2000s led to an inflection point in computer architectures: while the number of available transistors on a chip continued to grow, crucial transistor scaling properties started to break down and result in increasing power consumption, while aggressive single-core performance optimizations were…
Aishwarya Upadhyay, Vijay Laxmi, Smita Naval
—As technology continues to advance and we usher in the era of Industry 5.0, there has been a profound paradigm shift in operating systems, file systems, web, and network applications. The conventional utilization of multiprocessing and multicore systems has made concurrent programming increasingly pervasive. However…
Matthew Tassava, Cameron Kolodjski, Jordan Milbrath, Jeremy Straub
to the Risks of Penetration Testing Through the Incorporation of Multi-threading and and Other Capabilities Authors: ['Matthew Tassava' 'Cameron Kolodjski' 'Jordan Milbrath' 'Jeremy Straub'] The development of a system vulnerability analysis tool (SVAT) for complex mission critical systems (CMCS) produced the software…
Martina Baiardi, Samuele Burattini, Giovanni Ciatto, Danilo Pianini + 2 more
'Alessandro Ricci' 'Andrea Omicini'] Abstract. The execution of Belief-Desire-Intention (BDI) agents in a Multi-Agent System (MAS) can be practically implemented on top of low-level concurrency mechanisms that impact on efficiency, determinism, and reproducibility. We argue that developers should specify the MAS…
Barak Shoshany
We present a modern C++17-compatible thread pool implementation, built from scratch with highperformance scientific computing in mind. The thread pool is implemented as a single lightweight and self-contained class, and does not have any dependencies other than the C++17 standard library, thus allowing a great degree…
Madhav P. Desai
We investigate the utility of augmenting a microprocessor with a single execution pipeline by adding a second copy of the execution pipeline in parallel with the existing one. The resulting dual-hardware-threaded microprocessor has two identical, independent, single-issue in-order execution pipelines (hardware threads)…
Akihiro Hayashi, Austin Adams, Jeffrey Young, Alexander McCaskey + 3 more
'Eugene Dumitrescu' 'Vivek Sarkar' 'Thomas M. Conte'] Abstract—While quantum computers enable significant performance improvements for certain classes of applications, building a well-defined programming model has been a pressing issue. In this paper, we address some of the key limitations to realizing a generic…