Comment on Resource efficient Thread Pools with ZigComments−egberts14yThis is the first four-state-machine thread algorithm.And I like what I am seeing. Hopefully all transitions between states have been tested.Good work.−matu3ba4yDrawing them could help figuring out all (invalid) state transitions. Certainly would make a cool drawing.−sn94yUsing a formal methods tool [0] like Alloy [1] would honestly be ideal.[0] https://www.hillelwayne.com/tags/formal-methods/[1] https://www.hillelwayne.com/tags/alloy/
Comments
This is the first four-state-machine thread algorithm.
And I like what I am seeing. Hopefully all transitions between states have been tested.
Good work.
Drawing them could help figuring out all (invalid) state transitions. Certainly would make a cool drawing.
Using a formal methods tool [0] like Alloy [1] would honestly be ideal.
[0] https://www.hillelwayne.com/tags/formal-methods/
[1] https://www.hillelwayne.com/tags/alloy/