3.3.2 指令的微分/非微分形式和即时刷新形式