Runtimes should model fifo_depth on channels
Open
jit
- Dominant language
- C++
- Stars
- 1.9k
- Forks
- 283
- Avg merge
- 2d 10h
- Merged PRs (30d)
- 135
Description
Currently, the interpreters and JIT do not respect fifo_depth on channels, which can result in optimistic execution. Currently, fifos are infinite and sends can't block. Ideally, the runtimes would model finite-depth FIFOs and allow us to see deadlock problems before RTL.
Contributor guide
Assessment
This issue has not been assessed yet.