ロケット - tilelink - CacheCork

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

 
CacheCorkの簡単な実現。
 
 
1.基本はじめに
 
キャッシュプラグは、全くキャッシュは、下流ノードありません。上流ノード変換/達成したメッセージを入れて取得するために獲得/ Releaseメッセージ。
 
次の表仕上げのそれぞれのメッセージ処理方法であって:
 
2.クラス・パラメータ
 
それは、次のパラメータが含まれています。
。安全ではない:それは安全です:で最も安全にキャッシュクライアントをサポートすることができます。
。B sinkIds:グラントメッセージシンク領域を充填するための下流側支持のID番号。
 
3.外交ノード
 
TLCacheCorkノード上流および下流のパラメータを渡す方法について説明します。
 
1)clientFn:下流へ渡すパラメータ上流ノード
 
どこで:
。A supportsProbe = TransferSizes.none:下流ノードはProbeメッセージを受信しない彼即ちCacheCorkノードの上流のノードに伝えます。
bcsourceId.start * 2:理由は、変換符号化と低の増加の2を乗じて、
 
2)managerFn上流へ渡すパラメータを下流ノード
 
キャッシュされていない取引マネージャの唯一のタイプ:
どこで:
。ノードCacheCorkはsinkIdsをサポートして上流ノードに語りました。
。B AcquireBはそうm.supportsGetに、読み取りアクセス権を取得します。
。そうm.supportsPutFullにC AcquireT許可を書か取得するには、。
。D専用キャッシュ・クライアントので、alwaysGrantTことができます。
 
4.怠惰なモジュール
 
1)入力側と出力側のペア
 
 
マネージャが取得する動作をサポートしていない場合2)、直接接続されています
 
即ち、本明細書、edgeIn.manager、すなわちマネージャ入力側、入力の下流側、すなわちCacheCorkノードで使用されます。(managerFnを使用)から変換edgeOut.managerパラメータからedgeIn.manager。
 
edgeIn.manager都不支持AcquireB,可以反推得知edgeOut.manager也都不支持AcquireB。
 
3) 需要CacheCork做中转:edgeIn.manager.anySupportAcquireB
 
A. 取出上游节点
 
 
B. 取出可以缓存数据的节点
 
 
C. 限制条件
 
a. 只有一个上游节点,如果多于一个,则不能有cache节点;
b. 上游cache节点最多只能有一个,否则不安全;
c. 下游节点不能支持缓存,否则不安全;CacheCork节点居中阻挡下游cache节点和上游cache节点之间的数据同步,无法保证缓存一致性;
d. 下游节点的区域类型必须为UNCACHED/UNCACHEABLE/PUT_EFFECTS/GET_EFFECTS中的一个;
 
考虑安全的使用方式(unsafe = false),限制条件a/b要求上游的cache节点最多只有一个。这是因为CacheCork节点不做Probe的动作,而是alwaysGrantT。所以如果有多个Cache节点的话,会导致缓存一致性问题。
 
关于d,新版代码中有注释:
 
D. 要组装的消息
 
a. 把in.a组装成a_a,再通过out.a发出;
b. 把out.d组装成a_d,再通过in.d发出;
 
E. isPut:是否Put消息
 
 
F. toD:是否可以立即回复的消息
 
 
G. in.a.ready
 
根据消息是可以立即回复,决定要使用的组装消息:
 
H. 组装发往out.d的消息
 
其中:
a. 编码位编在第0位;
b. 因为toD中包含了AcquireBlock.BtoT和AcquirePerm,所以这里的条件实际上只包括AcquireBlock.{NtoB,NtoT}两个;
c. 把AcquireBlock.{NtoB,NtoT}转换为Get消息,编码值为1;相对比,正常的Get消息编码值为0;
d. 除去AcquireBlock.{NtoB,NtoT}的情况,如果是Put消息,编码值为1,其他情况下为0:
 
I. 组装要立即回复的消息
 
a. 组装从channel a来的AcquireBlock.BtoT和AcquirePerm消息:
 
b. 组装从channel c来的Release消息:
 
J. 转换从channel c来的ReleaseData消息
 
 
K. 处理channel B的消息
 
我们不会向in.b发请求消息,所以不用处理in.b。我们不支持Probe消息,所以不接收out.b的消息:
 
L. Grant消息需要添加sink域
 
a. 创建一个sink id pool:
 
 
b. 需要回复Grant消息是alloc一个id:
 
c. 从channel e受到GrantAck时,释放对应的sink id:
 
M. 未转换的out.d消息:直接移除编码位即可:
 
 
N. 记录访问的地址是否可写
 
重构一下,把w扩展为writable,这样比较好理解。
 
a. 创建一个寄存器组记录信息
 
 
b. 判断channel a访问的地址是否可写:
 
 
c. 当channel a请求输入时,记录是否可写的信息:
 
 
d. 从记录的信息数组中,获取返回的响应消息针对的地址是否可写:
 
 
e. 判断操作是否可以在同一个时钟周期内返回:
 
 
sourceWritableVec是一个寄存器组,其中的值每个时钟周期只刷新一次。在同一个时钟周期内,新存入的aWritableOk还没有来得及写入,不能使用dWritableOk这个从寄存器中获取的值,而只能直接使用aWritableOk。
 
f. 获取一个一直可以用的可写信息:
 
 
O. 转换AcquireBlock.{NtoB,NtoT}的响应消息:
 
 
P. 转换ReleaseData的响应消息:
 
 
Q. 把组装的消息分别发往out.a/in.d:
 
其中:
a. 第二个是in_d,不是in.d,即所有的组装消息先发往in_d,in_d则直接连到in.d上;
b. c_d/a_d先输出到Queue中,应该是为了增加吞吐量;
 
R. 不发起使用channel b/c/e的请求:
 
 
 
5. 整理组装的消息
 
1) 请求消息
 
A. a_a
 
包含两种消息:
a. AcquireBlock.{NtoB,NtoT}转换之后的Get消息;
b. 其他非即时回复消息:
 
B. c_a:ReleaseData消息转换之后的Put消息;
 
2) 回复消息
 
A. in_d:所有组装消息先输入in_d,而后输入in.d;
 
B. a_d:即时回复AcquireBlock.BtoT和AcquirePerm的Grant消息;
 
C. c_d:即时回复Release消息的ReleaseAck消息;
 
D. d_d:其他回复消息:
 

おすすめ

転載: www.cnblogs.com/wjcdx/p/11322887.html