【摘 要】
:
随着终端数据量的激增及隐私风险加剧,计算模式已经从ship data to code向ship code to data转变。然而,应用软件作为数据处理与信息服务供给的载体,往往追求功能的全面性而发展的过于臃肿,无法以精简化的形式去满足个性化的功能需求。对于单个业务负载而言,应用软件不仅过分冗余,还会因其大量的代码攻击面而带来更严重的安全隐患。因此,设计软件的自动切分及按需加载方法具有显著的研究意
论文部分内容阅读
随着终端数据量的激增及隐私风险加剧,计算模式已经从ship data to code向ship code to data转变。然而,应用软件作为数据处理与信息服务供给的载体,往往追求功能的全面性而发展的过于臃肿,无法以精简化的形式去满足个性化的功能需求。对于单个业务负载而言,应用软件不仅过分冗余,还会因其大量的代码攻击面而带来更严重的安全隐患。因此,设计软件的自动切分及按需加载方法具有显著的研究意义。现有软件裁剪工作通常依赖于源代码分析展开或提出模块化的软件重构方案,具有较高的局限性。而部分基于二进制代码的软件裁剪工作则无法达到较高的裁剪准确度,易导致软件运行奔溃,影响用户体验。针对已有方法的不足,本文基于流式计算的思想,提出了一种面向轻量级设备的软件自动切分与按需加载方法。该方法能在无软件源代码、无需开发人员主动重构软件,且在用户无感知的前提下,将软件自动切分为细粒度的代码模块,然后按执行需要流动至目标设备。并且,在该模式下代码模块执行的性能,可与其在目标设备上按原生流程执行的性能相媲美。本文基于Linux内核平台,围绕细粒度软件切分方法,基于用户计算请求特点分析的按需加载方法,以及针对减少按需加载触发次数的预测方法三个具体内容展开,并提供系统化解决方案。本文的主要工作和贡献为:(1)提出了一种可动态配置粒度的软件自动切分方法,以缩小加载的计算粒度。该方法以4KB大小的页为基本切分粒度,能在不对软件源码进行任何修改情况下,完成自动切分。本研究还通过编写内核模块,为用户提供了动态配置切分粒度的接口。最后,我们对十款常见Linux软件进行了4KB及不同粒度自动切分。(2)提出了一种用户无感知的按需远程加载方法,为代码流动提供新的思路。不必用户提供需求信息,我们借助缺页异常来截获实际运行过程中的访问情况,构建出远程加载请求。为了确保远程加载的时效性,我们做了加载时延测试,并针对性地进行了性能优化。最后,实验证明优化加速后的远程加载性能,能够媲美本地磁盘加载。(3)提出了面向稳定业务场景的预测方法,以最小化远程加载触发的次数。若预测准确,直接缓存命中所需代码模块,就能避免向远端频繁请求。我们提出了离线动态跟踪预测方法。通过对预执行的动态跟踪,来构建执行时各操作的依赖代码集,作为正式执行的预测依据。最后,实验证明,该预测方法在业务场景较为稳定的环境中,能达到比Linux预读机制更高的准确度,占用更少的内存。图37幅,表5个,参考文献77篇
其他文献
含氟材料具有出色的耐候性、耐热性和稳定性。尽管碳氟化合物比传统的碳氢化合物材料要昂贵得多,但其不可缺少的优越性能使其应用领域和应用价值正在不断拓展和增长。加大含氟丙烯酸单体的研发是今后应用市场研究的重点。本文介绍了含氟丙烯酸酯聚合物的各种性能以及在建筑、纺织、集成电路防护、纸张处理及光学材料等方面的最新研究进展。
通过对第三、四、五届全国基层党建创新典型案例评选出的90个最佳案例进行文本分析,发现基层党建创新内容主要聚焦在:加强基层组织功能和党建基本保障基本制度创新;创新呈现“多点开花”的良好态势,但也表现出“东部强、中西部及东北地区稍弱”的特点;创新主体以政府机关为主;上级要求、问题驱动和环境驱动是创新的主要动力;创新产生内部和外部两方面绩效。同时,基层党建创新地域不平衡、主体不平衡等问题,需要进一步研究
目的 了解和分析近5年常州市食源性疾病的流行病学及病原学特征,为制订预防和控制措施提供依据。方法 通过“食源性疾病监测报告系统”,收集2016—2020年常州市食源性疾病哨点医院上报的所有食源性疾病监测信息,描述报告病例和病原检测结果的分布情况,分析影响病原检测结果的可能因素。结果 共收集食源性疾病报告病例14 931例,主要分布在夏、秋季。报告病例中有3 120份采集了肛拭子并做了病原学检测,其
并行计算机系统总是基于某个具有优秀图论性质的图搭建,该图被称为并行计算机系统的互连网络(简称网络).在互连网络中,有一类重要的问题,就是结构模拟,即在一个网络中来模拟另一种网络的行为.结构模拟问题又被称为网络嵌入问题.线性阵列(路)和环(圈)是并行分布计算领域最为基础的两种网络拓扑结构.因此,网络中路和圈的嵌入具有重要的意义.在实际的系统应用中,网络中的处理器和通信线路故障是不可避免的.此时,在网
本文主要研究非柱状域上一类含有不稳定项Ru的热方程的稳定性和能稳性.首先主要根据系统能量的变化趋势判断系统是否稳定,得出在一定条件下,系统是不稳定的.随后对不稳定的系统施加内部控制使其达到指数稳定.最后举例验证得出的主要结果的准确性.本文共分四章:第一章,绪论部分首先介绍本学科的历史和研究现状,然后介绍文中要用到的一些符号,定义和重要的结论,最后给出本文要研究的主要问题.第二章,首先在一定假设条件
量子信息学是量子力学、计算机科学、信息学、物理学和数学等学科交叉形成的一门新兴学科.量子信息处理中最引人瞩目的是对量子纠缠现象的研究.量子纠缠态作为重要的量子资源在量子信息处理,如量子隐形传态、量子保密通信、量子密集码等过程中扮演着十分关键的角色.由于纠缠在局部基的选择下是不变的,因此利用局部酉变换对量子态进行分类具有深远意义.酉操作是量子力学最基本的组成部分之一,研究酉运算的各种性质是量子信息处
本文主要研究包含任意n个参与者的Large Nim博弈,其描述为:有n个参与者和N堆筹码(x1,x2,…,xN),其中n ≥2和N均为任意给定的正整数,xi表示第i堆所含筹码数.n个参与者按顺序轮流进行,要求每名参与者在其决策轮次中从最大堆中移除任何正整数的筹码(至少一个,也可以整堆),第一个进行不了合法移动的参与者获胜.全文分为四章:第一章主要介绍公平组合博弈的历史与发展,阐述了基本概念与研究现
Radford双积是Hopf代数理论中的一个重要的研究课题,其在有限维点Hopf代数的分类中起着基础性的作用.极小双代数是由Joni和Rota引入,后来Aguiar对它也进行了研究.本文主要对Radford双积和极小双代数进行相关的研究.主要内容如下:(1)由左Brzezi(?)ski交叉积代数的定义和右Brzezi(?)ski交叉积代数的定义,本文构造出Brzezi(?)ski双边交叉积代数,它
线性规划(简称LP)被广泛应用于农业、军事、经济、管理及工程等方面,为管理者合理地利用有限资源提供科学的管理依据以及给出最优决策.因此,线性规划成为热门研究课题之一,且已有大量的算法被设计.早期的典型算法有:单纯形法和椭球算法.然而单纯形法不具有多项式复杂度,椭球算法数值效果不理想,故而学者开始寻找具有二者优点的算法.直到1984年Karmark提出了内点算法,该算法既具有多项式复杂度,数值效果又
个体体内病毒感染系统(微观)与传染病在人群中传播系统(宏观)的数学建模与研究成果十分丰富.由于染病个体体内病毒携带情况与个体传播疾病能力密切相关,因此,建立和研究免疫与传染病耦合系统模型对揭示传染病传播机理具有重要的理论和现实意义.本文主要建立和研究了具有共同感染的两菌株免疫-传染病耦合系统和一类简化的两菌株免疫-传染病耦合系统.第一章介绍了研究问题的背景,以及免疫-传染病耦合系统与具有共同感染的