• Kenneth Raffenetti's avatar
    portals4: implement cancel send · b56f4f1d
    Kenneth Raffenetti authored
    
    
    All MPI_Sends in the Portals4 netmod will cause some or all of the data to be
    sent eagerly to the receiver. Canceling a send means having to find the data in
    the unexpected message queue and removing it in order to preserve matching.
    Because the message queues exist at the netmod level, it needs its own cancel
    protocol.
    
    The protocol is modeled on a similar case in CH3, but with its own method
    for searching the unexpected queue. Custom netmod packet handlers are used to
    receive and process the control messages.
    
    Known Issue:
      Because we are using different PTs for the send and cancel message, it is
      possible the cancel request could arrive before the message being canceled.
    Signed-off-by: default avatarAntonio Pena Monferrer <apenya@mcs.anl.gov>
    b56f4f1d