|
计算机科学 1994
An Integrated Scheduler
|
Abstract:
We present a new integrated scheduler which uses combination of non-two-phase locking and SGT to ensure that transactions are processed in a SR manner. It can produce non-two-phase locking history and allows the serialization graph to grow in any direction,so it has more concurrency than pure scheduler whether 2PL or SGT. We first outline 2PL and SGT protocol,then give an initial non-2PL protocol,and at last we give the whole integrated protocol. We also prove the correctness of the new protocol which preserves serializability and illustrate some properties of the new protocol.