IPDL: Difference between revisions
Jump to navigation
Jump to search
| Line 17: | Line 17: | ||
The [[IPDL/Five minute example]] shows only the code necessary to make IPDL "work." Before reading this, you should be somewhat familiar with the IPDL (or good at learning by example.) | The [[IPDL/Five minute example]] shows only the code necessary 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 infrastructre (processes, threads, and sockets) that IPDL needs to send messages. Few people should need to read this. | |||
Revision as of 02:37, 18 July 2009
IPDL is the "Inter-*-communication Protocol Definition Language", where "*" includes "process" and "thread."
Status
The IPDL compiler is being implemented in stages.
- Basic code generation (no protocol management)
- Type checking and protocol management
- (IN PROGRESS) Protocol state machines
- Full dynamic safety checking
- Static analysis of code implementing IPDL interfaces
- Model checking of inter-protocol interactions
Reference
The IPDL/Getting started guide intends to be somewhat verbose and gentle introduction to the IPDL.
The IPDL/Five minute example shows only the code necessary 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 infrastructre (processes, threads, and sockets) that IPDL needs to send messages. Few people should need to read this.