题名 基于FJ的多版本类动态更新演算
被引量：2
1
作者
张仕 黄林鹏
机构
上海交通大学计算机科学与工程系 福建师范大学数学与计算机科学学院
出处
《软件学报》
EI
CSCD
北大核心
2008年第10期2562-2572,共11页
基金
国家自然科学基金 国家高技术研究发展计划(863) +1 种基金 福建省自然科学基金 福建省教育厅资助省属高校项目F5项目~~
文摘
针对面向对象软件在动态更新中遇到类型安全问题,定义了一个多版本类的动态更新演算(MCUFJ演算(multi-version class dynamic updamble calculus based on FJ calculus))来描述类动态更新.MCUFJ演算以FJ(featherweight Java)演算为核心,通过增加update操作表示类的动态更新,运用多版本技术使动态更新可以在保持新旧对象共存的情况下完成,讨论了类的数据域和方法进行增加、删除、修改以及类型变化对程序类型安全性的影响,并且指出MCUFJ上类型安全的动态更新需要满足的约束.定义了类的可动态更新限制,并且证明了在该条件下多版本类的动态更新在类型上的安全性.该演算可以用于指导Java语言和面向对象程序语言的类动态更新.
关键词
动态软件更新 FJ(fbathenveight Java)演算 JAVA 类型系统 程序设计语言
Keywords
dynamic software updat e FJ （featherweight Java） calculus Java type system program language
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
题名 类动态更新事务研究
2
作者
张仕 赖会霞 黄林鹏
机构
福建师范大学数学与计算机科学学院 上海交通大学计算机科学与工程系
出处
《计算机科学》
CSCD
北大核心
2008年第11期284-289,共6页
基金
国家自然科学基金(60673116) 国家高技术研究发展计划(863)(2006AA01Z166) +1 种基金 福建省自然科学基金计划资助项目(2007J0315) 福建省教育厅资助省属高校项目(2007F5037)资助
文摘
针对软件单个类的动态更新操作存在许多限制,例如不允许删除类、方法等,提出类动态更新事务的方法,利用动态更新类集来克服这些限制,同时保证更新的安全性。基于此,对动态更新事务的一些属性,如ACID进行讨论,提出类型安全的类动态更新事务并进行了证明。最后,以Java语言为例,说明了如何构造动态更新程序,并进行了相应的实验,说明了方法的可行性。
关键词
软件更新 类动态更新 程序设计 更新事务
Keywords
software updating , dynamic class updat e, Program design, updat e transaction
分类号
TP316.86
[自动化与计算机技术—计算机软件与理论]
TP311.13
[自动化与计算机技术—计算机软件与理论]
题名 基于计数副本的传统操作系统代码空闲状态监测技术
3
作者
刘晓建 任怡 戴华东
机构
国防科学技术大学计算机学院
出处
《计算机工程与科学》
CSCD
北大核心
2012年第5期78-83,共6页
基金
国家863计划资助项目(2008AA01Z138 2009AA01Z101)
文摘
在系统不重启的情况下对操作系统进行缺陷修复对于保障服务器系统的性能、安全和可用性等方面具有重要意义。因传统操作系统并未针对在线更新进行实现,现有在线更新技术不能较好地处理被更新代码正处于"使用中"状态的问题,导致在有些场景下无法进行在线更新。本文针对这一问题,设计了一种用于传统操作系统的代码使用计数动态监测技术,通过将原始函数二进制码替换为与其对等的计数副本,以及修改相关线程的内核栈上返回地址,实现对于被更新代码执行情况的监测,从而发现可进行在线更新的时机。最后,本文基于开源的动态升级软件ksplice验证了上述工作的有效性。
关键词
在线更新 动态升级 传统操作系统 可用性
Keywords
hot updat e dynamic software updat e commodity operating system availability
分类号
TP393
[自动化与计算机技术—计算机应用技术]
题名 语义相关的中粒度动态更新技术研究
4
作者
杨沙洲 杨学军
机构
国防科技大学计算机学院
出处
《计算机科学》
CSCD
北大核心
2006年第5期267-269,共3页
基金
OS 新技术研究 项目号:2003AA1Z2060
文摘
软件动态更新技术是保证系统长时间的可靠运转和高可配置能力的关键技术,软件系统愈趋复杂的今天,其重要性得到越来越多的认同。这一技术通常可分为以代码插入技术为代表的细粒度更新和构件级的粗粒度更新两类,两者在灵活性、适用性上都有各自的不足。本文针对现有动态更新技术的不足,将一组具有语义相关性的功能集合作为参与动态更新的对象,提出了一种应用于传统操作系统运行环境的中粒度动态代码更新机制 PRODUP(PRO-vider-based Dynamic UPdate system),使得传统操作系统及应用程序也具备一定的动态更新能力,以满足应用过程中越来越多的高可用、高可配置要求。PRODUP 以构件动态重配思想为基础,结合动态链接技术,使动态更新过程符合透明、低耗的要求。并基于 PRODUP 实现了一套可动态更新的内核模块机制,证明了 PRODUP 思想的可行性。
关键词
软件动态更新 中粒度 语义 符号提供者
Keywords
software dynamic updat e, Medium-granularity, Semantics, Provider
分类号
TP393.07
[自动化与计算机技术—计算机应用技术]
TP31
[自动化与计算机技术—计算机软件与理论]
题名 嵌入式系统中的代码动态链接模型
被引量：4
5
作者
张蓝博 张善从 陈蔚薇
机构
中国科学院光电研究院
出处
《计算机工程与设计》
CSCD
北大核心
2008年第16期4115-4117,共3页
文摘
飞行器上的计算机系统软件有时需要更新或升级,为了增加软件更新或升级的灵活性,降低其代价,有必要根据功能对飞行器上的软件进行模块划分,以实现单模块可更新升级。为此,提出了一种适用于嵌入式系统的代码动态链接模型,并以具体项目为背景,阐述了其编程实现的关键部分。该模型为嵌入式系统中软件目标代码复用和软件模块升级奠定了基础,在小卫星等空间飞行器上具有一定的应用价值。
关键词
动态链接 模块信息表 函数入口表 模块升级 飞行器软件
Keywords
dynamic link module information table function entry table module updat e spacecraft software
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
题名 体系结构动态演化中的构件行为分析
被引量：3
6
作者
黄崇德 彭鑫 赵文耘
机构
复旦大学信息科学与工程学院软件工程实验室
出处
《计算机工程与应用》
CSCD
北大核心
2007年第10期87-92,共6页
基金
国家自然科学基金(the National Natural Science Foundation of China under Grant No.60473061) 国家高技术研究发展计划(863)(theNational High- Tech Research and Development Plan of China under Grant No.2005AA113120)
文摘
在体系结构演化的过程中,关闭运行时系统升级的代价增高和频繁改变的业务需求使得研究者考虑动态的软件升级机制.但在体系结构的动态升级过程中,由于构件风格、功能及交互方式等方面的差别,强制的构件升级会影响系统的稳定性和正确性。从构件行为的角度考虑,采用基于Wright的软件体系结构描述语言和通信顺序进程中对于进程的描述方法,描述构件行为并在构件替换之前分析原构件和新构件间的行为特性,在演化前确认构件的行为一致性,从而保证动态升级过程的正确性和合法性,以及提高系统演化的自适应性。
关键词
软件体系结构 动态升级 构件行为 CSP WRIGHT
Keywords
software architecture dynamic updat e component behavior Communicating Sequential Process （CSP） Wright
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
题名 软件动态更新中错误状态的修复
被引量：1
7
作者
赵冬晖
机构
复旦大学并行处理研究所
出处
《计算机工程》
CAS
CSCD
北大核心
2008年第13期46-48,共3页
文摘
针对现有动态更新方法缺乏处理已存在错误状态的被更新软件的能力,该文基于POLUS的动态更新框架,分别提出在动态更新性能时处理线程死锁、内存管理错误和数据结构错误的启示性修复方案。实验结果证明,各修复方案都能够成功地排除错误状态,实现修复目的。
关键词
软件动态更新 错误状态修复 内存管理错误 数据结构修复
Keywords
dynamic software updating（dsu） tainted state recovery memory management error data structure repair
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
题名 嵌入式系统基于动态命令的软件局部更新技术
被引量：1
8
作者
刘强 王宜怀 许粲昊
机构
苏州大学计算机科学与技术学院
出处
《计算机应用与软件》
北大核心
2023年第1期267-272,共6页
基金
国家自然科学基金项目(61672369)。
文摘
微控制器所能实现的功能被局限于其自身所存储的代码,这在一定程度上限制了嵌入式系统功能的丰富性和灵活性。针对这一问题,提出一种软件局部更新技术,可以在不影响微控制器正常运行的情况下,将新功能以动态命令的形式注入并运行,极大程度上丰富了微控制器的功能,且不会导致空间资源受限和整体更新带来的重启等问题,同时也减轻了软件更新时的数据传输压力,具有很好的灵活性,且具备一定的实用价值。
关键词
动态命令 软件局部更新 代码注入
Keywords
dynamic commandsoftware local updat eCode injection
分类号
TP3
[自动化与计算机技术—计算机科学与技术]
题名 一种支持动态演化的防火墙软件的设计与实现
9
作者
李开拓 胡羽 张家晨
机构
吉林大学计算机科学与技术学院
出处
《计算机应用》
CSCD
北大核心
2008年第B06期302-304,共3页
文摘
对于软件防火墙,如果具备了动态更新的能力,会使被保护的系统更安全,即使在更新时也能对被保护系统进行保护。为达到这一目的,在分析netfilter和OSGi框架的原理的基础上,提出采用这两种框架分别处理防火墙安全策略和功能模块更新的方案,实现了一种基于这两种框架的支持动态演化的防火墙系统。
关键词
软件动态演化 软件在线更新 OSGI neffilter
Keywords
software dynamic evolution software runtime updat e OSGi neffilter
分类号
TP311.53
[自动化与计算机技术—计算机软件与理论]
题名 软件众包工人能力动态度量算法
被引量：3
10
作者
余敦辉 王意 张万山
机构
湖北大学计算机与信息工程学院 湖北省教育信息化工程技术中心
出处
《计算机应用》
CSCD
北大核心
2018年第12期3612-3617,共6页
基金
国家重点研发计划项目(2017YFB1400602 2016YFB0800401) +1 种基金 国家自然科学基金资助项目(61572371 61702377)~~
文摘
针对现有软件众包平台对工人能力考虑不足,导致分配给工人的任务完成质量低下的问题,提出了一种软件众包工人能力动态度量算法(ADM),实现工人能力的动态度量。首先,基于静态技能覆盖率,实现工人初始能力的计算;其次,对于工人历史完成的单个任务,综合任务复杂度、任务完成质量及任务开发时效,实现开发能力的计算,并根据时间因子计算随时间衰减的开发能力;然后,根据所有历史完成任务的时间先后顺序,实现能力度量值的动态更新;最后,基于历史任务技能覆盖率,计算工人对于待分配任务的开发能力。实验结果表明,与用户可靠性度量算法相比,所提出的能力动态度量算法具有较好的合理性与有效性,使能力度量吻合度平均值最高达到90. 5%,能有效指导任务分配。
关键词
软件众包 能力度量 动态更新 任务分配 软件复杂度
Keywords
software crowdsourcing ability measurement dynamic updat e task assignment software complexity
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
