{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,20]],"date-time":"2025-04-20T22:10:01Z","timestamp":1745187001574,"version":"3.40.4"},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2012,11,15]],"date-time":"2012-11-15T00:00:00Z","timestamp":1352937600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Parallel Prog"],"published-print":{"date-parts":[[2013,12]]},"DOI":"10.1007\/s10766-012-0231-8","type":"journal-article","created":{"date-parts":[[2012,11,14]],"date-time":"2012-11-14T15:21:51Z","timestamp":1352906511000},"page":"782-805","source":"Crossref","is-referenced-by-count":1,"title":["Compiler-Assisted Checkpointing of Parallel Codes: The Cetus and LLVM Experience"],"prefix":"10.1007","volume":"41","author":[{"given":"Gabriel","family":"Rodr\u00edguez","sequence":"first","affiliation":[]},{"given":"Mar\u00eda J.","family":"Mart\u00edn","sequence":"additional","affiliation":[]},{"given":"Patricia","family":"Gonz\u00e1lez","sequence":"additional","affiliation":[]},{"given":"Juan","family":"Touri\u00f1o","sequence":"additional","affiliation":[]},{"given":"Ram\u00f3n","family":"Doallo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2012,11,15]]},"reference":[{"key":"231_CR1","first-page":"632","volume-title":"Compilers: Principles, Techniques, & Tools","author":"AV Aho","year":"2007","unstructured":"Aho, A.V., Lam, M.S., Sethi, R., Ullman, J.D.: Compilers: Principles, Techniques, & Tools, pp. 632\u2013638. Pearson Education, Upper Saddle River (2007)"},{"issue":"6","key":"231_CR2","doi-asserted-by":"crossref","first-page":"32:1","DOI":"10.1145\/1391956.1391959","volume":"30","author":"M Arenaz","year":"2008","unstructured":"Arenaz, M., Touri\u00f1o, J., Doallo, R.: XARK: an extensible framework for automatic recognition of computational kernels. ACM Trans. Program. Lang. Syst. 30(6), 32:1\u201332:56 (2008)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"231_CR3","doi-asserted-by":"crossref","unstructured":"Baratloo, A., Dasgupta, P., Kedem, Z.M.: CALYPSO: a novel software system for fault-tolerant parallel processing on distributed platforms. In: Proceedings of the 4th IEEE International Symposium on High Performance, Distributed Computing (HPDC-4), pp. 122\u2013129 (1995)","DOI":"10.1109\/HPDC.1995.518702"},{"issue":"2","key":"231_CR4","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1006\/jpdc.1997.1338","volume":"43","author":"A Beguelin","year":"1997","unstructured":"Beguelin, A., Seligman, E., Stephan, P.: Application level fault tolerance in heterogeneous networks of workstations. J. Parallel Distrib. Comput. 43(2), 147\u2013155 (1997)","journal-title":"J. Parallel Distrib. Comput."},{"key":"231_CR5","doi-asserted-by":"crossref","unstructured":"Bouteiller, A., Capello, F., H\u00e9rault, T., Krawezik, G., Lemarinier, P., Magniette, F.: MPICH-V2: a fault-tolerant MPI for volatile nodes based on pessimistic sender based message logging. In: Proceedings of the 15th ACM\/IEEE Conference on Supercomputing (SC\u201903), pp. 25\u201342 (2003)","DOI":"10.1145\/1048935.1050176"},{"key":"231_CR6","doi-asserted-by":"crossref","unstructured":"Bronevetsky, G., Marques, D., Pingali, K., Stodghill, P.: C $$^{\\text{3}}$$ : A system for automating application-level checkpointing of MPI programs. In: Proceedings of the 16th International Workshop on Languages and Compilers for Parallel Computing (LCPC\u201903), pp. 357\u2013373 (2003)","DOI":"10.1007\/978-3-540-24644-2_23"},{"issue":"1","key":"231_CR7","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1145\/214451.214456","volume":"3","author":"KM Chandy","year":"1985","unstructured":"Chandy, K.M., Lamport, L.: Distributed snapshots: determining global states of distributed systems. ACM Trans. Comput. Syst. 3(1), 63\u201375 (1985)","journal-title":"ACM Trans. Comput. Syst."},{"issue":"12","key":"231_CR8","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1109\/MC.2009.385","volume":"42","author":"C Dave","year":"2009","unstructured":"Dave, C., Bae, H., Min, S.J., Lee, S., Eigenmann, R., Midkiff, S.: Cetus: a source-to-source compiler infrastructure for multicores. IEEE Comput. 42(12), 36\u201342 (2009)","journal-title":"IEEE Comput."},{"issue":"3","key":"231_CR9","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1145\/568522.568525","volume":"34","author":"EN Elnozahy","year":"2002","unstructured":"Elnozahy, E.N., Alvisi, L., Wang, Y.M., Johnson, D.B.: A survey of rollback-recovery protocols in message-passing systems. ACM Comput. Surv. 34(3), 375\u2013408 (2002)","journal-title":"ACM Comput. Surv."},{"issue":"4","key":"231_CR10","first-page":"4","volume":"3","author":"G Gibson","year":"2007","unstructured":"Gibson, G., Schroeder, B., Digney, J.: Failure tolerance in petascale computers. CTWatch Q. 3(4), 4\u201310 (2007)","journal-title":"CTWatch Q."},{"key":"231_CR11","doi-asserted-by":"crossref","unstructured":"Landau, C.R.: The checkpoint mechanism in KeyKOS. In: Proceedings of the 2nd International Workshop on Object Orientation on Operating Systems (I-WOOOS\u201992), pp. 86\u201391 (1992)","DOI":"10.1109\/IWOOOS.1992.252995"},{"key":"231_CR12","doi-asserted-by":"crossref","unstructured":"Lattner, C., Adve, V.S.: LLVM: A compilation framework for lifelong program analysis. In: Proceedings of the 2nd IEEE\/ACM International Symposium on Code Generation and Optimization (CGO\u201904), pp. 75\u201388 (2004)","DOI":"10.1109\/CGO.2004.1281665"},{"issue":"10","key":"231_CR13","doi-asserted-by":"crossref","first-page":"871","DOI":"10.1002\/spe.4380241002","volume":"24","author":"CCJ Li","year":"1994","unstructured":"Li, C.C.J., Stewart, E.M., Fuchs, W.K.: Compiler-assisted full checkpointing. Softw. Pract. Exp. 24(10), 871\u2013886 (1994)","journal-title":"Softw. Pract. Exp."},{"key":"231_CR14","unstructured":"National Aeronautics and Space Administration: The NAS Parallel Benchmarks. http:\/\/www.nas.nasa.gov\/publications\/npb.html . Retrieved December 2011"},{"issue":"2","key":"231_CR15","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1109\/2.16","volume":"21","author":"JK Ousterhout","year":"1988","unstructured":"Ousterhout, J.K., Cherenson, A.R., Douglis, F., Nelson, M.N., Welch, B.B.: The Sprite network operating system. IEEE Comput. 21(2), 23\u201336 (1988)","journal-title":"IEEE Comput."},{"issue":"7","key":"231_CR16","doi-asserted-by":"crossref","first-page":"789","DOI":"10.1002\/spe.4380250705","volume":"25","author":"TJ Parr","year":"1995","unstructured":"Parr, T.J., Quong, R.W.: ANTLR: a predicated-LL(k) parser generator. Softw. Pract. Exp. 25(7), 789\u2013810 (1995)","journal-title":"Softw. Pract. Exp."},{"issue":"4","key":"231_CR17","first-page":"10","volume":"7","author":"JS Plank","year":"1995","unstructured":"Plank, J.S., Beck, M., Kingsley, G.: Compiler-assisted memory exclusion for fast checkpointing. IEEE Tech. Comm. Oper. Syst. Appl. Environ. 7(4), 10\u201314 (1995)","journal-title":"IEEE Tech. Comm. Oper. Syst. Appl. Environ."},{"key":"231_CR18","unstructured":"Plank, J.S., Beck, M., Kingsley, G., Li, K.: Libckpt: Transparent checkpointing under Unix. In: Usenix Winter Technical Conference, pp. 213\u2013223 (1995)"},{"key":"231_CR19","doi-asserted-by":"crossref","unstructured":"Ramkumar, B., Strumpen, V.: Portable checkpointing for heterogeneous architectures. In: Proceedings of the 27th International Symposium on Fault-Tolerant Computing (FTCS\u201997), pp. 58\u201367 (1997)","DOI":"10.1109\/FTCS.1997.614078"},{"issue":"2","key":"231_CR20","doi-asserted-by":"crossref","first-page":"408","DOI":"10.1093\/ietisy\/e89-d.2.408","volume":"E89\u2013D","author":"G Rodr\u00edguez","year":"2006","unstructured":"Rodr\u00edguez, G., Mart\u00edn, M.J., Gonz\u00e1lez, P., Touri\u00f1o, J.: Controller\/precompiler for portable checkpointing. IEICE Trans. Inf. Syst. E89\u2013D(2), 408\u2013417 (2006)","journal-title":"IEICE Trans. Inf. Syst."},{"issue":"14","key":"231_CR21","first-page":"2894","volume":"15","author":"G Rodr\u00edguez","year":"2009","unstructured":"Rodr\u00edguez, G., Mart\u00edn, M.J., Gonz\u00e1lez, P., Touri\u00f1o, J.: A heuristic approach for the automatic insertion of checkpoints in message-passing codes. J. Univers. Comput. Sci. 15(14), 2894\u20132911 (2009)","journal-title":"J. Univers. Comput. Sci."},{"issue":"11","key":"231_CR22","doi-asserted-by":"crossref","first-page":"1821","DOI":"10.1093\/comjnl\/bxr018","volume":"54","author":"G Rodr\u00edguez","year":"2011","unstructured":"Rodr\u00edguez, G., Mart\u00edn, M.J., Gonz\u00e1lez, P., Touri\u00f1o, J.: Analysis of performance-impacting factors on checkpointing frameworks: the CPPC case study. Comput. J. 54(11), 1821\u20131837 (2011)","journal-title":"Comput. J."},{"issue":"6","key":"231_CR23","doi-asserted-by":"crossref","first-page":"749","DOI":"10.1002\/cpe.1541","volume":"22","author":"G Rodr\u00edguez","year":"2010","unstructured":"Rodr\u00edguez, G., Mart\u00edn, M.J., Gonz\u00e1lez, P., Touri\u00f1o, J., Doallo, R.: CPPC: a compiler-assisted tool for portable checkpointing of message-passing applications. Concurr. Comput. Pract. Exp. 22(6), 749\u2013766 (2010)","journal-title":"Concurr. Comput. Pract. Exp."},{"key":"231_CR24","doi-asserted-by":"crossref","unstructured":"Russinovich, M., Segall, Z.: Fault-tolerance for off-the-shelf applications and hardware. In: Proceedings of the 25th International Symposium on Fault-Tolerant Computing (FTCS\u201995), pp. 67\u201371 (1995)","DOI":"10.1109\/FTCS.1995.466997"},{"key":"231_CR25","unstructured":"Shires, D., Pollock, L., Sprenkle, S.: Program flow graph construction for static analysis of MPI programs. In: Proceedings of the 1999 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA\u201999), pp. 1847\u20131853 (1999)"},{"key":"231_CR26","unstructured":"Woo, N., Jung, H., Yeom, H.Y., Park, T., Park, H.: MPICH-GF: transparent checkpointing and rollback-recovery for Grid-enabled MPI processes. IEICE Trans. Inf. Syst. E87\u2013D(7), 1820\u20131828 (2004)"}],"container-title":["International Journal of Parallel Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10766-012-0231-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10766-012-0231-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10766-012-0231-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,20]],"date-time":"2025-04-20T21:36:23Z","timestamp":1745184983000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10766-012-0231-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,11,15]]},"references-count":26,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2013,12]]}},"alternative-id":["231"],"URL":"https:\/\/doi.org\/10.1007\/s10766-012-0231-8","relation":{},"ISSN":["0885-7458","1573-7640"],"issn-type":[{"type":"print","value":"0885-7458"},{"type":"electronic","value":"1573-7640"}],"subject":[],"published":{"date-parts":[[2012,11,15]]}}}