非原子性异常处理的静态分析

来源 :计算机应用与软件 | 被引量 : 8次 | 上传用户:axun2010
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
异常处理机制是程序设计语言的重要特征之一,它为开发可靠性系统提供了强有力的支持。但异常处理代码必须仔细编写,否则可能破坏程序的一致性。提出了基于扩展的程序依赖图,通过静态分析来发现程序中异常非原子性代码的方法,同时给出了自动的部分屏蔽异常非原子性代码的方法。
其他文献
基于形态学的基本理论,通过对经典灰度形态学腐蚀和膨胀两个基本算子的改进,建立了一个新的灰度形态学模型。该模型与经典形态学相比较,对去除灰度图像的脉冲噪声更为有效。最后通过实验仿真,对算法的可行性进行了验证。
随着计算机网络技术的发展,分布式系统的应用越来越广泛。分析了面向对象的分布式系统的不足,由此提出了采用Openwings构建面向服务的分布式应用,并将JMF应用到Openwings体系中,实现了面向服务分布式系统中的图像传输服务。另外通过实验验证了在面向服务的分布式系统中服务发现的有效性以及时间开销等情况,结果表明所采用的Openwings体系能够在保证很小的时间开销的前提下,有效发现服务,适合应
2003年,广东省中山市阜沙镇农办、农业服务中心本着高产、优质、高效生产粮食的宗旨,在上南村文安片5队的130亩稻田实行机械化加科学化种植,全程采用水稻机械化生产、水稻良
受中国农学会的委托,广东省农学会、广东省农机学会协助捷流技术工程公司于2006年9月27日在广州市举办节能增产技术应用研讨会。会议的主题是交流研讨关于节能增产技术在农业
随着分布式数据库系统的广泛应用,如何实现多个数据库之间的数据一致已成为系统可靠运行所要解决的重要问题。提出了一种基于Web Service的数据一致性维护方法,它不仅适用于各种分布式数据库,也可应用于相互独立的多个数据库。
广东省德庆县是一个典型的山区县,农业在国民经济中占有重要地位.长期以来,由于经济基础较差,科技意识不强,所以我县的农业生产一直沿袭传统而落后的手工作业方式,严重影响了
MVC框架是现今十分流行的开发大型W eb应用程序的模型。本文将通过ODM思想与W ebComponent组件的开发,对页面控件进行再封装,具体解决页面编写中烦琐的标记问题,复用控件,降低工作量,使JSP的编码达到最简化。同时,获得表现与数据更好地分离,进一步优化MVC模型,并实现大型W eb开发架构的一种更松散的耦合关系。
伊朗伊斯兰共和国位于西亚,国土总面积为164.8万km2,属大陆性气候,夏干热、冬湿冷.年降水量约为100~700 mm.主要农作物为麦类、棉花、椰枣树,椰枣产量和出口均居世界前列.
DataGrid控件因其内置了对数据的修改、删除、分页等很多实用功能和操作的简便而倍受程序设计人员的青睐,然而,DataGrid的默认分页方式以及生成的ViewState,影响了应用程序的性能。为此,就DataGrid的这两个问题进行了分析,给出解决方法并附带主要源代码。