虚拟存储管理系统的基础是程序的_______理论。