{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:50:31Z","timestamp":1740099031445,"version":"3.37.3"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319776095"},{"type":"electronic","value":"9783319776101"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","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":[[2018]]},"DOI":"10.1007\/978-3-319-77610-1_15","type":"book-chapter","created":{"date-parts":[[2018,3,7]],"date-time":"2018-03-07T02:32:50Z","timestamp":1520389970000},"page":"195-208","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Operational Characterization of Weak Memory Consistency Models"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3360-2887","authenticated-orcid":false,"given":"M.","family":"Senftleben","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1305-7132","authenticated-orcid":false,"given":"K.","family":"Schneider","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,3,8]]},"reference":[{"issue":"12","key":"15_CR1","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1109\/2.546611","volume":"29","author":"S Adve","year":"1996","unstructured":"Adve, S., Gharachorloo, K.: Shared memory consistency models: a tutorial. IEEE Comput. 29(12), 66\u201376 (1996)","journal-title":"IEEE Comput."},{"issue":"6","key":"15_CR2","doi-asserted-by":"crossref","first-page":"613","DOI":"10.1109\/71.242161","volume":"4","author":"S Adve","year":"1993","unstructured":"Adve, S., Hill, M.: A unified formalization of four shared-memory models. IEEE Trans. Parallel Distrib. Syst. (TPDS) 4(6), 613\u2013624 (1993)","journal-title":"IEEE Trans. Parallel Distrib. Syst. (TPDS)"},{"key":"15_CR3","first-page":"251","volume-title":"Symposium on Parallel Algorithms and Architectures (SPAA)","author":"M Ahamad","year":"1993","unstructured":"Ahamad, M., Bazzi, R., John, R., Kohli, P., Neiger, G.: The power of processor consistency. In: Snyder, L. (ed.) Symposium on Parallel Algorithms and Architectures (SPAA), pp. 251\u2013260. ACM, Velen (1993)"},{"issue":"2","key":"15_CR4","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1007\/s10703-012-0161-5","volume":"41","author":"J Alglave","year":"2012","unstructured":"Alglave, J.: A formal hierarchy of weak memory models. Form. Methods Syst. Des. (FMSD) 41(2), 178\u2013210 (2012)","journal-title":"Form. Methods Syst. Des. (FMSD)"},{"key":"15_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"468","DOI":"10.1007\/BFb0002771","volume-title":"Euro-Par\u201997 Parallel Processing","author":"J Bataller","year":"1997","unstructured":"Bataller, J., Bernabeu, J.: Synchronized DSM models. In: Lengauer, C., Griebl, M., Gorlatch, S. (eds.) Euro-Par 1997. LNCS, vol. 1300, pp. 468\u2013475. Springer, Heidelberg (1997). https:\/\/doi.org\/10.1007\/BFb0002771"},{"key":"15_CR6","series-title":"Texts in Theoretical Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-42900-7","volume-title":"Models of Computation","author":"R Bruni","year":"2017","unstructured":"Bruni, R., Montanari, U.: Models of Computation. Texts in Theoretical Computer Science. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-42900-7"},{"doi-asserted-by":"crossref","unstructured":"Flur, S., Gray, K., Pulte, C., Sarkar, S., Sezgin, A., Maranget, L., Deacon, W., Sewell, P.: Modelling the ARMv8 architecture, operationally: concurrency and ISA. In: Principles of Programming Languages (POPL), pp. 608\u2013621. ACM (2016)","key":"15_CR7","DOI":"10.1145\/2837614.2837615"},{"doi-asserted-by":"crossref","unstructured":"Furbach, F., Meyer, R., Schneider, K., Senftleben, M.: Memory model-aware testing - a unified complexity analysis. In: Application of Concurrency to System Design (ACSD), pp. 92\u2013101. IEEE Computer Society, Tunis La Marsa (2014)","key":"15_CR8","DOI":"10.1109\/ACSD.2014.27"},{"issue":"4","key":"15_CR9","first-page":"63:1","volume":"14","author":"F Furbach","year":"2015","unstructured":"Furbach, F., Meyer, R., Schneider, K., Senftleben, M.: Memory-model-aware testing \u2013 a unified complexity analysis. Trans. Embed. Comput. Syst. (TECS) 14(4), 63:1\u201363:25 (2015)","journal-title":"Trans. Embed. Comput. Syst. (TECS)"},{"unstructured":"Goodman, J.: Cache consistency and sequential consistency. Technical report 1006, Computer Sciences Department, University of Wisconsin-Madison, February 1991","key":"15_CR10"},{"unstructured":"Heddaya, A., Sinha, H.: Coherence, non-coherence and local consistency in distributed shared memory for parallel computing. Technical report BU-CS-92-004, Department of Computer Science, Boston University (1992)","key":"15_CR11"},{"key":"15_CR12","volume-title":"Computer Architecture: A Quantitative Approach","author":"J Hennessy","year":"2003","unstructured":"Hennessy, J., Patterson, D.: Computer Architecture: A Quantitative Approach, 3rd edn. Morgan Kaufmann, Burlington (2003)","edition":"3"},{"unstructured":"Higham, L., Kawash, J., Verwaal, N.: Weak memory consistency models - part I: definitions and comparisons. Technical report 98\/612\/03, Department of Computer Science, University of Calgary (1998)","key":"15_CR13"},{"issue":"9","key":"15_CR14","doi-asserted-by":"crossref","first-page":"690","DOI":"10.1109\/TC.1979.1675439","volume":"28","author":"L Lamport","year":"1979","unstructured":"Lamport, L.: How to make a multiprocessor computer that correctly executes multiprocess programs. IEEE Trans. Comput. (T-C) 28(9), 690\u2013691 (1979)","journal-title":"IEEE Trans. Comput. (T-C)"},{"unstructured":"Lawrence, R.: A survey of cache coherence mechanisms in shared memory multiprocessors (1998)","key":"15_CR15"},{"unstructured":"Lipton, R., Sandberg, J.: PRAM: a scalable shared memory. Technical report CS-TR-180-88, Princeton University (1988)","key":"15_CR16"},{"unstructured":"Lipton, R., Sandberg, J.: Oblivious memory computer networking. Patent US 5276806, January 1994","key":"15_CR17"},{"key":"15_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"495","DOI":"10.1007\/978-3-642-31424-7_36","volume-title":"Computer Aided Verification","author":"S Mador-Haim","year":"2012","unstructured":"Mador-Haim, S., et al.: An axiomatic memory model for POWER multiprocessors. In: Madhusudan, P., Seshia, S.A. (eds.) CAV 2012. LNCS, vol. 7358, pp. 495\u2013512. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-31424-7_36"},{"unstructured":"McKenney, P.: Memory barriers: a hardware view for software hackers, June 2010. http:\/\/www.rdrop.com\/users\/paulmck","key":"15_CR19"},{"issue":"1","key":"15_CR20","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1145\/160551.160553","volume":"27","author":"D Mosberger","year":"1993","unstructured":"Mosberger, D.: Memory consistency models. ACM SIGOPS: Oper. Syst. Rev. 27(1), 18\u201326 (1993)","journal-title":"ACM SIGOPS: Oper. Syst. Rev."},{"unstructured":"Mosberger, D.: Memory consistency models. Technical report TR 93\/11, Department of Computer Science, The University of Arizona, Tucson, Arizona, USA (1993)","key":"15_CR21"},{"key":"15_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1007\/978-3-642-03359-9_27","volume-title":"Theorem Proving in Higher Order Logics","author":"S Owens","year":"2009","unstructured":"Owens, S., Sarkar, S., Sewell, P.: A better x86 memory model: x86-TSO. In: Berghofer, S., Nipkow, T., Urban, C., Wenzel, M. (eds.) TPHOLs 2009. LNCS, vol. 5674, pp. 391\u2013407. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-03359-9_27"},{"unstructured":"Schneider, K.: The synchronous programming language Quartz. Internal report 375, Department of Computer Science, University of Kaiserslautern, Kaiserslautern, Germany, December 2009","key":"15_CR23"},{"unstructured":"Senftleben, M.: Operational characterization of weak memory consistency models. Master\u2019s thesis, Department of Computer Science, University of Kaiserslautern, Germany, March 2013","key":"15_CR24"},{"unstructured":"Senftleben, M., Schneider, K.: Specifying weak memory consistency with temporal logic. In: Ghazel, M., Jmaiel, M. (eds.) Verification and Evaluation of Computer and Communication Systems (VECoS). CEUR Workshop Proceedings, vol. 1689, pp. 107\u2013122. Sun SITE Central Europe, Tunis (2016). http:\/\/ceur-ws.org\/Vol-1689\/","key":"15_CR25"},{"key":"15_CR26","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/978-1-4615-3604-8_2","volume-title":"Scalable Shared Memory Multiprocessors","author":"P Sindhu","year":"1992","unstructured":"Sindhu, P., Frailong, J.M., Cekleov, M.: Formal specification of memory models. In: Dubois, M., Thakkar, S. (eds.) Scalable Shared Memory Multiprocessors, pp. 25\u201341. Kluwer, Dordrecht (1992)"},{"issue":"5","key":"15_CR27","doi-asserted-by":"crossref","first-page":"800","DOI":"10.1145\/1017460.1017464","volume":"51","author":"R Steinke","year":"2004","unstructured":"Steinke, R., Nutt, G.: A unified theory of shared memory consistency. J. ACM (JACM) 51(5), 800\u2013849 (2004)","journal-title":"J. ACM (JACM)"},{"volume-title":"The SPARC Architecture Manual-Version 9","year":"1994","unstructured":"Weaver, D., Germond, T. (eds.): The SPARC Architecture Manual-Version 9. Prentice-Hall Inc., Upper Saddle River (1994)","key":"15_CR28"}],"container-title":["Lecture Notes in Computer Science","Architecture of Computing Systems \u2013 ARCS 2018"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-77610-1_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,12]],"date-time":"2019-10-12T05:39:43Z","timestamp":1570858783000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-77610-1_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319776095","9783319776101"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-77610-1_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}