程序执行结束时，程序计数器（Program Counter）的值是多少？

• 程序执行结束时，程序计数器（PC）的具体值取决于CPU架构和程序终止的方式：

  • 若程序通过执行终止类指令（比如x86架构的hlt、ARM架构的halt，或是对应高级语言exit调用的底层指令）主动终止，执行这条指令前，PC指向该指令的地址；指令执行完成后，PC的行为由架构定义——部分架构会将PC更新为该终止指令的下一个地址（即指令地址+指令长度），部分会让PC停留在终止指令地址，还有些会进入停机状态，PC不再更新。
  • 若程序因异常、中断等被动方式终止，PC的值通常会指向触发异常的下一条指令地址，或是被异常处理程序修改为异常入口地址，具体同样由架构决定。

• 关于最终PC值是否与最后执行的指令地址相同：

  • 多数情况下不相同。因为PC的核心行为是「始终指向下一条待执行的指令地址」：执行最后一条有效指令前，PC指向该指令地址；指令执行完成后，PC会自动更新为这条指令的下一个地址。若这条指令就是终止程序的指令，那么程序终止时PC的最终值就是这个下一个地址，和最后执行的指令地址存在差异。
  • 少数特殊场景下可能例外：比如部分嵌入式CPU执行停机指令后，PC不会自动更新，此时PC值就等于最后执行的指令地址。

内容的提问来源于stack exchange，提问作者William