{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T00:36:59Z","timestamp":1746319019069,"version":"3.37.3"},"reference-count":41,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61572044","61170056"],"award-info":[{"award-number":["61572044","61170056"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput."],"published-print":{"date-parts":[[2018,1,1]]},"DOI":"10.1109\/tc.2017.2727492","type":"journal-article","created":{"date-parts":[[2017,7,17]],"date-time":"2017-07-17T18:12:11Z","timestamp":1500315131000},"page":"45-58","source":"Crossref","is-referenced-by-count":5,"title":["Leveraging Hardware-Assisted Virtualization for Deterministic Replay on Commodity Multi-Core Processors"],"prefix":"10.1109","volume":"67","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2430-2009","authenticated-orcid":false,"given":"Shiru","family":"Ren","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Le","family":"Tan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chunqi","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhen","family":"Xiao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Weijia","family":"Song","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/1345206.1345241"},{"key":"ref38","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1145\/1995896.1995950","article-title":"Karma: Scalable deterministic record-replay","author":"basu","year":"2011","journal-title":"Proc Int Conf Supercomputing"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/312203.312214"},{"key":"ref32","first-page":"551","article-title":"Samsara: Efficient deterministic replay in multiprocessor environments with hardware virtualization extensions","author":"ren","year":"2016","journal-title":"Proc USENIX Annu Tech Conf"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/2797022.2797028"},{"key":"ref30","article-title":"ReTrace: Collecting execution trace with virtual machine deterministic replay","author":"xu","year":"2007","journal-title":"Proceedings of the 3rd Annual Workshop on Modeling Benchmarking and Simulation"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/1669112.1669183"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168865"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/88.260289"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/3037697.3037751"},{"key":"ref10","doi-asserted-by":"crossref","first-page":"122","DOI":"10.1145\/871656.859633","article-title":"A “flight data recorder","author":"xu","year":"2003","journal-title":"Proc Int Symp Comput Architecture"},{"key":"ref40","first-page":"194","author":"dice","year":"2006","journal-title":"Transactional Locking II"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168886"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/1394608.1382146"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/2541940.2541979"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/2451116.2451138"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/1815961.1815986"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.2014.6853225"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1987.1676929"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/1346256.1346273"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/2442516.2442537"},{"article-title":"Benchmarking modern multiprocessors","year":"2011","author":"bienia","key":"ref28"},{"key":"ref4","first-page":"541","article-title":"Detecting covert timing channels with time-deterministic replay","author":"chen","year":"2014","journal-title":"Proc 11th USENIX Conf Operating Syst Des Implementation"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/1542275.1542299"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/945465.945467"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2464996.2465001"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.1995.524546"},{"key":"ref5","first-page":"525","article-title":"Eidetic systems","author":"devecsery","year":"2014","journal-title":"Proc 11th USENIX Conf Operating Syst Des Implementation"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2010.224"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/224056.224058"},{"key":"ref2","first-page":"29","article-title":"Flashback: A lightweight extension for rollback and deterministic replay for software debugging","author":"srinivasan","year":"2004","journal-title":"Proc USENIX Annu Tech Conf"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.2011.5935302"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/52.88940"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/2110356.2110359"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/1060289.1060309"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/1772954.1772958"},{"journal-title":"Intel IA-64 Architecture Software Developer s Manual","first-page":"325462","year":"2016","key":"ref24"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/1378533.1378583"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/1508244.1508255"},{"key":"ref26","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0169-7552(89)90019-6","article-title":"Analysis of the increase and decrease algorithms for congestion avoidance in computer networks","volume":"17","author":"dah-ming","year":"1989","journal-title":"Comput Netw ISDN Syst"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/1250662.1250697"}],"container-title":["IEEE Transactions on Computers"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/12\/8176066\/07982675.pdf?arnumber=7982675","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,31]],"date-time":"2022-07-31T02:41:38Z","timestamp":1659235298000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7982675\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,1,1]]},"references-count":41,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/tc.2017.2727492","relation":{},"ISSN":["0018-9340"],"issn-type":[{"type":"print","value":"0018-9340"}],"subject":[],"published":{"date-parts":[[2018,1,1]]}}}