2114 search results - page 3 / 423 » A model of cooperative threads |
OOPSLA
2010
Springer
13 years 4 months ago
2010
Springer
Fixing concurrency bugs (or crugs) is critical in modern software systems. Static analyses to find crugs such as data races and atomicity violations scale poorly, while dynamic a...
TLDI
2010
ACM
14 years 2 months ago
2010
ACM
Reasoning about the correctness of multithreaded programs is complicated by the potential for unexpected interference between threads. Previous work on controlling thread interfer...
ISSTA
2012
ACM
11 years 8 months ago
2012
ACM
Multithreaded programs are notoriously prone to unintended interference between concurrent threads. To address this problem, we argue that yield annotations in the source code sho...
MA
2000
Springer
13 years 9 months ago
2000
Springer
In this paper, we present a mechanism to capture and reestablish the state of Java threads. We achieve this by extracting a thread's execution state from the application code ...
ML
2008
ACM
13 years 5 months ago
2008
ACM