论文阅读,ProtoGen: Automatically Generating Directory Cache Coherence Protocols(三)
目录一、Article:文献出处(方便再次搜索)(1)作者(2)文献题目(3)文献时间(4)引用二、Data:文献数据(总结归纳,方便理解)(1)背景介绍(2)目的(3)结论(4)主要实现手段4.1系统模型和定义4.2ProtoGen概述4.3ProtoGen的输入,输出和限制4.4ProtoGen示例(5)实验结果A.StallingProtocolsB.Non-StallingProtocol