{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,19]],"date-time":"2023-10-19T23:40:37Z","timestamp":1697758837336},"reference-count":21,"publisher":"Wiley","issue":"9","license":[{"start":{"date-parts":[[2006,10,30]],"date-time":"2006-10-30T00:00:00Z","timestamp":1162166400000},"content-version":"vor","delay-in-days":8094,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Pract Exp"],"published-print":{"date-parts":[[1984,9]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>The designer of a concurrency control is currently faced with a confusing situation: there has been a proliferation of proposed methods (in fact, it will be shown here that even in the \u2018simple\u2019 centralized case there are infinitely many methods), and although there has been some analysis of a few alternative methods using simulation and analytic models, it is usually impossible to accurately predict some of the parameters required by these models prior to the development of a system. Furthermore, over the lifetime of a system some parameters will change, possibly radically, due to changes in system usage, the replacement or addition of processors, memories, and I\/O devices, the development of new applications, etc. Here, a practical approach to this problem is presented: separating policy from correctness in the design of the concurrency control. This technique was successfully used in the development of a transaction processing system for the Cm* multi\u2010microprocessor. As an illustration of this approach, the design of the concurrency control of this system is described in detail. This design should apply directly to any centralized single\u2010level (non\u2010hierarchical) concurrency control.<\/jats:p>","DOI":"10.1002\/spe.4380140904","type":"journal-article","created":{"date-parts":[[2006,11,18]],"date-time":"2006-11-18T04:03:18Z","timestamp":1163822598000},"page":"827-844","source":"Crossref","is-referenced-by-count":2,"title":["Separating policy from correctness in concurrency control design"],"prefix":"10.1002","volume":"14","author":[{"given":"John T.","family":"Robinson","sequence":"first","affiliation":[]}],"member":"311","published-online":{"date-parts":[[2006,10,30]]},"reference":[{"key":"e_1_2_1_2_2","doi-asserted-by":"publisher","DOI":"10.1145\/360363.360369"},{"key":"e_1_2_1_3_2","doi-asserted-by":"publisher","DOI":"10.1145\/356842.356846"},{"key":"e_1_2_1_4_2","unstructured":"H.Garcia\u2010Molina \u2018Performance of update algorithms for replicated data in a distributed database\u2019 Ph.D. Thesis(STAN\u2010CS\u201079\u2010744) Department of Computer Science Stanford University June1979."},{"key":"e_1_2_1_5_2","doi-asserted-by":"publisher","DOI":"10.1145\/359015.359021"},{"key":"e_1_2_1_6_2","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1980.1675587"},{"key":"e_1_2_1_7_2","doi-asserted-by":"crossref","unstructured":"W. K.Lin \u2018Performance evaluation of two concurrency control mechanisms in a distributed database system\u2019 Proc. ACM\u2010SIGMOD 1981 Int. Conf. Management of Data 1981 pp.84\u201392.","DOI":"10.1145\/582318.582331"},{"key":"e_1_2_1_8_2","unstructured":"B. I.Galler \u2018Concurrency control performance issues\u2019 Ph.D. Thesis Department of Computer Science University of Toronto 1982."},{"key":"e_1_2_1_9_2","unstructured":"R.AgrawalandD. J.DeWitt \u2018Integrated concurrency control and recovery mechanisms: design and performance evaluation\u2019 Report 497 Computer Sciences Dept. University of Wisconsin\u2010Madison Madison WI February1983."},{"key":"e_1_2_1_10_2","doi-asserted-by":"publisher","DOI":"10.1145\/319566.319567"},{"key":"e_1_2_1_11_2","unstructured":"J. T.Robinson \u2018Experiments with transaction processing on a multi\u2010microprocessor\u2019 Report RC 9725T. J. Watson Research Center Yorktown Heights NY December1982."},{"key":"e_1_2_1_12_2","doi-asserted-by":"crossref","unstructured":"G.Lausen \u2018Concurrency control in database systems: a step towards the integration of optimistic methods and locking\u2019 Proc. ACM '82 Annual Conference ACM 25\u201327 October1982 pp.64\u201368.","DOI":"10.1145\/800174.809759"},{"key":"e_1_2_1_13_2","unstructured":"C. F.Everhart Personal communication May1979."},{"key":"e_1_2_1_14_2","doi-asserted-by":"publisher","DOI":"10.1145\/1499402.1499515"},{"key":"e_1_2_1_15_2","doi-asserted-by":"publisher","DOI":"10.1145\/358818.358823"},{"key":"e_1_2_1_16_2","unstructured":"D. J.DuBourdieu Implementation of distributed transactions Proc. 6th Berkeley Workshop on Distributed Data Management and Computer Networks Lawrence Berkeley Laboratory University of California Berkeley February 16\u2013191982."},{"key":"e_1_2_1_17_2","doi-asserted-by":"publisher","DOI":"10.1145\/362919.362936"},{"key":"e_1_2_1_18_2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-06950-X"},{"key":"e_1_2_1_19_2","unstructured":"J. T.Robinson \u2018Design of concurrency controls for transaction processing systems\u2019 Ph.D. Thesis CMU\u2010CS\u201082\u2013114 Carnegie\u2010Mellon University Pittsburgh PA 2 April1982."},{"key":"e_1_2_1_20_2","doi-asserted-by":"crossref","unstructured":"M. J.Carey \u2018An abstract model of database concurrency control\u2019 Proc. ACM\u2010SIGMOD 1983 Int. Conf. Management of Data 1983 pp.97\u2013107.","DOI":"10.1145\/971695.582211"},{"key":"e_1_2_1_21_2","doi-asserted-by":"publisher","DOI":"10.1145\/320251.320260"},{"key":"e_1_2_1_22_2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-08755-9_9"}],"container-title":["Software: Practice and Experience"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fspe.4380140904","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/spe.4380140904","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,19]],"date-time":"2023-10-19T23:06:27Z","timestamp":1697756787000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/spe.4380140904"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984,9]]},"references-count":21,"journal-issue":{"issue":"9","published-print":{"date-parts":[[1984,9]]}},"alternative-id":["10.1002\/spe.4380140904"],"URL":"https:\/\/doi.org\/10.1002\/spe.4380140904","archive":["Portico"],"relation":{},"ISSN":["0038-0644","1097-024X"],"issn-type":[{"value":"0038-0644","type":"print"},{"value":"1097-024X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1984,9]]}}}