A kernel for a multiprocessor system with anonymous processes