【摘 要】
：
检查点设置和卷回恢复技术（Ｃｈｅｃｋｐｏｉｎｇｔｉｎｇ ａｎｄ Ｒｏｌｌｂａｃｋ Ｒｅｃｏｖｅｒｙ，ＣＲＲ）是分布式计算系统重要的容错手段。Ｕｎｉｘ环境下进程检查点设置技术又是分布式系统ＣＲＲ技术的重要组成部分。该文提出了一个这种技术的实现方案。该方案
【出 处】
：
'96全国计算机体系结构学术研讨会
论文部分内容阅读
检查点设置和卷回恢复技术（Ｃｈｅｃｋｐｏｉｎｇｔｉｎｇ ａｎｄ Ｒｏｌｌｂａｃｋ Ｒｅｃｏｖｅｒｙ，ＣＲＲ）是分布式计算系统重要的容错手段。Ｕｎｉｘ环境下进程检查点设置技术又是分布式系统ＣＲＲ技术的重要组成部分。该文提出了一个这种技术的实现方案。该方案完全在用户级实现；并利用了各种优化手段实现低开销目标；检查点保存的内容具有完备性，真正实现了正确的卷回恢复；最后，此方案不仅提供了对应用程序透明的检查点设置方式，还提供了程序员直接设置检查点方式，体现了从实用角度出发的一种优化思想。
其他文献
摘 要： 高中英语教学与大学英语教学是一个有机的整体。学生在高中阶段的英语语言知识和技能的积累，为在大学英语进一步提高英语水平和能力奠定了基础，两者相辅相成，一脉相承。通过对比分析《高中英语新课程标准》和《大学英语课程要求》，发现在课程设置、教材建设、教学模式、评估标准等方面形成了各自的体系，造成了资源的浪费，阻碍了学生提高英语水平和能力的进程。如何实现真正意义上从高中英语向大学英语的平稳过渡，实
摘 要： 作为ESP（English for specific purpose）的一个分支，医学英语的掌握是医学生将来进行专业研究或工作的一项最基本技能。很多高校意识到医学英语是高等医学院校大学英语教学的重中之重，是大学英语前期基础英语教学阶段的后续阶段，是基础英语学习和医学专业学习结合的应用提高阶段。然而全国范围内医学英语教学在传统教学模式下显得枯燥乏味，学生缺乏主动学习积极性的现象普遍存在，教
在用ＳＰ〈，２〉开关进行结点间互连的大规模并行处理系统中，引入可程控的结点间直通通信概念，相对于存储转发、虚拟旁通、蛀孔寻径和线路交换，系统性能均有进一步提高。该文对基于程控
摘 要： 本文针对高三学生在限时作文中很少使用高中英语教材中词汇的情况，指出了造成高中课堂词汇教学效率低下的两个原因，并提出了两条建议，希望有助于改善高中词汇教学的现状，扩大高中学生的产出性词汇量。 关键词： 产出性词汇 高中课堂词汇教学模式 单元话题作文 近几年来，随着课程改革的推进、牛津版英语教材的使用，以及江苏高考的作用，高中英语教师越来越重视词汇教学。他们在词汇教学上投入了大量的时间和
摘 要： 随着多媒体的出现及因特网的普遍应用，多媒体在英语教学中的地位日益得到重视。本文提出英语听力教学应当在传统的教学方式的基础上适当加以改进，充分发挥多媒体的优势，提高学生的学习兴趣，充分发挥其积极性、主动性，增强教学效果。还应结合最新的多媒体材料对当前采用的英语听力教材在内容和形式方面进行更新，并对英语听力教师进行多媒体教学培训，以提高英语听力的总体教学水平。 关键词： 多媒体辅助 英语教
摘 要： “日语敬语五分法”是日本文化审议会于2007年2月发布的日语敬语分类新规定。本文以言语行为理论为指导，把“日语敬语五分法”这一整体理论话语作为分析单位，考察其“言内行为”与“言外行为”，旨在明确其发布动机，为我国日语敬语教育如何应对这一敬语新规提供一定参考。 关键词： 日语敬语五分法 言语行为理论 言外行为 言后行为 1.日语敬语五分法 2007年2月，日本文化审议会发布了《敬语指
摘 要： 本文以语块理论为依托，通过分析高职高专英汉翻译内容的特点及这些内容的语块分类，探讨语块在高职高专英汉翻译中的应用及其对高职高专英语教学的启示。在高职高专英汉翻译中，有目的地进行语块储备，可以帮助学生扩展翻译单位，加快信息处理程度，提高翻译的速度和准确度。在高职高专英语教学中，我们应该充分利用语块知识，关注学生综合能力的发展，为学生将来职业环境中的翻译业务打好语块基础。 关键词： 语块理
在计算机系统和通信网的性能评价中，建模与求解是一对矛盾。随机Ｐｅｔｒｉｎｅｔｓ作为性能评价中一类颇具吸引力的数学工具，提供了一种在网系统层次上直观建模、自动转换到随机过程层次上求解的
摘 要： 本文从教育生态学视角，分析英语专业听力课程教学现状，并结合自身的教学实践，提出课堂生态研究对英语专业听力教学的启示，即构建开放的课堂生态环境、多维教学模式和动态交互评价体系，实现生态圈式课堂互动，突出学生的主体地位，以期更好地实现英语课堂生态系统的育人功能。 关键词： 课堂生态 英语专业听力教学 启示 在“听”、“说”、“读”、“写”、“译”基本语言技能中，“听”是至关重要的一项，它
随着计算机技术的高速发展，ＰＣ机（４８６等）的使用越来越普遍，使用ＰＣ机群进行分布计算也变得越来越流行。这种机群是由一组ＰＣ机（包括３８６、４８６、５８６）通过网络连接组成，由机群管理软件来管理这些汇集在一起的