![[logo]](/img/veripool_small.png)
Issue #235
Support fork-joins and time delays
| Status: | Feature | Start date: | 04/07/2010 | |
|---|---|---|---|---|
| Priority: | Normal | Due date: | ||
| Assignee: | - | % Done: | 0% |
|
| Category: | Unsupported | |||
| Target version: | - |
Description
Filing separate bug as mentioned in bug223. This is a pre-requisite to finally support timing events, loops and behavioral events.
Related issues
History
Updated by Wilson Snyder about 3 years ago
- Category set to Unsupported
- Status changed from New to Feature
A real event loop, bug236, is needed first.
My thought here is that rather than making threads, to convert fork/join with delays to state machines (one per branch). This may not allow as much dynamic control, but it is hundreds of times faster in execution.
More details when Shankar or someone is ready to work on it.
Also available in: Atom