An operational model for multiprocessors with caches

作     者：Joshi, Salil Prasad, Sanjiva 

作者机构：Indian Institute of Technology Delhi India 

出 版 物：《IFIP Advances in Information and Communication Technology》 (IFIP Advances in Information and Communication Technology)

年 卷 期：2010年第323 AICT卷

页      面：371-385页

核心收录：

主　　题：Multiprocessing systems 

摘      要：Modern multiprocessors are equipped with local caches, to enhance program performance. However, the presence of caches can lead to the violation of sequential consistency [7] assumptions regarding program order and write atomicity. With respect to such relaxed memory models [1], we provide an operational description of program execution (in the style of [4]) that accounts for cache effects. In particular, we provide an operational characterization of cache invalidation and update policies and an abstract characterization of cache consistency. The programming model consists of a simple imperative language extended with common synchronization primitives such as locks or barrier instructions. The main results show that by precluding certain data races or by placing certain synchronization constraints, sequentially consistent behavior can be obtained for multiprocessor execution even in the presence of local caches. © IFIP International Federation for Information Processing 2010.