summaryrefslogtreecommitdiffstats
path: root/ipc/ipdl/test/cxx/PTestRaceDeferral.ipdl
diff options
context:
space:
mode:
authorMatt A. Tobin <mattatobin@localhost.localdomain>2018-02-02 04:16:08 -0500
committerMatt A. Tobin <mattatobin@localhost.localdomain>2018-02-02 04:16:08 -0500
commit5f8de423f190bbb79a62f804151bc24824fa32d8 (patch)
tree10027f336435511475e392454359edea8e25895d /ipc/ipdl/test/cxx/PTestRaceDeferral.ipdl
parent49ee0794b5d912db1f95dce6eb52d781dc210db5 (diff)
downloadUXP-5f8de423f190bbb79a62f804151bc24824fa32d8.tar
UXP-5f8de423f190bbb79a62f804151bc24824fa32d8.tar.gz
UXP-5f8de423f190bbb79a62f804151bc24824fa32d8.tar.lz
UXP-5f8de423f190bbb79a62f804151bc24824fa32d8.tar.xz
UXP-5f8de423f190bbb79a62f804151bc24824fa32d8.zip
Add m-esr52 at 52.6.0
Diffstat (limited to 'ipc/ipdl/test/cxx/PTestRaceDeferral.ipdl')
-rw-r--r--ipc/ipdl/test/cxx/PTestRaceDeferral.ipdl45
1 files changed, 45 insertions, 0 deletions
diff --git a/ipc/ipdl/test/cxx/PTestRaceDeferral.ipdl b/ipc/ipdl/test/cxx/PTestRaceDeferral.ipdl
new file mode 100644
index 000000000..ada6df4c6
--- /dev/null
+++ b/ipc/ipdl/test/cxx/PTestRaceDeferral.ipdl
@@ -0,0 +1,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