17 - Timestamp-Ordering Concurrency Control (CMU Intro to Database Systems / Fall 2022)

  Рет қаралды 9,297

CMU Database Group

CMU Database Group

Күн бұрын

Пікірлер: 13
@TheKaratekidd32v
@TheKaratekidd32v Жыл бұрын
Both the 'notes' and 'slides' links in the video description point at the slides. Notes can be found here: 15445.courses.cs.cmu.edu/fall2022/notes/17-timestampordering.pdf
@yehanzhang2745
@yehanzhang2745 2 жыл бұрын
The 2 invariants of basic T/O can be summarized as "You can neither foresee the future (as object with a larger timestamp is something in the future), nor change things that happened in the past (current txn with a smaller timestamp stand in the past)"
@jennwng
@jennwng Жыл бұрын
At 1:10:27, it says "there isn't anything in the private workspace that I missed". Why? Wouldn't T2 need to check T1's private workspace, and notice the timestamp there is infinity, which is in the future than it's own timestamp (0)? In which case, T2 should realize it has missed something, and abort itself?
@김경환-p2z3c
@김경환-p2z3c Жыл бұрын
1:10:02 For schedule shown in slide, T2 did vaildate phase before T1 does. But why do we have to check T2 when T1 does forward vaildation?
@jrbytes
@jrbytes 2 жыл бұрын
I came to the lecture series because I was a bit rusty on DBMS internals, but stayed for the DJ Mooshoo drama.
@CyberSoundStation
@CyberSoundStation Жыл бұрын
In OCC Forward Validation step #3, can someone please explain why we need this condition - WriteSet(Ti) intersection WriteSet(Tj) = Empty ?
@YaphtersW
@YaphtersW Жыл бұрын
My understanding is it allows Ti and Tj to do the write phase at the same time (unlike step #2), so Tj might finish the write phase earlier than Ti. If this happens and their write sets intersect, Ti might overwrite Tj's write, which is incorrect as Ti's ts is smaller
@nahzor
@nahzor Жыл бұрын
Would the thomas write rule fail if the two transactions were incrementing a counter A? T1 is allowed to commit without doing the write. So A will be 1 after T1 and T2 finish. But shouldn’t A be 2 to be correct? Assuming A is 0 at the beginning.
@hatxu4062
@hatxu4062 6 ай бұрын
In your case T1 and T2 both read the initial value of A, so R-TS(A) = 2. When T1 wants to write A, TS(T1) < R-TS(A), so T1 has to abort even with Thomas write rule
@xinyuzhang121
@xinyuzhang121 2 жыл бұрын
Great lecture
@orangeman_2125
@orangeman_2125 Ай бұрын
badass intro
@WeiHu
@WeiHu 2 жыл бұрын
38:30 Why does T1 need to abort? Can't T1 read the local copy of A?
@solokyo_
@solokyo_ Жыл бұрын
I think It depends on your isolation level, if it is read committed or higher then T1 has to abort.
Sigma Kid Mistake #funny #sigma
00:17
CRAZY GREAPA
Рет қаралды 30 МЛН
It’s all not real
00:15
V.A. show / Магика
Рет қаралды 20 МЛН
Гениальное изобретение из обычного стаканчика!
00:31
Лютая физика | Олимпиадная физика
Рет қаралды 4,8 МЛН
UFC 310 : Рахмонов VS Мачадо Гэрри
05:00
Setanta Sports UFC
Рет қаралды 1,2 МЛН
16 - Concurrency Control Theory (CMU Databases Systems / Fall 2019)
1:23:08
CMU Database Group
Рет қаралды 23 М.
The Rise of Data Streaming Platforms
1:10:47
Jignesh Patel
Рет қаралды 540
16 - Two-Phase Locking in Databases (CMU Intro to Database Systems / Fall 2022)
1:22:00
Lecture 25 - Main Memory and DRAM Basics - Carnegie Mellon - Computer Architecture 2013 - Onur Mutlu
1:35:16
20 - Database Recovery with ARIES (CMU Intro to Database Systems / Fall 2022)
1:24:26
09 - Concurrent Indexes (CMU Intro to Database Systems / Fall 2022)
1:22:05
CMU Database Group
Рет қаралды 11 М.
Sigma Kid Mistake #funny #sigma
00:17
CRAZY GREAPA
Рет қаралды 30 МЛН