• About
• kekeho
• Obsidianに移行しました
• 大事にしたいお言葉
• Consistent Prefix Reads
• Potato/Ferrari Problem
• Client-centric consistency
• 論理時計
• Total Order Broadcast
• CryptoKit/Security
• Fairness
• Peterson's algorithm
• livelock
• Deadlock-freedom
• Program correctness
• Linearizable
• Consistency
• Mutex
• Starvation-freedom
• Deadlock