24 search results - page 3 / 5 » Tolerating Concurrency Bugs Using Transactions as Lifeguards |
SIGMOD
2011
ACM
12 years 8 months ago
2011
ACM
In this demonstration we present BRRL, a library for making distributed main-memory applications fault tolerant. BRRL is optimized for cloud applications with frequent points of c...
SMALLTALK
2007
Springer
13 years 11 months ago
2007
Springer
Concurrency control in Smalltalk is based on locks and is therefore notoriously difficult to use. Even though some implementations provide high-level constructs, these add complexi...
IPPS
2009
IEEE
13 years 12 months ago
2009
IEEE
Abstract—Widespread emergence of multicore processors will spur development of parallel applications, exposing programmers to degrees of hardware concurrency hitherto unavailable...
ISCA
2009
IEEE
13 years 12 months ago
2009
IEEE
Shared-memory multi-threaded programming is inherently more difficult than single-threaded programming. The main source of complexity is that, the threads of an application can in...
TACAS
2009
Springer
14 years 1 days ago
2009
Springer
Abstract. We propose a static analysis framework for concurrent programs based on reduction of thread interleavings using sound invariants on the top of partial order techniques. S...