CoAgent: Concurrency Control for Multi-Agent Systems
Open accessAbstract
Multi-agent LLM systems -- coding agents, devops agents, document agents -- now routinely run several agents in parallel against the same git tree, Kubernetes cluster, or document. As soon as two of them mutate shared state, they enter the regime classical concurrency control has studied for decades, but classical mechanisms fit LLM agents poorly. A single agent transaction spans minutes of inference, read sets are broad and opaque rather than statically inferable, and the live state agents act on admits neither fork nor buffer, so writes take effect the moment they execute. Locks block long inference intervals; OCC abort-and-retry discards minutes of work on every conflict. This paper builds concurrency control on a capability classical transactions lack: the LLM inside each agent can judge whether a conflicting write invalidates its plan, and can repair exactly the operations that depended on it. Control therefore turns advisory: the runtime informs, the agent repairs. Our protocol, MTPO (Monotonic Trajectory Pre-Order), fixes a serialization order at launch, serves each read the order-filtered value, and applies writes speculatively in place; a one-way notification asks an affected reader to re-judge and patch its plan, while the framework mechanically undoes and reorders misplaced writes through the saga-style inverse each tool registers in advance. At quiescence the run is serializable in the pre-decided order. We realize MTPO as CoAgent, toolcall middleware whose privileged ToolSmith grows footprint-declared, undoable tools online. On ten contended workloads, CoAgent stays within 5\% of serial correctness at a $1.4\times$ speedup and near-serial token cost, where 2PL and OCC surrender nearly all concurrency gains; on a bash-only target system, it grows a 25-tool library online and lifts the task pass rate from 45/71 to 63/71 at $0.80\times$ the time and $0.86\times$ the cost.
The claims and statistics of this paper haven’t been checked yet.
Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.
Integrity signals
Registry
Cites
Statistics
Claims the paper makes
The claims and statistics of this paper haven’t been checked yet.
Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.
Claims other papers make about this one
Each is checked against this paper’s own text: does it say what the citing paper says it does?
CoAgent takes an optimistic runtime approach: it fixes a serialization order, notifies affected agents, and relies on agent judgment plus compensating operations to repair stale interactions.
“CoAgent [6] takes an optimistic runtime approach: it fixes a serialization order, notifies affected agents, and relies on agent judgment plus compensating operations to repair stale interactions.”
From Claim Plane: Enforceable Change Intents and Dynamic Scope for Parallel Coding Agents (2026) · cites this paper as [6]
Self-check
Percentages, sums and reported differences re-computed from the paper’s own numbers.
The self-check needs the paper’s full text.
Cites
Multi-agent Collaboration with State Management
Liu, M., Chen, T., Xu, Z., Jiang, X., & Dong, Y. (2026) · arXiv · cited 1×
“…sets at the tool surface and validates at commit: S-Bus [25] rebuilds per-agent read sets from HTTP traffic and machine-checks a partial isolation property, yet measures 74% of reads on its SWE-bench workload as invisible to that surface; STORM [30] validates file-version snapshots at write time.”
CodeCRDT: Observation-Driven Coordination for Multi-Agent LLM Code Generation
Pugachev, S. (2025) · arXiv · doi:10.48550/arxiv.2510.18893 · cited 1×
“A second route ports one classical mechanism: conservative 2PL [9], adaptive locking for SQL agents [54], CRDTs [38], MESI invalidation [36].”
Flagged first, then by citations
Research works printed but not linked: 38
- Hal Berenson, Philip A. Bernstein, Jim Gray, Jim Melton, Elizabeth J. O'Neil, and Patrick E. O'Neil. 1995. A Critique of ANSI SQL Isolation Levels. In Proceedings of the 1995 ACM SIGMOD International Confer- ence on Management of Data. ACM Press, 1-10. doi:10.1145/223784. 223785 · DOI · Paper page
- Philip A. Bernstein and Nathan Goodman. 1983. Multiversion Con- currency Control-Theory and Algorithms. ACM Transactions on Database Systems 8, 4 (1983).
- Philip A. Bernstein, Vassos Hadzilacos, and Nathan Goodman. 1987. Concurrency Control and Recovery in Database Systems. Addison- Wesley.
- Umut Çalıkyılmaz, Nitin Nayak, Jinghua Groppe, and Sven Groppe. 2025. OptiMA: A Transaction-Based Framework with Throughput Optimization for Very Complex Multi-Agent Systems. arXiv:2511.03761 [cs.MA] · arXiv
- Mert Cemri, Melissa Z. Pan, Shuyi Yang, Lakshya A. Agrawal, Bhavya Chopra, Rishabh Tiwari, Kurt Keutzer, Aditya Parameswaran, Dan Klein, Kannan Ramchandran, Matei Zaharia, Joseph E. Gonzalez, and Ion Stoica. 2025. Why Do Multi-Agent LLM Systems Fail?. In Ad- vances in Neural Information Processing Systems (NeurIPS), Datasets and Benchmarks Track.
- Edward Y. Chang and Longling Geng. 2025. SagaLLM: Context Man- agement, Validation, and Transaction Guarantees for Multi-Agent LLM Planning. Proceedings of the VLDB Endowment 18, 12 (2025), 4874-4886.
- Yinfang Chen, Manish Shetty, Gagan Somashekar, Minghua Ma, Yo- gesh Simmhan, Jonathan Mace, Chetan Bansal, Rujia Wang, and Sara- van Rajmohan. 2025. AIOpsLab: A Holistic Framework to Evaluate AI Agents for Enabling Autonomous Clouds. arXiv:2501.06706 [cs.SE] · arXiv
- James C. Corbett, Jeffrey Dean, Michael Epstein, Andrew Fikes, Christopher Frost, J. J. Furman, Sanjay Ghemawat, Andrey Gubarev, Christopher Heiser, Peter Hochschild, et al. 2013. Spanner: Google's Globally Distributed Database. ACM Transactions on Computer Sys- tems 31, 3 (2013), 8:1-8:22.
- Clarence A. Ellis and Simon J. Gibbs. 1989. Concurrency Control in Groupware Systems. In Proceedings of the 1989 ACM SIGMOD Inter- national Conference on Management of Data. 399-407.
- Kapali P. Eswaran, Jim N. Gray, Raymond A. Lorie, and Irving L. Traiger. 1976. The Notions of Consistency and Predicate Locks in a Database System. Commun. ACM 19, 11 (1976), 624-633.
- Roy T. Fielding and Julian Reschke. 2014. Hypertext Transfer Protocol (HTTP/1.1): Semantics and Content. RFC 7231. doi:10.17487/RFC7231 · DOI
- Hector Garcia-Molina. 1983. Using Semantic Knowledge for Trans- action Processing in a Distributed Database. ACM Transactions on Database Systems 8, 2 (1983), 186-213.
- Hector Garcia-Molina and Kenneth Salem. 1987. Sagas. In Proceedings of the 1987 ACM SIGMOD International Conference on Management of Data. 249-259.
- John L. Hennessy and David A. Patterson. 2019. Computer Architec- ture: A Quantitative Approach (6th ed.). Morgan Kaufmann.
- Maurice Herlihy. 1990. Apologizing Versus Asking Permission: Opti- mistic Concurrency Control for Abstract Data Types. ACM Transac- tions on Database Systems 15, 1 (1990), 96-124.
- Sirui Hong, Mingchen Zhuge, Jonathan Chen, Xiawu Zheng, Yuheng Cheng, Ceyao Zhang, Jinlin Wang, Zili Wang, Steven Ka Shing Yau, Zijuan Lin, Liyang Zhou, Chenyu Ran, Lingfeng Xiao, Chenglin Wu, and Jürgen Schmidhuber. 2024. MetaGPT: Meta Programming for a Multi-Agent Collaborative Framework. In ICLR.
- Sajjad Khan. 2026. S-Bus: Automatic Read-Set Reconstruction for Multi-Agent LLM State Coordination. arXiv:2605.17076 [cs.LG] · arXiv
- H. T. Kung and John T. Robinson. 1981. On Optimistic Methods for Concurrency Control. ACM Transactions on Database Systems 6, 2 (1981).
- Woosuk Kwon, Zhuohan Li, Siyuan Zhuang, Ying Sheng, Lianmin Zheng, Cody Hao Yu, Joseph E. Gonzalez, Hao Zhang, and Ion Sto- ica. 2023. Efficient Memory Management for Large Language Model Serving with PagedAttention. In SOSP.
- Cheng Li, Daniel Porto, Allen Clement, Johannes Gehrke, Nuno Preguiça, and Rodrigo Rodrigues. 2012. Making Geo-Replicated Sys- tems Fast as Possible, Consistent when Necessary. In OSDI.
- Bardia Mohammadi, Nearchos Potamitis, Lars Klein, Akhil Arora, and Laurent Bindschaedler. 2026. Atomix: Timely, Transactional Tool Use for Reliable Agentic Workflows. arXiv:2602.14849 [cs.LG] · arXiv
- Shuai Mu, Yang Cui, Yang Zhang, Wyatt Lloyd, and Jinyang Li. 2014. Extracting More Concurrency from Distributed Transactions. In 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI '14). 479-494.
- Vladyslav Parakhin. 2026. Token Coherence: Adapting MESI Cache Protocols to Minimize Synchronization Overhead in Multi-Agent LLM Systems. arXiv:2603.15183 [cs.DC] · arXiv
- Shishir G. Patil, Tianjun Zhang, Vivian Fang, Noppapon C., Roy Huang, Aaron Hao, Martin Casado, Joseph E. Gonzalez, Raluca Ada Popa, and Ion Stoica. 2024. GoEX: Perspectives and Designs Towards a Runtime for Autonomous LLM Applications. arXiv:2404.06921 [cs.SE] · arXiv
- Chen Qian, Wei Liu, Hongzhang Liu, Nuo Chen, Yufan Dang, Jiahao Li, Cheng Yang, Weize Chen, Yusheng Su, Xin Cong, Juyuan Xu, Da- hai Li, Zhiyuan Liu, and Maosong Sun. 2024. ChatDev: Communica- tive Agents for Software Development. In ACL.
- David P. Reed. 1978. Naming and Synchronization in a Decentral- ized Computer System. Ph. D. Dissertation. Massachusetts Institute of Technology.
- Stuart Russell and Peter Norvig. 2021. Artificial Intelligence: A Modern Approach (4th ed.). Pearson.
- Olly Styles, Sam Miller, Patricio Cerda-Mardini, Tanaya Guha, Victor Sanchez, and Bertie Vidgen. 2024. WorkBench: A Benchmark Dataset for Agents in a Realistic Workplace Setting. arXiv:2405.00823 [cs.AI] · arXiv
- Douglas B. Terry, Marvin M. Theimer, Karin Petersen, Alan J. Demers, Mike J. Spreitzer, and Carl H. Hauser. 1995. Managing Update Con- flicts in Bayou, a Weakly Connected Replicated Storage System. In SOSP.
- Robert H. Thomas. 1979. A Majority Consensus Approach to Con- currency Control for Multiple Copy Databases. ACM Transactions on Database Systems 4, 2 (1979), 180-209. doi:10.1145/320071.320076 · DOI
- Alexander Thomson, Thaddeus Diamond, Shu-Chun Weng, Kun Ren, Philip Shao, and Daniel J. Abadi. 2012. Calvin: Fast Distributed Trans- actions for Partitioned Database Systems. In Proceedings of the 2012 ACM SIGMOD International Conference on Management of Data. 1-12.
- William E. Weihl. 1988. Commutativity-Based Concurrency Control for Abstract Data Types. IEEE Trans. Comput. 37, 12 (1988), 1488- 1505.
- Michael Wooldridge. 2009. An Introduction to MultiAgent Systems (2nd ed.). John Wiley & Sons.
- Qingyun Wu, Gagan Bansal, Jieyu Zhang, Yiran Wu, Beibin Li, Erkang Zhu, Li Jiang, Xiaoyun Zhang, Shaokun Zhang, Jiale Liu, Ahmed Hassan Awadallah, Ryen W. White, Doug Burger, and Chi Wang. 2023. AutoGen: Enabling Next-Gen LLM Applications via Multi-Agent Conversation. arXiv:2308.08155 [cs.AI] · arXiv
- John Yang, Carlos E. Jimenez, Alexander Wettig, Kilian Lieret, Shunyu Yao, Karthik Narasimhan, and Ofir Press. 2024. SWE-agent: Agent- Computer Interfaces Enable Automated Software Engineering. In NeurIPS.
- Shunyu Yao, Jeffrey Zhao, Dian Yu, Nan Du, Izhak Shafran, Karthik R. Narasimhan, and Yuan Cao. 2023. ReAct: Synergizing Reasoning and Acting in Language Models. In The Eleventh International Conference on Learning Representations, ICLR 2023, Kigali, Rwanda, May 1-5, 2023. OpenReview.net. https://openreview.net/forum?id=WE_vluYUL-X
- Lianmin Zheng, Liangsheng Yin, Zhiqiang Xie, Chuyue Sun, Jeff Huang, Cody Hao Yu, Shiyi Cao, Christos Kozyrakis, Ion Stoica, Joseph E. Gonzalez, Clark Barrett, and Ying Sheng. 2024. SGLang: Effi- cient Execution of Structured Language Model Programs. In NeurIPS.
- Weixing Zhou, Zhiyou Wang, Zeshun Peng, Hetian Chen, Yanfeng Zhang, and Ge Yu. 2026. ATCC: Adaptive Concurrency Control for Unforeseen Agentic Transactions. arXiv:2603.13906 [cs.DB] · arXiv
Cited by
Sorted by citations
Claim Plane: Enforceable Change Intents and Dynamic Scope for Parallel Coding Agents
Nikolaev, M. (2026) · arXiv · Cited by 1 · see citing works
- Authors
- Lyu, H., Zhang, D., Wu, M., Wei, X., & Chen, H.
- Affiliations
- Shanghai Jiao Tong University (CN)
- Venue
- arXiv
- Publisher
- arXiv
- Published
- 2026
- ISSN
- 2331-8422 (ISSN-L)
- arXiv
- 2606.15376
- OpenAlex
- W7164896787
- Cited by
- 0
- References
- 2
- Type
- posted content
- Language
- en
- Open access
- green
- arxiv.org
- Locations
- arXiv (Cornell University) (submittedVersion)
- arXiv (Cornell University)
- Topics
- Physical Sciences › Computer Science › Computer Networks and Communications › Distributed systems and fault tolerance
- Physical Sciences › Computer Science › Computer Networks and Communications › Advanced Database Systems and Queries
- Physical Sciences › Computer Science › Computer Networks and Communications › Software System Performance and Reliability
- Keywords
- concurrency control, multi-agent systems, LLM agents, shared state, plan repair, Saga pattern, serializability, co-agents
About these checks
Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.
Statistics and arithmetic are recomputed, not judged.
Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.
What counts as a claim ›How we measure confidence ›How we check this ›
Are you an author, or do you see a problem with this page? Request a review