Спецификация заказа системных вызовов UNIX

Системные вызовы в UNIX-подобных ОС являются реентерабельными (т.е. несколько системных вызовов могут выполняться параллельно). Существуют ли какие-либо ограничения порядка этих системных вызовов в смысле отношения C / C ++ 11, возникающего до?

Например, давайте рассмотрим следующую программу с 3 потоками (в псевдокоде):

// thread 1
store x 1
store y 2

// thread 2
store y 1
store x 2

// thread 3
Thread.join(1 and 2)
wait((load x) == 1 && (load y) == 1)

Здесь, предположим, x а также y общие местоположения, и все load а также storeУ вас спокойный порядок. (ПРИМЕЧАНИЕ: при непринужденном атомном доступе расы не считаются ошибками; они намеренный в смысле семантики C / C ++ 11.) Эта программа может завершиться, поскольку (1) компилятор может переупорядочить store x 1 а также store y 2и затем (2) выполнить store y 2, store y 1, store x 2, а потом store x 1так (3) поток 3 может читать x = 1 а также y = 1 в то же время.

Я хотел бы знать, если следующая программа также может прекратить. Здесь некоторые системные вызовы syscall1() & syscall2() вставляются в тему 1 & 2 соответственно:

// thread 1
store x 1
syscall1()
store y 2

// thread 2
store y 1
syscall2()
store x 2

// thread 3
Thread.join(1 and 2)
wait((load x) == 1 && (load y) == 1)

Программа кажется невозможным завершить. Тем не менее, в отсутствие ограничений порядка системных вызовов, я думаю, эта программа может завершиться. Вот причина. предполагать syscall1() а также syscall2() не сериализуются и могут выполняться параллельно. Затем компилятор, с полным знанием семантики syscall1() а также syscall2(), может все еще изменить порядок store x 1 & syscall1() а также store y 2,

Поэтому я хотел бы спросить, существуют ли какие-либо ограничения порядка системных вызовов, вызываемых различными потоками. Если возможно, я хотел бы знать авторитетный источник для такого рода вопросов.