Separating policy from correctness in concurrency control design

摘要

AbstractThe 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 ‘simple’ 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‐microprocessor. 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‐level (non‐hierarchical) concurrenc