サクサク読めて、アプリ限定の機能も多数！
トップへ戻る
アメリカ大統領選
surfingcomplexity.blog
Surfing Complexity Lorin Hochstein's ramblings about software, complex systems, and incidents. My colleagues recently wrote a great post on the Netflix tech blog about a tough performance issue they wrestled with. They ultimately diagnosed the problem as false sharing, which is a performance problem that involves caching. I’m going to take that post and write a simplified version of part of it her
Surfing Complexity Lorin Hochstein's ramblings about software, complex systems, and incidents. I’m a fan of the formal specification language TLA+. With TLA+, you can build models of programs or systems, which helps to reason about their behavior. TLA+ is particularly useful for reasoning about the behavior of multithread programs and distributed systems. By requiring you to specify behavior expli
このページを最初にブックマークしてみませんか？
『surfingcomplexity.blog』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
