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