基于时间的执行模型