一个操作系统的模型（ a model of an operating system）