基于ISDG的面向对象程序分片技术研究

程序分片是一种有效的程序分析技术，它能根据给定的分片准则从源程序中提取出所需部分进行分析，如进行程序调试、测试、程序重构分析等。程序分片技术在结构化程序中已有较广泛的应用，但对于面向对象语言程序，其研究与应用还存在一些待解决的问题。针对面向对象语言程序，提出了一种改进后的系统依赖图：ISDG，用来更好地表示面向对象程序中的依赖关系，从而解决了对象类型参数和属性的表示问题。基于ISDG模型，提出了一种新的面向对象语言程序的分片准则，以度相应的分片算法。     

基于粒计算的数据分片算法

提出了一种基于粒计算的数据分片模型及算法，该算法在优先考虑数据本地化的基础上，可动态调整全集划分的粗细，将全集划分的数据分片的数量调整到一个比较合理的状态，既能减少网络流量、降低整个分布式系统开销，同时又控制了数据分片数量，减少了数据连接工作量，从而提高系统效率。     

自适应分片算法研究

论文提出了一个自适应磁盘分片算法。首先,利用M/G/1排队理论对单个文件和整个阵列的平均存储响应时间建模,并提出了最优分片宽度理论计算公式;考虑到访问流之间的竞争,论文提出了一个磁盘分片的启发算法,它同时计算没有背景负荷和有背景负荷下访问流对应的磁盘优化分片,最终的磁盘分片是两者的结合;模拟试验表明自适应分片算法在四种分片算法中的性能最佳。     

基于ISDG的面向对象程序分片技术研究

程序分片是一种有效的程序分析技术,它能根据给定的分片准则从源程序中提取出所需部分进行分析,如进行程序调试、测试、程序重构分析等.程序分片技术在结构化程序中已有较广泛的应用,但对于面向对象语言程序,其研究与应用还存在一些待解决的问题. 针对面向对象语言程序,提出了一种改进后的系统依赖图:ISDG,用来更好地表示面向对象程序中的依赖关系,从而解决了对象类型参数和属性的表示问题,使分片更加准确.     

基于跳跃Hash和异步共识组的区块链动态分片模型

区块链系统的实现方案普遍存在性能和容量上的缺陷,使其无法取得更广泛的普及和应用。分片被视为最有可能解决区块链瓶颈的技术,然而目前主流的实现方案普遍存在牺牲去中心化或者安全性来提升性能的问题。基于现有分片技术的研究,文中提出了基于跳跃Hash和动态权重的分片构建算法,该算法满足高效性、公平性、自适应性等特点,网络分片效率对比以太坊提升了8%,分片数量动态增减时节点迁移的工作量对比以太坊降低了25%;同时引入了异步共识组机制,提升了分片的交易安全性,能够有效处理跨分片交易。理论分析和实验证明,基于跳跃Hash和异步共识组的区块链动态分片模型的最大交易性能可达5000笔每秒。     

系统MDDBMS的分片透明性

本文描述了一个基于微机局部网的分布式数据库管理系统MDDBMS的分片透明性问题,它涉及分片定义,查询处理,离网查询优化及更新问题。分片模式包括混合分片,它从全局模式经由一系列的分片操作(垂直、水平和导出水平分片)得到。一个查询操作被转化为一棵操作树,然后对它进行优化和模拟执行。基于一系列定理和推论,本文提出了一个与网络无关的优化算法。     

自适应节点规模的区块链分片可扩展模型

分片是解决区块链可扩展性问题的核心技术,然而现有分片方案普遍采用预定分片规模的静态分片方式,这与公链开放低门槛的分布式环境不匹配。当网络中的节点数大幅增加时静态分片方式难以及时充分地发挥全部节点的性能,当网络中的节点数大幅减少时又会增加分片内的安全隐患。为此,构建一种自适应节点规模变化的动态分片可扩展模型（DSSM）。在基础分片上建立分层的逻辑分片,通过支持状态归约允许节点在不同层级的分片上进行状态同步。在逻辑与基础分片间建立满二叉树的逻辑关系,通过分片的动态分裂和合并来扩张和收缩分片规模,实现分片规模的自适应调整。实验结果表明,DSSM在节点数量大幅增加时通过自适应扩展分片规模使网络吞吐量得到了近乎翻倍的提升,在节点数量大幅减少时通过自适应收缩分片规模保证了网络的最低安全要求。     

抗IP分片逃避技术的设计与实现

通过对目前NIDS的检测技术、IP分片形成以及重组机制的分析,发现常用的NIDS的检测方法不能很好地检测包含在IP分片中的攻击特征,这是由于不同的系统对于分片的处理策略是不同的,不能根据NIDS的处理结果推断终端主机的处理结果,从而包含攻击特征的IP分片可以轻松地逃避NIDS的检测。为此,提出了一种针对于抵抗IP分片攻击的方法,通过在NIDS的前端串行地加入一个流量预处理引擎TPE,对IP分片进行预定的规则处理。实验结果表明,此种方法能够有效地抵御90%以上的IP分片攻击。     

一种新的IP追踪的分片标记方法

拒绝服务攻击（DoS）是难以解决的网络安全问题。IP追踪技术是确定DoS攻击源的有效方法。针对用于IP追踪的压缩边分片采样算法（CEFS）存在的不足,提出了新分片标记算法（NFMS）,该算法通过扩大标记空间和采用自适应概率的方法,减少了重构路径所需数据包数,并通过给分片加标注,减少了重构路径的计算量和误报率,并且将点分片（路由器分片）、边分片（该路由器分片与同偏移值的下游相邻路由器分片的异或值）分开存放,可验证重构路径时所得攻击路径中节点的正确性。分析和仿真结果表明NFMS算法的性能较优。     

IP分片重组Cache实现的测试与分析

IP碎片攻击是网络攻击的主要方式之一,攻击者利用系统对IP数据包分片重组实现上的漏洞,构造大量特殊的分片发送给目的主机,导致目的主机由于重组错误而造成拒绝服务、系统崩溃等。IP分片重组Cache的实现包括IP分片的重组算法、超时处理、替换策略等。文章从分析Linux操作系统IP分片重组Cache实现的策略入手,提出了一种测试IP分片重组Cache实现的方法,并在此基础上推测出Windows系统实现IP分片重组Cache的方法。     

程序切片技术浅析

程序切片技术是一种重要的程序分析理解方法,可以帮助开发人员和维护人员理解程序的结构和作用。随着编程语言逐渐趋于人性化、多功能化和复杂化,为了适应编程语言的这种进步,程序切片技术也在不断的演化发展着。文章中主要介绍了程序切片技术的一些基本的准则,介绍了程序切片的一些类型,以及如何利用源程序和图形进行程序切片,并且进行了举例说明。     

程序切片技术浅析

程序切片技术是一种重要的程序分析理解方法，可以帮助开发人员和维护人员理解程序的结构和作用。随着编程语言逐渐趋于人性化、多功能化和复杂化，为了适应编程语言的这种进步，程序切片技术也在不断的演化发展着。文章中主要介绍了程序切片技术的一些基本的准则，介绍了程序切片的一些类型，以度如何利用源程序和图形进行程序切片，并且进行了举例说明。     

Slicing XML Documents

Program slicing is a well-known technique to extract the program statements that (potentially) affect the values computed at some point of interest. In this work, we introduce a novel slicing method for XML documents. Essentially, given an XML document (which is valid w.r.t. some DTD), we produce a new XML document (a slice) that contains the relevant information in the original XML document according to some criterion. Furthermore, we also output a new DTD such that the computed slice is valid w.r.t. this DTD. A prototype implementation of the XML slicer has been undertaken.     

一种改进的并发程序静态切片算法

分析了Krinke切片算法对循环体内嵌套有线程的程序结构会产生切片不精确的现象，认为其原因是该算法对线程间数据依赖的定义过于粗糙，且对程序行为约束不够。该文提出一种新算法，在并发程序内部表示中，增加跨线程边界循环-承载数据依赖，并引入区域化执行证据约束程序行为。实例研究表明，该算法克服了Krinke算法的不精确现象。     

Slice-based statistical fault localization

Recent techniques for fault localization statistically analyze coverage information of a set of test runs to measure the correlations between program entities and program failures. However, coverage information cannot identify those program entities whose execution affects the output and therefore weakens the aforementioned correlations. This paper proposes a slice-based statistical fault localization approach to address this problem. Our approach utilizes program slices of a set of test runs to capture the influence of a program entity's execution on the output, and uses statistical analysis to measure the suspiciousness of each program entity being faulty. In addition, this paper presents a new slicing approach called approximate dynamic backward slice to balance the size and accuracy of a slice, and applies this slice to our statistical approach. We use two standard benchmarks and three real-life UNIX utility programs as our subjects, and compare our approach with a sufficient number of fault localization techniques. The experimental results show that our approach can significantly improve the effectiveness of fault localization.     

一种C++程序的分层切片方法

该文介绍了一种C++程序的分层切片方法。通过构造系统程序层依赖图、类层依赖图、方法层依赖图和语句层依赖图,对C++程序进行分层切片,有效地表示了C++中的单重继承、多重继承、多态和动态绑定,该方法比其它C++切片技术更清晰地描述了C++程序中类之间的各种关系和消息传递机制。     

The value of slicing while debugging

The paper describes a study that explored the relationship of program slicing to (1) code understanding gained while debugging, and to (2) a debugger's ability to localize the program fault area. The study included two experiments. The first experiment compared the program understanding abilities of two classes of debuggers: those who slice while debugging and those who do not. For debugging purposes, a slice can be thought of as a minimal subprogram of the original code that contains the program faults. Those who only examine statements within a slice for correctness are considered slicers; all others are considered non-slicers. Using accuracy of subprogram construction as a measure of understanding, it was determined that slicers have a better understanding of the code after debugging. The second experiment compared debugger fault localization abilities before and after a training session on how to use slicing in debugging. Using time as a measure of ability, it was shown that slicing while debugging improves a debugger's ability to localize the program fault area.     

Slicing for modern program structures: a theory for eliminating irrelevant loops

Slicing is a program transformation technique with numerous applications, as it allows the user to focus on the parts of a program that are relevant for a given purpose. Ideally, the slice program should have the same termination properties as the original program, but to keep the slices manageable, it might be preferable to slice away loops that do not affect the values of relevant variables. This paper provides the first theoretical foundation to reason about non-termination insensitive slicing without assuming the presence of a unique end node. A slice is required to be closed under data dependence and under a recently proposed variant of control dependence, called weak order dependence. This allows a simulation-based correctness proof for a correctness criterion stating that the observational behavior of the original program must be a prefix of the behavior of the slice program.     

基于进程边界的类切片方法

程序切片技术是辅助程序理解的一种重要手段,其核心思想是分而治之。借鉴程序切片核心思想,引入了类切片的概念,并给出了基于进程边界的类切片生成方法,并对该方法进行了系统的实验研究。