Special-case reader/writer busy-loop for signals in progress
authorMathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Wed, 20 May 2009 14:53:55 +0000 (10:53 -0400)
committerMathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Wed, 20 May 2009 14:53:55 +0000 (10:53 -0400)
commit3019378271548c1d591c762b2e33d7153916f55d
tree47ee61235a379e0bf9e7c7adb4b0c54ed140069b
parentf089ec2496f9d72eb737de6ac4786b81f5d55a7e
Special-case reader/writer busy-loop for signals in progress

The reader may choose to always ignore signal requests or to busy-loop always
waiting for signal requests. Those are much less interesting wrt progress. Add
progress statements in those loops.

Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
formal-model/urcu-controldataflow/urcu.spin
This page took 0.024306 seconds and 4 git commands to generate.