HYDRA: the kernel of a multiprocessor operating system: Communications of the ACM: Vol 17, No 6
This website uses cookies
We occasionally run membership recruitment campaigns on social media channels and use cookies to track post-clicks. We also share information about your use of our site with our social media, advertising and analytics partners who may combine it with other information that you’ve provided to them or that they’ve collected from your use of their services. Use the check boxes below to choose the types of cookies you consent to have stored on your device.
Do not sell or share my personal information
Use necessary cookies onlyAllow all cookiesShow details
OK
Use necessary cookies onlyAllow selected cookiesAllow all cookies
Necessary
Preferences
Statistics
Marketing
Show details
Cookie declaration[#IABV2SETTINGS#]About
Necessary (8)Preferences (5)Statistics (15)Marketing (24)Unclassified (5)
Necessary cookies help make a website usable by enabling basic functions like page navigation and access to secure areas of the website. The website cannot function properly without these cookies. These cookies do not gather information about you that could be used for marketing purposes and do not remember where you have been on the internet.
|Name|Provider|Purpose|Expiry|Type|
__cf_bm[x2]|ACM|This cookie is used to distinguish between humans and bots. This is beneficial for the website, in order to make valid reports on the use of their website.|1 day|HTTP Cookie|
__jid|c.disquscdn.com|Used to add comments to the website and remember the user’s Disqus login credentials across websites that use said service.|Session|HTTP Cookie|
disqusauth|c.disquscdn.com|Registers whether the user is logged in. This allows the website owner to make parts of the website inaccessible, based on the user’s log-in status.|Session|HTTP Cookie|
_cfuvid|ACM|This cookie is a part of the services provided by Cloudflare - Including load-balancing, deliverance of website content and serving DNS connection for website operators.|Session|HTTP Cookie|
CookieConsent|Cookiebot|Stores the user’s cookie consent state for the current domain|1 year|HTTP Cookie|
JSESSIONID|ACM|Preserves users states across page requests.|Session|HTTP Cookie|
1.gif|Cookiebot|Used to count the number of sessions to the website, necessary for optimizing CMP product delivery.|Session|Pixel Tracker|
Preference cookies enable a website to remember information that changes the way the website behaves or looks, like your preferred language or the region that you are in.
|Name|Provider|Purpose|Expiry|Type|
aet-dismiss|c.disquscdn.com|Necessary for the functionality of the website’s comment-system.|Persistent|HTML Local Storage|
drafts.queue|c.disquscdn.com|Necessary for the functionality of the website’s comment-system.|Persistent|HTML Local Storage|
submitted_posts_cache|c.disquscdn.com|Necessary for the functionality of the website’s comment-system.|Persistent|HTML Local Storage|
mopDeploy|Mopinion|Pending|Session|HTML Local Storage|
MACHINE_LAST_SEEN|ACM|Pending|300 days|HTTP Cookie|
Statistic cookies help website owners understand how visitors interact with websites by collecting and reporting information anonymously.
|Name|Provider|Purpose|Expiry|Type|
_ga|Google|Registers a unique ID that is used to generate statistical data on how the visitor uses the website.|2 years|HTTP Cookie|
_ga_#|Google|Used by Google Analytics to collect data on the number of times a user has visited the website as well as dates for the first and most recent visit.|2 years|HTTP Cookie|
_gat|Google|Used by Google Analytics to throttle request rate|1 day|HTTP Cookie|
_gid|Google|Registers a unique ID that is used to generate statistical data on how the visitor uses the website.|1 day|HTTP Cookie|
_hjSession_#|Hotjar|Collects statistics on the visitor’s visits to the website, such as the number of visits, average time spent on the website and what pages have been read.|1 day|HTTP Cookie|
_hjSessionUser_#|Hotjar|Collects statistics on the visitor’s visits to the website, such as the number of visits, average time spent on the website and what pages have been read.|1 year|HTTP Cookie|
_hjTLDTest|Hotjar|Registers statistical data on users’ behaviour on the website. Used for internal analytics by the website operator.|Session|HTTP Cookie|
_hp2_#|Heap Analytics|Collects data on the user’s navigation and behavior on the website. This is used to compile statistical reports and heatmaps for the website owner.|1 day|HTTP Cookie|
_hp2_hld#.#|Heap Analytics|Collects data on the user’s navigation and behavior on the website. This is used to compile statistical reports and heatmaps for the website owner.|1 day|HTTP Cookie|
_hp2_id.#|Heap Analytics|Collects data on the user’s navigation and behavior on the website. This is used to compile statistical reports and heatmaps for the website owner.|13 months|HTTP Cookie|
_hp2_ses_props.#|Heap Analytics|Collects data on the user’s navigation and behavior on the website. This is used to compile statistical reports and heatmaps for the website owner.|1 day|HTTP Cookie|
disqus_unique|c.disquscdn.com|Collects statistics related to the user’s visits to the website, such as number of visits, average time spent on the website and loaded pages.|Session|HTTP Cookie|
collect|Google|Used to send data to Google Analytics about the visitor’s device and behavior. Tracks the visitor across devices and marketing channels.|Session|Pixel Tracker|
hjActiveViewportIds|Hotjar|This cookie contains an ID string on the current session. This contains non-personal information on what subpages the visitor enters –this information is used to optimize the visitor’s experience.|Persistent|HTML Local Storage|
hjViewportId|Hotjar|Saves the user’s screen size in order to adjust the size of images on the website.|Session|HTML Local Storage|
Marketing cookies are used to track visitors across websites. The intention is to display ads that are relevant and engaging for the individual user and thereby more valuable for publishers and third party advertisers.
|Name|Provider|Purpose|Expiry|Type|
badges-message|c.disquscdn.com|Collects data on the visitor’s use of the comment system on the website, and what blogs/articles the visitor has read. This can be used for marketing purposes.|Persistent|HTML Local Storage|
NID|Google|Pending|6 months|HTTP Cookie|
api/telemetry|Heap Analytics|Collects data on user behaviour and interaction in order to optimize the website and make advertisement on the website more relevant.|Session|Pixel Tracker|
h|Heap Analytics|Collects data on user behaviour and interaction in order to optimize the website and make advertisement on the website more relevant.|Session|Pixel Tracker|
#-#|YouTube|Used to track user’s interaction with embedded content.|Session|HTML Local Storage|
iU5q-!O9@$|YouTube|Registers a unique ID to keep statistics of what videos from YouTube the user has seen.|Session|HTML Local Storage|
LAST_RESULT_ENTRY_KEY|YouTube|Used to track user’s interaction with embedded content.|Session|HTTP Cookie|
LogsDatabaseV2:V#||LogsRequestsStore|YouTube|Used to track user’s interaction with embedded content.|Persistent|IndexedDB|
nextId|YouTube|Used to track user’s interaction with embedded content.|Session|HTTP Cookie|
remote_sid|YouTube|Necessary for the implementation and functionality of YouTube video-content on the website.|Session|HTTP Cookie|
requests|YouTube|Used to track user’s interaction with embedded content.|Session|HTTP Cookie|
ServiceWorkerLogsDatabase#SWHealthLog|YouTube|Necessary for the implementation and functionality of YouTube video-content on the website.|Persistent|IndexedDB|
TESTCOOKIESENABLED|YouTube|Used to track user’s interaction with embedded content.|1 day|HTTP Cookie|
VISITOR_INFO1_LIVE|YouTube|Pending|180 days|HTTP Cookie|
YSC|YouTube|Pending|Session|HTTP Cookie|
yt.innertube::nextId|YouTube|Registers a unique ID to keep statistics of what videos from YouTube the user has seen.|Persistent|HTML Local Storage|
YtIdbMeta#databases|YouTube|Used to track user’s interaction with embedded content.|Persistent|IndexedDB|
yt-remote-cast-available|YouTube|Stores the user’s video player preferences using embedded YouTube video|Session|HTML Local Storage|
yt-remote-cast-installed|YouTube|Stores the user’s video player preferences using embedded YouTube video|Session|HTML Local Storage|
yt-remote-connected-devices|YouTube|Stores the user’s video player preferences using embedded YouTube video|Persistent|HTML Local Storage|
yt-remote-device-id|YouTube|Stores the user’s video player preferences using embedded YouTube video|Persistent|HTML Local Storage|
yt-remote-fast-check-period|YouTube|Stores the user’s video player preferences using embedded YouTube video|Session|HTML Local Storage|
yt-remote-session-app|YouTube|Stores the user’s video player preferences using embedded YouTube video|Session|HTML Local Storage|
yt-remote-session-name|YouTube|Stores the user’s video player preferences using embedded YouTube video|Session|HTML Local Storage|
Unclassified cookies are cookies that we are in the process of classifying, together with the providers of individual cookies.
|Name|Provider|Purpose|Expiry|Type|
disqus.thread|c.disquscdn.com|Pending|Persistent|HTML Local Storage|
article_reader_settings|ACM|Pending|Persistent|HTML Local Storage|
MAID|ACM|Pending|300 days|HTTP Cookie|
tipKey|ACM|Pending|Persistent|HTML Local Storage|
GSP|Google|Pending|400 days|HTTP Cookie|
[#IABV2_LABEL_PURPOSES#][#IABV2_LABEL_FEATURES#][#IABV2_LABEL_PARTNERS#]
[#IABV2_BODY_PURPOSES#]
[#IABV2_BODY_FEATURES#]
[#IABV2_BODY_PARTNERS#]
Cookies are small text files that can be used by websites to make a user’s experience more efficient. Other than those strictly necessary for the operation of the site, we need your permission to store any type of cookies on your device.Learn more about ACM, how you can contact us, and how we process personal data in ourPrivacy Policy. Also please consult ourCookie Notice.
You can change or withdraw your consent from the Cookie Declaration on our website at any time by visiting theCookie Declarationpage. If contacting us regarding your consent, please state your consent ID and date from that page.
Your consent applies to the following domains: dl.acm.org
Cookie declaration last updated on 6/30/24 byCookiebot
skip to main content
ACM Digital Library home
ACM Association for Computing Machinery corporate logo
-
Advanced Search
-
Browse
-
About
-
Register
Search ACM Digital Library
SearchSearch
Advanced Search
Communications of the ACM
article
**Free access
Share on
HYDRA:the kernel of a multiprocessor operating system
Authors:W.Wulf
W.Wulf
Carnegie-Mellon Univ., Pittsburgh, PA
View Profile
,E.Cohen
E.Cohen
Carnegie-Mellon Univ., Pittsburgh, PA
View Profile
,W.Corwin
W.Corwin
Carnegie-Mellon Univ., Pittsburgh, PA
View Profile
,A.Jones
A.Jones
Carnegie-Mellon Univ., Pittsburgh, PA
View Profile
,+ 3,R.Levin
R.Levin
Carnegie-Mellon Univ., Pittsburgh, PA
View Profile
,C.Pierson
C.Pierson
Carnegie-Mellon Univ., Pittsburgh, PA
View Profile
, andF.Pollack
-
**368citation
-
**8,735
-
Downloads
Metrics
Last 12 Months758
Last 6 weeks40
- Get Citation Alerts
PDF**eReader
-
**Contents
-
**Information & Contributors
-
**Bibliometrics & Citations
-
**View Options
-
**References9
-
**Media
-
**Tables
-
**Share
Abstract
This paper describes the design philosophy of HYDRA—the kernel of an operating system for C.mmp, the Carnegie-Mellon Multi-Mini-Processor. This philosophy is realized through the introduction of a generalized notion of “resource,” both physical and virtual, called an “object.” Mechanisms are presented for dealing with objects, including the creation of new types, specification of new operations applicable to a given type, sharing, and protection of any reference to a given object against improper application of any of the operations defined with respect to that type of object. The mechanisms provide a coherent basis for extension of the system in two directions: the introduction of new facilities, and the creation of highly secure systems.
References
[1]
Brinch-Hansen, P. The nucleus of a multiprogramming system. Comm. ACM 13, 4 (Apr. 1970), 238-241.
Digital Library
Google Scholar
[2]
Dahl, O.J., Dijkstra, E.W., and Hoare, C.A.R. Structured Programming, Academic Press, New York, 1972.
Digital Library
Google Scholar
[3]
Dijkstra, E.W. The structure of THE multiprogramming system. Comm. ACM 11, 5 (May 1968), 341-346.
Digital Library
Google Scholar
[4]
Dijkstra, E.W., Cooperating sequential processes. In Programming Languages, F. Genuys, (Ed.), Academic Press, New York, 1968, pp. 43-112.
Google Scholar
[5]
Dennis, J.B., and Van Horn, E.C. Programming semantics for multiprogrammed computations. Comm. ACM 9, 3 (Mar. 1966), 143-155.
Digital Library
Google Scholar
[6]
Jones, A.K. Protection in programming systems. Ph.D. Th. Carnegie-Mellon U., 1973.
Digital Library
Google Scholar
[7]
Lampson, B.W. Dynamic Protection Structures, Proc. AFIPS 1969 FJCC, Vol. 35, AFIPS Press, Montvale, N.J. pp. 27-38.
Google Scholar
[8]
Parnas, D.L. On the criteria to be used in decomposing systems into modules. Comput. Sci. Dep. Rep., Carnegie-Mellon U., 1971.
Google Scholar
[9]
Wulf, W.A., and Bell, C. G. C.mmp-a multi-mini-processor. Proc. AFIPS 1972, FJCC. Vol. 41, AFIPS Press, Montvale, N.J. pp. 765-777.
Google Scholar
Show all references
Cited By
View all**
Index Terms
-
HYDRA: the kernel of a multiprocessor operating system
-
Security and privacy
-
Systems security
-
Operating systems security
-
Social and professional topics
-
Computing / technology policy
-
Computer crime
-
Software and its engineering
-
Software organization and properties
-
Contextual software domains
-
Operating systems
-
Process management
-
Multiprocessing / multiprogramming / multitasking
Recommendations
Adapting Linux for mobile platforms: An empirical study of Android
ICSM ‘12: Proceedings of the 2012 IEEE International Conference on Software Maintenance (ICSM)
To deliver a high quality software system in a short release cycle time, many software organizations chose to reuse existing mature software systems. Google has adapted one of the most reused computer operating systems (i.e., Linux) into an operating …
Read More
Protection in the Hydra Operating System
This paper describes the capability based protection mechanisms provided by the Hydra Operating System Kernel. These mechanisms support the construction of user-defined protected subsystems, including file and directory subsystems, which do not …
Read More
Protection in the Hydra Operating System
SOSP ‘75: Proceedings of the fifth ACM symposium on Operating systems principles
This paper describes the capability based protection mechanisms provided by the Hydra Operating System Kernel. These mechanisms support the construction of user-defined protected subsystems, including file and directory subsystems, which do not …
Read More
Comments
**Information & Contributors
**
InformationContributors
Information
Published In
cover image Communications of the ACM
Communications of the ACMVolume 17, Issue 6
June 1974
86 pages
ISSN:0001-0782
EISSN:1557-7317
DOI:10.1145/355616
- Editor:
-
Author PictureRobert L. Ashenhurst
Univ. of Chicago, Chicago, IL
Issue’s Table of Contents
Copyright ©1974 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from Permissions@acm.org
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 01 June 1974
Published inCACMVolume17,Issue6
Permissions
Request permissions for this article.
Request permissions
Check for updates
Author Tags
-
kernel
-
nucleus
-
operating system
-
protection
-
security
Qualifiers
Contributors
Other Metrics
View Article Metrics
**Bibliometrics & Citations
**
BibliometricsCitations368
Bibliometrics
Article Metrics
-
368
Total Citations
View Citations
-
8,735
Total Downloads
-
Downloads (Last 12 months)758
-
Downloads (Last 6 weeks)40
Other Metrics
View Author Metrics
Citations
Cited By
View all**
**View Options
**
View options
PDF
View or Download as a PDF file.
**PDF
eReader
View online witheReader.
**eReader
**Media
**
FiguresOther
Figures
Other
**Tables
**
**Share
**
Share
Share this Publication link
https://dl.acm.org/doi/10.1145/355616.364017 (opens in new tab) Copy Link
Copied!
**Copying failed.
Share on social media
XLinkedinRedditFacebook**email
**References
**
References
[1]
Brinch-Hansen, P. The nucleus of a multiprogramming system. Comm. ACM 13, 4 (Apr. 1970), 238-241.
Digital Library
Google Scholar
[2]
Dahl, O.J., Dijkstra, E.W., and Hoare, C.A.R. Structured Programming, Academic Press, New York, 1972.
Digital Library
Google Scholar
[3]
Dijkstra, E.W. The structure of THE multiprogramming system. Comm. ACM 11, 5 (May 1968), 341-346.
Digital Library
Google Scholar
[4]
Dijkstra, E.W., Cooperating sequential processes. In Programming Languages, F. Genuys, (Ed.), Academic Press, New York, 1968, pp. 43-112.
Google Scholar
[5]
Dennis, J.B., and Van Horn, E.C. Programming semantics for multiprogrammed computations. Comm. ACM 9, 3 (Mar. 1966), 143-155.
Digital Library
Google Scholar
[6]
Jones, A.K. Protection in programming systems. Ph.D. Th. Carnegie-Mellon U., 1973.
Digital Library
Google Scholar
[7]
Lampson, B.W. Dynamic Protection Structures, Proc. AFIPS 1969 FJCC, Vol. 35, AFIPS Press, Montvale, N.J. pp. 27-38.
Google Scholar
[8]
Parnas, D.L. On the criteria to be used in decomposing systems into modules. Comput. Sci. Dep. Rep., Carnegie-Mellon U., 1971.
Google Scholar
[9]
Wulf, W.A., and Bell, C. G. C.mmp-a multi-mini-processor. Proc. AFIPS 1972, FJCC. Vol. 41, AFIPS Press, Montvale, N.J. pp. 765-777.
Google Scholar
Affiliations
Download PDF
Go to
Go to
Show all references
Request permissionsExpand All
Collapse
Expand Table
Authors Info & Affiliations
View Issue’s Table of Contents
Close modal## New Citation Alert added!
This alert has been successfully added and will be sent to:
You will be notified whenever a record that you have chosen has been cited.
To manage your alert preferences, click on the button below.
Manage my Alerts
Close modal## New Citation Alert!
Pleaselog in to your account
Close modal## Export Citations
Select Citation formatBibTeXEndNoteACM Ref**
-
Please download or close your previous search result export first before starting a new bulk export.
Preview is not available.
By clicking download,a status dialogwill open to start the export process. The process may takea few minutesbut once it finishes a file will be downloadable from your browser. You may continue to browse the DL while the export process is in progress.
Download
-
Download citation**
-
Copy citationYour Search Results Download Request
We are preparing your search results for download …
We will inform you here when the file is ready.
Download now!
Your Search Results Download Request
Your file of search results citations is now ready.
Download now!
Your Search Results Download Request**
Your search export query has expired. Please try again.
Cookiebot session tracker icon loaded
✓Thanks for sharing!
AddToAny
More…
__(“articleCrossmark.closePopup”)