In: IEEE Computer Soc. Press, Proc. of 6th International Workshop on Petri Nets and Performance Models - PNPM'95, Durham, N. Carolina, USA, pages 241-250. 1995.
Abstract: Operating systems which implement a dynamic priority mechanism are very common. Nevertheless, it is very difficult to develop an accurate analytical model to evaluate their performance, mainly due to the different forms of dependency between the various constituent parts. In this paper, we introduce a black box modeling approach which allows us to identify and decompose the different functions of the operating system into elementary subsystems from which submodels are developed. Interactions between submodels are taken into consideration which developing the system model. We then apply this modeling technique to the study of operating systems with dynamic priorities. In particular, we investigate the performance of the BS2000 operating system, which implements a dynamic priority mechanism, by means of a Stochastic Reward Net (SRN) model. The results ar then compared against an appropriate model in which a static priority mechanism is assumed. Teal system measurements are also carried out in order to validate the analytical results.
Back to the Petri Nets Bibliography