• Cache一致性协议模型检验的抽象研究

    Cache一致性协议模型检验的抽象研究

    论文摘要随着高性能计算机性能的不断提升、规模不断增大,Cache一致性协议变得异常复杂,协议的状态数随系统规模成指数级增长,导致状态空间爆炸。为了缓解状态空间爆炸问题对Cach...
  • 容错服务中组通信的研究与实现

    容错服务中组通信的研究与实现

    论文题目:容错服务中组通信的研究与实现论文类型:硕士论文论文专业:计算机应用技术作者:马介悦导师:汪芸关键词:组通信,容错,一致性协议,成员管理协议,算法文献来源:东南大学发表...