diff options
Diffstat (limited to 'Mach/mach/ports.mdwn')
| -rw-r--r-- | Mach/mach/ports.mdwn | 19 |
1 files changed, 18 insertions, 1 deletions
diff --git a/Mach/mach/ports.mdwn b/Mach/mach/ports.mdwn index 54cc12ac..47ef427a 100644 --- a/Mach/mach/ports.mdwn +++ b/Mach/mach/ports.mdwn @@ -1,3 +1,20 @@ +[[license text=""" +Copyright © 2007 Free Software Foundation, Inc. + +Permission is granted to copy, distribute and/or modify this document under the +terms of the GNU Free Documentation License, Version 1.2 or any later version +published by the Free Software Foundation; with no Invariant Sections, no +Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included +in the section entitled [[GNU_Free_Documentation_License|/fdl.txt]]. + +By contributing to this page, you agree to assign copyright for your +contribution to the Free Software Foundation. The Free Software Foundation +promises to always use either a verbatim copying license or a free +documentation license when publishing your contribution. We grant you back all +your rights under copyright, including the rights to copy, modify, and +redistribute your contributions. +"""]] + Mach ports are [[capabilities]]. A Mach port is a kernel queue. Each port has associated with @@ -28,4 +45,4 @@ A thread can only block receiving on a single port. To work around this, the concept of a port set was introduced. A receive right can be added to (at most) one port set. When a thread receives from a port set, it dequeues from any of the ports that -has a message available.
\ No newline at end of file +has a message available. |