Confirmed users
699
edits
IPDL: Difference between revisions
Jump to navigation
Jump to search
→Reference
| Line 19: | Line 19: | ||
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. | 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. | ||
'''WORK IN PROGRESS''' Proposal for [[IPDL/Proposal:Shmem_access_control|fine-grained shmem access control]] | |||
== Other projects == | == Other projects == | ||
* [[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. | * [[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. | ||