{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T22:29:05Z","timestamp":1729636145080,"version":"3.28.0"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,6]]},"DOI":"10.1109\/isca.2014.6853225","type":"proceedings-article","created":{"date-parts":[[2014,7,29]],"date-time":"2014-07-29T19:19:17Z","timestamp":1406661557000},"page":"433-444","source":"Crossref","is-referenced-by-count":1,"title":["Pacifier: Record and replay for relaxed-consistency multiprocessors with distributed directory protocol"],"prefix":"10.1109","author":[{"given":"Xuehai","family":"Qian","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Benjamin","family":"Sahelices","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Depei","family":"Qian","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"SESC Simulator","year":"2005","author":"renau","key":"19"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1145\/1815961.1815986"},{"key":"17","article-title":"Rainbow: Efficient memory race recording with high replay parallelism for relaxed memory model","author":"qian","year":"2013","journal-title":"International Symposium on High Performance Computer Architecture"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1145\/859618.859633"},{"key":"18","article-title":"Volition: Scalable and precise sequential cons istency violation detection","author":"qian","year":"2013","journal-title":"International Conference on Architectural Support for Programming Languages and Operating Systems"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168865"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/1669112.1669183"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/2155620.2155646"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2012.41"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168886"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1979.1675439"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.2008.36"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.2200\/S00346ED1V01Y201104CAC016"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/1995896.1995950"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993520"},{"journal-title":"ARM ARM Architecture Reference Manual","year":"2012","key":"2"},{"key":"1","doi-asserted-by":"crossref","DOI":"10.21236\/ADA638015","author":"adve","year":"1995","journal-title":"Shared Memory Consistency Models A Tutorial Western Reseach Laboratory-Compaq"},{"key":"10","first-page":"7","article-title":"Clocks and the ordering of events in a distributed system","volume":"21","author":"time","year":"1978","journal-title":"Communications of the ACM"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/2451116.2451138"},{"key":"6","doi-asserted-by":"crossref","DOI":"10.1145\/325096.325102","article-title":"Memory consistency and event ordering in scalable shared-memory multiprocessors","author":"gharachorloo","year":"1990","journal-title":"International Symposium on Computer Architecture"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/1815961.1815985"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/1555754.1555785"},{"key":"9","doi-asserted-by":"crossref","DOI":"10.1109\/ISCA.2008.26","article-title":"Rerun: Exploiting episodes for lightweight memory race recording","author":"hower","year":"2008","journal-title":"International Symposium on Computer Architecture"},{"key":"8","doi-asserted-by":"crossref","DOI":"10.1145\/2541940.2541979","article-title":"Relaxreplay: Record and replay for relaxed-consistency multiprocessors","author":"honarmand","year":"2014","journal-title":"International Conference on Architectural Support for Programming Languages and Operating Systems"}],"event":{"name":"2014 ACM\/IEEE 41st International Symposium on Computer Architecture (ISCA)","start":{"date-parts":[[2014,6,14]]},"location":"Minneapolis, MN, USA","end":{"date-parts":[[2014,6,18]]}},"container-title":["2014 ACM\/IEEE 41st International Symposium on Computer Architecture (ISCA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6847316\/6853187\/06853225.pdf?arnumber=6853225","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,13]],"date-time":"2019-08-13T09:19:24Z","timestamp":1565687964000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6853225\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,6]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/isca.2014.6853225","relation":{},"subject":[],"published":{"date-parts":[[2014,6]]}}}