______是操作系统采用以空间换时间的技术。