Начиная с 4.0 (Ice Cream Sandwich), поведение Дальвика должно совпадать с JSR-133 (модель памяти Java).
Начиная с версии 3.0 (Honeycomb), большинство частей были на месте, но были упущены некоторые незначительные вещи, с которыми будет трудно столкнуться на практике (например, некоторые крайние случаи в финализации).
Начиная с 2.3 (Gingerbread), Dalvik, как правило, был верен для однопроцессоров, но некоторые ключевые функции, необходимые для правильного поведения на оборудовании SMP (например, правильная final
обработка полей), отсутствовали.
До Gingerbread, вообще не было никаких барьеров памяти, и базовые вещи вроде volatile long
были сломаны.