Rocket

 https://mp.weixin.qq.com/s/Dyb1XipJtdhGa9mktXXjCg

 
简单介绍Metadata的实现。
 
 
1. 基本介绍
 
Metadata是一个Bundle,即数据结构或者说变量类型。其中存放着Cache的状态,并且跟踪命令执行后状态的变化情况。
 
2. ClientStates
 
定义Client状态相关的方法:
 
1) Cache相关状态
 
Cache节点的状态,是Nothing/Branch/Trunk/Dirty:
 
2) 权限判断
 
a. hasReadPermission:是否具有读权限;
b. hasWritePermission:是否具有写权限;
 
3. MemoryOpCategories
 
定义内存操作的类别:
 
1) 类别
 
用来定义操作的写相关的信息,是一个元组:
a. 是否真要写;
b. 是否想要写;
 
2) 三类
 
a. wr:Write,写操作;
b. wi:Write Intent,意图要写;
c. rd:Read,读操作;
 
3) 分类
 
 
判断命令的类别:
 
4. ClientMetadata
 
ClientMetadata是一个Bundle,即是一个数据结构,其中存放了实际的状态信息:
 
1) 相等判断
 
 
2) 是否存在缓存内容
 
 
3) growStarter
 
根据命令的分类和现在的状态,来确定是否命中和下一个状态:
 
首先对命令进行分类,其次在查找表中进行查找。
 
1) 命令命中Cache的情况
 
返回是否命中即元组的第一个参数为true。
 
A. 命令分类为读取rd
 
读取之后状态不变:
 
B. 命令分类为想写wi
 
想写但没有写,状态不变:
 
另外,Branch状态只可读而不可写,所以这里只有Trunk/Dirty两种状态。
 
C. 命令分类为要写wr
 
写了之后就变为了Dirty状态:
 
2) 命令未命中Cache的情况
 
返回是否命中即元组的第一个参数为false。
 
A. 命令分类为读取rd
 
读取之后,状态从Nothing变为了Branch:
 
B. 命令分类为想写wi
 
想写需要变为Trank状态:
 
C. 命令分类为要写wr
 
真写亦需变为Trunk状态:
 
4) growFinisher
 
第一个参数是命令;第二个参数是Grant的param域的值。
 
Grant的param是Cap即赋能的意思:
 
a. 若要读,可以toB/toT;读不改变状态;
b. 若要写,只能toT,想要写也不改变状态;
c. 若真写,只能toT,真写改变状态为Dirty,包含脏数据;
 
5) onAccess
 
判断当前权限是否能满足访问请求:
 
6) onSecondaryAccess
 
连续处理两条命令的情况:
a. needs_second_acq:第二条命令是否需要先执行Acquire操作获取权限;这里的定义是如果第一条命令不是WriteIntent,而第二条命令是WriteIntent,则需要。命令的分类只有读写两种,第二条命令不是写便是读,第一条命令也是这样。所以若第二条命令是读,经过第一条命令之后,就不需要再额外获取权限。
b. hit_again:当前权限能够满足两条命令的需要;
c. dirties:第二条命令是否要立即写;
d. biggest_grow_param:获取到的最大权限;
e. dirtiest_state:确定要获取的最大权限;因为growStarter返回的第二个值既可能是下一个状态(命中),也可能是要赋权的参数(未命中),所以这里的dirtiest_state需要结合needs_second_acq和hit_again两个的值使用;
f. dirtiest_cmd:哪一条命令获取的最大权限;
 
7) onGrant
 
命令触发Grant之后的状态:
 
8) shrinkHelper
 
Probe操作降权后的状态:
举例:
Probe赋权为toN,当前状态为Dirty;返回值为:
a. hasDirtyData:true,包含脏数据;
b. resp:权限从Trunk降为Nothing,即TtoN;
c. next:下一个状态为Nothing;
 
9) cmdToPermCap
 
把命令转换为要赋予的权限:
 
10) onCacheControl
 
返回Cache控制命令的处理情况:
 
11) onProbe
 
返回Probe消息的处理情况:
 
原文地址:https://www.cnblogs.com/wjcdx/p/11440302.html