Skip to content

Send actor action probes one at a time

Maxwell Pirtle requested to merge maxwellpirtle/simgrid:fix-probe into master

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)

Merge request reports