Fence-Free Synchronization with Dynamically Serialized Synchronization Variables
Fence-Free Synchronization with Dynamically Serialized Synchronization Variables
复制标题
具有动态序列化同步变量的无栅栏同步
DOI：
10.1109/tpds.2016.2633353
复制
发表时间：
2017-12
影响因子：
5.3
通讯作者：
Chen Haibo
中科院分区：
文献类型：
--
作者：
Hong Yang;Zheng Yang;Guan Haibing;Zang Binyu;Chen Haibo
Memory fences are widely used to ensure the correctness for synchronization constructs on machines with relaxed consistency models. However, they are expensive and usually impose over-constrained ordering that causes unnecessary CPU stalls. In this paper, we observe that memory fences in TSO are merely intended to order synchronization variables. Based on this observation, we rethink the hardware-software interface of synchronization constructs on multicore processors and propose a new design called Sync-Order that differentiates synchronization variables ( sync-vars) from normal ones. Sync-Order reduces hardware complexity such that the processor only needs to serialize the ordering among sync-vars. Its simplicity makes it easy to be integrated to the directory controller and it supports distributed directory, a missing feature in prior designs. We show that Sync-Order eliminates traditional fences on all sides of synchronization constructs (instead of only one side in prior work) and requires small effort for a programmer or compiler to annotate sync-vars. Our experimental results show that Sync-Order significantly reduces CPU stalls and boosts the performance of a set of synchronization constructs and concurrent data structures by 10 percent; meanwhile, the fence overhead of full applications from SPLASH-2 and PARSEC is reduced from 42 to 3 percent.
登录
查看更多内容
DOI：
10.1145/1785414.1785443
发表时间：
2010-07
期刊：
Commun. ACM
影响因子：
--
作者：
Peter Sewell;Susmit Sarkar;Scott Owens;Francesco Zappa Nardelli;Magnus O. Myreen
通讯作者：
Peter Sewell;Susmit Sarkar;Scott Owens;Francesco Zappa Nardelli;Magnus O. Myreen
DOI：
10.1007/978-3-642-33125-1_13
发表时间：
2012-09
期刊：
--
影响因子：
--
作者：
P. Abdulla;M. Atig;Yu-Fang Chen;C. Leonardsson;Ahmed Rezine
通讯作者：
P. Abdulla;M. Atig;Yu-Fang Chen;C. Leonardsson;Ahmed Rezine
DOI：
10.1145/1250662.1250697
发表时间：
2007-06
期刊：
--
影响因子：
--
作者：
L. Ceze;James Tuck;Pablo Montesinos;J. Torrellas
通讯作者：
L. Ceze;James Tuck;Pablo Montesinos;J. Torrellas
影响因子：
--
作者：
Boehm, Hans-J.;Adve, Sarita V.
通讯作者：
Adve, Sarita V.
DOI：
10.1145/42190.42277
发表时间：
1988
期刊：
ACM Trans. Program. Lang. Syst.
影响因子：
--
作者：
D. Shasha;M. Snir
通讯作者：
D. Shasha;M. Snir