ACE和CHI協(xié)議都支持MTE特性，不過ACE協(xié)議里只有ACE5-Lite，ACE5-LiteDVM (Basic only)和AXI5支持MTE，因此其實ACE里無法保證多master之間allocation tag的一致性。

只有CHI協(xié)議的MTE規(guī)范才支持allocation tag的一致性。不過我們這次只講當tag operation為match的情況下，ACE和CHI的行為。 ?

ACE writes with tags and Tag operation is Match

ACE中，當write操作帶有logical tag，且AWTAGOP=0b11(Match)時，寫操作攜帶logical tag與allocation tag之間的比較是打算放在下游slave去做。順便提下logical tag可以理解是request攜帶的鑰匙，allocation tag可以理解是這個address的鎖，只有鑰匙和鎖檢查匹配上，address才可以正確的訪問。如果不匹配上，通常會報fault給Core，具體是sync還是async的fault，取決于Arm architecture里SCTLR.TCF/TCF0寄存器域段。 ?

從ACE里看到支持tag match operation的write transactions有WriteNoSnoop和Atomic transaction。ACE slave收到tag match operation的request后，需要返回兩部分響應(yīng)：

Completion response：用于指示這筆write request已經(jīng)是可見的。

Match response：用于指示logical tag和allocation tag比較是否成功。

這兩部分響應(yīng)使得具有獨立data和tag存儲的組件能夠獨立返回響應(yīng)，也可以將這兩部分合成1個響應(yīng)。另外這兩部分響應(yīng)可以按任意順序返回的。 ?

如果comp resp和match resp分兩次返回

Completion response
Completion response指示當前write操作對其它Master是可見的，且要遵循以下幾點規(guī)則：

BCOMP域段必須為1；

BTAGMATCH域段必須為0b01，表示Match operation的結(jié)構(gòu)在match response里；

BID必須和AWID一致；

如果支持loopback指示，那么BLOOP域段必須和AWLOOP域段的值一致；

BRESP域段可以有OKAY, EXOKAY, SLVERR和DECERR；

Completion響應(yīng)必須遵循正常的response保序規(guī)則；

當收到這個響應(yīng)后，ID值就可以被后續(xù)transaction重用了； ?

Match response

Match response用于指示這筆write操作的tag比較成功與否，如果該筆transaction里所有data transfer上的WTAG都和memory里存的allocation tag匹配上了，那么response是pass。如果transaction里有任何1筆data transfer的WTAG與memory里存的allocation tag不一致，那么response是fail。

Match response必須遵循以下規(guī)則： ?

BCOMP域段必須為0；

BTAGMATCH域段必須是0b11 (Pass)或0b10 (Fail)；

BID和AWID的值必須一樣；

BLOOP域段可以是任意值，不需要和AWLOOP域段的值一樣；

BRESP域段可以有OKAY, SLVERR或DECERR；

Match response沒有任何保序要求，它可以超前或被超前其它任何response響應(yīng)的； ?

如果comp resp和match resp一塊返回

slave可以根據(jù)情況將comp resp和match resp打包到一起，并一塊返回給master。這樣需要遵循以下規(guī)則： ?

BCOMP域段必須為1；

BTAGMATCH域段必須是0b11 (Pass)和0b10 (Fail)；

BID和AWID的值必須一致；

如果支持loopback指示，那么BLOOP域段必須和AWLOOP域段的值一致；

BRESP域段可以有OKAY, EXOKAY, SLVERR和DECERR；

Completion響應(yīng)必須遵循正常的response保序規(guī)則；

當收到這個響應(yīng)后，ID值就可以被后續(xù)transaction重用了； ? ?

其實我們看下BCOMP和BTAGMATCH這兩個域段的定義：

我們就可以總結(jié)出對于write with tag match operation來說，可能的response有：

另外一點要注意的是，只要沒有返回response錯誤，那么即使tagmatch表示fail了，write data也仍然會寫到slave的memory里去。 ?

CHI writes with tags and Tag operation is Match

在CHI中，當write和atomic transaction操作攜帶的TagOp值為Match，下游Completer必須返回Tag match operation的結(jié)果，這個結(jié)果是通過TagMatch response傳遞的。不管Tag match結(jié)果如何，write和atomic transaction都必須正常處理。且就算WriteData被canceled或Tag Match沒有執(zhí)行，也要返回TagMatch response，否則就破壞了CHI協(xié)議了?？偟脕碚f，下游Completer不僅要返回comp響應(yīng)，也要根據(jù)Tag Match operation的結(jié)果，返回TagMatch響應(yīng)。

在TagMatch response的Resp域段里攜帶了Tag Match是否成功，它的值根據(jù)：

如果不支持MTE，那么必須是Fail；

如果支持MTE，但Tag Match沒有被執(zhí)行，返回Pass。例如Exclusive write fail且Tag match還沒有被執(zhí)行。

如果支持MTE，且Tag Match執(zhí)行了，要返回精確的執(zhí)行結(jié)果狀態(tài)。

CHI write操作伴隨著tagOp為Match操作時，如果下游slave不支持，那么下游slave可以不等待writedata就返回tagmatch failed信息。如果支持的話，一定要等writedata里的tagOp，因為req和write data channel的TagOp不一致的話，要用write data channel的。

ACE和CHI都支持讓下游Completer進行Tag match operation，并返回結(jié)果。其中ACE的comp resp和match resp可以分開，也可以一起返回。但是CHI里comp resp和match resp必須分開返回的。CHI里對其的解釋是“使用單獨的TagMatch響應(yīng)會增加write和atomic transaction的復(fù)雜度和額外消息的開銷，但優(yōu)點是它提供了足夠準確的響應(yīng)機制，且使用單獨的TagMatch響應(yīng)不會導(dǎo)致Comp響應(yīng)的延遲發(fā)送”。

審核編輯：劉清