Does having a message passing based system require the use of a library such as MPI or is this something that could be abstracted away by the compiler?

A quick Google search turned up a couple results about such compilers:

http://homes.cs.washington.edu/~bradc/cv/pubs/workshops/lcpc97.ps

http://people.uncw.edu/cferner/papers/SECON02.pdf