Seol mar théacs é seo: The logical design of parallel operating systems