Здравствуйте, ·, Вы писали:

·>И уж тем более это никак не доказывает, что volatile sig_atomic можно использовать в многопоточке. Доказательством будет фраза в стандарте. А стандарт наоборот это явно запрещает.

Стандарт не так говорит.
В разделе о гонках он говорит, например, о действиях A и B, и говорит, что volatile не даёт механизма из другого потока восстановить последовательность действий.
Везде оперируется словом order.
Про "запрещает" там ничего нет.
Тебе никто ничего не запрещает.
Например, некоторые межпоточные алгоритмы подразумевают наличие явных гонок, для их работы достаточно атомарности, но совершенно не требуется восстановления порядка действий.