Design of the OSF/1 operating system : release 1.2 /