| 页面置换算法的Z规格说明 |
| |
| 引用本文： | 张阁,朱关铭,缪淮扣.页面置换算法的Z规格说明[J].上海大学学报(自然科学版),1999(Z1). |
| |
| 作者姓名： | 张阁 朱关铭 缪淮扣 |
| |
| 作者单位： | 上海大学计算机工程与科学学院!上海200072 |
| |
| 基金项目： | 国家自然科学基金资助项目(69773038)，上海市教委科技发展基金资助项目(97A42) |
| |
| 摘 要： | 虚拟存储系统中,如果使用段页式存储管理或者页式存储管理,当发生缺页,而主存中已没有空闲页架时,则需要选一页淘汰,进行页面置换.本文首先简要介绍先进先出算法(FIFO)和最近最少使用算法(LRU)的原理.接着对这两种算法用Z规格说明语言进行了比较详尽的描述.最后给出了一些操作模式的前置条件,并对系统中的一个定理进行了证明.
|
| 关 键 词： | 先进先出算法(FIFO) 最近最少使用算法(LRU) 规格说明 Z语言 |
Z Specification of Page Swapping Algorithm |
| |
| ZHANG Ge,ZHU Guan-ming,MIAO Huai-kou.Z Specification of Page Swapping Algorithm[J].Journal of Shanghai University(Natural Science),1999(Z1). |
| |
| Authors: | ZHANG Ge ZHU Guan-ming MIAO Huai-kou |
| |
| Abstract: | |
| |
| Keywords: | FIFO LRU specification Z language |
| 本文献已被 CNKI 等数据库收录！ |
|
