基于XYZ/E的Sun Open Solaris内核进程形式化描述与分析

来源 :南京师范大学学报：工程技术版 | 被引量 : 0次 | 上传用户：cassyqc

【摘要】

：

建立并分析了Open Solaris内核进程模型,采用XYZ/E语言对模型进行了形式化描述.分析了内核进程数据结构、内核进程创建、系统调用以及时钟等概念,并对其进行XYZ/AE的描述和XY

【作者】

：

【机构】

：

苏州大学计算机科学与技术学院,江苏省教育装备与勤工俭学管理中心

【出处】

：

南京师范大学学报：工程技术版

【发表日期】

：

2008年3期

【关键词】

：

【基金项目】

：

江苏省高校自然科学基金（05KJB520119）和重庆市自然科学基金（CSTC,2006BB2259）资助项目.

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

建立并分析了Open Solaris内核进程模型,采用XYZ/E语言对模型进行了形式化描述.分析了内核进程数据结构、内核进程创建、系统调用以及时钟等概念,并对其进行XYZ/AE的描述和XYZ/EE编程.最后给出了内核进程规范,实现多任务、多用户操作系统内核进程的描述,对内核进程进行了逐步求精工作.

其他文献

期刊

种子出苗率高锰酸钾

2013年11月7日~10日，数千名全国各地的德国牧羊犬热爱者相聚在了济南，以自己的热情和不同的方式参与了中国一年一度的德国牧羊犬年度展--2013年CSV德国牧羊犬优胜繁殖展。

期刊

德国牧羊犬济南聚集CSV

文化,是当今社会最主要的话题之一。文化这种东西,常常在我们耳边说起,有时能看得见摸得着,更多的时候是看不见摸不着,却又在潜移默化地影响着我们。甚至由于文化的差异,相同

期刊

文化人文培育犬

2017年7月16日，继“共享单车”“共享雨伞”和“共享睡眠”亮相之后，被称为“全球首家共享书店”的合肥新华书店三孝口书店，在当天迎来了2万人次的客流量，刷新了该店客流量的最高

报纸

组合励磁稀土永磁同步发电机是一种能解决永磁发电机电压调节问题的新型发电机.这种发电机由两部分组成,主发电机部分和一般的永磁发电机相同,而辅助调节电压的部分类似于电

期刊