Программирование на JAVA

для точного анализа их результатов, а с другой стороны, правила должны оставлять достаточное пространство для различных техно­логий оптимизаций (регистры, очереди, кэш и т.д.).

Последовательность команд подчиняется следующим правилам:

• все действия, выполняемые одним потоком, строго упорядочены, т.е. выполняются одно за другим;

• все действия, выполняемые с одной переменной в основном хра­нилище памяти, строго упорядочены, т.е. следуют одно за другим-

За исключением некоторых дополнительных очевидных правил, больше никаких ограничений нет. Например, если поток изменил значе­ние сначала одной, а затем другой переменной, то эти изменения могут быть переданы в основное хранилище в обратном порядке.

Поток создается с чистой рабочей памятью и должен перед использо­ванием загрузить все необходимые переменные из основного хранилиШ3, Любая переменная сначала создается в основном хранилище и лишь зат^1 копируется в рабочую память потоков, которые будут ее применять.

Таким образом, потоки никогда не взаимодействуют друг с дрУг°м напрямую, только через главное хранилище.

Модификатор volatile

При объявлении полей объектов и классов может быть указан моди­фикатор volatile. Он устанавливает более строгие правила работы со зна­ниями переменных.

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

Аналогично, если поток собирается выполнить команду store для volatile переменной, то требуется, чтобы предыдущим действием над этой переменной было обязательно assign, и наоборот - операция assign мо­жет выполняться, только если следующей будет store. Таким образом, пе­ременная и главное хранилище всегда имеют самое последнее значение этой переменной.

Наконец, если проводятся операции над несколькими volatile пере­менными, то передача соответствующих изменений в основное хранилище должна проводиться строго в том же порядке.

При работе с обычными переменными компилятор имеет больше Пространства для маневра. Например, при благоприятных обстоятельствах может оказаться возможным предсказать значение переменной, заранее Иычислить и сохранить его, а затем в нужный момент использовать уже готовым.