{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T05:07:57Z","timestamp":1755839277997},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2022,1,31]],"date-time":"2022-01-31T00:00:00Z","timestamp":1643587200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,31]],"date-time":"2022-01-31T00:00:00Z","timestamp":1643587200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J. Comput. Sci. Technol."],"published-print":{"date-parts":[[2022,2]]},"DOI":"10.1007\/s11390-021-1662-8","type":"journal-article","created":{"date-parts":[[2022,2,18]],"date-time":"2022-02-18T05:02:42Z","timestamp":1645160562000},"page":"128-146","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Checking Causal Consistency of MongoDB"],"prefix":"10.1007","volume":"37","author":[{"given":"Hong-Rong","family":"Ouyang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Heng-Feng","family":"Wei","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hai-Xiang","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"An-Qun","family":"Pan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yu","family":"Huang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,1,31]]},"reference":[{"issue":"12","key":"1662_CR1","doi-asserted-by":"publisher","first-page":"2071","DOI":"10.14778\/3352063.3352125","volume":"12","author":"W Schultz","year":"2019","unstructured":"Schultz W, Avitabile T, Cabral A. Tunable consistency in MongoDB. Proc. VLDB Endow., 2019, 12(12): 2071-2081. https:\/\/doi.org\/10.14778\/3352063.3352125.","journal-title":"Proc. VLDB Endow."},{"key":"1662_CR2","doi-asserted-by":"publisher","unstructured":"Tyulenev M, Schwerin A, Kamsky A, Tan R, Cabral A, Mulrow J. Implementation of cluster-wide logical clock and causal consistency in MongoDB. In Proc. the 2019 International Conference on Management of Data, June 30-July 5, 2019, pp.636-650. https:\/\/doi.org\/10.1145\/3299869.3314049.","DOI":"10.1145\/3299869.3314049"},{"issue":"2","key":"1662_CR3","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1109\/MC.2012.33","volume":"45","author":"D Abadi","year":"2012","unstructured":"Abadi D. Consistency tradeoffs in modern distributed database system design: CAP is only part of the story. IEEE Computer, 2012, 45(2): 37-42. https:\/\/doi.org\/10.1109\/MC.2012.33.","journal-title":"IEEE Computer"},{"key":"1662_CR4","doi-asserted-by":"publisher","unstructured":"Brewer E A. Towards robust distributed systems (abstract). In Proc. the 19th Annual ACM Symposium on Principles of Distributed Computing, July 2000, Article No. 7. https:\/\/doi.org\/10.1145\/343477.343502.","DOI":"10.1145\/343477.343502"},{"issue":"2","key":"1662_CR5","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1145\/564585.564601","volume":"33","author":"S Gilbert","year":"2002","unstructured":"Gilbert S, Lynch N. Brewer\u2019s conjecture and the feasibility of consistent, available, partition-tolerant web services. ACM SIGACT News, 2002, 33(2): 51-59. https:\/\/doi.org\/10.1145\/564585.564601.","journal-title":"ACM SIGACT News"},{"key":"1662_CR6","doi-asserted-by":"publisher","unstructured":"Brzezinski J, Sobaniec C, Wawrzyniak D. From session causality to causal consistency. In Proc. the 12th Euromicro Conference on Parallel, Distributed and Network-Based Processing, Feb. 2004, pp.152-158. https:\/\/doi.org\/10.1109\/EM-PDP.2004.1271440.","DOI":"10.1109\/EM-PDP.2004.1271440"},{"key":"1662_CR7","doi-asserted-by":"publisher","unstructured":"Kulkarni S S, Demirbas M, Madappa D, Avva B, Leone M. Logical physical clocks. In Proc. the 18th International Conference on Principles of Distributed Systems, Dec. 2014, pp.17-32. https:\/\/doi.org\/10.1007\/978-3-319-14472-6_2.","DOI":"10.1007\/978-3-319-14472-6_2"},{"key":"1662_CR8","doi-asserted-by":"publisher","unstructured":"Du J, Iorgulescu C, Roy A, Zwaenepoel W. GentleRain: Cheap and scalable causal consistency with physical clocks. In Proc. the ACM Symposium on Cloud Computing, Nov. 2014, Article No. 4. https:\/\/doi.org\/10.1145\/2670979.2670983.","DOI":"10.1145\/2670979.2670983"},{"key":"1662_CR9","doi-asserted-by":"publisher","unstructured":"Akkoorath D D, Tomsic A Z, Bravo M, Li Z, Crain T, Bieniusa A, Pregui\u00e7a N, Shapiro M. Cure: Strong semantics meets high availability and low latency. In Proc. the 36th International Conference on Distributed Computing Systems, June 2016, pp.405-414. https:\/\/doi.org\/10.1109\/ICDCS.2016.98.","DOI":"10.1109\/ICDCS.2016.98"},{"key":"1662_CR10","unstructured":"Ongaro D, Ousterhout J. In search of an understandable consensus algorithm. In Proc. the 2014 USENIX Conference on USENIX Annual Technical Conference, June 2014, pp.305-320."},{"key":"1662_CR11","doi-asserted-by":"publisher","unstructured":"Bouajjani A, Enea C, Guerraoui R, Hamza J. On verifying causal consistency. In Proc. the 44th ACM Symposium on Principles of Programming Languages, Jan. 2017, pp.626-638. https:\/\/doi.org\/10.1145\/3009837.3009888.","DOI":"10.1145\/3009837.3009888"},{"issue":"1\/2","key":"1662_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1561\/2500000011","volume":"1","author":"S Burckhardt","year":"2014","unstructured":"Burckhardt S. Principles of eventual consistency. Found. Trends Program. Lang., 2014, 1(1\/2): 1-150. https:\/\/doi.org\/10.1561\/2500000011.","journal-title":"Found. Trends Program. Lang."},{"key":"1662_CR13","doi-asserted-by":"publisher","unstructured":"Perrin M, Most\u00e9faoui A, Jard C. Causal consistency: Beyond memory. In Proc. the 21st ACM Symposium on Principles and Practice of Parallel Programming, Aug. 2016, Article No. 26. https:\/\/doi.org\/10.1145\/2851141.2851170.","DOI":"10.1145\/2851141.2851170"},{"issue":"1","key":"1662_CR14","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/BF01784241","volume":"9","author":"M Ahamad","year":"1995","unstructured":"Ahamad M, Neiger G, Burns J E, Kohli P, Hutto P W. Causal memory: Definitions, implementation, and programming. Distributed Computing, 1995, 9(1): 37-49. https:\/\/doi.org\/10.1007\/BF01784241.","journal-title":"Distributed Computing"},{"key":"1662_CR15","unstructured":"Lynch N A. Distributed Algorithms. Morgan Kaufmann Publishers Inc., 1996."},{"key":"1662_CR16","doi-asserted-by":"publisher","unstructured":"Ouyang H R, Wei H F, Huang Y. Checking causal consistency of MongoDB. In Proc. the 12th Asia-Pacific Symposium on Internetware, Nov. 2020, pp.209-216. https:\/\/doi.org\/10.1145\/3457913.3457928.","DOI":"10.1145\/3457913.3457928"},{"issue":"7","key":"1662_CR17","doi-asserted-by":"publisher","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, 1978, 21(7): 558-565. https:\/\/doi.org\/10.1145\/359545.359563.","journal-title":"Commun. ACM"},{"key":"1662_CR18","doi-asserted-by":"publisher","unstructured":"Lesani M, Bell C J, Chlipala A. Chapar: Certified causally consistent distributed key-value stores. In Proc. the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan. 2016, pp.357-370. https:\/\/doi.org\/10.1145\/2837614.2837622.","DOI":"10.1145\/2837614.2837622"},{"key":"1662_CR19","unstructured":"Lamport L. Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers (1st edition). Addison-Wesley Professional, 2002."},{"issue":"3","key":"1662_CR20","doi-asserted-by":"publisher","first-page":"872","DOI":"10.1145\/177492.177726","volume":"16","author":"L Lamport","year":"1994","unstructured":"Lamport L. The temporal logic of actions. ACM Trans. Program. Lang. Syst., 1994, 16(3): 872-923. https:\/\/doi.org\/10.1145\/177492.177726.","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"6","key":"1662_CR21","doi-asserted-by":"publisher","first-page":"1343","DOI":"10.1007\/s11390-020-0516-0","volume":"35","author":"HF Wei","year":"2020","unstructured":"Wei H F, Tang R Z, Huang Y, Lv J. Jupiter made abstract, and then refined. Journal of Computer Science and Technology, 2020, 35(6): 1343-1364. https:\/\/doi.org\/10.1007\/s11390-020-0516-0.","journal-title":"Journal of Computer Science and Technology"},{"key":"1662_CR22","doi-asserted-by":"publisher","unstructured":"Yu Y, Manolios P, Lamport L. Model checking TLA+ specifications. In Proc. the 10th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods, Sept. 1999, pp.54-66. https:\/\/doi.org\/10.1007\/3-540-48153-2_6.","DOI":"10.1007\/3-540-48153-2_6"},{"key":"1662_CR23","doi-asserted-by":"publisher","unstructured":"Cooper B F, Silberstein A, Tam E, Ramakrishnan R, Sears R. Benchmarking cloud serving systems with YCSB. In Proc. the 1st ACM Symposium on Cloud Computing, June 2010, pp.143-154. https:\/\/doi.org\/10.1145\/1807128.1807152.","DOI":"10.1145\/1807128.1807152"},{"key":"1662_CR24","doi-asserted-by":"publisher","unstructured":"Bowles J, Caminati M B. A verified algorithm enumerating event structures. In Proc. the 10th International Conference on Intelligent Computer Mathematics, July 2017, pp.239-254. https:\/\/doi.org\/10.1007\/978-3-319-62075-6_17.","DOI":"10.1007\/978-3-319-62075-6_17"},{"issue":"4","key":"1662_CR25","doi-asserted-by":"publisher","first-page":"1208","DOI":"10.1137\/S0097539794279614","volume":"26","author":"P Gibbons","year":"1997","unstructured":"Gibbons P, Korach E. Testing shared memories. SIAM Journal on Computing, 1997, 26(4): 1208-1244. https:\/\/doi.org\/10.1137\/S0097539794279614.","journal-title":"SIAM Journal on Computing"},{"issue":"3","key":"1662_CR26","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1145\/78969.78972","volume":"12","author":"MP Herlihy","year":"1990","unstructured":"Herlihy M P, Wing J M. Linearizability: A correctness condition for concurrent objects. ACM Trans. Program. Lang. Syst., 1990, 12(3): 463-492. https:\/\/doi.org\/10.1145\/78969.78972.","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"2","key":"1662_CR27","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1145\/176575.176576","volume":"12","author":"H Attiya","year":"1994","unstructured":"Attiya H, Welch J L. Sequential consistency versus linearizability. ACM Trans. Comput. Syst., 1994, 12(2): 91-122. https:\/\/doi.org\/10.1145\/176575.176576.","journal-title":"ACM Trans. Comput. Syst."},{"issue":"5","key":"1662_CR28","doi-asserted-by":"publisher","first-page":"1511","DOI":"10.1109\/TPDS.2015.2453985","volume":"27","author":"H Wei","year":"2013","unstructured":"Wei H, Huang Y, Cao J, Ma X, Lv J. Verifying Pipelined-RAM consistency over read\/write traces of data replicas. IEEE Transactions on Parallel and Distributed Systems, 2013, 27(5): 1511-1523. https:\/\/doi.org\/10.1109\/TPDS.2015.2453985.","journal-title":"IEEE Transactions on Parallel and Distributed Systems"},{"key":"1662_CR29","unstructured":"Lipton R J, Sandberg J. PRAM: A scalable shared memory. Technical Report, Department of Computer Science, Princeton University, 1988. https:\/\/www.cs.prince-ton.edu\/research\/techreps\/TR-180-88, Aug. 2021."}],"container-title":["Journal of Computer Science and Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11390-021-1662-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11390-021-1662-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11390-021-1662-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,2,18]],"date-time":"2022-02-18T05:20:41Z","timestamp":1645161641000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11390-021-1662-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,1,31]]},"references-count":29,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2022,2]]}},"alternative-id":["1662"],"URL":"https:\/\/doi.org\/10.1007\/s11390-021-1662-8","relation":{},"ISSN":["1000-9000","1860-4749"],"issn-type":[{"value":"1000-9000","type":"print"},{"value":"1860-4749","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,1,31]]},"assertion":[{"value":"1 June 2021","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"20 December 2021","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"31 January 2022","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}