Send actor action probes one at a time
Overview
Discussion
To avoid the scenario whereby the AppSide
delivers a message larger than the maximum side allowed by the socket used to communicate between the application and the checker, we instead send a single message for each enabled transition at a particular state. This prevents us from needing to complicate the sending logic in Channel.cpp
, which would have been made more complicated should we have wanted to send variable-sized messages between the checker and the application side
Changes
The principal change is in the exchange between the AppSide
and the RemoteApp
in the checker side, which has been pointed out in a comment below. The other changes concern either naming or formatting (we prefer %zu
and %zd
instead of %lu
and %ld
when forming strings with size_t
and ssize_t
respectively)