1 / 8

Merger of Semi-Committed Transactions From Several Partitions Combine DCG, DCG 2 , --- DCG N

Merger of Semi-Committed Transactions From Several Partitions Combine DCG, DCG 2 , --- DCG N (minimize rollback if cycle exists) NP-complete (Davidson, Princeton) (minimum feedback vertex set problem) Consider each DCG as a single transaction Check acyclicity of this N node graph

veata
Download Presentation

Merger of Semi-Committed Transactions From Several Partitions Combine DCG, DCG 2 , --- DCG N

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. Merger of Semi-Committed Transactions From Several Partitions Combine DCG, DCG2, --- DCGN (minimize rollback if cycle exists) NP-complete (Davidson, Princeton) (minimum feedback vertex set problem) Consider each DCG as a single transaction Check acyclicity of this N node graph (too optimistic!) Assign a weight to transactions in each partition Consider DCG1 with maximum weight Select transactions from other DCG’s that do not create cycles Optimistic Concurrency Control

  2. Two Choices Abort transactions who create cycles Consider each transaction that creates cycle one at a time. Abort transactions which optimize rollback (complexity O(N3)) Minimization not necessarily optimal globally Optimistic Concurrency Control

  3. Semantics of Transaction Computation Commutative Give $5000 bonus to every employee Commutativity can be predetermined or recognized dynamically Maintain log (REDO/UNDO) of commutative and noncommutative actions Partially rollback transactions to their first noncommutative action Optimistic Concurrency Control

  4. Compensating Transactions Commit transactions in all partitions Break cycle by removing semi-committed transactions Otherwise abort transactions that are invisible to the environment (no incident edges) Pay the price of commiting such transactions and issue compensating transactions Recomputing Cost Size of readset/writeset Computation complexity Optimistic Concurrency Control

  5. Communication System Failure Network Partition Lost Message Message order messed up Network Partition (panel in the afternoon) Semicommit in all partitions and commit on reconnection (updates available to user with warning) Commit transactions if primary copy toke for all entities within the partition Consider commutative actions Compensating transaction Optimistic Concurrency Control

  6. Three Alternatives after Partition • Allow each group of nodes to process new transactions • Allow at most one group to process new transactions • Halt all transaction processing Alternative A Database values will diverge database inconsistent when partition is eliminated Undo some transactions detailed log expensive Integrate the inconsistent values item I has values v1, v2 new value = v1 + v2 – value of i at partition Optimistic Concurrency Control

  7. Alternative B How to guarantee only one group processes transactions assign a number of points to each node partition with majority of points proceeds Both partition and node failure cases are equivalent in the sense in both situations we have a group of nodes which know that no other node outside the group may process transactions What if  no group with a majority? should we allow transactions to proceed? commit point? delay the commit decision? force transaction to commit or cancel? Optimistic Concurrency Control

  8. Plane B Plane A End Partition Rollback Rollback Plane C Partition A Partition B Partition C Begin Partition Planes of Serializability Optimistic Concurrency Control

More Related