11 papers · ranked by Valyu relevance
Xiang Fu, Shiman Meng, Weiping Zhang, Luanzheng Guo + 5 more
Xiang Fu 1 , Shiman Meng 1 , Weiping Zhang 1 , Luanzheng Guo 2 , Kento Sato 3 , Dong H. Ahn 4 , Ignacio Laguna 5 , Gregory L. Lee 5 , Martin Schulz 6 1 Nanchang Hangkong University, 2 Pacific Northwest National Laboratory, 3 RIKEN R-CCS, 4 NVIDIA, 5 Lawrence Livermore National Laboratory, 6 Technical University of…
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…
Sjoerd Dost
Concurrent logic programming predates miniKanren, but concurrent implementations of miniKanren have remained largely unexplored. In this work we present a parallel implementation of miniKanren in Go, demonstrating its feasibility and potential for performance improvements. Our approach leverages implicit parallelism…
Skazhenik, Taras, Korobenikov, Nikolai + 6 more
Traditionally, multithreaded data structures have been designed for access by the threads of Operating Systems (OS). However, implementations for access by programmable alternatives known as lightweight threads (also referred to as asynchronous calls or coroutines) have not been thoroughly studied. The main advantage…
A. Rothstein, Karl Erickson, Rory Conlin, A. Bortolon + 1 more
A real-time safe multi-threading library was developed on the DIII-D plasma control system to optimize the realtime TORBEAM and real-time STRIDE physics codes. These physics codes are crucial for future fusion power plant operation as they provide information about electron cyclotron wave propagation and heating as…
Aleix Roca, Vicenç Beltran
The convergence of high-performance computing (HPC) and artificial intelligence (AI) is driving the emergence of increasingly complex parallel applications and workloads. These workloads often combine multiple parallel runtimes within the same application or across co-located jobs, creating scheduling demands that…
Constantin Enea, Azadeh Farzan, Dominik Klumpp
The verification of reductions, representative subsets of interleavings, simplifies correctness proofs of parameterized concurrent programs. We introduce an expressive class of syntactic reductions, which we call natural reductions. Natural reductions are specified by introducing atomic blocks and global rendezvous…
R. Govind, S. Krishna, Sanchari Sil, B. Srivathsan
Gibbons and Korach studied a fundamental problem in 1997: given an observed sequence of reads and writes of a multi-threaded program, does there exist an interleaving which is sequentially consistent? Apart from applications in testing shared memory implementations, a procedure for this problem is employed in Dynamic…
Yuandao Cai, Shuhao Fu, Wensheng Tang, Cheng Wen + 2 more
Concurrency testing is essential to improve the reliability and security of multi-threaded programs. Dynamic analysis tools, such as TSan, depend on high-quality test drivers that reach critical shared-memory interactions at runtime. However, current testing practices predominantly focus on sequential logic, leaving a…
Raaghav Ravishankar, Sandeep Kulkarni, Sathya Peri, Gokarna Sharma + 2 more
A domain extension of a definition refers to broadening the scope of a definition so that it applies to a larger set of cases than originally specified. The notion of lock-free and wait-free computation is designed for the domain of tasks that are completed by a single thread (in competition with other threads). The…
Diogo Landau, Jorge G. Barbosa, Nishant Saurabh
Online Data-Intensive applications face performance degradation from load variability and resource interference. While Thread State Analysis (TSA) based approaches enable identifying constrained subsystems, they lack the granularity to reveal the inter-thread dependencies that propagate degradation. In this paper, we…