程序局部性（Program Locality）是指程序在执行时呈现出的一种规律，即程序倾向于访问其地址空间中的一小部分的特性。这种局部性主要体现在两个方面：时间局部性和空间局部性。
时间局部性
定义：如果程序中的某条指令或数据一旦被访问，那么在不久的将来，该指令或数据很可能再次被访问。
例子：例如，在一个循环中，如果某个变量在每次迭代中都被访问和修改，那么编译器可能会推断该变量在循环结束前会一直存在，因此会优化内存访问，减少缓存未命中的情况。
空间局部性
定义：程序即将用到的信息可能与目前正在使用的信息在空间上相邻或临近。
例子：例如，如果一个函数调用使用了某个局部变量，那么编译器可能会将这个变量及其相关的代码和数据放在相邻的内存位置，以便于快速访问。
局部性的作用
程序的局部性原理对计算机系统的性能优化具有重要意义。了解并利用局部性原理可以帮助减少内存访问延迟，提高缓存的利用率，从而提升整体性能。例如，现代计算机体系结构中的缓存（Cache）就是基于局部性原理设计的，通过预加载即将使用的数据和指令来减少访问延迟。
结论
程序局部性是计算机科学中的一个重要概念，它描述了程序在执行过程中对数据和代码的访问模式。通过理解和利用局部性原理，可以设计出更高效的计算机系统和算法，从而提升系统的整体性能。