2019-11-12 | Paul Boddie | raw files shortlog changelog graph | Added a simple queue interface. | |
examples/queue.idl (file) |
1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000 1.2 +++ b/examples/queue.idl Tue Nov 12 22:47:39 2019 +0100 1.3 @@ -0,0 +1,14 @@ 1.4 +interface Queue 1.5 +{ 1.6 + /* Join a queue, providing a capability for notification. */ 1.7 + 1.8 + [opcode(0)] void join(in cap user); 1.9 + 1.10 + /* Leave a queue. */ 1.11 + 1.12 + [opcode(2)] void leave(); 1.13 + 1.14 + /* Yield to other members of the queue. */ 1.15 + 1.16 + [opcode(1)] void yield(); 1.17 +};