Wulf, w., et al. Hydra The kernel of a multiprocessor operating system. Comm. ACM 17, 6 (June 1974), 337-345. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Legba: Fast Hardware Support for Fine-Grained Protection - Wiggins, Winwood, Tuch.. (2003) (1 citation) (Correct)
.... increasingly widespread, and thus secure execution of untrusted code is presents a significant challenge to modern computer systems [1] As well, dynamic extensibility has long been promoted as a way to manage the complexity, and improve maintainability and reliability of operating systems [2 5]. Recently, the low reliability of some system components, particularly device drivers, has triggered renewed efforts to isolate such components [6, 7] The common problem here is the need to isolate untrusted (buggy or potentially malicious) code. In addition, component technology [8 10] which ....
W. Wulf, E. Cohen, W. Corwin, A. Jones, R. Levin, C. Pierson, and F. Pollack. HYDRA: The kernel of a multiprocessor operating system. Comm. ACM, 17:337--345, 1974.
Object-oriented Issues - A Literature Review - Nierstrasz (Correct)
....reliability, resilience, recovery and fault tolerance. Haer83 Kohl81 Oki83 Shin84 Svob84 Verh78] Security: Security issues for objects seem to be well addressed by capabilities. The Hydra system contains some interesting ideas. The Landwehr paper is a survey of various techniques and paradigms. [Cohe75 Fabr74 Land81 Wulf74] Surveys: The following are surveys of various object oriented systems and concepts, or special issues. See also concepts. Benn82 BYTE86 Nier86 Nyga86 Obj85 Obj86 Oops86 Stef85 Stoy84] Transactions: The notion of transactions and atomic actions, particularly nested transactions, is relevant to ....
W. Wulf, E. Cohen, W. Corwin, A. Jones, R. Levin, C. Pierson and F. Pollack, "HYDRA: The Kernel of a Multiprocessor Operating System", CACM, vol. 17, no. 6, pp. 337-345, June 1974.
Introducing Hybrid: A Unified Object-Oriented System - Nierstrasz (Correct)
....(Oids are actually capabilities for sending messages, i.e. for performing operations. One thus distinguishes not merely between, say, read and write operations, but between all of the various operations supported by an object. This is the same philosophy adopted in the Hydra operating system [Wulf74]. A hash table is maintained for the objects currently in memory. The first time an active object attempts to address an acquaintance, the object manager does a lookup to see if the required object is already in memory. If not, it must be brought in. That acquaintance is then marked as being ....
W. Wulf, E. Cohen, W. Corwin, A. Jones, R. Levin, C. Pierson and F. Pollack, "HYDRA: The Kernel of a Multiprocessor Operating System", CACM, vol. 17, no. 6, pp. 337-345, June 1974.
A Platform for Prototyping PIMOS System Services - Schermerhorn (2002) (Correct)
....les for backing storage, and negotiates with the le system for available memory, attempting to nd an optimal balance for the current load. Sprite migrates processes to balance the load. Sprite s migration mechanism is transparent: processes do not know they have been migrated. The HYDRA kernel [33] is designed to take advantage of high performance multiprocessor hardware. HYDRA de nes three basic object types: procedure, LNS, and process. A HYDRA procedure is similar in many ways to the normal concept of a procedure. They can receive parameters and return values. However, HYDRA procedures ....
W. Wulf, E. Cohen, W. Corwin, A. Jones, R. Levin, C. Pierson, and F. Pollack. HYDRA: The kernel of a multiprocessor operating system. Communications of the ACM, 17(6):337-345, June 1974. 67
Document De Presentation - De Travaux Pour (Correct)
.... que des m6canismes plus souples aient 6t6 d6velopp6s [Krakowiak 85] Ces m6canismes sont bas6s sur les capacit6s qui regroupent la d6signation d un objet et un ticket d accs h Fobjet d6sign6 [Fabry 74] Ce concept, introduit par Dennis [Dennis 66] est d abord utilis6 dans le systme Hydra [Wulf 74] puis sera h la base de l architecture et du systme de la Plessey 250 [England 75] et de plusieurs autres machines dont la demire en date, I iAPX 432 [Kahn 81 ] n a j amais 6t6 compltement optrationnelle. Les systmes h capacitts sont 6tudits dans [Levy 84] La sptcificit6 des systmes ....
W. A. Wulf & al, Hydra: the kernel of a multiprocessor operating system, Comm. ACM, vol. 17, n 6, Jun. 1974 61
Unknown - Tasks And Require (Correct)
....effect on the performance of the system as a whole. 5 Related work Capability systems offer both modularity and protection at a fine grain. Because every invocation requires crossing a domain boundary, performance has been a problem, both in hardware [16, 11] and software based implementations [17]. Clouds is a distributed operating system that is, like Lipto, based on the object thread model [5] However, a CloutIs object is persistent and resides in its own protection domain. Consequently, Clouds objects are heavyweight and they do not support fine grained decomposi tion. Choices is ....
W. Wulf, E. Cohen, W. Corwin, A. Jones, R. Levin, C. Pierson, and F. Pollack. Hydra: The kernel of a multiprocessor operating system. Communications of the A CM, 17(6):337 345, June 1974.
Capability-based Financial Instruments - Miller, Morningstar, Frantz (2000) (37 citations) (Correct)
....primary, and objects themselves as secondary [23] 3 From Objects to Capabilities 3.1 Capability Operating Systems The capability was first invented by secure operating system designers. It started as a way to protect primitive resources such as memory segments [7] but was soon generalized [43] into a protected ability to invoke arbitrary services provided by other processes. For each process, there is a table associating small numbers (similar in spirit to Unix file descriptors) with the capabilities held by that process. These small numbers serve the same function as variable names do ....
William Wulf et al, "HYDRA: The kernel of a multiprocessor operating system," CACM, vol. 17, pp. 337-345, June 1974. (I-A2, II-B3, III-A).
Protection in the Guide object-oriented distributed system - Hagimont (1994) (7 citations) (Correct)
....each object and contains users rights on this object. The second approach consists in gathering protection informations by row. A capability list is associated with each user and contains rights on objects for this user. We now study three variants of these basic solutions. 2. 1 Hydra Hydra [Wulf74] is a lities through a restricted set of operations (load, store, copy, restrict rights and call) A capability is composed of a unique identifier and a field that describes the authorized methods among the methods declared in the type of the referenced object. The state of an capabilities ....
W.A. Wulf , E. Cohen, W. Corwin, A. Jones , R. Levin, C. Pierson and F. Pollack , Hydra: The Kernel of a Multiprocessor Operating System, Communications of the ACM, 17(6), June 1974.
Distributed Smalltalk: Inheritance and Reactiveness in.. - Bennett (1988) (1 citation) (Correct)
....Finally, Sloop demonstrates the application of the object oriented methodology to a parallel language and programming environment for a multiprocessor system. 2.2.1 Hydra Hydra was the kernel of an operating system constructed for the Carnegie Mellon University Multi Mini Processor (C. mmp) Wulf 74a] C.mmp was a tightly coupled multiprocessor system allowing the connection of up to 16 processors to up to 32 megabytes of shared primary memory through a 16 x 16 crosspoint switch. The processors were all PDP 11 40 minicomputers modified to include writable control store. Details of the ....
....number of these user defined operating system facilities should be able to co exist simultaneously. To support this goal, the designers of Hydra set out to construct a collection of primitives of universal applicability and absolute reliability from which such facilities could be constructed [Wulf 74a] These primitives were to have protection based on capabilities [Dennis 66, Cohen 75] and were to exhibit no policy [Levin 75] Separation of mechanism from policy provided Hydra designers with great flexibility: The implementation of a 6 As we have seen, objects have their roots in Simula ....
W. Wulf, E. Cohen, W. Corwin, A. Jones, R. Levin, C. Pierson, and F. Pollack. Hydra: The Kernel of a Multiprocessor Operating System. Communications of the ACM, 17(6), June 1974.
Specification and Verification of Security Policies - Peri (1996) Self-citation (Wulf) (Correct)
No context found.
Wulf, W., et al, 'Hydra - The Kernel of a Multiprocessor Operating System,' Communications of the ACM, June 1974.
Reflections on an Operating System Design - Butler Lampson And (Correct)
No context found.
Wulf, w., et al. Hydra The kernel of a multiprocessor operating system. Comm. ACM 17, 6 (June 1974), 337-345.
Reflections on an Operating System Design - Butler Lampson And (Correct)
No context found.
Wulf, w., et al. Hydra The kernel of a multiprocessor operating system. Comm. ACM 17, 6 (June 1974), 337-345.
Efficient, Portable, and Robust Extension of - Operating System Functionality (Correct)
No context found.
Wulf, W., Cohen, E., Corwin, W., Jones, A., Levin, R., Pierson, C., and Pollack, F. HYDRA: The Kernel of a Multiprocessor Operating System. Communications of the ACM, 17(6):337-- 344, June 1974.
Legba: Fast Hardware Support for Fine-Grained Protection - Wiggins, Winwood, Tuch.. (2003) (1 citation) (Correct)
No context found.
W. Wulf, E. Cohen, W. Corwin, A. Jones, R. Levin, C. Pierson, and F. Pollack. HYDRA: The kernel of a multiprocessor operating system. Comm. ACM, 17:337--345, 1974.
Legba: Fast Hardware Support for Fine-Grained Protection - Wiggins, Winwood, Tuch.. (2003) (1 citation) (Correct)
No context found.
W. Wulf, E. Cohen, W. Corwin, A. Jones, R. Levin, C. Pierson, and F. Pollack. HYDRA: The kernel of a multiprocessor operating system. Comm. ACM, 17:337--345, 1974.
A New Approach to Mobile Code Security - Wallach (1999) (21 citations) (Correct)
No context found.
W. Wulf, E. Cohen, W. Corwin, A. Jones, R. Levin, C. Pierson, and F. Pollack. HYDRA: The kernel of a multiprocessor operating system. Communications of the ACM, 17(6):337--345, June 1974.
Constructing Services with Interposable Virtual Hardware - Andrew Whitaker Richard (2004) (2 citations) (Correct)
No context found.
W. Wulf, E. Cohen, W. Corwin, A. Jones, R. Levin, C. Pierson, and F. Pollack. HYDRA: the kernel of a multiprocessor operating system. Communications of the ACM, 17(6):337--345, June 1974.
Back to the Future: A Retroactive Study of Aspect Evolution in - Operating System Code (2003) (Correct)
No context found.
William Wulf, Ellis Cohen, William Corwin, Anita Jones, Roy Levin, C. Pierson, and Fred Pollack, Hydra: The Kernel of a Multiprocessor Operating System. Communications of the ACM, 1974. 17(6).
Enforcing Formal Security Properties - Bernard, Lee (2001) (Correct)
No context found.
W. Wulf, E. Cohen, W. Corwin, A. Jones, R. Levin, C. Pierson, and F. Pollack. HYDRA: The kernel of a multiprocessor operating system. Communications of the ACM, 17(6):337-345, June 1974.
Application of Cryptographic Approaches toward an Effective.. - Bhatti (Correct)
No context found.
A. Wulf, E. S. Cohen, W. M. Corwin, A. K. Jones, R. Levin, C. Pierson, and F. J. Pollack, HYDRA: The kernel of a multiprocessor operating system," Communications of the ACM, vol. 17, pp. 337-345, June 1974.
An Architecture for Secure Fault-Tolerant Global Applications - Chothia, Duggan (Correct)
No context found.
W. A. Wulf, E. S. Cohen, W. M. Corwin, A. K. Jones, R. Levin, C. Pierson, and F. J. Pollack, "HYDRA: The kernel of a multiprocessor operating system," Communications of the ACM, vol. 17, pp. 337--345, June 1974.
Trust Management for Widely Distributed Systems - Yao (2003) (3 citations) (Correct)
No context found.
W. A. Wulf, E. S. Cohen, W. M. Corwin, A. K. Jones, R. Levin, C. Pierson, and F. J. Pollack, "HYDRA: The kernel of a multiprocessor operating system," Communications of the ACM, vol. 17, pp. 337--345, June 1974.
Petri Net Based Hypertext: - Document Structure With (Correct)
No context found.
Wulf, W., Cohen, E., Corwin, W., Jones, A., Levin, R., Pierson, C., and Pollack, F. HYDRA: The kernel of a multiprocessor operating system. Commun. ACM 17, 6 (June 1974), 337--345.
A Layered Virtual Memory Manager - Mason (Correct)
No context found.
W. Wulf, E. Cohen, W. Corwin, A. Jones, R. Levin, C. Pierson, and F. Pollack, "HYDRA: The Kernel of a Multiprocessor Operat- ing System," Communications f..th__e ACM 17, 6 (June 1974), pp. 337 - 345.
A Security-Property Language for Self-Certified Code - Bernard (1999) (Correct)
No context found.
W. Wulf, E. Cohen, W. Corwin, A. Jones, R. Levin, C. Pierson, and F. Pollack. HYDRA: The kernel of a multiprocessor operating system. Communications of the ACM, 17(6):337-345, June 1974.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC