收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

大规模分布式软件系统的伴随式监控技术研究

刘东红  
【摘要】:随着软件规模和复杂度不断增加,软件故障和软件失效问题日益严峻,给人们生活、社会和经济运转等带来极大的影响。如何保证大规模分布式软件系统的可信运行已经成为现实挑战。大规模分布式软件系统具有规模庞大、部署分散、部件异质、环境开放、持续演化等特点,其可信问题很难通过测试、形式化验证等手段在开发阶段解决。要保证大型分布式软件系统持续、可靠运转,需要运行时对其进行必要的“把握”和“调整”,其中的重要实现技术之一就是软件监控。 软件监控技术经历了数十年的发展,研究者已经从软件调试、软件维护、软件调优、软件质量评估、软件实时容错等角度开展了研究。但在支持大规模分布式软件系统的可信运行方面,此类系统特点仍然为现有工作带来较大的挑战,突出表现在:(1)缺乏大规模分布式软件系统监控体系架构的研究,特别是针对此类系统中监控架构的适应性、灵活性、非侵入性等的研究;(2)缺乏对大规模分布式软件系统监控使能机制和方法的研究,特别是监控需求的完备性和系统性、监控设计的效率等方面的研究;(3)缺乏对分布式系统监控机制的普适开发方法的研究。 本文从软件工程层面入手,针对上述挑战,从监控体系、监控使能机制、监控开发方法三个角度展开初步探索。本文工作的主要创新点包括: (1)提出了面向大规模分布式软件系统的伴随式监控架构和方法体系。 “伴随式”是指监控机制的开发和运行基本独立于被监控系统。本文提出了伴随式软件监控架构和方法体系,通过应用面向方面编程(Aspect-OrientedProgramming,AOP)技术和相关设计模式支持大规模分布式系统开发时的伴随,通过监控使能的分布式软件运行框架实现运行时的伴随,通过监控系统的动态部署方法实现演化维度上的伴随,从而实现在开发阶段可以支持多种软件开发模式,运行阶段减少对被监控系统行为影响以及支持监控机制的独立在线演化的目标。 (2)提出了设计约束驱动的软件监控使能机制和方法。 本文剖析了软件设计过程中的计算表达失真、物理-数字映射失真和人的因素三类主要失真问题,从计算系统本源角度分析了软件系统监控的基本对象和要素,进而提出基于设计约束的不变式监控使能机制和操作规程强制执行机制。两种机制以伴随式思想为引擎,实现了对计算表达中存在的设计约束、操作人员应当遵守的使用规程的运行时监督,相对应的方法和工具拓宽了监控需求源,提高了监控使能的自动化程度和设计效率。 (3)提出了基于元信息的软件系统监控能力注入方法。 业务逻辑和监控逻辑混杂在一起,会导致大规模分布式软件系统复杂性的增加。基于元信息的软件监控能力注入方法通过“分而治之”思想来实现伴随效果:监控代码的开发和维护独立于业务逻辑,监控代码开发完成后,通过提取源代码的元信息,结合反射机制和工具支持将监控能力注入到软件系统中。这一方法由源代码分析、监控需求建模、监控代码生成、监控代码织入等环节构成,并由相应的软件工具支持,可以实现软件开发过程中和软件发布以后的监控能力注入,支持多种开发方法和环境。 (4)提出了监控信息的多用途归纳和综合方法。 软件系统监控的最终目标是服务于用户对系统的要求,这些要求来源于两个空间和三类用户,两个空间是数字空间和物理空间,三类用户是维护人员、保障人员和业务人员。本文从监控能效发挥的角度,提出了在数字空间通过监控综合解决软件运行时“黑盒”问题的运行轨迹追踪方法,面向调试和缺陷定位的监控定制方法,以及基于监控的数字-物理空间虚实协同分析方法,探索通过监控信息归纳和综合方法形成新能力的思路和途径。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 胡琳;;分布式信息处理方式研究[J];信息技术与信息化;2007年05期
2 贾俊刚;关志超;;基于SOA的深圳智能交通信息平台体系结构研究[J];中国公共安全(学术版);2010年04期
3 王亚飞;石心怡;关志超;;面向服务SOA城市智能交通信息平台体系结构研究[J];中山大学学报(自然科学版);2010年S1期
4 黄拥政;;基于分布式的安全培训考试管理系统研究[J];软件导刊;2008年01期
5 毛新生;;谈SOA及其在金融领域的应用[J];金融电子化;2006年06期
6 Stephen S. Yau;Jeffery J. -P. Tsai;李辉;;软件设计技术之概观[J];计算机科学;1987年04期
7 吴道君;;中间件CORBA的设计与实现[J];电脑知识与技术(学术交流);2006年20期
8 王斌;;Web服务面临的主要安全威胁[J];东方企业文化;2010年03期
9 王怀民;史佩昌;丁博;尹刚;史殿习;;软件服务的在线演化[J];计算机学报;2011年02期
10 ;系统开发及开发工具[J];电子科技文摘;2002年10期
11 霍永华;汤十党;;分级分布式软件系统可靠性评估算法[J];无线电通信技术;2010年03期
12 吕鲲,鲁强,李亦学,骆清铭;基于工作流与Web Portal的分布式软件框架研究[J];计算机与数字工程;2005年11期
13 余学锋;;DCOM分布式软件技术在EIS中的研究和应用[J];华北地震科学;2008年03期
14 于菲;PC机与单片机通信中纠错编码的软件实现[J];自动化与仪器仪表;1998年04期
15 都伊林;;汉明译码器的设计与仿真[J];集成电路应用;2005年09期
16 刘升;王行愚;游晓明;;基于免疫计算的Multi-agent系统设计方法[J];计算机工程;2007年22期
17 党辰;王嘉祯;王素贞;;基于组件的移动Agent平台设计与实现[J];计算机工程与设计;2009年03期
18 满君丰;杨路明;李长云;文志诚;;软件交互行为的可信性分析与态势预测研究[J];小型微型计算机系统;2009年11期
19 张红艳;吴泉源;吕高锋;;基于SOA的业务规则代理研究[J];计算机工程;2008年12期
20 汪小林;庞潇;王海波;罗英伟;;基于SOA的GIS应用设计与实现[J];地理信息世界;2010年02期
中国重要会议论文全文数据库 前10条
1 卢爱澎;郭晓薇;;局域网管理软件的分类与选择[A];第二十四届中国(天津)2010’IT、网络、信息技术、电子、仪器仪表创新学术会议论文集[C];2010年
2 任虹;王拴荣;付文君;范忠范;;基于FPGA的RS(255,237)译码器设计[A];中国空间科学学会空间探测专业委员会第十九次学术会议论文集(下册)[C];2006年
3 张盱昊;;移动Ad-hoc网络基于QoS的路由算法研究[A];卫星通信新业务新技术学术研讨会论文集[C];2005年
4 李广文;酆广增;;基于置信传播和波束搜索的LDPC联合译码算法[A];2008年中国通信学会无线及移动通信委员会学术年会论文集[C];2008年
5 周强;叶明;;基于FPGA的级联码的译码器的硬件设计[A];中国通信学会第六届学术年会论文集(中)[C];2009年
6 沙军;黄凌;;基于FPGA的RS(204,188)译码器的设计与实现[A];2009年研究生学术交流会通信与信息技术论文集[C];2009年
7 彭宏;刘磊;罗佳波;郑杭波;;BCH码逐位取反译码方法及其在GPON系统中的应用[A];2009年研究生学术交流会通信与信息技术论文集[C];2009年
8 王涛;郭长国;邹鹏;王晓斌;;一种基于注释的监控编程语言设计与实现[A];全国第20届计算机技术与应用学术会议(CACIS·2009)暨全国第1届安全关键技术与应用学术会议论文集(下册)[C];2009年
9 金小萍;谢少枫;;WIMAX系统中的RS码译码算法研究[A];2007通信理论与技术新发展——第十二届全国青年通信学术会议论文集(下册)[C];2007年
10 伍欢;邹永忠;李道本;;一种新的基于二进制分解的次优RS码软入软出译码方法[A];2007通信理论与技术新发展——第十二届全国青年通信学术会议论文集(下册)[C];2007年
中国博士学位论文全文数据库 前10条
1 刘东红;大规模分布式软件系统的伴随式监控技术研究[D];国防科学技术大学;2011年
2 饶翔;基于日志的大规模分布式软件系统可信保障技术研究[D];国防科学技术大学;2011年
3 张琛;基于UML2.0模型的测试与验证方法[D];西安电子科技大学;2012年
4 沈悦;基于导航通信多模应用的位置服务技术研究[D];中国科学技术大学;2012年
5 何盼;面向可靠性优化设计的分布式系统资源分配研究[D];重庆大学;2012年
6 李宝;一类代数几何码的译码[D];西安电子科技大学;1998年
7 谢琪;基于协同过滤与QoS的个性化Web服务推荐研究[D];重庆大学;2012年
8 程克非;基于HPM的软件性能与状态分析研究[D];重庆大学;2005年
9 张军;光纤通信中的级联码技术及其实现研究[D];东南大学;2006年
10 邱晓华;基于高速跳频技术的宽带WPAN若干关键技术研究[D];东南大学;2005年
中国硕士学位论文全文数据库 前10条
1 刘春梅;基于本体和规则推理的软件可信演化研究[D];重庆大学;2010年
2 左伟东;基于“环境-行为”本体模型的软件可信演化研究[D];重庆大学;2011年
3 文志华;策略驱动的软件动态调控研究[D];湖南工业大学;2009年
4 余威;Fabric配置管理模块的设计与实现[D];华中科技大学;2011年
5 左继旺;基于J2EE的网络游戏会员系统的设计与实现[D];华东师范大学;2010年
6 殷跃鹏;基于事件的分布式系统行为分析框架的设计与实现[D];国防科学技术大学;2010年
7 黄南平;基于序列模式挖掘的软件异常行为检测[D];湖南工业大学;2011年
8 徐子锦;基于数据共享平台的经济预测分析系统的设计与实现[D];天津大学;2012年
9 肖春光;气象预警信息发布系统的设计与实现[D];内蒙古大学;2011年
10 张悦红;学校伴随式性教育的理论研究[D];西北师范大学;2002年
中国重要报纸全文数据库 前10条
1 本报深度报道组记者 李芳 刘蒙丹;云计算,如何改变人类生活[N];南京日报;2011年
2 ;关于推广应用防伪税控系统网络版软件监控台有关问题的通知[N];中国税务报;2004年
3 见习记者 张硕;陈逸龙:创造网络平台中的“沃尔玛”[N];济南日报;2011年
4 柴运红;软件监控普通发票[N];中国税务报;2007年
5 安徽 自来水;想盗IP没门儿![N];电脑报;2005年
6 付晓燕 田忠海 费春霖;补税软件督促纳税人主动补税[N];中国税务报;2007年
7 本报通讯员 吕其亮 严宇辉;在管理和服务上取胜[N];中国城乡金融报;2007年
8 ;Tivoli助推自动化管理[N];网络世界;2006年
9 路敦海 通讯员 褚久平;开发软件监控税源[N];中华工商时报;2006年
10 谢文启;北京电视台“寻找春姑娘”启动[N];中华新闻报;2006年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978