4.2.3 ontwerpen van besturingssystemen voor SMP