致远
致远技术资料下载专区，收录500份相关技术文档、开发源码、电路图纸等优质工程师资源，全部免费下载。
资源总数
500
致远 全部资料 500 份
UML顺序图与状态图的一致性检查
用户可使用UML从不同角度对系统进行建模，但不同视图间存在信息冗余，可能导致视图不一致问题。该文针对具有多种逻辑语义的顺序图提出分析方法，为复杂层次结构的状态图引入有限状态自动机，利用自动机分解算法得
2024-02-12
2
改进的基于目录的Cache一致性协议
介绍几种典型目录一致性协议并分析它们的优缺点。在综合全映射目录和有限目录优点的基础上，通过在存储器层上增加一个存储器高速缓存(Cache)层的方式，提出并讨论一种改进后的Cache一致性协议。该协议相
2024-02-19
9
域一致性新型锁同步机制的实现
域一致性新型锁同步机制的实现将软件分布式共享存储系统所使用的基于域一致性协议锁机制以新的方式加以实现。它充分利用SMP 结构所具有的特点，以多级方式实现锁同步机制，在结点内部使用了共享空间来实
2024-01-06
3