Distributed Systems 3.3: Causality and happens-before

Рет қаралды 41,544

Martin Kleppmann

Күн бұрын

Пікірлер: 37

@JosiahWarren Жыл бұрын

this was a god sent gem . I just binge watched your playlist

@sociocritical 4 жыл бұрын

These lectures are great. Thank you very much.

@_sudipidus_ 3 ай бұрын

11:10 wow that's the ultimate definition of concurrency right there

@slowmotion2300 3 ай бұрын

Thank you for this amazing free series, you are the best.

@mostinho7 Жыл бұрын

3:00 why timestamps for event ordering might not always be reliable 5:00 happens before relationship between events A happens before B if 1. A happens before B on the same node 2. A is the event that a message was sent and B is event that message was received on a different node 3. Transitive property: There exists event C such that A happens before C and C happens before B then A happens before B 8:10 what it means for events to be concurrent (can’t define a happens before relation between them, no partial order)

@ihsannuruliman4005 11 ай бұрын

The book is great but this video series explained 2x more clearly and I can resonate easily... maybe it's just because of the content type. Visual is still better to me.

@junlonggao1872 3 жыл бұрын

Still cannot believe we can study these for free

@jordy4630 2 жыл бұрын

It's a shame information isn't accessible to everyone. Just imagine if everyone had access to all other lectures.

@guwenbin1 2 жыл бұрын

同意

@correabuscar 2 жыл бұрын

11:11 that's great to know before reading Leslie Lamport's Time Clocks...

@mehdicharife2335 Жыл бұрын

So, if my understanding was correct, if an event happened after another by a period of time that is smaller than the time it takes for light to travel between the two locations wherein the two events happened, we can safely infer that the first event did not cause nor influenced the second?

@nikolay6700 4 жыл бұрын

Спасибо. Отличная лекция!

@Visualmotionpro 2 жыл бұрын

You are a hero! Thank you a lot for your awesome lectures!

@caseyyeow1649 2 жыл бұрын

Your lectures are very enlightening, tqvm.

@violahnnn 2 жыл бұрын

These lectures are great😃

@andy_801 2 жыл бұрын

great series! clear n informative

@alirezarohami6138 2 жыл бұрын

Thank you, Matrin. You're just awesome. (But since you mentioned relativity... I was waiting for the rabbit, i.e. entanglement)

@tiwaritejaswo Жыл бұрын

Too good

@ShubhamGuptaAmol 6 ай бұрын

If we assume that clocks for user A and B have been synchronized via NTP, how can there be any skew/time difference b/w them?

@fb-gu2er 3 жыл бұрын

Great lectures. I'm reading the book, "Designing Data-Intensive Applications". How much of a relation is there between these lectures and the book?

@guitarist_covers 3 жыл бұрын

The book goes more in-depth. I'd go through the videos first, and then check the book later.

@kleppmann 3 жыл бұрын

There is a small amount of overlap. The book is mostly about databases, and only covers a bit on distributed systems. This course goes deeper on distributed systems (especially on algorithms), but doesn't really go into databases.

@MrAR7 3 жыл бұрын

@@kleppmann which can be the reference book that matches close to the course?

@khaldrogo9451 2 жыл бұрын

@@MrAR7 He mentioned that in the very beginning. There are a few books to choose from.

@tangkhanhnguyen4543 2 жыл бұрын

Why do we use monotonic clock timestamps to compare 2 times cross difference nodes and we can ensure that t2 is greater than t1? Please correct me if I'm wrong. Thanks for the nice lecture

@jordy4630 2 жыл бұрын

Monotonic is not a replacement for atomic clock. It is only useful in one node for measuring duration and solves the problem of clock synchronisation. Between different nodes you still have the problem. You don't know the clock skew that each node has or when was the last time that they did clock synchronisation (even knowing that doesn't help). Watch the clock synchronisation video.

@khaldrogo9451 2 жыл бұрын

1. What is this symbol called? 2. If a -> b, then we can't always say that 100% a (weird symbol) b right? or is that a wrong assumption to make. Essentially, is the weird symbol always 100% implying causality or is it it implying a maybe causality?

@slowmotion2300 3 ай бұрын

Precedes symbol. The symbol doesn't necessarily tell us about the causality, it's used to represent order of events.

@AlejandroDruetta 3 жыл бұрын

I have a doubt. At the end of the lecture, the logic conditional should not be: if a causes b, then does a happens before b?

@khaldrogo9451 2 жыл бұрын

It must be the case. If a causes b, then it must be that a happened before b. Think of it this way, if a message is received (b) by a node, it must be that the message was created (a) before it had to be received (b). Otherwise, there would be nothing to receive in case if it was never created.