On Wed, Oct 26, 2016 at 09:18:02PM +0200, David Herrmann wrote: > Messages can be destined for multiple queues, hence, we need to be > careful that all queues get a consistent order of incoming messages. We > define the concept of `global order' to provide a basic set of > guarantees. This global order is a partial order on the set of all > messages. The order is defined as:
Ah, ok. So it _is_ a partial order only. I got confused by earlier reports, and the term 'global order' in general, to think you did a total order. And then I wondered wth you needed total ordering for. Maybe best to scrub 'global order' from the entire text. It's not helpful.

