@jayaprabhakar.bsky.social
@hillelwayne.com FizzBee does exactly this. At present only supports Go.
github.com/slatedb/slat...
It started with the idea from @emptysqua.re's paper "Extreme modeling in practice" but making it easier to use. In addition to that FizzBee also tests concurrency that's not typically covered.
github.com/slatedb/slat...
It started with the idea from @emptysqua.re's paper "Extreme modeling in practice" but making it easier to use. In addition to that FizzBee also tests concurrency that's not typically covered.
Issues · slatedb/slatedb-go
A cloud native embedded storage engine built on object storage. - Issues · slatedb/slatedb-go
github.com
May 3, 2025 at 7:40 AM
@hillelwayne.com FizzBee does exactly this. At present only supports Go.
github.com/slatedb/slat...
It started with the idea from @emptysqua.re's paper "Extreme modeling in practice" but making it easier to use. In addition to that FizzBee also tests concurrency that's not typically covered.
github.com/slatedb/slat...
It started with the idea from @emptysqua.re's paper "Extreme modeling in practice" but making it easier to use. In addition to that FizzBee also tests concurrency that's not typically covered.
FizzBee automatically tests with various fault injection. Node crash is one of them.
fizzbee.io/tutorials/fa...
To mark some fields as ephemeral, you just need to add an annotation `@state(ephemeral=["inmem_field1", "inmem_field2"])`.
I'd be happy to assist.
fizzbee.io/tutorials/fa...
To mark some fields as ephemeral, you just need to add an annotation `@state(ephemeral=["inmem_field1", "inmem_field2"])`.
I'd be happy to assist.
Implicit Fault Injection
Explore FizzBee’s built-in fault injection for modeling failures in distributed systems. Learn how the model checker simulates message loss, network partitions, crashes, and more to test system resili...
fizzbee.io
March 14, 2025 at 7:09 PM
FizzBee automatically tests with various fault injection. Node crash is one of them.
fizzbee.io/tutorials/fa...
To mark some fields as ephemeral, you just need to add an annotation `@state(ephemeral=["inmem_field1", "inmem_field2"])`.
I'd be happy to assist.
fizzbee.io/tutorials/fa...
To mark some fields as ephemeral, you just need to add an annotation `@state(ephemeral=["inmem_field1", "inmem_field2"])`.
I'd be happy to assist.
I really thought you were talking about 1:30 am until I got to the end...
February 7, 2025 at 7:58 AM
I really thought you were talking about 1:30 am until I got to the end...
That would be awesome. I'd be happy to answer any questions about FizzBee.
December 30, 2024 at 3:21 PM
That would be awesome. I'd be happy to answer any questions about FizzBee.