Distributed Systems 3.3: Causality and happens-before

แชร์
ฝัง
  • เผยแพร่เมื่อ 1 ม.ค. 2025

ความคิดเห็น • 37

  • @JosiahWarren
    @JosiahWarren ปีที่แล้ว +2

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

  • @sociocritical
    @sociocritical 4 ปีที่แล้ว +18

    These lectures are great.
    Thank you very much.

  • @slowmotion2300
    @slowmotion2300 4 หลายเดือนก่อน

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

  • @mostinho7
    @mostinho7 ปีที่แล้ว +1

    3:00 why timestamps for event ordering might not always be reliable (clock skew can be greater than latency between nodes)
    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)

  • @_sudipidus_
    @_sudipidus_ 4 หลายเดือนก่อน +1

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

  • @correabuscar
    @correabuscar 2 ปีที่แล้ว

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

  • @mehdicharife2335
    @mehdicharife2335 2 ปีที่แล้ว +2

    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?

  • @ihsannuruliman4005
    @ihsannuruliman4005 ปีที่แล้ว +2

    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.

  • @violahnnn
    @violahnnn 3 ปีที่แล้ว +1

    These lectures are great😃

  • @Visualmotionpro
    @Visualmotionpro 2 ปีที่แล้ว

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

  • @junlonggao1872
    @junlonggao1872 3 ปีที่แล้ว +13

    Still cannot believe we can study these for free

    • @jordy4630
      @jordy4630 3 ปีที่แล้ว +2

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

    • @guwenbin1
      @guwenbin1 2 ปีที่แล้ว

      同意

  • @caseyyeow1649
    @caseyyeow1649 3 ปีที่แล้ว

    Your lectures are very enlightening, tqvm.

  • @nikolay6700
    @nikolay6700 4 ปีที่แล้ว +4

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

  • @andy_801
    @andy_801 2 ปีที่แล้ว

    great series! clear n informative

  • @ShubhamGuptaAmol
    @ShubhamGuptaAmol 8 หลายเดือนก่อน

    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?

  • @alirezarohami6138
    @alirezarohami6138 2 ปีที่แล้ว

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

  • @tiwaritejaswo
    @tiwaritejaswo ปีที่แล้ว

    Too good

  • @tangkhanhnguyen4543
    @tangkhanhnguyen4543 3 ปีที่แล้ว

    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
      @jordy4630 3 ปีที่แล้ว +3

      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.

  • @fb-gu2er
    @fb-gu2er 3 ปีที่แล้ว +1

    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
      @guitarist_covers 3 ปีที่แล้ว +5

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

    • @kleppmann
      @kleppmann  3 ปีที่แล้ว +13

      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
      @MrAR7 3 ปีที่แล้ว +2

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

    • @khaldrogo9451
      @khaldrogo9451 2 ปีที่แล้ว

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

  • @AlejandroDruetta
    @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
      @khaldrogo9451 2 ปีที่แล้ว +3

      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.

  • @khaldrogo9451
    @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
      @slowmotion2300 4 หลายเดือนก่อน

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

  • @bobblah78
    @bobblah78 3 ปีที่แล้ว +2

    The moon is made of cheese!

    • @techhackz2897
      @techhackz2897 2 ปีที่แล้ว +2

      no it is not!

    • @khaldrogo9451
      @khaldrogo9451 2 ปีที่แล้ว

      @@techhackz2897 yes it is, and I have proof!

    • @techhackz2897
      @techhackz2897 2 ปีที่แล้ว

      @@khaldrogo9451 prove it

  • @humanvegetable
    @humanvegetable 5 หลายเดือนก่อน +1

    Oh no it isn't!

    • @aazimakhtar7884
      @aazimakhtar7884 4 หลายเดือนก่อน +1

      The moon is made of cheese!