Update: ( ). A multiprocessor is sequentially consistent if the result of any
execution is the same as if the operations of all the processors were executed in some sequential order, and the operations o f each individual processor occur in this sequence in the order specified by its program.TestAndSet:mov r1,r2|ld r1,0(&lock)|st r2,0(&lock) TestAndTestAndSet: ld r1, 0(&lock)|bnez r1, A0|addi r1,1,r1|t&s r1 0(&lock)|bnez r1,A0