Operating System Principles

By Abraham Silberschatz, G. Gagne, P. B. Galvin. 2004

417 citations recorded by the source corpus.

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

Permission accounting in separation logic (2005, unknown): “[4]”
Resources, Concurrency and Local Reasoning (2004, background): “…that debugging and reasoning about concurrent programs could be considerably simpliﬁed using compiler-enforceable syntactic constraints that preclude interference [4,1]; scope restrictions were described which had the eﬀect that all process interaction was mediated by a critical region or monitor.”
Concepts, Techniques, and Models of Computer Programming (2004, methodology): “Monitors were introduced by Brinch Hansen [22, 23] and further developed by Hoare [82].”
A Semantics for Concurrent Separation Logic (2004, background): “Program design rules based on resource separation [22,24,36,37] and the use of synchronization constructs such as conditional critical regions [7,9,8,24] offer the programmer a means to impose discipline.”