页面置换算法的Z规格说明  

Z Specification of Page Swapping Algorithm

作　　者：张阁[1] 朱关铭[1] 缪淮扣[1] 

机构地区：[1]上海大学计算机工程与科学学院,上海200072

出　　处：《上海大学学报（自然科学版）》1999年第S1期149-155,共7页Journal of Shanghai University:Natural Science Edition

基　　金：国家自然科学基金资助项目(69773038);上海市教委科技发展基金资助项目(97A42)

摘　　要：虚拟存储系统中,如果使用段页式存储管理或者页式存储管理,当发生缺页,而主存中已没有空闲页架时,则需要选一页淘汰,进行页面置换.本文首先简要介绍先进先出算法(FIFO)和最近最少使用算法(LRU)的原理.接着对这两种算法用Z规格说明语言进行了比较详尽的描述.最后给出了一些操作模式的前置条件,并对系统中的一个定理进行了证明.If we use segment_page swapping method or page swapping method in virtual memory system, we must select one page existing in the memory and swap it with the one we are accessing, when the accessing page doesn't exist in memory and there isn't any free memory block. In this paper, the principles of FIFO and LRU algorithms are briefly introduced, and Z specification containing comparatively detailed description of the two algorithms is presented, and the preconditions of some operation schemas and the proof of a theorem in the system are given.

关 键 词：先进先出算法(FIFO) 最近最少使用算法(LRU) 规格说明 Z语言 

分 类 号：TP301.2[自动化与计算机技术—计算机系统结构]