Software Transactional Memory Research Papers (original) (raw)
Abstract: Deadlock is an increasingly pressing concern as the multicore revolution forces parallel programming upon the average programmer. Existing approaches to deadlock impose onerous burdens on developers, entail high runtime... more
Abstract: Deadlock is an increasingly pressing concern as the multicore revolution forces parallel programming upon the average programmer. Existing approaches to deadlock impose onerous burdens on developers, entail high runtime performance overheads, or offer no help for unmodified legacy code. Gadara automates dynamic deadlock avoidance for conventional multithreaded programs. It employs whole-program static analysis to model programs, and Discrete Control Theory to synthesize lightweight, decentralized, highly ...
Current hardware memory models treat all data in an address space as functionally equivalent, even though we know that in practice some data is far more important than others. In this paper we introduce Software Critical Memory (SCM), a... more
Current hardware memory models treat all data in an address space as functionally equivalent, even though we know that in practice some data is far more important than others. In this paper we introduce Software Critical Memory (SCM), a simple modification to the current flat memory model that recognizes certain data are critical to correct program execution. We introduce the
Distributed systems are widely used in high performance computing for performing computa-tionally extensive calculations. In programming terms, distributed systems have usually been ex-ploited through the use of dedicated APIs such as... more
Distributed systems are widely used in high performance computing for performing computa-tionally extensive calculations. In programming terms, distributed systems have usually been ex-ploited through the use of dedicated APIs such as OpenMP and MPI. With these ...