PPT-Topic 6.3: Transactions and Concurrency Control

CSc 8320 Advanced Operating Systems Hari Uday Part 1 Basic Knowledge Originally Developed for Databases but can be applied to Distributed File management systems Motivation is to make use of clean and powerful atomic transactions semantics ACID. This motivated an ongoing shared effort by the standards committees to specify concurrent behaviour in the next versions of both languages They aim to provide strong guarantees for racefree programs together with new but subtle relaxedmemory atomic Sadhna Kumari. OUTLINE. ACID Properties. 2-Phase Commit Protocol. TPS. Serializability. Concurrency Control Protocols. Current Research. Future. References. ACID PROPERTIES. Atomicity: . A . transaction is . 1. Emmett . Witchel. The University of Texas At Austin. Q: When is everything happening?. A: Now. A: Concurrently. 2. Concurrency is central to CS. CS is at forefront of understanding concurrency. We operate near light speed. Seminar: Transaction Processing (Bachelor). SS 2009. Dennis . Stratmann. Outline. Goal and Overview. Examine Three Approaches to CC on RD:. 1. Predicate-Oriented Concurrency Control. 2. Relational Update Transactions. concurrency. . controll. Chapter. 13. “Distributed Systems: . Concepts and Design”. Coulouris. , . Dollimore. , Kindberg. Hanna. Björling, . Stina Fröjd & Liv Sundman. Transaction. A transaction is a point where there is interaction with the database. -. Bhavya. . Kilari. Dr. . Yanqing. Zhang, . CSc. 8320. PREVIEW. P. ART. I. : . I. NTRODUCTION. Transaction Processing System. [. R. Chow & T. Johnson, 1997. Main-Memory Workloads. Iraklis. . Psaroudakis. (EPFL). , Tobias Scheuer (SAP AG), Norman May (SAP AG), Anastasia Ailamaki (EPFL). 1. Scheduling for high concurrency. 2. Queries >> H/W contexts. Prof. O. Nierstrasz. Selected material © Magee and Kramer. © Oscar Nierstrasz. 2. Roadmap. Modelling Concurrency. Finite State Processes . Labelled Transition Systems. Java Threads. Thread creation. on Program . Analysis. Weizmann Institute . of Science. Guy Katz. and David . Harel. Overview. Program analysis: verification, repair, synthesis, . etc. Very desirable, but very difficult. State explosion. Median of a Triangle. A line segment connecting a vertex of a triangle to the midpoint of the opposite side. On a piece of graph paper, graph the triangle with vertices A(2, 1) B(5, 8) C(8, 3). . Find the midpoint of each side and label the midpoint opposite A “D”, opposite B “E”, opposite C “F”. . Database System Implementation CSE 507. Some slides adapted from . Navathe. et. Al. and . Silberchatz. et. Al. . Transaction Concept. A . transaction. . is a . unit . of program execution that accesses and possibly updates various data items.. Software & the Concurrency Revolution by Sutter & Larus ACM Queue Magazine, Sept. 2005 For CMPS 5433 - Halverson 1 In a Nutshell “The concurrency revolution is primarily a software revolution -. Bhavya. . Kilari. Dr. . Yanqing. Zhang, . CSc. 8320. PREVIEW. P. ART. I. : . I. NTRODUCTION. Transaction Processing System [. R. Chow & T. Johnson, 1997. Contents. Transaction. . control. Data Concurrency and Consistency in a Multiuser Environment. Locking. A Banking Transaction.               . Transactions - Rationale. Consider two clients booking airline tickets.