姜玉蓉
- 作品数：3 被引量：3H指数：1
- 供职机构：湖南大学更多>>
- 发文基金：国防基础科研计划国家自然科学基金湖南省科技计划项目更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- linux内核进程间通信的模型检测研究
- linux操作系统继承了unix的基本设计思想，是当今为人们所公认的具有较强的安全性和稳定性的系统。对于这样一种多任务、多用户的操作系统来说，怎样进行进程间通信(interprocess communication，ip...
- 姜玉蓉
- 关键词：LINUX操作系统进程间通信
- 文献传递网络资源链接
- LINUX进程间通信的模型检测被引量：2
- 2008年
- 模型检测是一种强大的自动分析验证技术。分析了LINUX进程间通信的部分源代码并进行手工形式化建模,使用有限状态自动机描述模型,继而转换成SPIN的输入语言PROMELA,对其进行模型检测,验证了系统的有界性和可终止性,并就进程间通信中容易发生的问题提出了改进方案。
- 姜玉蓉缪力张大方刘潇潇
- 关键词：LINUX进程间通信SPIN
- 面向流量控制的可扩展策略库的设计与实现
- 2008年
- Linux提供了一套功能强大的流量控制机制,成为当前实现网络QoS的重要工具。针对制定流量控制方案时带宽划分精度和粒度难以权衡,采用单一队列调度算法实施流量整形效果不尽如人意等问题,提出了基于可扩展策略库的流量控制管理方案,在Linux下设计并实现了可扩展流量控制策略库。介绍了该策略库的3个模块:策略存储实体、出错回滚监控模块和可扩展策略库管理模块。定义了策略的存储格式,将主机、服务、时间、上下行方向等元素综合管理起来。同时提出了结合优先级调度的策略添加、删除、合并的策略管理算法。通过实验分析证明该流量控制管理方案的有效性和实用性。
- 刘潇潇张大方谢鲲姜玉蓉
- 关键词：流量控制LINUX
