mjb

POSTS

• Rust Foundation Collaborates with AWS to Verify Rust Standard Libraries

  by mjb on 11/20/2024, 11:57 PM with 0 comments

• Bélády's Anomaly Doesn't Happen Often

  by mjb on 6/24/2023, 5:25 PM with 0 comments

• Snapchange: An Open Source KVM-Backed Snapshot Fuzzing Framework

  by mjb on 5/10/2023, 5:58 PM with 0 comments

• Building and Operating a Pretty Big Storage System (My Adventures in Amazon S3)

  by mjb on 3/16/2023, 6:52 PM with 0 comments

• The Insane Precision of the National Institute of Standards and Technology

  by mjb on 3/6/2023, 4:19 PM with 0 comments

• NoSQL: The Baby and the Bathwater

  by mjb on 2/1/2023, 2:23 PM with 2 comments

• Lambda Snapstart, and snapshots as a tool for system builders

  by mjb on 11/29/2022, 6:21 PM with 0 comments

• What Is Backoff For?

  by mjb on 8/11/2022, 7:55 PM with 0 comments

• Amazon DynamoDB: A Scalable, Performant, and Managed NoSQL Database Service

  by mjb on 7/12/2022, 6:15 PM with 0 comments

• Formal methods only solve half my problems

  by mjb on 6/2/2022, 3:16 PM with 29 comments

• Distilling the Real Cost of Production Garbage Collectors [pdf]

  by mjb on 4/28/2022, 1:36 PM with 156 comments

• Scaling Containers on AWS in 2022

  by mjb on 4/13/2022, 2:06 PM with 0 comments

• Will circuit breakers solve my problems?

  by mjb on 2/16/2022, 5:40 PM with 0 comments

• Treehouse: A Case for Carbon-Aware Datacenter Software

  by mjb on 1/14/2022, 8:45 PM with 0 comments

• The Bug in Paxos Made Simple

  by mjb on 11/17/2021, 5:45 PM with 13 comments

• P, a Modular and Safe Programming for Distributed Systems

  by mjb on 11/3/2021, 5:58 PM with 0 comments

• Metastable Failures in Distributed Systems

  by mjb on 6/14/2021, 6:19 PM with 11 comments

• Metastable Failures in Distributed Systems

  by mjb on 5/24/2021, 9:49 PM with 0 comments

• The State of the Serverless Art (2020)

  by mjb on 2/9/2021, 10:09 PM with 3 comments

• Raft does not guarantee liveness in the face of network faults

  by mjb on 12/15/2020, 2:44 PM with 0 comments

• Getting Big Things Done

  by mjb on 10/20/2020, 6:34 PM with 0 comments

• Consensus is harder than it looks

  by mjb on 10/5/2020, 5:20 PM with 0 comments

• The State of the Serverless Art (2020)

  by mjb on 8/14/2020, 5:49 PM with 0 comments

• Code only says what it does

  by mjb on 7/6/2020, 4:41 PM with 114 comments

• Code only says what it does

  by mjb on 6/23/2020, 4:06 PM with 0 comments

• How AWS’s Firecracker virtual machines work

  by mjb on 3/4/2020, 4:07 PM with 0 comments

• AWS Lambda Cold Start Language Comparisons

  by mjb on 9/8/2019, 7:52 PM with 11 comments

• Kindness, Wickedness and Safety

  by mjb on 8/12/2019, 4:13 PM with 0 comments

• AWS VPC and Link Encryption

  by mjb on 6/25/2019, 6:01 PM with 0 comments

• by mjb on 6/17/2019, 8:33 PM with comments

• Chernobyl – Why INSAG has still got it wrong (1995)

  by mjb on 6/12/2019, 3:15 PM with 0 comments

• Fixing Faults in C and Java Source Code: Abbreviated vs. Full-Word Names

  by mjb on 1/12/2018, 8:31 PM with 0 comments

• Flexible Paxos: Quorum intersection revisited

  by mjb on 8/25/2016, 1:46 AM with 0 comments

• CALISDO: Threat Modeling for Distributed Designs

  by mjb on 6/22/2015, 3:33 PM with 0 comments

• How Amazon Web Services Uses Formal Methods

  by mjb on 3/30/2015, 2:56 PM with 0 comments

• Electoral Trouble in Sybilania

  by mjb on 3/4/2015, 3:43 PM with 0 comments

• Two Farmers and Common Knowledge

  by mjb on 11/30/2014, 9:05 PM with 1 comments

• Ice Cream and Distributed Systems

  by mjb on 10/25/2014, 10:45 PM with 5 comments

• The Essential Barbara Liskov

  by mjb on 9/21/2014, 6:35 PM with 0 comments

• CAP and PACELC: Thinking More Clearly About Consistency

  by mjb on 7/19/2014, 1:32 PM with 0 comments

• CAP and PACELC: Thinking More Clearly About Consistency

  by mjb on 7/17/2014, 6:51 PM with 0 comments

• Two traps in iostat: %util and svctm

  by mjb on 7/5/2014, 2:41 PM with 0 comments

• The Operations Gradient: Improving Safety in Complex Systems

  by mjb on 6/29/2014, 8:37 PM with 0 comments

• Viewstamped Replication: The Less-Famous Consensus Protocol

  by mjb on 5/20/2014, 7:16 PM with 2 comments

• Viewstamped Replication: The Less-Famous Consensus Protocol

  by mjb on 5/20/2014, 5:13 AM with 0 comments

• The Essential Leslie Lamport

  by mjb on 3/31/2014, 12:55 AM with 0 comments

• Snark, Chord, and Trust in Algorithms

  by mjb on 3/8/2014, 11:44 PM with 0 comments

• Distributed Consensus: Beating Impossibility with Probability One

  by mjb on 1/12/2014, 10:35 PM with 2 comments

• Restricted Transactional Memory on Haswell

  by mjb on 12/17/2013, 4:27 PM with 0 comments

• Consistency Tradeoffs in Modern Distributed Database System Design

  by mjb on 12/16/2013, 6:30 PM with 0 comments

• Hardware Lock Elision on Haswell

  by mjb on 12/15/2013, 2:31 AM with 4 comments

• Mathematical Definition, Mapping, and Detection of (Anti)Fragility

  by mjb on 11/23/2013, 10:54 PM with 0 comments

• Beyond iostat: Storage performance analysis with blktrace

  by mjb on 7/16/2013, 3:48 AM with 0 comments

• Murphy Was An Optimist: Byzantine Failures in Real Systems

  by mjb on 5/28/2013, 11:22 PM with 0 comments

• Distributed Locking: When to use it? How?

  by mjb on 5/25/2013, 11:29 PM with 0 comments

• Some Patterns of Engineering Design Meetings

  by mjb on 5/25/2013, 5:50 PM with 0 comments

• Exploring TLA+ and two-phase commit

  by mjb on 1/20/2013, 9:53 PM with 0 comments

• Volatile reads are not really free on the JVM

  by mjb on 9/10/2012, 2:56 PM with 0 comments

• Pat Helland - Idempotence Is Not a Medical Condition

  by mjb on 4/24/2012, 1:10 AM with 1 comments

• The Five-Minute Rule Ten Years Later (1997)

  by mjb on 3/13/2012, 5:01 PM with 0 comments

• The Bleak Future of NAND Flash Memory

  by mjb on 2/17/2012, 4:23 PM with 0 comments

• Two different conclusions about drive failures and temperature

  by mjb on 2/12/2012, 2:24 AM with 0 comments

• David Patterson - Latency lags bandwidth (2004)

  by mjb on 2/12/2012, 1:56 AM with 0 comments

• Clayton M. Christensen - How will you measure your life?

  by mjb on 10/28/2011, 2:05 AM with 0 comments