А, действительно, они правы: то есть, выполнится-то оно гарантировано в правильном порядке, а вот что оно другим процессором будет увидено в правильном порядке - не гарантировано. Мораль опять сводится к тому, что у Сана архитектура странная и ушибленная на голову.