可组合的描述符泄露类型检查

来源 :计算机科学 | 被引量 : 0次 | 上传用户：BeginJava123

【摘要】

：

应用程序通过操作系统的系统调用对文件描述符进行操作并管理文件资源.如果应用程序对资源描述符的管理出现错误并发生描述符泄漏,会严重影响系统的可用性.据此,提出了一种检

【作者】

：

李沁缪瑨

【机构】

：

安徽工业大学计算机科学与技术学院

【出处】

：

计算机科学

【发表日期】

：

2015年10期

【关键词】

：

描述符泄露类型检查软件安全 Descriptor leaking Type checking Software safety

【基金项目】

：

本文受国家自然科学基金（61170070）,省教育厅科研项目（kj20122022）,国家科技支撑计划（2012BAK308049-02）,安徽高校省级自然科学研究重大项目（KJ2014ZD05）资助.

下载到本地 , 更方便阅读

下载此文赞助VIP

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

论文部分内容阅读

应用程序通过操作系统的系统调用对文件描述符进行操作并管理文件资源.如果应用程序对资源描述符的管理出现错误并发生描述符泄漏,会严重影响系统的可用性.据此,提出了一种检查程序是否会导致描述符泄漏的类型系统,给出了描述符操作方法的语义和类型约束,证明了类型系统的可靠性定理.此外,还初步讨论了该类型系统在并发程序下的扩展.

其他文献

高职汽车机械基础课程的改革与实践

高职《汽车机械基础》课程教学模式还存在着一系列的问题,迫切需要对该课程教学进行改革&本文探讨高职《汽车机械基础》课程改革与实践,提出自己的见解,以供参考。

期刊

高职院校汽车机械基础改革实践

固始县行政事业单位资产清查工作圆满完成

按照《固始县人民政府办公室关于印发2020年固始县行政事业单位国有资产清查实施方案的通知》,2020年8月以来,固始县财政局组织全县663个行政事业单位开展了为期5个月的国有

期刊

单位资产资产管理信息系统资产清查工作行政事业单位在建工程固定资产国有资产清查实施方案

面向软件仓库挖掘的数据驱动特征提取方法

在软件仓库挖掘领域,通常将软件工程任务转换成数据挖掘问题进行解决。领域特征的使用严重影响了软件任务的解决效果。然而,如何根据特定任务从软件仓库数据中提取有价值的特

期刊

软件仓库挖掘数据驱动方法特征提取缺陷报告摘要Mining software repositoriesData driven approachFeat

内省与开源:中国武术发展的内在逻辑阐释

基于当下中国武术发展不平衡、不充分的问题,运用文献资料法、逻辑学分析方法、社会学研究方法等,梳理中国武术由“内”向“外”发展的实践脉络。认为:内省为中国武术发展“

期刊

内省开源中国武术竞技文武兼备introspectionopen sourceChinese Wushucompetitiveboth civi

安徽全面推进党政机关和事业单位经营性国有资产集中统一监管改革工作

;为贯彻落实中央关于推进党政机关和事业单位经营性国有资产集中统一监管、国企改革三年行动方案(2020—2022年)要求,安徽省在认真总结省直党政机关和事业单位经营性国有资产

期刊

经营性国有资产统一监管国企改革事业单位监管改革党政机关集中统一行动方案

Lustre文件系统元数据服务恢复机制的改进

Lustre的重启恢复算法需要集群中所有客户端在指定的恢复时间窗口内与服务器重新建立连接,客户端重传未提交的事务请求,服务器严格按照事务序列号重放所有未提交的事务,要求

期刊

LUSTRE高性能计算可恢复性可用性Lustre HPC Recoverability Availability

内存列存储数据库中优化的混合自适应索引

分析型数据库在现代企业中得到广泛应用,在使用过程中对查询处理速度的要求逐渐提高.大数据环境下,分析型数据库面临一系列新的挑战：首先,数据复杂性与日俱增,使得数据库系统

期刊

自适应合并数据库分裂自适应索引混合算法Adaptive mergingDatabase cracking Adaptive indexing Hy

可组合的描述符泄露类型检查

其他学术论文