A. E.罗伯茨
ACM通讯，1961年10月，第4卷第10期，第419-420页
10.1145/366786.366791
评论
本文试图形式化一个通用的计算机存储分配过程。用一台给定的电脑
米关联的是虚拟计算机吗
米本质上与
米不包括对无界主存储器的占有。的整个存储集(内部和外部)的映射
米的直接地址集
米介绍了”。一个程序序列
P为
米”称为
米-可接受(相对于特定的执行时间)，如果有一个映射下
P其有效的数据引用对象均位于的直接地址集中
米．存储分配被认为是建立一个任意的过程
米'对映射序列进行编程，将程序解耦到
米-可允许的子程序和一组连接的插曲。用完全解释的方式证明存在
米程序显示。讨论了一些特殊情况。对一般的各种限制
米的方案被认为是更实际的分配过程的实现变得易于处理。
本文的全文是优质内容
没有发现记录
登录阅读全文
需要访问吗?
请选择以下选项之一，以访问优质内容和功能。
创建Web帐户
如果您已经是ACM会员，通信数码图书馆的订阅者，请建立一个网页帐户，以访问本网站的优质内容。
参加ACM
成为ACM的会员可以充分利用ACM杰出的计算信息资源、联网机会和其他好处。
订阅ACM通讯杂志
获得《中华文化纵横》50年以上的完整内容，每月获得印刷版。
购买这篇文章
非会员可以购买这篇文章或它所在的杂志。
