ensure that when a receive process dies, the send process is killed