Paper-Reading Parallel Systems TOPLAS 1988: Efficient and Correct Execution of Parallel Programs that Share Memory Stability in Weak Memory Models