检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:Galen C.Hunt James R.Larus 邹俊峰
出 处:《程序员》2008年第4期122-125,8,共4页Programmer
摘 要:Singularity具有三个关键性的体系结构特征:软件独立进程(software-isolated processes),基于Contract的信道(contract-based channels),以及基于Manifest的程序(manifest-based programs)。软件独立进程提供一个免于外界干扰的程序执行环境;基于Contract的信道使得进程间进行快速、可验证的消息通信成为可能;基于Manifest的程序则对软件独立进程所要运行的代码进行精确的定又并且限定了它的所有行为。The Singularity system consists of three key architectural features:software-isolated processes,contract- based communication channels,and manifest-based programs.Software-isolated processes provide an protected environment for program execution from external interference.Contract-based communication channels enable fast,verifiable message-based communication between processes.Manifest based programs define the code that runs within software- isolated processes and specify its verifiable behavioral properties.
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:18.188.148.202