This is the first four-state-machine thread algorithm. And I like what I am seei... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		egberts1 on Sept 13, 2021 \| parent \| context \| favorite \| on: Resource efficient Thread Pools with Zig 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.

matu3ba on Sept 13, 2021 [–]

Drawing them could help figuring out all (invalid) state transitions. Certainly would make a cool drawing.

sn9 on Sept 14, 2021 | [–]

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/

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact