It doesn't make sense to the user to be able to drop in the sync system model
It doesn't make sense to the user to be able to drop when he can opt for not doing the delivery and it has the same result
Proposals
Heartbeats should be delivered automatically... (and be able to drop only in the async model where we use Eventual Failure Detectors)
All messages should be automatically delivered, so the user must opt-in for drop. What I need to solve then is how to deal with the order, because in the same step I can have many messages to deliver to the same process and I want the user to determine the order.
(*) This is how the action selection for heartbeats looks like, it is pretty unusable.
Issues
Proposals
Heartbeats should be delivered automatically... (and be able to drop only in the async model where we use Eventual Failure Detectors)(*) This is how the action selection for heartbeats looks like, it is pretty unusable.