2 search results - page 1 / 1 » Autolocker: synchronization inference for atomic sections |
214
Voted
POPL
2006
ACM
16 years 21 days ago
2006
ACM
The movement to multi-core processors increases the need for simpler, more robust parallel programming models. Atomic sections have been widely recognized for their ease of use. T...
202
click to vote
POPL
2006
ACM
16 years 21 days ago
2006
ACM
Concurrency-related bugs may happen when multiple threads access shared data and interleave in ways that do not correspond to any sequential execution. Their absence is not guaran...