程序局部性是计算机科学中的一个重要概念，它描述了程序在执行时的一种行为模式。具体来说，程序局部性包含以下两个主要方面：
时间局部性（Temporal Locality）
定义：如果程序中的某条指令或数据在某一时刻被访问，那么在不久的将来，这条指令或数据很可能再次被访问。
原因：这通常是由于程序中存在循环操作，导致某些指令或数据在短时间内被多次执行或访问。
空间局部性（Spatial Locality）
定义：如果程序访问了某个存储单元，那么在不久的将来，该存储单元附近的其他存储单元也很可能被访问。
原因：这主要是因为程序中的指令和数据通常是顺序存放和执行的，数据也往往以向量、数组、表等形式簇聚在内存中。
局部性的作用
局部性原理对计算机系统的性能有重要影响。通过利用局部性原理，计算机系统可以更高效地利用缓存（Cache）来提高执行效率。缓存是一种小型的、速度非常快的存储器，用于暂时存储正在执行的程序和数据。当程序访问某个数据或指令时，如果该数据或指令在缓存中，就可以快速读取，而不需要从较慢的主存中获取，从而显著提高程序的执行速度。
工作集理论
根据程序的局部性原理，Denning提出了工作集理论。工作集是指进程运行时被频繁访问的页面集合。通过使程序的工作集全部集中在内存中，可以大大减少进程的缺页次数，从而避免频繁的页面调入/调出，提高系统性能。
总结
程序局部性是程序在执行过程中表现出的时间局部性和空间局部性两种特性。这些特性使得计算机系统能够更有效地利用缓存，提高执行效率。理解局部性原理对于优化程序性能和设计高效的计算机系统具有重要意义。