I Penned Down

Java Memory Model describes how threads in java interacts with memory. C++11 also define a similar memory model [c++spec]. Probably any language which supports threads needs to have a Memory Model [hans1]. In essence Memory Model tries to guarantee Sequential Consistency [sq] for Data Race Free programs (SC for DRF) [c++11]. In order to implement memory model, languages may need to...