Temporal vs Spatial Locality with arrays

In simple words,

Temporal locality: The concept that a resource that is referenced at one point in time will be referenced again sometime in the near future.

Spatial locality: The concept that likelihood of referencing a resource is higher if a resource near it was just referenced.

Source(s): Wikipedia


Spatial and temporal locality describe two different characteristics of how programs access data (or instructions). Wikipedia has a good article on locality of reference.

A sequence of references is said to have spatial locality if things that are referenced close in time are also close in space (nearby memory addresses, nearby sectors on a disk, etc.). A sequence is said to have temporal locality if accesses to the same thing are clustered in time.

If a program accesses every element in a large array and reads it once and then moves on to the next element and does not repeat an access to any given location until it has touched every other location then it is a clear case of spatial locality but not temporal locality. On the other hand, if a program spends time repeatedly accessing a random subset of the locations on the array before moving on to another random subset it is said to have temporal locality but not spatial locality. A well written program will have data structures that group together things that are accessed together, thus ensuring spatial locality. If you program is likely to access B soon after it accesses A then both A and B should be allocated near each other.

Your first example

A[0][1], A[0][2], A[0][3]

shows spatial locality, things that are accessed close in time are close in space. It does not show temporal locality because you have not accessed the same thing more than once.

Your second example

A[1], A[2], A[3]

also shows spatial locality, but not temporal locality.

Here's an example that shows temporal locality

A[1], A[2000], A[1], A[1], A[2000], A[30], A[30], A[2000], A[30], A[2000], A[30], A[4], A[4]