- write_start() done and written an element.
- Try request_read().
- request_read() done.
- read_idx_finished() done.
- Try write_commit().
- write_commit() done.
- write_start() done and written an element.
- Announce read_finished().
- read_finished() done.
- Try write_commit().
- write_commit() done.
|
