fizzbee

fizzbee copied to clipboard

Thanks for making this!

1

I enjoy this project. Thank you!

rjcortese

How to model crash transitions ?

6

I want to model a serial action which can crash. Heres an example ``` fair action DoWork: if current_state == State.Start: lock_service.acquire_lock() do_something do_another_thing lock_service.release_lock() ``` it is ok to...

damnMeddlingKid

Currently if we try to make multiple assignments of roles single line we get an error. ``` action Init: accounts = [Account(name=customer), Account(name="Bob")] > panic: Creating multiple roles in single...

damnMeddlingKid

As of commit 8aedd7a8891ed2b8699e549cae963a4b2d351b36 This is a catalog of different failures. If there are examples where it failed as intended, it'd be good to have a line in the examples'...

sriram-srinivasan

Modelling SQS behaviour with non-atomic message processing

3

The following: ``` --- options: max_actions: 3 --- action Init: sqs_fifo = [] db = 0 atomic action Send: sqs_fifo.append(record(score=5, message='Hello')) atomic fair action ReceiveSQS: if sqs_fifo: process(sqs_fifo[0]) oneof: sqs_fifo.pop(0)...

tekumara

The thread number can change during execution of an action. For debugging it would be helpful if the thread id was stable and unique for a given execution path. eg:...

tekumara

- Added Dockerfile to build FizzBee using Docker - Updated README with instructions on how to build, run the app, and use the CLI with Docker

0x180db

Deadlock detection fails when max_actions are exhausted

2

I've noticed that the deadlock detection fails when max_actions are exhausted, even if there are enabled actions that could make progress. eg: ``` --- # no deadlock detection because after...

tekumara

I'm trying to run the [Custom Channels example](https://fizzbee.io/tutorials/channels/#custom-channels) and hitting: ``` E1006 22:15:04.216348 88753 starlark.go:55] Error executing stmt: channels.fizz:3:19: undefined: Channel panic: Line 3: Error executing statement: NonBlockingFifo = Channel(ordering='ordered',...

tekumara

Are crashes counted toward max_actions?

2

I couldn't find much info in the docs about crashes. Do only non-crashing actions count towards max_actions?

tekumara