sequential consistency and synchronization computer architecture and engineering 114154