{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T21:48:53Z","timestamp":1743025733563,"version":"3.40.3"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319174723"},{"type":"electronic","value":"9783319174730"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-17473-0_22","type":"book-chapter","created":{"date-parts":[[2015,4,30]],"date-time":"2015-04-30T09:59:39Z","timestamp":1430387979000},"page":"332-347","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["LightPlay: Efficient Replay with GPUs"],"prefix":"10.1007","author":[{"given":"Min","family":"Feng","sequence":"first","affiliation":[]},{"given":"Farzad","family":"Khorasani","sequence":"additional","affiliation":[]},{"given":"Rajiv","family":"Gupta","sequence":"additional","affiliation":[]},{"given":"Laxmi N.","family":"Bhuyan","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,5,1]]},"reference":[{"key":"22_CR1","doi-asserted-by":"crossref","unstructured":"Altekar, G., Stoica, I.: Odr: output-deterministic replay for multicore debugging. In: SOSP, pp: 193\u2013206 (2009)","DOI":"10.1145\/1629575.1629594"},{"key":"22_CR2","doi-asserted-by":"crossref","unstructured":"Bhansali, S., Chen, W.-K., de Jong, S., Edwards, A., Murray, R., Drini\u0107, M., Miho\u010dka, D., Chau, J.: Framework for instruction-level tracing and analysis of program executions. In: VEE, pp. 154\u2013163 (2006)","DOI":"10.1145\/1134760.1220164"},{"key":"22_CR3","doi-asserted-by":"crossref","unstructured":"Bienia, C., Kumar, S., Singh, J.P., Li, K.: The parsec benchmark suite: characterization and architectural implications. In: PACT (2008)","DOI":"10.1145\/1454115.1454128"},{"issue":"1","key":"22_CR4","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1145\/225535.225538","volume":"14","author":"TC Bressoud","year":"1996","unstructured":"Bressoud, T.C., Schneider, F.B.: Hypervisor-based fault tolerance. ACM Trans. Comput. Syst. 14(1), 80\u2013107 (1996)","journal-title":"ACM Trans. Comput. Syst."},{"key":"22_CR5","doi-asserted-by":"crossref","unstructured":"Dunlap, G,W., Lucchetti, D.G., Fetterman, M.A., Chen P.M.: Execution replay of multiprocessor virtual machines. In: VEE (2008)","DOI":"10.1145\/1346256.1346273"},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"Hower, D.R., Hill, M.D.: Rerun: exploiting episodes for lightweight memory race recording. In: ISCA, pp. 265\u2013276 (2008)","DOI":"10.1145\/1394608.1382144"},{"key":"22_CR7","doi-asserted-by":"crossref","unstructured":"Huang, J., Liu, P., Zhang, C.: Leap: lightweight deterministic multi-processor replay of concurrent java programs. In: FSE, pp. 207\u2013216 (2010)","DOI":"10.1145\/1882291.1882323"},{"key":"22_CR8","unstructured":"King, S.T., Dunlap, G.W., Chen, P.M.: Debugging operating systems with time-traveling virtual machines. In: USENIX (2005)"},{"issue":"4","key":"22_CR9","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1109\/TC.1987.1676929","volume":"36","author":"TJ LeBlanc","year":"1987","unstructured":"LeBlanc, T.J., Mellor-Crummey, J.M.: Debugging parallel programs with instant replay. IEEE Trans. Comput. 36(4), 471\u2013482 (1987)","journal-title":"IEEE Trans. Comput."},{"key":"22_CR10","doi-asserted-by":"crossref","unstructured":"Lee, D., Said, M., Narayanasamy, S., Yang, Z.: Offline symbolic analysis to infer total store order. In: HPCA. IEEE (2011)","DOI":"10.1109\/HPCA.2011.5749743"},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"Lee, D., Said, M., Narayanasamy, S., Yang, Z.: Pereira. Offline symbolic analysis for multi-processor execution replay. In: MICRO, pp. 564\u2013575 (2009)","DOI":"10.1145\/1669112.1669182"},{"key":"22_CR12","doi-asserted-by":"crossref","unstructured":"Lee, D., Wester, B., Veeraraghavan, K., Narayanasamy, S., Chen, P.M., Flinn, J.: Respec: efficient online multiprocessor replayvia speculation and external determinism. In: ASPLOS, pp. 77\u201390 (2010)","DOI":"10.1145\/1735971.1736031"},{"key":"22_CR13","doi-asserted-by":"crossref","unstructured":"Montesinos, P., Ceze, L., Torrellas, J.: Delorean: recording and deterministically replaying shared-memory multiprocessor execution efficiently. In: ISCA, pp. 289\u2013300 (2008)","DOI":"10.1145\/1394608.1382146"},{"key":"22_CR14","doi-asserted-by":"crossref","unstructured":"Nagarajan, V., Gupta, R.: Ecmon: exposing cache events for monitoring. In: ISCA, pp. 34\u2013360 (2009)","DOI":"10.1145\/1555815.1555798"},{"key":"22_CR15","doi-asserted-by":"crossref","unstructured":"Narayanasamy, S., Pereira, C., Calder, B.: Recording shared memory dependencies using strata. In: ASPLOS, pp. 229\u2013240 (2006)","DOI":"10.1145\/1168918.1168886"},{"key":"22_CR16","unstructured":"Park, S., Zhou, Y., Xiong, W., Yin, Z., Kaushik, R., Lee, K.H., Lu, S.: Pres: probabilistic replay with execution sketching on multiprocessors. In: SOSP, pp. 177\u2013192 (2009)"},{"key":"22_CR17","unstructured":"Srinivasan, S.M., Kandula, S., Andrews, C.R., Zhou, Y.: Flashback: a lightweight extension for rollback and deterministic replay for software debugging. In: USENIX (2004)"},{"key":"22_CR18","doi-asserted-by":"crossref","unstructured":"Tucek, J., Lu, S., Huang, C., Xanthos, S., Zhou, Y.: Triage: diagnosing production run failures at the user\u2019s site. In: SOSP (2007)","DOI":"10.1145\/1294261.1294275"},{"key":"22_CR19","doi-asserted-by":"crossref","unstructured":"Veeraraghavan, K., Lee, D., Wester, B., Ouyang, J., Chen, P.M., Flinn, J., Narayanasamy, S.: Doubleplay: parallelizing sequential logging and replay. In: ASPLOS, pp. 15\u201326 (2011)","DOI":"10.1145\/1961296.1950370"},{"key":"22_CR20","doi-asserted-by":"crossref","unstructured":"Vlachos, E., Goodstein, M.L., Kozuch, M.A., Chen, S., Falsafi, B., Gibbons, P.B., Mowry, T.C.: Paralog: enabling and accelerating online parallel monitoring of multithreaded applications. In: ASPLOS, pp. 271\u2013284 (2010)","DOI":"10.1145\/1735971.1736051"},{"key":"22_CR21","doi-asserted-by":"crossref","unstructured":"Weeratunge, D., Zhang, X., Jagannathan, S.: Analyzing multicore dumps to facilitate concurrency bug reproduction. In: ASPLOS (2010)","DOI":"10.1145\/1736020.1736039"},{"key":"22_CR22","doi-asserted-by":"crossref","unstructured":"Xu, M., Bodik, R., Hill, M.D.: A \u201cflight data recorder\" for enabling full-system multiprocessor deterministic replay. In: ISCA, pp. 122\u2013135 (2003)","DOI":"10.1145\/871656.859633"},{"key":"22_CR23","doi-asserted-by":"crossref","unstructured":"Zamfir, C., Candea, G.: Execution synthesis: a technique for automated software debugging. In: EuroSys, pp. 321\u2013334 (2010)","DOI":"10.1145\/1755913.1755946"}],"container-title":["Lecture Notes in Computer Science","Languages and Compilers for Parallel Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-17473-0_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,21]],"date-time":"2023-02-21T00:52:04Z","timestamp":1676940724000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-17473-0_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319174723","9783319174730"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-17473-0_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"1 May 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}