[Boost-users] boost.mpi: some MPI implementation that mixes mpi process from both windows and linux