summaryrefslogtreecommitdiff
path: root/microkernel/mach
diff options
context:
space:
mode:
Diffstat (limited to 'microkernel/mach')
-rw-r--r--microkernel/mach/ipc.mdwn3
-rw-r--r--microkernel/mach/ipc/sequence_numbering.mdwn26
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)