diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2007-09-14 16:54:49 +0200 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2007-09-14 16:54:49 +0200 |
| commit | 87d8cb64e23a18f22d9a639f8fdbd9669fdb55e1 (patch) | |
| tree | 92d89f14f85398fa9c834cd5514a8d8cb19cd870 | |
| parent | bb3480cbba8cfe0601694973b3fc26b2f5243b53 (diff) | |
Add some information about Mach IPC's sequence numbering.
| -rw-r--r-- | microkernel/mach/ipc.mdwn | 3 | ||||
| -rw-r--r-- | microkernel/mach/ipc/sequence_numbering.mdwn | 26 |
2 files changed, 28 insertions, 1 deletions
diff --git a/microkernel/mach/ipc.mdwn b/microkernel/mach/ipc.mdwn index f6eae76e..c493174c 100644 --- a/microkernel/mach/ipc.mdwn +++ b/microkernel/mach/ipc.mdwn @@ -20,8 +20,9 @@ redistribute your contributions. An IPC is sent by invoking a [[port]]. <!-- Isn't this wording a bit strange? ``IPC is sent'' --tschwinge --> -[The Unofficial GNU Mach IPC beginner's guide](http://www.nongnu.org/hurdextras/ipc_guide/ipc_guide.html) +[[Sequence_numbering]]. +[The Unofficial GNU Mach IPC beginner's guide](http://www.nongnu.org/hurdextras/ipc_guide/ipc_guide.html) # See Also diff --git a/microkernel/mach/ipc/sequence_numbering.mdwn b/microkernel/mach/ipc/sequence_numbering.mdwn new file mode 100644 index 00000000..3aff669d --- /dev/null +++ b/microkernel/mach/ipc/sequence_numbering.mdwn @@ -0,0 +1,26 @@ +[[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's [[IPC]] mechanism allows for getting access to a message's sequence +number. + +This can be used for serializing requests in a multithreaded environment. + +* [GNU Mach Reference Manual: 4.2.6 Message + Receive](http://www.gnu.org/software/hurd/gnumach-doc/Message-Receive.html) +* [GNU Mach Reference Manual: 4.3.6 Receive + Rights](http://www.gnu.org/software/hurd/gnumach-doc/Receive-Rights.html) |