Port the existing Sequent code to pthreads. Because threads also follow a shared-memory approach, the program should work similarly in each environment. You can use your own copy of pthreads, or use the version of pthreads on the 250-lab PCs.
