Sciweavers

57 search results - page 12 / 12
» Controlling Distributed Shared Memory Consistency from High ...
Sort
View
ASPLOS
2008
ACM
13 years 7 months ago
General and efficient locking without blocking
Standard concurrency control mechanisms offer a trade-off: Transactional memory approaches maximize concurrency, but suffer high overheads and cost for retrying in the case of act...
Yannis Smaragdakis, Anthony Kay, Reimer Behrends, ...
MICRO
2009
IEEE
129views Hardware» more  MICRO 2009»
13 years 11 months ago
Execution leases: a hardware-supported mechanism for enforcing strong non-interference
High assurance systems such as those found in aircraft controls and the financial industry are often required to handle a mix of tasks where some are niceties (such as the contro...
Mohit Tiwari, Xun Li, Hassan M. G. Wassel, Frederi...