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.