#1 posted on Sep 20 2013, 13:49
In this paper, the author specified some requirements to ensure the correctness of programs that are decomposed and executed on a multiprocess computer. Because the existence of critical section which entails sequential execution, steps in which programs are executed to access the critical section need to be very carefully arranged. For example, the store operation must be performed after the value has been calculated. So here come two requirements: One is on the memory request issue order, the other is on the order in which these requests are serviced. Both requirements are to ensure sequential consistency. It should be observed that these requirements also ruled out some techniques that can be used to speedup individual sequential processors. On the other hand, conventional methods for designing multiprocess algorithms cannot be relied upon to produce correctly executing programs.