A programmable concurrency control service for CORBA

Concurrency is a paramount concern in a real-time system, where a trade-off exists between high availability on the one hand and application consistency on the other. We argue that a traditional concurrency control service (CCS) based on a predefined set of lock modes may be too confining as it does not allow the programmer to set their own concurrency level tailored to application semantics. We propose a programmable concurrency control service (PCCS) that addresses precisely the problem mentioned above. The PCCS is defined as a CORBA Object Service and is a smooth extension of the standard OMG concurrency control service. Compared with OMG CCS, the PCCS better responds to real-time demands by allowing the specification of the number and conflict-level of lock modes.