summaryrefslogtreecommitdiff
path: root/microkernel
diff options
context:
space:
mode:
authorThomas Schwinge <tschwinge@gnu.org>2007-09-14 16:54:49 +0200
committerThomas Schwinge <tschwinge@gnu.org>2007-09-14 16:54:49 +0200
commit87d8cb64e23a18f22d9a639f8fdbd9669fdb55e1 (patch)
tree92d89f14f85398fa9c834cd5514a8d8cb19cd870 /microkernel
parentbb3480cbba8cfe0601694973b3fc26b2f5243b53 (diff)
Add some information about Mach IPC's sequence numbering.
Diffstat (limited to 'microkernel')
-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)