MPI/RT: Design and Implementation of a Real-Time Message Passing Interface