论文部分内容阅读
I/O一致性问题是众核处理器设计所面临和必须解决的关键技术之一。传统的一致性模型往往是站在处理器的角度,研究存储器和CPU之间的一致性,缺乏一个完整的I/O一致性模型用于指导I/O一致性处理的设计。把I/O一致性问题纳入众核处理器数据一致性问题的统一框架内,从处理器核、I/O和存储器相互关系的角度描述数据一致性问题,避免了孤立、片面地分析I/O一致性问题;在SPARC的TSO模型和PSO模型的基础上,提出了扩展I/O的广义一致性模型-GIOTSO模型和GIOPSO模型,并进行了形式化描述;最后对模型