Add some information about Mach IPC's sequence numbering.

1 files changed, 26 insertions, 0 deletions

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)