{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,14]],"date-time":"2026-03-14T09:51:24Z","timestamp":1773481884055,"version":"3.50.1"},"reference-count":70,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2023,5,26]],"date-time":"2023-05-26T00:00:00Z","timestamp":1685059200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"FCT","award":["POCI-01-0247-FEDER-045907"],"award-info":[{"award-number":["POCI-01-0247-FEDER-045907"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Proc. ACM Manag. Data"],"published-print":{"date-parts":[[2023,5,26]]},"abstract":"<jats:p>Performance of transactional systems is degraded by update hotspots as conflicts lead to waiting and wasted work. This is particularly challenging in emerging large-scale database systems, as latency increases the probability of conflicts, state-of-the-art lock-based mitigations are not available, and most alternatives provide only weak consistency and cannot enforce lower bound invariants. We address this challenge with Multi-Record Values (MRVs), a technique that can be layered on existing database systems and that uses randomization to split and access numeric values in multiple records such that the probability of conflict can be made arbitrarily small. The only coordination needed is the underlying transactional system, meaning it retains existing isolation guarantees. The proposal is tested on five different systems ranging from DBx1000 (scale-up) to MySQL GR and a cloud-native NewSQL system (scale-out). The experiments explore design and configuration trade-offs and, with the TPC-C and STAMP Vacation benchmarks, demonstrate improved throughput and reduced abort rates when compared to alternatives.<\/jats:p>","DOI":"10.1145\/3588723","type":"journal-article","created":{"date-parts":[[2023,5,30]],"date-time":"2023-05-30T17:42:05Z","timestamp":1685468525000},"page":"1-27","source":"Crossref","is-referenced-by-count":2,"title":["MRVs: Enforcing Numeric Invariants in Parallel Updates to Hotspots with Randomized Splitting"],"prefix":"10.1145","volume":"1","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4691-0440","authenticated-orcid":false,"given":"Nuno","family":"Faria","sequence":"first","affiliation":[{"name":"INESCTEC &amp; University of Minho, Braga, Portugal"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3341-9217","authenticated-orcid":false,"given":"Jos\u00e9","family":"Pereira","sequence":"additional","affiliation":[{"name":"INESCTEC &amp; University of Minho, Braga, Portugal"}]}],"member":"320","published-online":{"date-parts":[[2023,5,30]]},"reference":[{"key":"e_1_2_2_1_1","volume-title":"IEEE 36th Intl. Conf. on Distributed Computing Systems (ICDCS). IEEE, 405--414","author":"Akkoorath D.","unstructured":"D. Akkoorath, A. Tomsic, M. Bravo, Z. Li, T. Crain, A. Bieniusa, N. Preguicc a, and M. Shapiro. 2016. Cure: Strong semantics meets high availability and low latency. In IEEE 36th Intl. Conf. on Distributed Computing Systems (ICDCS). IEEE, 405--414."},{"key":"e_1_2_2_2_1","volume-title":"Guide: Time to Relax","author":"Anderson J.C.","year":"2010","unstructured":"J.C. Anderson, J. Lehnardt, and N. Slater. 2010. CouchDB: The Definitive Guide: Time to Relax. O'Reilly Media. https:\/\/books.google.pt\/books?id=G4N-DPk9R5sC"},{"key":"e_1_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.14778\/2735508.2735509"},{"key":"e_1_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/SRDS.2015.32"},{"key":"e_1_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01232643"},{"key":"e_1_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00288683"},{"key":"e_1_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/223784.223785"},{"key":"e_1_2_2_8_1","unstructured":"P. Bernstein V. Hadzilacos and N. Goodman. 1987. Concurrency control and recovery in database systems. Vol. 370. Addison-Wesley Reading."},{"key":"e_1_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/343477.343502"},{"key":"e_1_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1376616.1376690"},{"key":"e_1_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491245"},{"key":"e_1_2_2_12_1","unstructured":"Oracle Corporation. 2022. MySQL 8.0 Documentation - 18.1.1.2 Group Replication. https:\/\/dev.mysql.com\/doc\/refman\/8.0\/en\/group-replication-summary.html."},{"key":"e_1_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1294261.1294281"},{"key":"e_1_2_2_14_1","volume-title":"Proc. 2013 ACM SIGMOD Intl. Conf. on Management of Data. 1243--1254","author":"Diaconu C.","unstructured":"C. Diaconu, C. Freedman, E. Ismert, P. Larson, P. Mittal, R. Stonecipher, N. Verma, and M. Zwilling. 2013. Hekaton: SQL server's memory-optimized OLTP engine. In Proc. 2013 ACM SIGMOD Intl. Conf. on Management of Data. 1243--1254."},{"key":"e_1_2_2_15_1","unstructured":"Nick Dimiduk. 2022. Orderly library. https:\/\/github.com\/ndimiduk\/orderly."},{"key":"e_1_2_2_16_1","volume-title":"Proc. 1989 ACM SIGMOD Intl. Conf. on Management of data. 399--407","author":"Ellis C.","unstructured":"C. Ellis and S. Gibbs. 1989. Concurrency control in groupware systems. In Proc. 1989 ACM SIGMOD Intl. Conf. on Management of data. 399--407."},{"key":"e_1_2_2_17_1","volume-title":"Proceedings of the VLDB Endowment","volume":"10","author":"Faleiro J.","year":"2017","unstructured":"J. Faleiro, D. Abadi, and J. Hellerstein. 2017. High performance transactions via early write visibility. Proceedings of the VLDB Endowment, Vol. 10, 5 (2017)."},{"key":"e_1_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/573304"},{"key":"e_1_2_2_19_1","unstructured":"The PostgreSQL Global Development Group. 2021a. PostgreSQL 14 Documentation - 13.2. Transaction Isolation. https:\/\/www.postgresql.org\/docs\/14\/transaction-iso.html."},{"key":"e_1_2_2_20_1","unstructured":"The PostgreSQL Global Development Group. 2021b. PostgreSQL 14 Documentation - 41.4. Rules on INSERT UPDATE and DELETE. https:\/\/www.postgresql.org\/docs\/14\/rules-update.html."},{"key":"e_1_2_2_21_1","volume-title":"Proceedings of the 2021 International Conference on Management of Data. Association for Computing Machinery","author":"Guo Z.","unstructured":"Z. Guo, K. Wu, C. Yan, and X. Yu. 2021. Releasing Locks As Early As You Can: Reducing Contention of Hotspots by Violating Two-Phase Locking. In Proceedings of the 2021 International Conference on Management of Data. Association for Computing Machinery, New York, NY, USA, 658--670."},{"key":"e_1_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.14778\/3377369.3377373"},{"key":"e_1_2_2_23_1","unstructured":"MongoDB Inc. 2021a. MongoDB 5.0 Manual - Read Concern. https:\/\/www.mongodb.com\/docs\/v5.0\/reference\/read-concern\/."},{"key":"e_1_2_2_24_1","unstructured":"MongoDB Inc. 2021b. MongoDB 5.0 Manual - Read Preference. https:\/\/www.mongodb.com\/docs\/v5.0\/core\/read-preference\/."},{"key":"e_1_2_2_25_1","unstructured":"MongoDB Inc. 2021c. MongoDB 5.0 Manual - Transactions. https:\/\/www.mongodb.com\/docs\/v5.0\/core\/transactions\/."},{"key":"e_1_2_2_26_1","unstructured":"MongoDB Inc. 2021d. MongoDB 5.0 Manual - Write Concern. https:\/\/www.mongodb.com\/docs\/v5.0\/reference\/write-concern\/."},{"key":"e_1_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1773912.1773921"},{"key":"e_1_2_2_28_1","volume-title":"Proc. 10th USENIX Symp. on Operating Systems Design and Implementation (OSDI 12)","author":"Li C.","unstructured":"C. Li, D. Porto, A. Clement, J. Gehrke, N. Preguicc a, and R. Rodrigues. 2012. Making geo-replicated systems fast as possible, consistent when necessary. In Proc. 10th USENIX Symp. on Operating Systems Design and Implementation (OSDI 12). 265--278."},{"key":"e_1_2_2_29_1","volume-title":"11th USENIX Symp. on Networked Systems Design and Implementation (NSDI 14)","author":"Liu J.","unstructured":"J. Liu, T. Magrino, O. Arden, M. George, and A. Myers. 2014. Warranties for faster strong consistency. In 11th USENIX Symp. on Networked Systems Design and Implementation (NSDI 14). 503--517."},{"key":"e_1_2_2_30_1","volume-title":"Proc. 23rd ACM Symp. on Operating Systems Principles. 401--416","author":"Lloyd W.","unstructured":"W. Lloyd, M. Freedman, M. Kaminsky, and D. Andersen. 2011. Don't settle for eventual: scalable causal consistency for wide-area storage with COPS. In Proc. 23rd ACM Symp. on Operating Systems Principles. 401--416."},{"key":"e_1_2_2_31_1","volume-title":"Proc. 10th USENIX Symp. on Networked Systems Design and Implementation (NSDI 13)","author":"Lloyd W.","unstructured":"W. Lloyd, M. Freedman, M. Kaminsky, and D. Andersen. 2013. Stronger semantics for low-latency geo-replicated storage. In Proc. 10th USENIX Symp. on Networked Systems Design and Implementation (NSDI 13). 313--328."},{"key":"e_1_2_2_32_1","volume-title":"Preguicc a","author":"Lopes P.","year":"2019","unstructured":"P. Lopes, J. Sousa, V. Balegas, C. Ferreira, S. Duarte, A. Bieniusa, R. Rodrigues, and N. Preguicc a. 2019. Antidote SQL: Relaxed When Possible, Strict When Necessary. CoRR, Vol. abs\/1902.03576 (2019). arxiv: 1902.03576 http:\/\/arxiv.org\/abs\/1902.03576"},{"key":"e_1_2_2_33_1","volume-title":"Proc. 14th EuroSys Conf.","author":"Magrino T.","year":"2019","unstructured":"T. Magrino, J. Liu, N. Foster, J. Gehrke, and A. Myers. 2019. Efficient, consistent distributed computation with predictive treaties. In Proc. 14th EuroSys Conf. 2019. 1--16."},{"key":"e_1_2_2_34_1","unstructured":"Microsoft. 2021. Microsoft Azure CosmosDB Documentation - Conflict types and resolution policies when using multiple write regions. https:\/\/docs.microsoft.com\/en-us\/azure\/cosmos-db\/conflict-resolution-policies."},{"key":"e_1_2_2_35_1","volume-title":"IEEE Intl. Symp. on Workload Characterization. IEEE, 35--46","author":"Minh C.","unstructured":"C. Minh, J. Chung, C. Kozyrakis, and K. Olukotun. 2008. STAMP: Stanford transactional applications for multi-processing. In IEEE Intl. Symp. on Workload Characterization. IEEE, 35--46."},{"key":"e_1_2_2_36_1","volume-title":"Phase Reconciliation for Contended In-Memory Transactions. In 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14)","author":"Narula N.","unstructured":"N. Narula, C. Cutler, E. Kohler, and R. Morris. 2014. Phase Reconciliation for Contended In-Memory Transactions. In 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14). 511--524."},{"key":"e_1_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/s002360050048"},{"key":"e_1_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/7239.7265"},{"key":"e_1_2_2_39_1","volume-title":"Proceedings of the 1988 ACM SIGMOD international conference on Management of data","author":"Peinl P.","unstructured":"P. Peinl, A. Reuter, and H. Sammer. 1988. High contention in a stock trading database: a case study. In Proceedings of the 1988 ACM SIGMOD international conference on Management of data (Chicago, Illinois, USA) (SIGMOD '88). Association for Computing Machinery, New York, NY, USA, 260--268."},{"key":"e_1_2_2_40_1","unstructured":"Percona-Lab. 2022. Sysbench-tpcc source code. https:\/\/github.com\/Percona-Lab\/sysbench-tpcc\/."},{"key":"e_1_2_2_41_1","unstructured":"D. Ports and K. Grittner. 2012. Serializable Snapshot Isolation in PostgreSQL. (Aug. 2012). arxiv: 1208.4179 [cs.DB]"},{"key":"e_1_2_2_42_1","volume-title":"Proc. 1st Intl. Conf. on Mobile systems, applications and services. 43--56","author":"N. Preguicc","unstructured":"N. Preguicc a, J. Martins, M. Cunha, and H. Domingos. 2003. Reservations for conflict avoidance in a mobile database system. In Proc. 1st Intl. Conf. on Mobile systems, applications and services. 43--56."},{"key":"e_1_2_2_43_1","doi-asserted-by":"crossref","unstructured":"N. Preguicca C. Baquero F. Moura J. Martins R. Oliveira H. Domingos J. Pereira and S. Duarte. 2000. Mobile Transaction Management in Mobisnap. In Proc. East-European Conf. on Advances in Databases and Information Systems (with Intl. Conf. on Database Systems for Advanced Applications: Current Issues in Databases and Information Systems) (ADBIS-DASFAA '00). Springer-Verlag Berlin Heidelberg 379--386.","DOI":"10.1007\/3-540-44472-6_33"},{"key":"e_1_2_2_44_1","volume-title":"Proceedings of the 2022 International Conference on Management of Data. 2340--2352","author":"Prout A.","unstructured":"A. Prout, S. Wang, J. Victor, Z. Sun, Y. Li, J. Chen, E. Bergeron, E. Hanson, R. Walzer, R. Gomes, and N. Shamgunov. 2022. Cloud-Native Transactions and Analytics in SingleStore. In Proceedings of the 2022 International Conference on Management of Data. 2340--2352."},{"key":"e_1_2_2_45_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tbench.2022.100031"},{"key":"e_1_2_2_46_1","volume-title":"TPC-C -- The Standard Benchmark for Online transaction Processing (OLTP). The Benchmark Handbook","author":"Raab Francois","year":"1993","unstructured":"Francois Raab. 1993. TPC-C -- The Standard Benchmark for Online transaction Processing (OLTP). The Benchmark Handbook (1993)."},{"key":"e_1_2_2_47_1","unstructured":"Redis. 2020. Redis Blog - Diving into CRDTs. https:\/\/redis.com\/blog\/diving-into-crdts\/."},{"key":"e_1_2_2_48_1","volume-title":"Naming and synchronization in a decentralized computer system. Ph.,D. Dissertation","author":"Reed David Patrick","unstructured":"David Patrick Reed. 1978. Naming and synchronization in a decentralized computer system. Ph.,D. Dissertation. Massachusetts Institute of Technology."},{"key":"e_1_2_2_49_1","unstructured":"Riak. 2017a. Riak KV 2.2.3 Documentation - Conflict Resolution. https:\/\/docs.riak.com\/riak\/kv\/2.2.3\/developing\/usage\/conflict-resolution\/index.html."},{"key":"e_1_2_2_50_1","unstructured":"Riak. 2017b. Riak KV 2.2.3 Documentation - Data Types. https:\/\/docs.riak.com\/riak\/kv\/2.2.3\/learn\/concepts\/crdts."},{"key":"e_1_2_2_51_1","volume-title":"Symp. on Self-Stabilizing Systems. Springer, 386--400","author":"Shapiro M.","unstructured":"M. Shapiro, N. Pregui\u00e7a, C. Baquero, and M. Zawirski. 2011a. Conflict-free replicated data types. In Symp. on Self-Stabilizing Systems. Springer, 386--400."},{"key":"e_1_2_2_52_1","volume-title":"C. Baquero, and M. Zawirski.","author":"Shapiro M.","year":"2011","unstructured":"M. Shapiro, N. Preguic ca, C. Baquero, and M. Zawirski. 2011b. A comprehensive study of Convergent and Commutative Replicated Data Types. Research Report RR-7506. Inria -- Centre Paris-Rocquencourt ; INRIA. 50 pages. https:\/\/hal.inria.fr\/inria-00555588"},{"key":"e_1_2_2_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/211414.211427"},{"key":"e_1_2_2_54_1","volume-title":"Exo-leasing: Escrow synchronization for mobile clients of commodity storage servers. In ACM\/IFIP\/USENIX Intl. Conf. on Distributed Systems Platforms and Open Distributed Processing","author":"Shrira L.","year":"2008","unstructured":"L. Shrira, H. Tian, and D. Terry. 2008. Exo-leasing: Escrow synchronization for mobile clients of commodity storage servers. In ACM\/IFIP\/USENIX Intl. Conf. on Distributed Systems Platforms and Open Distributed Processing. Springer, 42--61."},{"key":"e_1_2_2_55_1","unstructured":"Dharma Shukla. 2018. Azure CosmosDB: Pushing the frontier of globally distributed databases. https:\/\/azure.microsoft.com\/en-us\/blog\/azure-cosmos-db-pushing-the-frontier-of-globally-distributed-databases\/."},{"key":"e_1_2_2_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043592"},{"key":"e_1_2_2_57_1","unstructured":"Dan Stocker. 2010. Delta Transactions. https:\/\/collectiveweb.wordpress.com\/2010\/03\/01\/delta-transactions\/."},{"key":"e_1_2_2_58_1","volume-title":"Proceedings of the 2020 ACM SIGMOD International Conference on Management of Data. 1493--1509","author":"Taft R.","unstructured":"R. Taft, I. Sharif, A. Matei, N. VanBenschoten, J. Lewis, T. Grieger, K. Niemi, A. Woods, A. Birzin, R. Poss, P. Bardea, A. Ranade, B. Darnell, B. Gruneir, L. Zhang J. Jaffray, and P. Mattis. 2020. CockroachDB: The resilient geo-distributed SQL database. In Proceedings of the 2020 ACM SIGMOD International Conference on Management of Data. 1493--1509."},{"key":"e_1_2_2_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/224056.224070"},{"key":"e_1_2_2_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/320071.320076"},{"key":"e_1_2_2_61_1","volume-title":"Proc. 24th ACM Symp. on Operating Systems Principles. 18--32","author":"Tu S.","unstructured":"S. Tu, W. Zheng, E. Kohler, B. Liskov, and S. Madden. 2013. Speedy transactions in multicore in-memory databases. In Proc. 24th ACM Symp. on Operating Systems Principles. 18--32."},{"key":"e_1_2_2_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/3035918.3056101"},{"key":"e_1_2_2_63_1","volume-title":"Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems - PODS '91","author":"Wang W.","unstructured":"W. Wang, M. Hsu, and E. Pinsky. 1991. Modeling hot spots in database systems. In Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems - PODS '91 (Denver, Colorado, United States). ACM Press, New York, New York, USA."},{"key":"e_1_2_2_64_1","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2016.2578319"},{"key":"e_1_2_2_65_1","unstructured":"Aleksey Yeschenko. 2014. The DataStax Blog - What's New in Cassandra 2.1: Better Implementation of Counters. https:\/\/www.datastax.com\/blog\/whats-new-cassandra-21-better-implementation-counters."},{"key":"e_1_2_2_66_1","volume-title":"Proc. 4th Symp. on Operating System Design & Implementation-Volume 4.","author":"Yu H.","unstructured":"H. Yu and A. Vahdat. 2000 a. Design and evaluation of a continuous consistency model for replicated services. In Proc. 4th Symp. on Operating System Design & Implementation-Volume 4."},{"key":"e_1_2_2_67_1","volume-title":"Proc. 26th Intl. Conf. on Very Large Databases (VLDB).","author":"Yu Ha.","unstructured":"Ha. Yu and A. Vahdat. 2000 b. Efficient Numerical Error Bounding for Replicated Network Services. In Proc. 26th Intl. Conf. on Very Large Databases (VLDB)."},{"key":"e_1_2_2_68_1","unstructured":"Xiangyao Yu et al. 2022. DBx1000 source code. https:\/\/github.com\/yxymit\/DBx1000\/."},{"key":"e_1_2_2_69_1","doi-asserted-by":"publisher","DOI":"10.14778\/2735508.2735511"},{"key":"e_1_2_2_70_1","volume-title":"Proc. 2016 Intl. Conf. on Management of Data. 1629--1642","author":"Yu X.","unstructured":"X. Yu, A. Pavlo, D. Sanchez, and S. Devadas. 2016. Tictoc: Time traveling optimistic concurrency control. In Proc. 2016 Intl. Conf. on Management of Data. 1629--1642."}],"container-title":["Proceedings of the ACM on Management of Data"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3588723","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3588723","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:47:35Z","timestamp":1750178855000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3588723"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,5,26]]},"references-count":70,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2023,5,26]]}},"alternative-id":["10.1145\/3588723"],"URL":"https:\/\/doi.org\/10.1145\/3588723","relation":{},"ISSN":["2836-6573"],"issn-type":[{"value":"2836-6573","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,5,26]]}}}