【CHI协议-2】Read事务

哈喽大家好，今天继续更新CHI协议系列，上次和大家一起学习了一下cacheline的几种状态。那么，从今天起，我们就正式来看看chi里面具体的事务类型。

1. Read事务

首先read事务，很明显就是用来读数据的，这个很好理解。但是这个读可就没有我们平时理解的那么简单了，chi为了保证cache的一致性，搞了好多种类型的读。要把这些读都搞明白，cacheline状态的含义一定要滚瓜烂熟，没看的同学可以先去看看我的上一个帖子。
下面我们具体来看看每种read的定义和区别：

a，ReadNoSnp
这个是最简单的读，nosnp嘛，就是没有snoop（关于snoop是啥，不懂的同学可以先去了解一下，这里不展开说了），所以这个事务就是向非snoop的区域读一个数据来，不涉及一致性的东西。非snoop区域，说白了就是memory，内存嘛。

b，ReadOnce，ReadOnceMakeInvalid，ReadOnceCleanInvalid
ReadOnce也很简单啦，就是他只能读取Snoop地址区域的数据，就是它肯定得去cache里面拿数据了，但是对cacheline状态没啥要求。那么后面这两个呢，ReadOnceMakeInvalid，ReadOnceCleanInvalid名字这么长，看着蛮唬人的。其实就是在readonce的基础上多了一些功能。
ReadOnceMakeInvalid首先也是去snoop区域读数据，然后建议（但不是必须）无效掉其他的cacheline，但如果有cacheline为dirty并且被无效掉了，那么直接丢弃。这个事务记着慎用哦，因为他必然导致缓存行的丢失，所以它的使用场景必须严格限制在已知缓存行丢失无任何影响的情况下。
ReadOnceCleanInvalid和这个很类似，也是去snoop区域读数据，然后建议（但不是必须）无效掉其他的cacheline，唯一的区别在于：但如果有cacheline为dirty并且被无效掉了，那么必须将其写入内存。

c，ReadShared，ReadNotSharedDirty
ReadShared也是得去snoop区域读数据，但是他对cacheline的状态是有要求比较宽松，这里share的意思就是我的数据可以与其他的master共享。所以你提供数据就看情况吧，要是除过我没人要那就以u态给我，要是其他人也要或者人家已经有了，你就给我按s态提供也行。所以请求者发出这个请求，完成者可以UC,UD,SC，SD态数据提供。
ReadNotSharedDirty这个名字起的已经够清楚了，就是not SD。我大哥readshared好说话啥都要，我不一样，我就不要这个SD。所以对于这个请求，我们就不能提供SD态数据，UC,UD,SC依然可以。

d，ReadClean
ReadClean也是对读到的数据状态有点要求，不过要求不高，clean就行。我比较懒，你别整个dirty的数据来，还得让我去更新主存，至于你是u态还是s态那我不管。所以对于这个请求，完成者必须以UC或者SC态提供数据。

c，ReadUnique，ReadPreferUnique
ReadUnique相比前几个就比较难说话了，不仅我要读数据，而且我读到以后其他人都不能有，必须这个数据只属于我一个人，哪怕这个数据是脏，我去跑一趟更新主存都可以，这霸占欲够强的哈！所以一旦有这个请求，我们必须以unique态提供数据，其他拥有这个数据的cacheline必须全部置为无效。
那么ReadPreferUnique又是什么意思呢，prefer嘛，就是更喜欢，当然在这里翻译为首选或者更期望好一些。首选unique，那意思还有别的选择？没错，CHI里面还有个独占（exclusive）操作，由于unique太过强势，必须把其他的cacheline都无效掉，太影响别人了。所以为了提高独占的效率，就有了这个事务，假如你去invalid别的cacheline，但是人家这会正独占操作呢，你就得给人家让步，接受共享态。

d，MakeReadUnique
MakeReadUnique是最特殊的一个事务，其他不管咋样人家毕竟读数据，你得把数据给人家。而这个你可以不给他返回数据，他主要的诉求就是我要一个unique态的cacheline，数据可以不给我，但缓存行必须唯一。这个其实有点像之前说的UCE态。对于想要写数据但又不关心之前的数据的场景，用这个效率高，杠杠的！

我的格式比较乱，年龄大了，整不来这些格式，只会打字，整出来就是乱糟糟的。后面尽量给大家画画图，列列表啥的，看着清楚！
好了，时间不早了，今天先说到这里，大家有问题可以评论区！