A shared-variable-based synchronization approach to efficient cache coherence simulation for multi-core systems.