【摘 要】
：
由于移动节点的不可靠和无线网络连接的脆弱性,研究移动计算系统容错机制具有重要意义.对可以跨区移动、随时可以与网络断开的自治性很强的移动节点来说,异步的卷回恢复是一
【机 构】
：
哈尔滨工业大学计算机科学与技术学院
论文部分内容阅读
由于移动节点的不可靠和无线网络连接的脆弱性,研究移动计算系统容错机制具有重要意义.对可以跨区移动、随时可以与网络断开的自治性很强的移动节点来说,异步的卷回恢复是一种重要的容错手段.现有的移动计算环境下的卷回恢复算法都无法完全实现一致的异步卷回恢复.基于因果消息日志,提出一种新的移动计算环境的卷回恢复算法:通过先行图来记录节点间的消息依赖关系,将异步检查点、基于发送方的暂存消息日志和先行图全部在移动支持站上存储和处理,为移动节点提供一种透明的容错服务,完全消除依赖关系在移动节点之间造成的影响.用形式化的方法证明了系统的一致性.仿真结果表明,在卷回开销达到最低的同时,也显著降低了无错运行时的通信和存储开销.
其他文献
自然界中动物的性别有着多种多样的决定方式,有的由性染色体决定,有的由染色体倍性决定,有的还受到环境因素的影响。本文从所述几方面对动物的性别决定方式进行小结,并介绍动
在分析中文字编码体系、中文词一些特点的基础上，文中提出了一种新的中文电子词表数据结构，并讨论了利用首字Ｈａｓｈ 加二分查找的数据查找算法以及相关的数据更新、删除和插入算法． 理
江苏射阳林场鸟类资源丰富,调查结果表明,计有140种及亚种,分隶于14目34科.发现小苇(开鸟)、鸥斑鸠为省新纪录.风头(辟鸟)(厂虎鸟)、鹊鹞、灰椋鸟等14种为省繁殖新纪录.
本文通过定位多向分析法,对《垫底辣妹》进行教育叙事,揭示其中人物关系与结构。以学校教育和补习班教育、家庭教育中的对比,阐释良好的教育,是充分尊重个体差异性,给予尊严
采用三棱针点刺放血治疗急性扁桃体炎，共收治患者１００例，临床治愈率９８％，总有效率１００％。此方法见效迅速，疗效显著，现报告如下：
通过建立数学模型的方法,给出样方中应当计数的个体的正确方法,可有效避免在样方法调查种群密度时出现人为误差。
随着社会经济的发展和进步，人们的生活质量及水平的提高。对妊娠期的卫生保健工作有了进一步的需求，心理疏导越来越得到广大孕妇的关注。应用妊娠期间心理疏导，能够解除孕妇精神
以人教版高中生物选修3《现代生物科技专题》为例,对教材中涉及的原生质滴与原生质体、滋养层细胞与饲养层细胞、排卵与冲卵以及体外受精与人工授精四组易混淆的概念进行辨析