Каким образом реализована и функционирует инструкция volatile в Java для обеспечения видимости и порядка изменений переменных между потоками?