IBM的小型机，一般采用的是____操作系统。