{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:41:39Z","timestamp":1725475299793},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540687245"},{"type":"electronic","value":"9783540687252"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11955498_8","type":"book-chapter","created":{"date-parts":[[2006,12,13]],"date-time":"2006-12-13T15:51:41Z","timestamp":1166025101000},"page":"106-119","source":"Crossref","is-referenced-by-count":4,"title":["Hardware Instruction Counting for Log-Based Rollback Recovery on x86-Family Processors"],"prefix":"10.1007","author":[{"given":"Daniel","family":"Stodden","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hubert","family":"Eichner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Max","family":"Walter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carsten","family":"Trinitis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"8_CR1","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1145\/568522.568525","volume":"34","author":"E.N.M. Elnozahy","year":"2002","unstructured":"Elnozahy, E.N.M., Alvisi, L., Wang, Y.M., Johnson, D.B.: A survey of rollback-recovery protocols in message-passing systems. ACM Comput. Surv.\u00a034(3), 375\u2013408 (2002)","journal-title":"ACM Comput. Surv."},{"issue":"1","key":"8_CR2","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1145\/225535.225538","volume":"14","author":"T.C. Bressoud","year":"1996","unstructured":"Bressoud, T.C., Schneider, F.B.: Hypervisor-based fault tolerance. ACM Trans. Comput. Syst.\u00a014(1), 80\u2013107 (1996)","journal-title":"ACM Trans. Comput. Syst."},{"key":"8_CR3","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1145\/945445.945462","volume-title":"SOSP 2003: Proceedings of the nineteenth ACM symposium on Operating systems principles","author":"P. Barham","year":"2003","unstructured":"Barham, P., Dragovic, B., Fraser, K., Hand, S., Harris, T., Ho, A., Neugebauer, R., Pratt, I., Warfield, A.: Xen and the art of virtualization. In: SOSP 2003: Proceedings of the nineteenth ACM symposium on Operating systems principles, pp. 164\u2013177. ACM Press, New York (2003)"},{"key":"8_CR4","volume-title":"Virtual Machines: Versatile Platforms for Systems and Processes","author":"J.E. Smith","year":"2005","unstructured":"Smith, J.E., Nair, R.: Virtual Machines: Versatile Platforms for Systems and Processes. Morgan Kaufmann Publishers, San Francisco (2005)"},{"issue":"10","key":"8_CR5","doi-asserted-by":"publisher","first-page":"1113","DOI":"10.1109\/12.729794","volume":"47","author":"J.H. Slye","year":"1998","unstructured":"Slye, J.H., Elnozahy, E.N.: Support for software interrupts in log-based rollback-recovery. IEEE Trans. Comput.\u00a047(10), 1113\u20131123 (1998)","journal-title":"IEEE Trans. Comput."},{"key":"8_CR6","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1145\/36206.36187","volume-title":"ASPLOS-II: Proceedings of the second international conference on Architectural support for programming languages and operating systems","author":"T.A. Cargill","year":"1987","unstructured":"Cargill, T.A., Locanthi, B.N.: Cheap hardware support for software debugging and profiling. In: ASPLOS-II: Proceedings of the second international conference on Architectural support for programming languages and operating systems, pp. 82\u201383. IEEE Computer Society Press, Los Alamitos (1987)"},{"key":"8_CR7","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1145\/70082.68189","volume-title":"ASPLOS-III: Proceedings of the third international conference on Architectural support for programming languages and operating systems","author":"J.M. Mellor-Crummey","year":"1989","unstructured":"Mellor-Crummey, J.M., LeBlanc, T.J.: A software instruction counter. In: ASPLOS-III: Proceedings of the third international conference on Architectural support for programming languages and operating systems, pp. 78\u201386. ACM Press, New York (1989)"},{"key":"8_CR8","unstructured":"Intel Corporation: IA-32 Intel Architecture Software Developer\u2019s Manual, vol. 3: System Programming Guide (2005), http:\/\/developer.intel.com\/design\/Pentium4\/manuals\/253668.htm"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Graham, S.L., Kessler, P.B., McKusick, M.K.: gprof: a Call Graph Execution Profiler. In: SIGPLAN Symposium on Compiler Construction, pp. 120\u2013126 (1982), http:\/\/citeseer.ist.psu.edu\/graham82gprof.html","DOI":"10.1145\/872726.806987"},{"key":"8_CR10","unstructured":"Intel Software Network: Intel VTune Performance Analyzer (2004), http:\/\/developer.intel.com"},{"key":"8_CR11","unstructured":"Advanced Micro Devices: BIOS AND Kernel Developer\u2019s Guide for AMD Athlon 64 AND AMD Opteron Processors (2005), http:\/\/www.amd.com\/"},{"key":"8_CR12","unstructured":"Intel Corporation: AMD64 Architecture Programmer\u2019s Manual (2005), http:\/\/www.amd.com\/"},{"key":"8_CR13","unstructured":"Intel Corporation: IA-32 Intel Architecture Software Developer\u2019s Manual, vol. 1: Basic Architecture (2005), http:\/\/developer.intel.com\/design\/Pentium4\/manuals\/253665.htm"},{"key":"8_CR14","unstructured":"Hinton, G., Sager, D., Upton, M., Boggs, D., Karmean, D., Kyler, A., Roussel, P.: The Microarchitecture of the Pentium 4 Processor. Intel Technology Journal\u00a0Q1 (2001), http:\/\/www.intel.com\/technology\/itj\/q12001\/pdf\/art_2.pdf"},{"key":"8_CR15","unstructured":"Panchamukhi, P.: Kernel debugging with Kprobes. IBM developerWorks (2004), http:\/\/www-128.ibm.com\/developerworks\/library\/l-kprobes.html"},{"key":"8_CR16","unstructured":"Advanced Micro Devices: AMD Athlon Processor Model 10 Revision Guide (2003), http:\/\/www.amd.com\/"},{"key":"8_CR17","unstructured":"Intel Corporation: Intel Pentium 4 Processor Specification Update (2005), http:\/\/developer.intel.com\/"}],"container-title":["Lecture Notes in Computer Science","Service Availability"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11955498_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,9]],"date-time":"2023-05-09T23:24:47Z","timestamp":1683674687000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11955498_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540687245","9783540687252"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/11955498_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}