Prove that the algorithm presented in Fig. 6.9 implements a sequentially consistent queue. Is it possible to design an algorithm implementing a sequentially consistent stack with a fast pusch()...

Prove that the algorithm presented in Fig. 6.9 implements a sequentially consistent queue.

Is it possible to design an algorithm implementing a sequentially consistent stack with a fast

pusch() operation using an algorithm similar to the one presented in Fig. 6.9? Motivate your

answer.