Skip to content
Matt Chung
  • Home
  • About me
  • Books
  • My Bookmarks
  • Photos
  • Posts
  • Speaking Engagements

Tag: invariant

Distributed Computing/Graduate School

Distributed Computing – Lesson 1 Summary

Posted on January 15, 2021 by Matt Chung

Summary Distributed systems are everywhere: social media, internet of things, single server systems — all part of larger, distributed systems. But how do you de...

Advanced Operating Systems/Notes

Operating System Transactions – Summary and notes

Posted on November 16, 2020 by Matt Chung

This post is a cliff notes version I scrapped together after reading the paper Operating Systems Transactions. Although I strongly recommend you read the paper ...

Computer Science/Questions/Thinking out loud

What does “invariant partial ordering” mean in Leslie Lamport’s “Time, Clocks, and the Ordering of Events in a Distributed System”

Posted on October 5, 2020 by Matt Chung

In the conclusion of Time, Clocks, and the Ordering of Events in a Distributed System, Leslie Lamport states that: the concept of “happening before”...

Subscribe

Featured Posts

2020 year in review
Free E-book: Advanced operating systems (AOS) refresher cour...
A letter from my future self: “Dear 2019 Matt”
3 tips on getting eye balls on your code review

Categories

Tags

acid aos project 1 atomicity barrier synchronization bomb breakpoints cache cache coherence carnegie checkpoint computer science concurrency deadlock distributed systems failure gdb inode invariant l1 cache lab learning series libvrt map reduce mellon memory coordinator memory virtualization omscs on call operations openmp page fault partial failures rpc semantics sequential consistency state tradeoffs trade offs transaction tree data structure two phase commit protocol two_phase_commit undo record virtual private number window of vulnerability working from home

Archives

Copyright 2020 Matt Chung (not sure how copyright even works but I see everyone else doing it ...)