re-checked synchronization requirements when manipulating the caches against the book and updated 'dssall', 'sync' and 'isync's accordingly.