• Home
  • About
  • @uvdn7
  • Search
Menu
Topic 1 Post

state machine

Page 1 of 1

Every Computer System is a State Machine -- TLA+ series (1)

By Lu Pan in tla+ on 05 Jun 2020

This is the first post of a series of posts I plan to make about TLA+. What is a computer First, let's take a look at a very philosophical question -- "what is a computer?". I am writing this post on my computer, which has 32 GB of…

Page 1 of 1

Topics

c++: 23 distributed system: 13 database: 7 paxos: 5 cache: 4 folly: 4 consistency: 4 2pc: 3 exception: 3 consensus: 2 transaction: 2 assembly: 2 spanner: 2 time: 2 lock: 2 hardware: 2 cpu: 1 debug: 1 gdb: 1 boost: 1 version: 1 thread-safe: 1 re-entrant: 1 glibc: 1 clock: 1 commentary: 1 tla+: 1 state machine: 1 breadboard: 1 cross shard transaction: 1 HLC: 1 atomic: 1 x86: 1 cmake: 1 linux: 1 btree: 1 calvin: 1 efficiency: 1 myrocks: 1 mysql: 1 coroutine: 1 quorum: 1 FoundationDB: 1 computer science: 1 DNS: 1 fiber: 1 future: 1 async: 1 electronics: 1 thermostat: 1 hvac: 1 abi: 1 operating system: 1 electricity: 1 empathy: 1 habit: 1 queueing-theory: 1 latency: 1 feedback-loops: 1 invalidation: 1
Lu's blog © 2022 Published with Ghost • Theme Attila • System theme