Concept
Pthreads
Related publications (21)
Fast correlation function calculator A high-performance pair-counting toolkit
Context. A novel high-performance exact pair-counting toolkit called fast correlation function calculator (FCFC) is presented.Aims. With the rapid growth of modern cosmological datasets, the evaluation of correlation functions with observational and simula ...
EDP SCIENCES S A2023NrOS: Effective Replication and Sharing in an Operating System
Sanidhya Kashyap, Ankit Bhardwaj
Writing a correct operating system kernel is notoriously hard. Kernel code requires manual memory management and type-unsafe code and must efficiently handle complex, asynchronous events. In addition, increasing CPU core counts further complicate kernel de ...
USENIX ASSOC2021Deterministic Parallel Routing for FPGAs based on Galois Parallel Execution Model
Mirjana Stojilovic, Philip Brisk
This paper describes a deterministic and parallel implementation of the VPR routability-driven router for FPGAs. We considered two parallefization strategies: (1) routing multiple nets in parallel; and (2) routing one net at a time, while parallelizing the ...
IEEE2018Automating Live Update for Generic Server Programs
The pressing demand to deploy software updates without stopping running programs has fostered much research on live update systems in the past decades. Prior solutions, however, either make strong assumptions on the nature of the update or require extensiv ...
Ieee Computer Soc2016Improving Scalability of Symbolic Execution for Software with Complex Environment Interfaces
Manual software testing is laborious and prone to human error. Yet, among practitioners, it is the most popular method for quality assurance. Automating the test case generation promises better effectiveness, especially for exposing corner-case bugs. Symbo ...
EPFL2015Mutable Checkpoint-Restart: Automating Live Update for Generic Server Programs
The pressing demand to deploy software updates without stopping running programs has fostered much research on live update systems in the past decades. Prior solutions, however, either make strong assumptions on the nature of the update or require extensiv ...
ACM New York2014Extremes: spatial parametric modeling
Statistics of spatial extremes is developing very rapidly, owing to the demands of applications in the environmental sciences and the insurance and risk industries. This entry sketches the main ideas, based on classical extreme-value statistics. The two ma ...
John Wiley2012Deadlock Immunity
Deadlock immunity is a property by which programs, once afflicted by a deadlock, develop resistance against future occurrences of that deadlock. We enable real applications to automatically achieve immunity against deadlock bugs involving mutex locks, sema ...
EPFL2011Atomic boxes: coordinated exception handling with transactional memory
Vincent Gramoli, Pascal Felber
In concurrent programs raising an exception in one thread does not prevent others from operating on an inconsistent shared state. Instead, exceptions should ideally be handled in coordination by all the threads that are affected by their cause. In this pap ...
2011Parallel symbolic execution for automated real-world software testing
George Candea, Cristian Zamfir, Vlad Ureche, Stefan Bucur
This paper introduces Cloud9, a platform for automated testing of real-world software. Our main contribution is the scalable parallelization of symbolic execution on clusters of commodity hardware, to help cope with path explosion. Cloud9 provides a system ...
ACM Press2011