Specification of the powerpc shared memory architecture