Las declaraciones son completamente independientes entre sí, por lo que me preocupa que el compilador no respete el orden en el código.
No, lo hará. Es posible que Otros hilos Puede observar los resultados de las operaciones fuera de orden, pero desde la perspectiva del hilo de ejecución, definitivamente se ejecutará en orden.