Khronos Group has announced that Vulkan has become the world's first graphics API with a formal memory model. "A memory model, or memory consistency model, for a programming language describes how threads in a parallel processing system can access shared data and synchronize with each other, while allowing compilers and hardware the freedom to reorder and optimize memory accesses." The breakthrough has come about due to the rise of multi-core processors from CPU manufacturers. Khronos Group says that research is ongoing into making these models scale to massively parallel systems with new notions like scoped synchronization. This week, Vulkan has become the world's first graphics API to include a formal memory model for its associated GLSL and SPIR-V programming languages. This significant announcement has a number of components that come together to significantly boost the robustness of the Vulkan standard for programming correctness and sophisticated compiler optimizations.