操作系统的主要类型包括（ ）。