Linus ideal memory model is &#x27;DWIM&#x27;; to him it is obvious what the compiler should or shouldn&#x27;t do. When people have asked him to write down exactly the rules he either refused or handwaved it. Unfortunately it is still pretty hard to write a compiler that would exactly replicate Linus thought processes and he also might not appreciate the brain dissection required to do so.