A higher order theory of locality and its application in multicore cache management