{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,7,13]],"date-time":"2023-07-13T21:10:38Z","timestamp":1689282638746},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2014,5,31]],"date-time":"2014-05-31T00:00:00Z","timestamp":1401494400000},"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":[[2015,8]]},"DOI":"10.1007\/s10766-014-0313-x","type":"journal-article","created":{"date-parts":[[2014,5,30]],"date-time":"2014-05-30T19:49:28Z","timestamp":1401479368000},"page":"656-678","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Detection of High-Level Synchronization Anomalies in Parallel Programs"],"prefix":"10.1007","volume":"43","author":[{"given":"Ali","family":"Jannesari","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,5,31]]},"reference":[{"key":"313_CR1","doi-asserted-by":"crossref","unstructured":"Lu, S., Park, S., Seo, E., Zhou, Y.: Learning from mistakes: a comprehensive study on real world concurrency bug characteristics. In: ASPLOS XIII: Proceedings of the 13th International Conference on Architectural Support for Programming Languages and Operating Systems. ACM, New York, NY, USA, pp. 329\u2013339 (2008). doi: 10.1145\/1346281.1346323","DOI":"10.1145\/1346281.1346323"},{"issue":"1","key":"313_CR2","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1145\/130616.130623","volume":"1","author":"RHB Netzer","year":"1992","unstructured":"Netzer, R.H.B., Miller, B.P.: What are race conditions? Some issues and formalizations. ACM Lett. Program. Lang. Syst. 1(1), 74\u201388 (1992). doi: 10.1145\/130616.130623","journal-title":"ACM Lett. Program. Lang. Syst."},{"key":"313_CR3","doi-asserted-by":"crossref","unstructured":"Raza, A.: A review of race detection mechanisms. In: Grigoriev, D., Harrison, J., Hirsch, E.A. (eds.) CSR, Vol. 3967 of Lecture Notes in Computer Science. Springer, Berlin, pp. 534\u2013543 (2006)","DOI":"10.1007\/11753728_54"},{"issue":"4","key":"313_CR4","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1145\/265924.265927","volume":"15","author":"S Savage","year":"1997","unstructured":"Savage, S., Burrows, M., Nelson, G., Sobalvarro, P., Anderson, T.: Eraser : a dynamic data race detector for multithreaded programs. ACM Trans. Comput. Syst. 15(4), 391\u2013411 (1997). doi: 10.1145\/265924.265927","journal-title":"ACM Trans. Comput. Syst."},{"issue":"12","key":"313_CR5","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1145\/127695.122767","volume":"26","author":"A Dinning","year":"1991","unstructured":"Dinning, A., Schonberg, E.: Detecting access anomalies in programs with critical sections. SIGPLAN Not. 26(12), 85\u201396 (1991). doi: 10.1145\/127695.122767","journal-title":"SIGPLAN Not."},{"issue":"99","key":"313_CR6","first-page":"1","volume":"PP","author":"A Jannesari","year":"2013","unstructured":"Jannesari, A., Tichy, W.F.: Library-independent data race detection. IEEE Trans. Parallel Distrib. Syst. PP(99), 1\u201313 (2013). doi: 10.1109\/TPDS.2013.209","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"key":"313_CR7","doi-asserted-by":"crossref","unstructured":"Jannesari, A., Tichy, W.: Identifying ad-hoc synchronization for enhanced race detection. In: 2010 IEEE International Symposium on Parallel Distributed Processing (IPDPS), pp. 1\u201310 (2010). doi: 10.1109\/IPDPS.2010.5470343","DOI":"10.1109\/IPDPS.2010.5470343"},{"key":"313_CR8","doi-asserted-by":"crossref","unstructured":"Jannesari, A., Bao, K., Pankratius, V., Tichy, W. F., Helgrind+: an efficient dynamic race detector. In: Parallel and Distributed Processing Symposium, International 0, pp. 1\u201313 (2009). doi: 10.1109\/IPDPS.2009.5160998","DOI":"10.1109\/IPDPS.2009.5160998"},{"key":"313_CR9","doi-asserted-by":"crossref","unstructured":"Jannesari, A., Tichy, W.F.: On-the-fly race detection in multi-threaded programs. In: PADTAD \u201908: Proceedings of the 6th Workshop on Parallel and Distributed Systems, ACM, New York, NY, USA, pp. 1\u201310 (2008). doi: 10.1145\/1390841.1390847","DOI":"10.1145\/1390841.1390847"},{"key":"313_CR10","unstructured":"Harrow, J.J.: Runtime checking of multithreaded applications with visual threads. In: Proceedings of the 7th International SPIN Workshop on SPIN Model Checking and Software Verification, pp. 331\u2013342. Springer, London (2000). http:\/\/citeseer.ist.psu.edu\/harrow00runtime.html"},{"issue":"3","key":"313_CR11","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1002\/cpe.1064","volume":"19","author":"E Pozniansky","year":"2007","unstructured":"Pozniansky, E., Schuster, A.: Multirace: efficient on-the-fly data race detection in multithreaded c++ programs: research articles. Concurr. Comput. Pract. Exp. 19(3), 327\u2013340 (2007). doi: 10.1002\/cpe.v19:3","journal-title":"Concurr. Comput. Pract. Exp."},{"issue":"5","key":"313_CR12","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1145\/1095809.1095832","volume":"39","author":"Y Yu","year":"2005","unstructured":"Yu, Y., Rodeheffer, T., Chen, W.: Racetrack: efficient detection of data race conditions via adaptive tracking. SIGOPS Oper. Syst. Rev. 39(5), 221\u2013234 (2005). doi: 10.1145\/1095809.1095832","journal-title":"SIGOPS Oper. Syst. Rev."},{"key":"313_CR13","doi-asserted-by":"crossref","unstructured":"Hammer, C., Dolby, J., Vaziri, M., Tip, F.: Dynamic detection of atomic-set-serializability violations. In: ICSE \u201908: Proceedings of the 30th International Conference on Software Engineering, ACM, New York, NY, USA, pp. 231\u2013240 (2008) doi: 10.1145\/1368088.1368120","DOI":"10.1145\/1368088.1368120"},{"key":"313_CR14","doi-asserted-by":"crossref","unstructured":"Vaziri, M., Tip, F., Dolby, J.: Associating synchronization constraints with data in an object-oriented language. In: POPL \u201906: Conference Record of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ACM, New York, NY, USA, pp. 334\u2013345 (2006). doi: 10.1145\/1111037.1111067","DOI":"10.1145\/1111037.1111067"},{"key":"313_CR15","volume-title":"Concurrency Control and Recovery in Database Systems","author":"PA Bernstein","year":"1987","unstructured":"Bernstein, P.A., Hadzilacos, V., Goodman, N.: Concurrency Control and Recovery in Database Systems. Addison-Wesley, Reading (1987)"},{"key":"313_CR16","doi-asserted-by":"crossref","unstructured":"Lu, S., Park, S., Hu, C., Ma, X., Jiang, W., Li, Z., Popa, R.A., Zhou, Y.: Muvi: automatically inferring multi-variable access correlations and detecting related semantic and concurrency bugs. In: SOSP \u201907: Proceedings of Twenty-first ACM SIGOPS Symposium on Operating Systems Principles, ACM, New York, NY, USA, pp. 103\u2013116 (2007). doi: 10.1145\/1294261.1294272","DOI":"10.1145\/1294261.1294272"},{"issue":"6","key":"313_CR17","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1064978.1065013","volume":"40","author":"M Xu","year":"2005","unstructured":"Xu, M., Bod\u00edk, R., Hill, M.D.: A serializability violation detector for shared-memory server programs. SIGPLAN Not. 40(6), 1\u201314 (2005). doi: 10.1145\/1064978.1065013","journal-title":"SIGPLAN Not."},{"key":"313_CR18","doi-asserted-by":"crossref","unstructured":"Collins, J.D.,Tullsen, D.M., Wang, H.: Control flow optimization via dynamic reconvergence prediction. In: MICRO 37: Proceedings of the 37th Annual IEEE\/ACM International Symposium on Microarchitecture, IEEE Computer Society, Washington, DC, USA, pp. 129\u2013140 (2004). doi: 10.1109\/MICRO.2004.13","DOI":"10.1109\/MICRO.2004.13"},{"issue":"7","key":"313_CR19","doi-asserted-by":"crossref","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L Lamport","year":"1978","unstructured":"Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Commun. ACM 21(7), 558\u2013565 (1978). doi: 10.1145\/359545.359563","journal-title":"Commun. ACM"},{"issue":"6","key":"313_CR20","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1145\/1273442.1250746","volume":"42","author":"N Nethercote","year":"2007","unstructured":"Nethercote, N., Seward, J.: Valgrind: a framework for heavyweight dynamic binary instrumentation. SIGPLAN Not. 42(6), 89\u2013100 (2007). doi: 10.1145\/1273442.1250746","journal-title":"SIGPLAN Not."},{"key":"313_CR21","unstructured":"Nethercote, N., Seward, J.: Valgrind: a program supervision framework. http:\/\/valgrind.org\/"},{"key":"313_CR22","volume-title":"Programming with POSIX Threads. Professional Computing Series","author":"DR Butenhof","year":"1997","unstructured":"Butenhof, D.R.: Programming with POSIX Threads. Professional Computing Series. Addison-Wesley, Reading (1997)"},{"key":"313_CR23","unstructured":"Apache http server project, http:\/\/www.apache.org\/"},{"key":"313_CR24","unstructured":"Data-race-test: a test suite for data race detectors. http:\/\/code.google.com\/p\/data-race-test\/"},{"key":"313_CR25","unstructured":"Butler, N.: Petridish: Multi-threading for performance in c#. http:\/\/www.codeproject.com\/Articles\/26453\/PetriDish-Multi-threading-for-performance-in-C"},{"key":"313_CR26","unstructured":"Reichl, D.: Keepass password safe. http:\/\/keepass.info\/"},{"key":"313_CR27","unstructured":"Smart thread pool. http:\/\/smartthreadpool.codeplex.com\/"},{"key":"313_CR28","unstructured":"Microsoft, Code gallery for parallel programs. http:\/\/code.msdn.microsoft.com\/Samples-for-Parallel-b4b76364"},{"key":"313_CR29","unstructured":"Intel inspector xe 2013. http:\/\/software.intel.com\/en-us\/intel-inspector-xe"},{"key":"313_CR30","doi-asserted-by":"crossref","unstructured":"Kim, M., Kim, H., Luk, C.-K.: Sd3: A scalable approach to dynamic data-dependence profiling. In: Proceedings of the 2010 43rd Annual IEEE\/ACM International Symposium on Microarchitecture, MICRO \u201943, IEEE Computer Society, Washington, DC, USA, pp. 535\u2013546 (2010). doi: 10.1109\/MICRO.2010.49","DOI":"10.1109\/MICRO.2010.49"},{"key":"313_CR31","doi-asserted-by":"crossref","unstructured":"Li, Z., Jannesari, A., Wolf, F.: Discovery of potential parallelism in sequential programs. In: Proceedings of the 42nd International Conference on Parallel Processing. PSTI \u201913, Washington, DC, USA, IEEE Computer Society, pp. 1004\u20131013 (2013)","DOI":"10.1109\/ICPP.2013.119"}],"container-title":["International Journal of Parallel Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10766-014-0313-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10766-014-0313-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10766-014-0313-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,13]],"date-time":"2023-07-13T20:44:05Z","timestamp":1689281045000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10766-014-0313-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,5,31]]},"references-count":31,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2015,8]]}},"alternative-id":["313"],"URL":"https:\/\/doi.org\/10.1007\/s10766-014-0313-x","relation":{},"ISSN":["0885-7458","1573-7640"],"issn-type":[{"value":"0885-7458","type":"print"},{"value":"1573-7640","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,5,31]]}}}