{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,7]],"date-time":"2023-01-07T08:09:17Z","timestamp":1673078957754},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2015,9,30]],"date-time":"2015-09-30T00:00:00Z","timestamp":1443571200000},"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":["Int J Parallel Prog"],"published-print":{"date-parts":[[2017,2]]},"DOI":"10.1007\/s10766-015-0383-4","type":"journal-article","created":{"date-parts":[[2015,9,30]],"date-time":"2015-09-30T02:08:54Z","timestamp":1443578934000},"page":"17-29","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Determinism at Standard-Library Level in TM-Based Applications"],"prefix":"10.1007","volume":"45","author":[{"given":"Vesna","family":"Smiljkovi\u0107","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Osman","family":"\u00dcnsal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adri\u00e1n","family":"Cristal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mateo","family":"Valero","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,9,30]]},"reference":[{"key":"383_CR1","unstructured":"Aviram, A., Weng, S.C., Hu, S., Ford, B.: Efficient system-enforced deterministic parallelism. In: Proceedings of the 9th USENIX Conference on Operating Systems Design and Implementation, OSDI\u201910, pp. 1\u201316. USENIX Association, Berkeley, CA(2010). http:\/\/dl.acm.org\/citation.cfm?id=1924943.1924957"},{"key":"383_CR2","doi-asserted-by":"crossref","unstructured":"Bergan, T., Anderson, O., Devietti, J., Ceze, L., Grossman, D.: CoreDet: a compiler and runtime system for deterministic multithreaded execution. In: Proceedings of the Fifteenth Edition of ASPLOS on Architectural Support for Programming Languages and Operating Systems, ASPLOS \u201910, pp. 53\u201364. ACM, New York (2010)","DOI":"10.1145\/1736020.1736029"},{"issue":"10","key":"383_CR3","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1145\/1639949.1640096","volume":"44","author":"ED Berger","year":"2009","unstructured":"Berger, E.D., Yang, T., Liu, T., Novark, G.: Grace: safe multithreaded programming for c\/c++. SIGPLAN Not. 44(10), 81\u201396 (2009). doi: 10.1145\/1639949.1640096","journal-title":"SIGPLAN Not."},{"key":"383_CR4","doi-asserted-by":"publisher","unstructured":"Cain, H.W., Michael, M.M., Frey, B., May, C., Williams, D., Le, H.: Robust architectural support for transactional memory in the power architecture. In: Proceedings of the 40th Annual International Symposium on Computer Architecture, ISCA \u201913, pp. 225\u2013236. ACM, New York (2013). doi: 10.1145\/2485922.2485942","DOI":"10.1145\/2485922.2485942"},{"key":"383_CR5","doi-asserted-by":"crossref","unstructured":"Devietti, J., Lucia, B., Ceze, L., Oskin, M.: DMP: deterministic shared memory multiprocessing. In: Proceedings of the 14th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS \u201909, pp. 85\u201396. ACM, New York (2009)","DOI":"10.1145\/1508244.1508255"},{"issue":"4","key":"383_CR6","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1145\/2248487.1950376","volume":"47","author":"J Devietti","year":"2011","unstructured":"Devietti, J., Nelson, J., Bergan, T., Ceze, L., Grossman, D.: RCDC: a relaxed consistency deterministic computer. SIGPLAN Not. 47(4), 67\u201378 (2011)","journal-title":"SIGPLAN Not."},{"key":"383_CR7","doi-asserted-by":"publisher","unstructured":"D\u00f6bel, B., H\u00e4rtig, H.: Can we put concurrency back into redundant multithreading? In: Proceedings of the 14th International Conference on Embedded Software, EMSOFT \u201914, pp. 19:1\u201319:10. ACM, New York (2014). doi: 10.1145\/2656045.2656050","DOI":"10.1145\/2656045.2656050"},{"key":"383_CR8","doi-asserted-by":"crossref","unstructured":"Felber, P., Fetzer, C., Riegel, T.: Dynamic performance tuning of word-based software transactional memory. In: Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pp. 237\u2013246. PPoPP \u201908. ACM, New York (2008)","DOI":"10.1145\/1345206.1345241"},{"issue":"2","key":"383_CR9","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1145\/1028176.1006711","volume":"32","author":"L Hammond","year":"2004","unstructured":"Hammond, L., Wong, V., Chen, M., Carlstrom, B.D., Davis, J.D., Hertzberg, B., Prabhu, M.K., Wijaya, H., Kozyrakis, C., Olukotun, K.: Transactional memory coherence and consistency. SIGARCH Comput. Archit. News 32(2), 102 (2004). doi: 10.1145\/1028176.1006711","journal-title":"SIGARCH Comput. Archit. News"},{"issue":"1","key":"383_CR10","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2200\/S00272ED1V01Y201006CAC011","volume":"5","author":"T Harris","year":"2010","unstructured":"Harris, T., Larus, J., Rajwar, R.: Transactional memory. Synth. Lect. Comput. Archit. 5(1), 1\u2013263 (2010)","journal-title":"Synth. Lect. Comput. Archit."},{"key":"383_CR11","doi-asserted-by":"crossref","unstructured":"Herlihy, M., Moss, J.E.B.: Transactional memory: Architectural support for lock-free data structures. In: Proceedings of the 20th Annual International Symposium on Computer Architecture, ISCA \u201993, pp. 289\u2013300 (1993)","DOI":"10.1145\/165123.165164"},{"key":"383_CR12","unstructured":"Hill, M.D., Xu, M.: Racey: a stress test for deterministic execution. http:\/\/www.cs.wisc.edu\/~markhill\/racey.html"},{"key":"383_CR13","doi-asserted-by":"publisher","unstructured":"Hong, S., Oguntebi, T., Casper, J., Bronson, N., Kozyrakis, C., Olukotun, K.: Eigenbench: a simple exploration tool for orthogonal tm characteristics. In: Proceedings of the IEEE International Symposium on Workload Characterization, IISWC \u201910, pp. 1\u201311. IEEE Computer Society, Washington, DC (2010). doi: 10.1109\/IISWC.2010.5648812","DOI":"10.1109\/IISWC.2010.5648812"},{"key":"383_CR14","doi-asserted-by":"publisher","unstructured":"Karnagel, T., Dementiev, R., Rajwar, R., Lai, K., Legler, T., Schlegel, B., Lehner, W.: Improving in-memory database index performance with intel transactional synchronization extensions. In: 2014 IEEE 20th International Symposium on High Performance Computer Architecture (HPCA), pp. 476\u2013487 (2014). doi: 10.1109\/HPCA.2014.6835957","DOI":"10.1109\/HPCA.2014.6835957"},{"key":"383_CR15","doi-asserted-by":"crossref","unstructured":"Liu, T., Curtsinger, C., Berger, E.: Dthreads: efficient deterministic multithreading. In: Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles, pp. 327\u2013336. ACM (2011)","DOI":"10.1145\/2043556.2043587"},{"key":"383_CR16","doi-asserted-by":"publisher","unstructured":"Merrifield, T., Devietti, J., Eriksson, J.: High-performance determinism with total store order consistency. In: Proceedings of the Tenth European Conference on Computer Systems, EuroSys \u201915, pp. 31:1\u201331:13. ACM, New York (2015). doi: 10.1145\/2741948.2741960","DOI":"10.1145\/2741948.2741960"},{"key":"383_CR17","doi-asserted-by":"publisher","unstructured":"Merrifield, T., Eriksson, J.: Conversion: multi-version concurrency control for main memory segments. In: Proceedings of the 8th ACM European Conference on Computer Systems, EuroSys \u201913, pp. 127\u2013139. ACM, New York (2013). doi: 10.1145\/2465351.2465365","DOI":"10.1145\/2465351.2465365"},{"key":"383_CR18","unstructured":"Minh, C., Chung, J., Kozyrakis, C., Olukotun, K.: STAMP: stanford transactional applications for multi-processing. In: IEEE International Symposium on Workload Characterization, 2008. IISWC 2008, pp. 35\u201346. IEEE"},{"issue":"3","key":"383_CR19","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1145\/1508284.1508256","volume":"44","author":"M Olszewski","year":"2009","unstructured":"Olszewski, M., Ansel, J., Amarasinghe, S.: Kendo: efficient deterministic multithreading in software. SIGPLAN Not. 44(3), 97\u2013108 (2009)","journal-title":"SIGPLAN Not."},{"key":"383_CR20","doi-asserted-by":"publisher","unstructured":"Ravichandran, K., Gavrilovska, A., Pande, S.: DeSTM: harnessing determinism in STMs for application development. In: Proceedings of the 23rd International Conference on Parallel Architectures and Compilation, PACT \u201914, pp. 213\u2013224. ACM, New York (2014). doi: 10.1145\/2628071.2628094","DOI":"10.1145\/2628071.2628094"},{"key":"383_CR21","doi-asserted-by":"publisher","unstructured":"Ruan, W., Vyas, T., Liu, Y., Spear, M.: Transactionalizing legacy code: an experience report using gcc and memcached. In: Proceedings of the 19th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS \u201914, pp. 399\u2013412. ACM, New York (2014). doi: 10.1145\/2541940.2541960","DOI":"10.1145\/2541940.2541960"},{"key":"383_CR22","doi-asserted-by":"publisher","unstructured":"Serebryany, K., Iskhodzhanov, T.: Threadsanitizer: Data race detection in practice. In: Proceedings of the Workshop on Binary Instrumentation and Applications, WBIA \u201909, pp. 62\u201371. ACM, New York, NY (2009). doi: 10.1145\/1791194.1791203","DOI":"10.1145\/1791194.1791203"},{"key":"383_CR23","doi-asserted-by":"publisher","unstructured":"Shavit, N., Touitou, D.: Software transactional memory. In: Proceedings of the Fourteenth Annual ACM Symposium on Principles of Distributed Computing, PODC \u201995, pp. 204\u2013213. ACM, New York (1995). doi: 10.1145\/224964.224987","DOI":"10.1145\/224964.224987"},{"key":"383_CR24","doi-asserted-by":"publisher","unstructured":"Smiljkovic, V., Nowack, M., Miletic, N., Harris, T., Unsal, O., Cristal, A., Valero, M.: TM-dietlibc: A tm-aware real-world system library. In: 2013 IEEE 27th International Symposium on Parallel Distributed Processing (IPDPS), pp. 1266\u20131274 (2013). doi: 10.1109\/IPDPS.2013.45","DOI":"10.1109\/IPDPS.2013.45"},{"key":"383_CR25","doi-asserted-by":"publisher","unstructured":"Smiljkovic, V., Stipic, S., Fetzer, C., Unsal, O., Cristal, A., Valero, M.: Detrans: Deterministic and parallel execution of transactions. In: IEEE 26th International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD), 2014, pp. 152\u2013159 (2014). doi: 10.1109\/SBAC-PAD.2014.20","DOI":"10.1109\/SBAC-PAD.2014.20"},{"key":"383_CR26","unstructured":"Vianney, D.: Tiobench benchmark: ltc linux performance team. http:\/\/linuxperf.sourceforge.net\/tiobench\/tiobench.php"},{"key":"383_CR27","unstructured":"Xiong, W., Park, S., Zhang, J., Zhou, Y., Ma, Z.: Ad hoc synchronization considered harmful. In: Proceedings of the 9th USENIX Conference on Operating Systems Design and Implementation, OSDI\u201910, pp. 1\u20138. USENIX Association, Berkeley, CA (2010). http:\/\/dl.acm.org\/citation.cfm?id=1924943.1924955"},{"key":"383_CR28","doi-asserted-by":"crossref","unstructured":"Xu, M., Bodik, R., Hill, M.D.: A \u201dflight data recorder\u201d for enabling full-system multiprocessor deterministic replay. In: Proceedings 30th Annual International Symposium on Computer Architecture, 2003, pp. 122\u2013133. IEEE (2003)","DOI":"10.1145\/859618.859633"},{"issue":"4","key":"383_CR29","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1145\/1594835.1504183","volume":"44","author":"F Zyulkyarov","year":"2009","unstructured":"Zyulkyarov, F., Gajinov, V., Unsal, O.S., Cristal, A., Ayguad\u00e9, E., Harris, T., Valero, M.: Atomic quake: using transactional memory in an interactive multiplayer game server. SIGPLAN Not. 44(4), 25\u201334 (2009). doi: 10.1145\/1594835.1504183","journal-title":"SIGPLAN Not."}],"container-title":["International Journal of Parallel Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10766-015-0383-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10766-015-0383-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10766-015-0383-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10766-015-0383-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T00:02:33Z","timestamp":1559260953000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10766-015-0383-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9,30]]},"references-count":29,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2017,2]]}},"alternative-id":["383"],"URL":"https:\/\/doi.org\/10.1007\/s10766-015-0383-4","relation":{},"ISSN":["0885-7458","1573-7640"],"issn-type":[{"value":"0885-7458","type":"print"},{"value":"1573-7640","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,9,30]]}}}