LRU IS BETTER THAN FIFO UNDER THE INDEPENDENT REFERENCE MODEL

Consider a two-level storage system operating with the least recently used (LRU) or the first-in, first-out (FIFO) replacement strategy. Acc esses to the main storage are described by the independent reference m odel (IRM). Using the FKG inequality, we prove that the miss ratio for LRU is smaller than or equal to the miss ratio for FIFO.