8.1 程序执行模型