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

• 作者: 吴国伟 张广泉 王少将
• 来源期刊: 南京师范大学学报（工程技术版）
• 学科: 工学
• 关键词: XYZ/E 开放多任务操作系统 内核进程 形式化描述 逐步求精
• 年，卷（期）: 2008,（3）
• 所属期刊栏目: 计算机与通讯
• 页码范围: 82-87
• 页数: 6页
• 分类号: TP311
• 字数: 3797字
• 语种: 中文
• DOI: 10.3969/j.issn.1672-1292.2008.03.018

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张广泉	苏州大学计算机科学与技术学院	147	1056	16.0	25.0
2	王少将	苏州大学计算机科学与技术学院	1	0	0.0	0.0
3	吴国伟		4	0	0.0	0.0