blob: ada6df4c6d7dc989fe61899209da799c01fc20f2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
|
namespace mozilla {
namespace _ipdltest {
intr protocol PTestRaceDeferral {
parent:
intr Lose();
child:
async StartRace();
intr Win();
intr Rpc();
async __delete__();
// Test that messages deferred due to race resolution are
// re-considered when the winner makes later RPCs
// IPDL's type system can't express this protocol because the race
// resolution causes state to diverge for multiple steps, so we'll
// leave it "stateless"
/*
state START:
send StartRace goto DEFER;
state DEFER:
call Win goto PARENT;
answer Lose goto CHILD;
state PARENT:
// 'Lose' is received here but deferred
call Rpc goto PARENT_LOSE;
state PARENT_LOSE:
// Calling 'Rpc' undefers 'Lose', and it wins the "race" with 'Rpc'
answer Lose goto DONE;
state CHILD:
call Win goto CHILD_RPC;
state CHILD_RPC:
call Rpc goto DONE;
state DONE:
send __delete__;
*/
};
} // namespace _ipdltest
} // namespace mozilla
|
