Да, ваша правда. То есть, если
а) в Thread1 произошел реордеринг а и flag
б) Тhread2 таки увидел изменение flag до того, как Thread1 произвел запись в volatile
... то все, приехали