作者: Alfred V Aho , Peter J Denning , Jeffrey D Ullman , None
关键词: System organization 、 Program behavior 、 Parallel computing 、 Page replacement algorithm 、 Dynamic programming 、 Demand paging 、 Mathematical optimization 、 Flat memory model 、 Computer science 、 Paging
摘要: ABSTP~CT. A formal model is presented for paging algorithms under /-order nonstationary assumptions about program behavior. When processing a in given memory, policy generates certain (expected) number of page calls, i.e., its "cost." Under usual memory system organization, minimum cost always achieved by demand algorithm. The behavior expressed as dynamic programming problem whose solution yields an optimal replacement Solutions are exhibited several 0-order cases interest. Paging that implement and approximate the discussed.