IPDL is the "Inter--communication Protocol Definition Language", where "" includes "process" and "thread."
- 1 Status
- 2 Basic code generation (no protocol management)
- 3 Type checking and protocol management
- 4 Protocol state machines
- 5 (IN PROGRESS) Full dynamic safety checking
- 6 Static analysis of code implementing IPDL interfaces
- 7 Model checking of inter-protocol interactions
The IPDL compiler is being implemented in stages.
Basic code generation (no protocol management)
Type checking and protocol management
Protocol state machines
(IN PROGRESS) Full dynamic safety checking
Static analysis of code implementing IPDL interfaces
Model checking of inter-protocol interactions
The IPDL/Getting started guide intends to be somewhat verbose and gentle introduction to the IPDL.
The IPDL/Five minute example shows examples of what C++ code you need to implement to make IPDL "work." Before reading this, you should be somewhat familiar with the IPDL (or good at learning by example.)
The IPDL/Low level setup walks you through setting up the support infrastructure (processes, threads, and sockets) that IPDL needs to send messages. Few people should need to read this.
Another IPDL tutorial (MDN) that provides with some more information about IPDL protocols.
ON HOLD Proposal for fine-grained shmem access control
- IPDL/Unit test generation: use IPDL specifications to generate unit tests that "extensively" explore the protocol-level interaction of two (or more) actors. The unit tests are intended to check the C++ implementation(s) of the actor interfaces.