El modelo de memoria C ++ tiene átomos atómicos relajados, que no ofrecen ninguna garantía de orden en las operaciones de memoria. Aparte del ejemplo de buzón en C que he encontrado aquí:

http://www.open-std.org/jtc1/sc22/wg14/www/docs/n1525.htm

Basado en el ejemplo motivador en este documento:

http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2007/n2153.pdf

Tenía curiosidad sobre otros casos de uso para este tipo de mecanismo de sincronización.