An efficient multiprocessor system