20 search results - page 3 / 4 » Lock allocation |
OSDI
1994
ACM
13 years 7 months ago
1994
ACM
This paper presents lottery scheduling, a novel randomized resource allocation mechanism. Lottery scheduling provides efficient, responsive control over the relative execution rat...
POPL
2002
ACM
14 years 6 months ago
2002
ACM
It is an important criterion of program correctness that a program accesses resources in a valid manner. For example, a memory region that has been allocated should be eventually ...
VLDB
1989
ACM
13 years 10 months ago
1989
ACM
Starburst is an experimental database management system prototype whose objectives include extensibility, support for knowledge databases, use of memory-resident database techniqu...
OSDI
2008
ACM
14 years 6 months ago
2008
ACM
Production systems are commonly plagued by intermittent problems that are difficult to diagnose. This paper describes a new diagnostic tool, called Chopstix, that continuously col...
ECRTS
1999
IEEE
13 years 10 months ago
1999
IEEE
Safety-critical systems typically operate in unpredictable environments. Requirements for safety and reliability are in conflict with those for real-time responsiveness. Due to un...