projects / userspace-rcu.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f089ec2) | patch
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
tree47ee61235a379e0bf9e7c7adb4b0c54ed140069btree | snapshot
parentf089ec2496f9d72eb737de6ac4786b81f5d55a7ecommit | diff
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 diff | blob | blame | history
Userspace RCU (urcu) for Linux
This page took 0.024646 seconds and 4 git commands to generate.