登入選單
返回Google圖書搜尋
Context-specific Synchronization for Atomic Data Types
註釋Furthermore, the protocol is dynamic in the sense that the context-specific information is also used to determine conflict relations among concurrent operations on the atomic data types. Another extension is the use of ordered shared relationship between locks to execute conflicting operations concurrently. Thus, the execution of operations is never delayed in the proposed protocol, however, the commitment of the transactions invoking these operations may be delayed due to the restriction imposed by the ordered shared relationship between locks. We also demonstrate that all the histories accepted by a two phase locking protocol using either DU or UIP are also accepted by the proposed protocol."