Major tilelink revision for uncached message types
This commit is contained in:
parent
35553cc0b7
commit
82155f333e
@ -120,59 +120,48 @@ abstract class CoherencePolicy(val dir: () => DirectoryRepresentation) {
|
||||
def getReleaseTypeOnVoluntaryWriteback(): UInt
|
||||
def getReleaseTypeOnProbe(p: Probe, m: ClientMetadata): UInt
|
||||
def getGrantType(a: Acquire, m: MasterMetadata): UInt
|
||||
def getGrantType(r: Release, m: MasterMetadata): UInt
|
||||
//def getGrantType(a: Acquire) = getGrantType(a, new NullRepresentation) // TODO
|
||||
//def getGrantType(r: Release) = getGrantType(r, new NullRepresentation)
|
||||
def getGrantTypeOnVoluntaryWriteback(m: MasterMetadata): UInt
|
||||
|
||||
def messageHasData (rel: SourcedMessage): Bool
|
||||
def messageUpdatesDataArray (reply: Grant): Bool
|
||||
def messageIsUncached(acq: Acquire): Bool
|
||||
def messageHasData(rel: SourcedMessage): Bool
|
||||
def messageUpdatesDataArray(g: Grant): Bool
|
||||
|
||||
def isCoherenceConflict(addr1: UInt, addr2: UInt): Bool
|
||||
def isVoluntary(rel: Release): Bool
|
||||
def isVoluntary(gnt: Grant): Bool
|
||||
def requiresOuterRead(a_type: UInt, m: MasterMetadata): Bool
|
||||
def requiresOuterWrite(a_type: UInt, m: MasterMetadata): Bool
|
||||
def requiresOuterRead(a_type: UInt): Bool
|
||||
def requiresOuterWrite(a_type: UInt): Bool
|
||||
def requiresSelfProbe(a_type: UInt): Bool
|
||||
def requiresAckForGrant(g_type: UInt): Bool
|
||||
def requiresAckForRelease(r_type: UInt): Bool
|
||||
def requiresOuterRead(acq: Acquire, m: MasterMetadata): Bool
|
||||
def requiresOuterWrite(acq: Acquire, m: MasterMetadata): Bool
|
||||
def requiresSelfProbe(a: Acquire): Bool
|
||||
def requiresAckForGrant(g: Grant): Bool
|
||||
def requiresAckForRelease(r: Release): Bool
|
||||
def pendingVoluntaryReleaseIsSufficient(r_type: UInt, p_type: UInt): Bool
|
||||
|
||||
def getGrantTypeForUncached(a: Acquire, m: MasterMetadata): UInt = {
|
||||
MuxLookup(a.a_type, Grant.uncachedRead, Array(
|
||||
Acquire.uncachedRead -> Grant.uncachedRead,
|
||||
Acquire.uncachedWrite -> Grant.uncachedWrite,
|
||||
Acquire.uncachedAtomic -> Grant.uncachedAtomic
|
||||
))
|
||||
}
|
||||
}
|
||||
|
||||
trait UncachedTransactions {
|
||||
def getUncachedReadAcquireType: UInt
|
||||
def getUncachedWriteAcquireType: UInt
|
||||
def getUncachedReadWordAcquireType: UInt
|
||||
def getUncachedWriteWordAcquireType: UInt
|
||||
def getUncachedAtomicAcquireType: UInt
|
||||
def isUncachedReadTransaction(acq: Acquire): Bool
|
||||
}
|
||||
|
||||
abstract class CoherencePolicyWithUncached(dir: () => DirectoryRepresentation) extends CoherencePolicy(dir)
|
||||
with UncachedTransactions
|
||||
|
||||
class MICoherence(dir: () => DirectoryRepresentation) extends CoherencePolicyWithUncached(dir) {
|
||||
class MICoherence(dir: () => DirectoryRepresentation) extends CoherencePolicy(dir) {
|
||||
def nClientStates = 2
|
||||
def nMasterStates = 2
|
||||
def nAcquireTypes = 6
|
||||
def nAcquireTypes = 1
|
||||
def nProbeTypes = 2
|
||||
def nReleaseTypes = 5
|
||||
def nGrantTypes = 7
|
||||
def nGrantTypes = 2
|
||||
|
||||
val clientInvalid :: clientValid :: Nil = Enum(UInt(), nClientStates)
|
||||
val masterInvalid :: masterValid :: Nil = Enum(UInt(), nMasterStates)
|
||||
|
||||
val acquireReadExclusive :: acquireReadUncached :: acquireWriteUncached :: acquireReadWordUncached :: acquireWriteWordUncached :: acquireAtomicUncached :: Nil = Enum(UInt(), nAcquireTypes)
|
||||
val acquireReadExclusive :: Nil = Enum(UInt(), nAcquireTypes)
|
||||
val probeInvalidate :: probeCopy :: Nil = Enum(UInt(), nProbeTypes)
|
||||
val releaseVoluntaryInvalidateData :: releaseInvalidateData :: releaseCopyData :: releaseInvalidateAck :: releaseCopyAck :: Nil = Enum(UInt(), nReleaseTypes)
|
||||
val grantVoluntaryAck :: grantReadExclusive :: grantReadUncached :: grantWriteUncached :: grantReadWordUncached :: grantWriteWordUncached :: grantAtomicUncached :: Nil = Enum(UInt(), nGrantTypes)
|
||||
val grantVoluntaryAck :: grantReadExclusive :: Nil = Enum(UInt(), nGrantTypes)
|
||||
|
||||
val uncachedAcquireTypeVec = Vec(acquireReadUncached, acquireWriteUncached, acquireReadWordUncached, acquireWriteWordUncached, acquireAtomicUncached)
|
||||
val hasDataAcquireTypeVec = Vec(acquireWriteUncached, acquireWriteWordUncached, acquireAtomicUncached)
|
||||
val hasDataReleaseTypeVec = Vec(releaseVoluntaryInvalidateData, releaseInvalidateData, releaseCopyData)
|
||||
val hasDataGrantTypeVec = Vec(grantReadExclusive, grantReadUncached, grantReadWordUncached, grantAtomicUncached)
|
||||
val hasDataGrantTypeVec = Vec(grantReadExclusive)
|
||||
|
||||
def isHit (cmd: UInt, m: ClientMetadata): Bool = isValid(m)
|
||||
def isValid (m: ClientMetadata): Bool = m.state != clientInvalid
|
||||
@ -197,15 +186,8 @@ class MICoherence(dir: () => DirectoryRepresentation) extends CoherencePolicyWit
|
||||
M_CLN -> clientValid
|
||||
)))(this)
|
||||
def clientMetadataOnFlush = clientMetadataOnCacheControl(M_INV)
|
||||
def clientMetadataOnGrant(incoming: Grant, outstanding: Acquire) = ClientMetadata(
|
||||
MuxLookup(incoming.g_type, clientInvalid, Array(
|
||||
grantReadExclusive -> clientValid,
|
||||
grantReadUncached -> clientInvalid,
|
||||
grantWriteUncached -> clientInvalid,
|
||||
grantReadWordUncached -> clientInvalid,
|
||||
grantWriteWordUncached -> clientInvalid,
|
||||
grantAtomicUncached -> clientInvalid
|
||||
)))(this)
|
||||
def clientMetadataOnGrant(incoming: Grant, outstanding: Acquire) =
|
||||
ClientMetadata(Mux(incoming.uncached, clientInvalid, clientValid))(this)
|
||||
def clientMetadataOnProbe(incoming: Probe, m: ClientMetadata) = ClientMetadata(
|
||||
MuxLookup(incoming.p_type, m.state, Array(
|
||||
probeInvalidate -> clientInvalid,
|
||||
@ -225,14 +207,8 @@ class MICoherence(dir: () => DirectoryRepresentation) extends CoherencePolicyWit
|
||||
))
|
||||
}
|
||||
|
||||
def getUncachedReadAcquireType = acquireReadUncached
|
||||
def getUncachedWriteAcquireType = acquireWriteUncached
|
||||
def getUncachedReadWordAcquireType = acquireReadWordUncached
|
||||
def getUncachedWriteWordAcquireType = acquireWriteWordUncached
|
||||
def getUncachedAtomicAcquireType = acquireAtomicUncached
|
||||
def isUncachedReadTransaction(acq: Acquire) = acq.a_type === acquireReadUncached
|
||||
def isVoluntary(rel: Release) = rel.r_type === releaseVoluntaryInvalidateData
|
||||
def isVoluntary(gnt: Grant) = gnt.g_type === grantVoluntaryAck
|
||||
def isVoluntary(gnt: Grant) = !gnt.uncached && gnt.g_type === grantVoluntaryAck
|
||||
|
||||
def getAcquireTypeOnPrimaryMiss(cmd: UInt, m: ClientMetadata): UInt = acquireReadExclusive
|
||||
def getAcquireTypeOnSecondaryMiss(cmd: UInt, m: ClientMetadata, outstanding: Acquire): UInt = acquireReadExclusive
|
||||
@ -251,80 +227,61 @@ class MICoherence(dir: () => DirectoryRepresentation) extends CoherencePolicyWit
|
||||
}
|
||||
|
||||
def messageHasData(msg: SourcedMessage) = msg match {
|
||||
case acq: Acquire => hasDataAcquireTypeVec.contains(acq.a_type)
|
||||
case grant: Grant => hasDataGrantTypeVec.contains(grant.g_type)
|
||||
case acq: Acquire => Mux(acq.uncached, Acquire.hasData(acq.a_type), Bool(false))
|
||||
case gnt: Grant => Mux(gnt.uncached, Grant.hasData(gnt.g_type), hasDataGrantTypeVec.contains(gnt.g_type))
|
||||
case rel: Release => hasDataReleaseTypeVec.contains(rel.r_type)
|
||||
case _ => Bool(false)
|
||||
}
|
||||
def messageUpdatesDataArray (reply: Grant): Bool = {
|
||||
(reply.g_type === grantReadExclusive)
|
||||
def messageUpdatesDataArray(g: Grant): Bool = {
|
||||
Mux(g.uncached, Bool(false),
|
||||
(g.g_type === grantReadExclusive))
|
||||
}
|
||||
def messageIsUncached(acq: Acquire): Bool = uncachedAcquireTypeVec.contains(acq.a_type)
|
||||
|
||||
def isCoherenceConflict(addr1: UInt, addr2: UInt): Bool = (addr1 === addr2)
|
||||
|
||||
def getGrantType(a: Acquire, m: MasterMetadata): UInt = {
|
||||
MuxLookup(a.a_type, grantReadUncached, Array(
|
||||
acquireReadExclusive -> grantReadExclusive,
|
||||
acquireReadUncached -> grantReadUncached,
|
||||
acquireWriteUncached -> grantWriteUncached,
|
||||
acquireReadWordUncached -> grantReadWordUncached,
|
||||
acquireWriteWordUncached -> grantWriteWordUncached,
|
||||
acquireAtomicUncached -> grantAtomicUncached
|
||||
))
|
||||
}
|
||||
def getGrantType(a: Acquire, m: MasterMetadata): UInt =
|
||||
Mux(a.uncached, getGrantTypeForUncached(a, m), grantReadExclusive)
|
||||
|
||||
def getGrantType(r: Release, m: MasterMetadata): UInt = {
|
||||
MuxLookup(r.r_type, grantReadUncached, Array(
|
||||
releaseVoluntaryInvalidateData -> grantVoluntaryAck
|
||||
))
|
||||
}
|
||||
def getGrantTypeOnVoluntaryWriteback(m: MasterMetadata): UInt = grantVoluntaryAck
|
||||
|
||||
def getProbeType(a: Acquire, m: MasterMetadata): UInt = {
|
||||
MuxLookup(a.a_type, probeCopy, Array(
|
||||
acquireReadExclusive -> probeInvalidate,
|
||||
acquireReadUncached -> probeCopy,
|
||||
acquireWriteUncached -> probeInvalidate,
|
||||
acquireReadWordUncached -> probeCopy,
|
||||
acquireWriteWordUncached -> probeInvalidate,
|
||||
acquireAtomicUncached -> probeInvalidate
|
||||
))
|
||||
Mux(a.uncached,
|
||||
MuxLookup(a.a_type, probeCopy, Array(
|
||||
Acquire.uncachedRead -> probeCopy,
|
||||
Acquire.uncachedWrite -> probeInvalidate,
|
||||
Acquire.uncachedAtomic -> probeInvalidate
|
||||
)), probeInvalidate)
|
||||
}
|
||||
|
||||
def requiresOuterRead(a_type: UInt) = {
|
||||
(a_type != acquireWriteUncached)
|
||||
}
|
||||
def requiresOuterWrite(a_type: UInt) = {
|
||||
(a_type === acquireWriteUncached)
|
||||
}
|
||||
def requiresOuterRead(a_type: UInt, m: MasterMetadata) = requiresOuterRead(a_type)
|
||||
def requiresOuterWrite(a_type: UInt, m: MasterMetadata) = requiresOuterWrite(a_type)
|
||||
def requiresAckForGrant(g_type: UInt) = g_type != grantVoluntaryAck
|
||||
def requiresAckForRelease(r_type: UInt) = Bool(false)
|
||||
def requiresSelfProbe(a_type: UInt) = Bool(false)
|
||||
def requiresOuterRead(acq: Acquire, m: MasterMetadata) =
|
||||
Mux(acq.uncached, Acquire.requiresOuterRead(acq.a_type), Bool(true))
|
||||
def requiresOuterWrite(acq: Acquire, m: MasterMetadata) =
|
||||
Mux(acq.uncached, Acquire.requiresOuterWrite(acq.a_type), Bool(false))
|
||||
|
||||
def requiresAckForGrant(g: Grant) = g.uncached || g.g_type != grantVoluntaryAck
|
||||
def requiresAckForRelease(r: Release) = Bool(false)
|
||||
def requiresSelfProbe(a: Acquire) = a.uncached && a.a_type === Acquire.uncachedRead
|
||||
def pendingVoluntaryReleaseIsSufficient(r_type: UInt, p_type: UInt): Bool = (r_type === releaseVoluntaryInvalidateData)
|
||||
}
|
||||
|
||||
class MEICoherence(dir: () => DirectoryRepresentation) extends CoherencePolicyWithUncached(dir) {
|
||||
class MEICoherence(dir: () => DirectoryRepresentation) extends CoherencePolicy(dir) {
|
||||
def nClientStates = 3
|
||||
def nMasterStates = 2
|
||||
def nAcquireTypes = 7
|
||||
def nAcquireTypes = 2
|
||||
def nProbeTypes = 3
|
||||
def nReleaseTypes = 7
|
||||
def nGrantTypes = 8
|
||||
def nGrantTypes = 2
|
||||
|
||||
val clientInvalid :: clientExclusiveClean :: clientExclusiveDirty :: Nil = Enum(UInt(), nClientStates)
|
||||
val masterInvalid :: masterValid :: Nil = Enum(UInt(), nMasterStates)
|
||||
|
||||
val acquireReadExclusiveClean :: acquireReadExclusiveDirty :: acquireReadUncached :: acquireWriteUncached :: acquireReadWordUncached :: acquireWriteWordUncached :: acquireAtomicUncached :: Nil = Enum(UInt(), nAcquireTypes)
|
||||
val acquireReadExclusiveClean :: acquireReadExclusiveDirty :: Nil = Enum(UInt(), nAcquireTypes)
|
||||
val probeInvalidate :: probeDowngrade :: probeCopy :: Nil = Enum(UInt(), nProbeTypes)
|
||||
val releaseVoluntaryInvalidateData :: releaseInvalidateData :: releaseDowngradeData :: releaseCopyData :: releaseInvalidateAck :: releaseDowngradeAck :: releaseCopyAck :: Nil = Enum(UInt(), nReleaseTypes)
|
||||
val grantVoluntaryAck :: grantReadExclusive :: grantReadUncached :: grantWriteUncached :: grantReadExclusiveAck :: grantReadWordUncached :: grantWriteWordUncached :: grantAtomicUncached :: Nil = Enum(UInt(), nGrantTypes)
|
||||
val grantVoluntaryAck :: grantReadExclusive :: Nil = Enum(UInt(), nGrantTypes)
|
||||
|
||||
val uncachedAcquireTypeVec = Vec(acquireReadUncached, acquireWriteUncached, acquireReadWordUncached, acquireWriteWordUncached, acquireAtomicUncached)
|
||||
val hasDataAcquireTypeVec = Vec(acquireWriteUncached, acquireWriteWordUncached, acquireAtomicUncached)
|
||||
val hasDataReleaseTypeVec = Vec(releaseVoluntaryInvalidateData, releaseInvalidateData, releaseDowngradeData, releaseCopyData)
|
||||
val hasDataGrantTypeVec = Vec(grantReadExclusive, grantReadUncached, grantReadWordUncached, grantAtomicUncached)
|
||||
val hasDataGrantTypeVec = Vec(grantReadExclusive)
|
||||
|
||||
def isHit (cmd: UInt, m: ClientMetadata) = isValid(m)
|
||||
def isValid (m: ClientMetadata) = m.state != clientInvalid
|
||||
@ -332,7 +289,7 @@ class MEICoherence(dir: () => DirectoryRepresentation) extends CoherencePolicyWi
|
||||
def isValid (m: MasterMetadata) = m.state != masterInvalid
|
||||
|
||||
def needsTransactionOnSecondaryMiss(cmd: UInt, outstanding: Acquire): Bool = {
|
||||
(isRead(cmd) && messageIsUncached(outstanding)) ||
|
||||
(isRead(cmd) && outstanding.uncached) ||
|
||||
(isWriteIntent(cmd) && (outstanding.a_type != acquireReadExclusiveDirty))
|
||||
}
|
||||
def needsTransactionOnCacheControl(cmd: UInt, m: ClientMetadata): Bool = {
|
||||
@ -355,16 +312,9 @@ class MEICoherence(dir: () => DirectoryRepresentation) extends CoherencePolicyWi
|
||||
)))(this)
|
||||
def clientMetadataOnFlush() = clientMetadataOnCacheControl(M_INV)
|
||||
def clientMetadataOnGrant(incoming: Grant, outstanding: Acquire) = ClientMetadata(
|
||||
MuxLookup(incoming.g_type, clientInvalid, Array(
|
||||
grantReadExclusive -> Mux(outstanding.a_type === acquireReadExclusiveDirty,
|
||||
clientExclusiveDirty, clientExclusiveClean),
|
||||
grantReadExclusiveAck -> clientExclusiveDirty,
|
||||
grantReadUncached -> clientInvalid,
|
||||
grantWriteUncached -> clientInvalid,
|
||||
grantReadWordUncached -> clientInvalid,
|
||||
grantWriteWordUncached -> clientInvalid,
|
||||
grantAtomicUncached -> clientInvalid
|
||||
)))(this)
|
||||
Mux(incoming.uncached, clientInvalid,
|
||||
Mux(outstanding.a_type === acquireReadExclusiveDirty, clientExclusiveDirty,
|
||||
clientExclusiveClean)))(this)
|
||||
def clientMetadataOnProbe(incoming: Probe, m: ClientMetadata) = ClientMetadata(
|
||||
MuxLookup(incoming.p_type, m.state, Array(
|
||||
probeInvalidate -> clientInvalid,
|
||||
@ -387,14 +337,8 @@ class MEICoherence(dir: () => DirectoryRepresentation) extends CoherencePolicyWi
|
||||
))
|
||||
}
|
||||
|
||||
def getUncachedReadAcquireType = acquireReadUncached
|
||||
def getUncachedWriteAcquireType = acquireWriteUncached
|
||||
def getUncachedReadWordAcquireType = acquireReadWordUncached
|
||||
def getUncachedWriteWordAcquireType = acquireWriteWordUncached
|
||||
def getUncachedAtomicAcquireType = acquireAtomicUncached
|
||||
def isUncachedReadTransaction(acq: Acquire) = acq.a_type === acquireReadUncached
|
||||
def isVoluntary(rel: Release) = rel.r_type === releaseVoluntaryInvalidateData
|
||||
def isVoluntary(gnt: Grant) = gnt.g_type === grantVoluntaryAck
|
||||
def isVoluntary(gnt: Grant) = !gnt.uncached && gnt.g_type === grantVoluntaryAck
|
||||
|
||||
def getAcquireTypeOnPrimaryMiss(cmd: UInt, m: ClientMetadata): UInt = {
|
||||
Mux(isWriteIntent(cmd), acquireReadExclusiveDirty, acquireReadExclusiveClean)
|
||||
@ -419,83 +363,62 @@ class MEICoherence(dir: () => DirectoryRepresentation) extends CoherencePolicyWi
|
||||
}
|
||||
|
||||
def messageHasData(msg: SourcedMessage) = msg match {
|
||||
case acq: Acquire => hasDataAcquireTypeVec.contains(acq.a_type)
|
||||
case grant: Grant => hasDataGrantTypeVec.contains(grant.g_type)
|
||||
case acq: Acquire => Mux(acq.uncached, Acquire.hasData(acq.a_type), Bool(false))
|
||||
case gnt: Grant => Mux(gnt.uncached, Grant.hasData(gnt.g_type), hasDataGrantTypeVec.contains(gnt.g_type))
|
||||
case rel: Release => hasDataReleaseTypeVec.contains(rel.r_type)
|
||||
case _ => Bool(false)
|
||||
}
|
||||
def messageUpdatesDataArray (reply: Grant): Bool = {
|
||||
(reply.g_type === grantReadExclusive)
|
||||
def messageUpdatesDataArray(g: Grant): Bool = {
|
||||
Mux(g.uncached, Bool(false),
|
||||
(g.g_type === grantReadExclusive))
|
||||
}
|
||||
def messageIsUncached(acq: Acquire): Bool = uncachedAcquireTypeVec.contains(acq.a_type)
|
||||
|
||||
def isCoherenceConflict(addr1: UInt, addr2: UInt): Bool = (addr1 === addr2)
|
||||
|
||||
def getGrantType(a: Acquire, m: MasterMetadata): UInt = {
|
||||
MuxLookup(a.a_type, grantReadUncached, Array(
|
||||
acquireReadExclusiveClean -> grantReadExclusive,
|
||||
acquireReadExclusiveDirty -> grantReadExclusive,
|
||||
acquireReadUncached -> grantReadUncached,
|
||||
acquireWriteUncached -> grantWriteUncached,
|
||||
acquireReadWordUncached -> grantReadWordUncached,
|
||||
acquireWriteWordUncached -> grantWriteWordUncached,
|
||||
acquireAtomicUncached -> grantAtomicUncached
|
||||
))
|
||||
Mux(a.uncached, getGrantTypeForUncached(a, m), grantReadExclusive)
|
||||
}
|
||||
def getGrantType(r: Release, m: MasterMetadata): UInt = {
|
||||
MuxLookup(r.r_type, grantReadUncached, Array(
|
||||
releaseVoluntaryInvalidateData -> grantVoluntaryAck
|
||||
))
|
||||
}
|
||||
|
||||
def getGrantTypeOnVoluntaryWriteback(m: MasterMetadata): UInt = grantVoluntaryAck
|
||||
|
||||
def getProbeType(a: Acquire, m: MasterMetadata): UInt = {
|
||||
MuxLookup(a.a_type, probeCopy, Array(
|
||||
acquireReadExclusiveClean -> probeInvalidate,
|
||||
acquireReadExclusiveDirty -> probeInvalidate,
|
||||
acquireReadUncached -> probeCopy,
|
||||
acquireWriteUncached -> probeInvalidate,
|
||||
acquireReadWordUncached -> probeCopy,
|
||||
acquireWriteWordUncached -> probeInvalidate,
|
||||
acquireAtomicUncached -> probeInvalidate
|
||||
))
|
||||
Mux(a.uncached,
|
||||
MuxLookup(a.a_type, probeCopy, Array(
|
||||
Acquire.uncachedRead -> probeCopy,
|
||||
Acquire.uncachedWrite -> probeInvalidate,
|
||||
Acquire.uncachedAtomic -> probeInvalidate
|
||||
)), probeInvalidate)
|
||||
}
|
||||
|
||||
def requiresOuterRead(a_type: UInt) = {
|
||||
(a_type != acquireWriteUncached)
|
||||
}
|
||||
def requiresOuterWrite(a_type: UInt) = {
|
||||
(a_type === acquireWriteUncached)
|
||||
}
|
||||
def requiresOuterRead(a_type: UInt, m: MasterMetadata) = requiresOuterRead(a_type)
|
||||
def requiresOuterWrite(a_type: UInt, m: MasterMetadata) = requiresOuterWrite(a_type)
|
||||
def requiresAckForGrant(g_type: UInt) = g_type != grantVoluntaryAck
|
||||
def requiresAckForRelease(r_type: UInt) = Bool(false)
|
||||
def requiresSelfProbe(a_type: UInt) = Bool(false)
|
||||
def requiresOuterRead(acq: Acquire, m: MasterMetadata) =
|
||||
Mux(acq.uncached, Acquire.requiresOuterRead(acq.a_type), Bool(true))
|
||||
def requiresOuterWrite(acq: Acquire, m: MasterMetadata) =
|
||||
Mux(acq.uncached, Acquire.requiresOuterWrite(acq.a_type), Bool(false))
|
||||
|
||||
def requiresAckForGrant(g: Grant) = g.uncached || g.g_type != grantVoluntaryAck
|
||||
def requiresAckForRelease(r: Release) = Bool(false)
|
||||
def requiresSelfProbe(a: Acquire) = a.uncached && a.a_type === Acquire.uncachedRead
|
||||
|
||||
def pendingVoluntaryReleaseIsSufficient(r_type: UInt, p_type: UInt): Bool = (r_type === releaseVoluntaryInvalidateData)
|
||||
}
|
||||
|
||||
class MSICoherence(dir: () => DirectoryRepresentation) extends CoherencePolicyWithUncached(dir) {
|
||||
class MSICoherence(dir: () => DirectoryRepresentation) extends CoherencePolicy(dir) {
|
||||
def nClientStates = 3
|
||||
def nMasterStates = 3
|
||||
def nAcquireTypes = 7
|
||||
def nAcquireTypes = 2
|
||||
def nProbeTypes = 3
|
||||
def nReleaseTypes = 7
|
||||
def nGrantTypes = 9
|
||||
def nGrantTypes = 3
|
||||
|
||||
val clientInvalid :: clientShared :: clientExclusiveDirty :: Nil = Enum(UInt(), nClientStates)
|
||||
val masterInvalid :: masterShared :: masterExclusive :: Nil = Enum(UInt(), nMasterStates)
|
||||
|
||||
val acquireReadShared :: acquireReadExclusive :: acquireReadUncached :: acquireWriteUncached :: acquireReadWordUncached :: acquireWriteWordUncached :: acquireAtomicUncached :: Nil = Enum(UInt(), nAcquireTypes)
|
||||
val acquireReadShared :: acquireReadExclusive :: Nil = Enum(UInt(), nAcquireTypes)
|
||||
val probeInvalidate :: probeDowngrade :: probeCopy :: Nil = Enum(UInt(), nProbeTypes)
|
||||
val releaseVoluntaryInvalidateData :: releaseInvalidateData :: releaseDowngradeData :: releaseCopyData :: releaseInvalidateAck :: releaseDowngradeAck :: releaseCopyAck :: Nil = Enum(UInt(), nReleaseTypes)
|
||||
val grantVoluntaryAck :: grantReadShared :: grantReadExclusive :: grantReadUncached :: grantWriteUncached :: grantReadExclusiveAck :: grantReadWordUncached :: grantWriteWordUncached :: grantAtomicUncached :: Nil = Enum(UInt(), nGrantTypes)
|
||||
val grantVoluntaryAck :: grantReadShared :: grantReadExclusive :: Nil = Enum(UInt(), nGrantTypes)
|
||||
|
||||
val uncachedAcquireTypeVec = Vec(acquireReadUncached, acquireWriteUncached, acquireReadWordUncached, acquireWriteWordUncached, acquireAtomicUncached)
|
||||
val hasDataAcquireTypeVec = Vec(acquireWriteUncached, acquireWriteWordUncached, acquireAtomicUncached)
|
||||
val hasDataReleaseTypeVec = Vec(releaseVoluntaryInvalidateData, releaseInvalidateData, releaseDowngradeData, releaseCopyData)
|
||||
val hasDataGrantTypeVec = Vec(grantReadShared, grantReadExclusive, grantReadUncached, grantReadWordUncached, grantAtomicUncached)
|
||||
val hasDataGrantTypeVec = Vec(grantReadShared, grantReadExclusive)
|
||||
|
||||
def isHit (cmd: UInt, m: ClientMetadata): Bool = {
|
||||
Mux(isWriteIntent(cmd), (m.state === clientExclusiveDirty),
|
||||
@ -508,7 +431,7 @@ class MSICoherence(dir: () => DirectoryRepresentation) extends CoherencePolicyWi
|
||||
def isValid (m: MasterMetadata) = m.state != masterInvalid
|
||||
|
||||
def needsTransactionOnSecondaryMiss(cmd: UInt, outstanding: Acquire): Bool = {
|
||||
(isRead(cmd) && messageIsUncached(outstanding)) ||
|
||||
(isRead(cmd) && outstanding.uncached) ||
|
||||
(isWriteIntent(cmd) && (outstanding.a_type != acquireReadExclusive))
|
||||
}
|
||||
def needsTransactionOnCacheControl(cmd: UInt, m: ClientMetadata): Bool = {
|
||||
@ -530,16 +453,9 @@ class MSICoherence(dir: () => DirectoryRepresentation) extends CoherencePolicyWi
|
||||
)))(this)
|
||||
def clientMetadataOnFlush() = clientMetadataOnCacheControl(M_INV)
|
||||
def clientMetadataOnGrant(incoming: Grant, outstanding: Acquire) = ClientMetadata(
|
||||
MuxLookup(incoming.g_type, clientInvalid, Array(
|
||||
grantReadShared -> clientShared,
|
||||
grantReadExclusive -> clientExclusiveDirty,
|
||||
grantReadExclusiveAck -> clientExclusiveDirty,
|
||||
grantReadUncached -> clientInvalid,
|
||||
grantWriteUncached -> clientInvalid,
|
||||
grantReadWordUncached -> clientInvalid,
|
||||
grantWriteWordUncached -> clientInvalid,
|
||||
grantAtomicUncached -> clientInvalid
|
||||
)))(this)
|
||||
Mux(incoming.uncached, clientInvalid,
|
||||
Mux(incoming.g_type === grantReadShared, clientShared,
|
||||
clientExclusiveDirty)))(this)
|
||||
def clientMetadataOnProbe(incoming: Probe, m: ClientMetadata) = ClientMetadata(
|
||||
MuxLookup(incoming.p_type, m.state, Array(
|
||||
probeInvalidate -> clientInvalid,
|
||||
@ -564,14 +480,8 @@ class MSICoherence(dir: () => DirectoryRepresentation) extends CoherencePolicyWi
|
||||
))
|
||||
}
|
||||
|
||||
def getUncachedReadAcquireType = acquireReadUncached
|
||||
def getUncachedWriteAcquireType = acquireWriteUncached
|
||||
def getUncachedReadWordAcquireType = acquireReadWordUncached
|
||||
def getUncachedWriteWordAcquireType = acquireWriteWordUncached
|
||||
def getUncachedAtomicAcquireType = acquireAtomicUncached
|
||||
def isUncachedReadTransaction(acq: Acquire) = acq.a_type === acquireReadUncached
|
||||
def isVoluntary(rel: Release) = rel.r_type === releaseVoluntaryInvalidateData
|
||||
def isVoluntary(gnt: Grant) = gnt.g_type === grantVoluntaryAck
|
||||
def isVoluntary(gnt: Grant) = !gnt.uncached && gnt.g_type === grantVoluntaryAck
|
||||
|
||||
def getAcquireTypeOnPrimaryMiss(cmd: UInt, m: ClientMetadata): UInt = {
|
||||
Mux(isWriteIntent(cmd), acquireReadExclusive, acquireReadShared)
|
||||
@ -596,79 +506,69 @@ class MSICoherence(dir: () => DirectoryRepresentation) extends CoherencePolicyWi
|
||||
}
|
||||
|
||||
def messageHasData(msg: SourcedMessage) = msg match {
|
||||
case acq: Acquire => hasDataAcquireTypeVec.contains(acq.a_type)
|
||||
case grant: Grant => hasDataGrantTypeVec.contains(grant.g_type)
|
||||
case acq: Acquire => Mux(acq.uncached, Acquire.hasData(acq.a_type), Bool(false))
|
||||
case gnt: Grant => Mux(gnt.uncached, Grant.hasData(gnt.g_type), hasDataGrantTypeVec.contains(gnt.g_type))
|
||||
case rel: Release => hasDataReleaseTypeVec.contains(rel.r_type)
|
||||
case _ => Bool(false)
|
||||
}
|
||||
def messageUpdatesDataArray (reply: Grant): Bool = {
|
||||
(reply.g_type === grantReadShared || reply.g_type === grantReadExclusive)
|
||||
def messageUpdatesDataArray(g: Grant): Bool = {
|
||||
Mux(g.uncached, Bool(false),
|
||||
(g.g_type === grantReadShared || g.g_type === grantReadExclusive))
|
||||
}
|
||||
def messageIsUncached(acq: Acquire): Bool = uncachedAcquireTypeVec.contains(acq.a_type)
|
||||
|
||||
def isCoherenceConflict(addr1: UInt, addr2: UInt): Bool = (addr1 === addr2)
|
||||
|
||||
def getGrantType(a: Acquire, m: MasterMetadata): UInt = {
|
||||
MuxLookup(a.a_type, grantReadUncached, Array(
|
||||
acquireReadShared -> Mux(m.sharers.count() > UInt(0), grantReadShared, grantReadExclusive),
|
||||
acquireReadExclusive -> grantReadExclusive,
|
||||
acquireReadUncached -> grantReadUncached,
|
||||
acquireWriteUncached -> grantWriteUncached,
|
||||
acquireReadWordUncached -> grantReadWordUncached,
|
||||
acquireWriteWordUncached -> grantWriteWordUncached,
|
||||
acquireAtomicUncached -> grantAtomicUncached
|
||||
))
|
||||
}
|
||||
def getGrantType(r: Release, m: MasterMetadata): UInt = {
|
||||
MuxLookup(r.r_type, grantReadUncached, Array(
|
||||
releaseVoluntaryInvalidateData -> grantVoluntaryAck
|
||||
))
|
||||
Mux(a.uncached, getGrantTypeForUncached(a, m),
|
||||
Mux(a.a_type === acquireReadShared,
|
||||
Mux(m.sharers.count() > UInt(0), grantReadShared, grantReadExclusive),
|
||||
grantReadExclusive))
|
||||
}
|
||||
def getGrantTypeOnVoluntaryWriteback(m: MasterMetadata): UInt = grantVoluntaryAck
|
||||
|
||||
def getProbeType(a: Acquire, m: MasterMetadata): UInt = {
|
||||
MuxLookup(a.a_type, probeCopy, Array(
|
||||
acquireReadShared -> probeDowngrade,
|
||||
acquireReadExclusive -> probeInvalidate,
|
||||
acquireReadUncached -> probeCopy,
|
||||
acquireWriteUncached -> probeInvalidate
|
||||
))
|
||||
Mux(a.uncached,
|
||||
MuxLookup(a.a_type, probeCopy, Array(
|
||||
Acquire.uncachedRead -> probeCopy,
|
||||
Acquire.uncachedWrite -> probeInvalidate,
|
||||
Acquire.uncachedAtomic -> probeInvalidate
|
||||
)),
|
||||
MuxLookup(a.a_type, probeInvalidate, Array(
|
||||
acquireReadShared -> probeDowngrade,
|
||||
acquireReadExclusive -> probeInvalidate
|
||||
)))
|
||||
}
|
||||
|
||||
def requiresOuterRead(a_type: UInt) = {
|
||||
(a_type != acquireWriteUncached)
|
||||
}
|
||||
def requiresOuterWrite(a_type: UInt) = {
|
||||
(a_type === acquireWriteUncached)
|
||||
}
|
||||
def requiresOuterRead(a_type: UInt, m: MasterMetadata) = requiresOuterRead(a_type)
|
||||
def requiresOuterWrite(a_type: UInt, m: MasterMetadata) = requiresOuterWrite(a_type)
|
||||
def requiresAckForGrant(g_type: UInt) = g_type != grantVoluntaryAck
|
||||
def requiresAckForRelease(r_type: UInt) = Bool(false)
|
||||
def requiresSelfProbe(a_type: UInt) = Bool(false)
|
||||
def requiresOuterRead(acq: Acquire, m: MasterMetadata) =
|
||||
Mux(acq.uncached, Acquire.requiresOuterRead(acq.a_type), Bool(true))
|
||||
def requiresOuterWrite(acq: Acquire, m: MasterMetadata) =
|
||||
Mux(acq.uncached, Acquire.requiresOuterWrite(acq.a_type), Bool(false))
|
||||
|
||||
def requiresAckForGrant(g: Grant) = g.uncached || g.g_type != grantVoluntaryAck
|
||||
def requiresAckForRelease(r: Release) = Bool(false)
|
||||
def requiresSelfProbe(a: Acquire) = a.uncached && a.a_type === Acquire.uncachedRead
|
||||
|
||||
def pendingVoluntaryReleaseIsSufficient(r_type: UInt, p_type: UInt): Bool = (r_type === releaseVoluntaryInvalidateData)
|
||||
}
|
||||
|
||||
class MESICoherence(dir: () => DirectoryRepresentation) extends CoherencePolicyWithUncached(dir) {
|
||||
class MESICoherence(dir: () => DirectoryRepresentation) extends CoherencePolicy(dir) {
|
||||
def nClientStates = 4
|
||||
def nMasterStates = 3
|
||||
def nAcquireTypes = 7
|
||||
def nAcquireTypes = 2
|
||||
def nProbeTypes = 3
|
||||
def nReleaseTypes = 7
|
||||
def nGrantTypes = 9
|
||||
def nGrantTypes = 4
|
||||
|
||||
val clientInvalid :: clientShared :: clientExclusiveClean :: clientExclusiveDirty :: Nil = Enum(UInt(), nClientStates)
|
||||
val masterInvalid :: masterShared :: masterExclusive :: Nil = Enum(UInt(), nMasterStates)
|
||||
|
||||
val acquireReadShared :: acquireReadExclusive :: acquireReadUncached :: acquireWriteUncached :: acquireReadWordUncached :: acquireWriteWordUncached :: acquireAtomicUncached :: Nil = Enum(UInt(), nAcquireTypes)
|
||||
val acquireReadShared :: acquireReadExclusive :: Nil = Enum(UInt(), nAcquireTypes)
|
||||
val probeInvalidate :: probeDowngrade :: probeCopy :: Nil = Enum(UInt(), nProbeTypes)
|
||||
val releaseVoluntaryInvalidateData :: releaseInvalidateData :: releaseDowngradeData :: releaseCopyData :: releaseInvalidateAck :: releaseDowngradeAck :: releaseCopyAck :: Nil = Enum(UInt(), nReleaseTypes)
|
||||
val grantVoluntaryAck :: grantReadShared :: grantReadExclusive :: grantReadUncached :: grantWriteUncached :: grantReadExclusiveAck :: grantReadWordUncached :: grantWriteWordUncached :: grantAtomicUncached :: Nil = Enum(UInt(), nGrantTypes)
|
||||
val grantVoluntaryAck :: grantReadShared :: grantReadExclusive :: grantReadExclusiveAck :: Nil = Enum(UInt(), nGrantTypes)
|
||||
|
||||
val uncachedAcquireTypeVec = Vec(acquireReadUncached, acquireWriteUncached, acquireReadWordUncached, acquireWriteWordUncached, acquireAtomicUncached)
|
||||
val hasDataAcquireTypeVec = Vec(acquireWriteUncached, acquireWriteWordUncached, acquireAtomicUncached)
|
||||
val hasDataReleaseTypeVec = Vec(releaseVoluntaryInvalidateData, releaseInvalidateData, releaseDowngradeData, releaseCopyData)
|
||||
val hasDataGrantTypeVec = Vec(grantReadShared, grantReadExclusive, grantReadUncached, grantReadWordUncached, grantAtomicUncached)
|
||||
val hasDataGrantTypeVec = Vec(grantReadShared, grantReadExclusive)
|
||||
|
||||
def isHit (cmd: UInt, m: ClientMetadata): Bool = {
|
||||
Mux(isWriteIntent(cmd), (m.state === clientExclusiveClean || m.state === clientExclusiveDirty),
|
||||
@ -681,7 +581,7 @@ class MESICoherence(dir: () => DirectoryRepresentation) extends CoherencePolicyW
|
||||
def isValid (m: MasterMetadata) = m.state != masterInvalid
|
||||
|
||||
def needsTransactionOnSecondaryMiss(cmd: UInt, outstanding: Acquire): Bool = {
|
||||
(isRead(cmd) && messageIsUncached(outstanding)) ||
|
||||
(isRead(cmd) && outstanding.uncached) ||
|
||||
(isWriteIntent(cmd) && (outstanding.a_type != acquireReadExclusive))
|
||||
}
|
||||
def needsTransactionOnCacheControl(cmd: UInt, m: ClientMetadata): Bool = {
|
||||
@ -704,16 +604,13 @@ class MESICoherence(dir: () => DirectoryRepresentation) extends CoherencePolicyW
|
||||
)))(this)
|
||||
def clientMetadataOnFlush = clientMetadataOnCacheControl(M_INV)
|
||||
def clientMetadataOnGrant(incoming: Grant, outstanding: Acquire) = ClientMetadata(
|
||||
MuxLookup(incoming.g_type, clientInvalid, Array(
|
||||
grantReadShared -> clientShared,
|
||||
grantReadExclusive -> Mux(outstanding.a_type === acquireReadExclusive, clientExclusiveDirty, clientExclusiveClean),
|
||||
grantReadExclusiveAck -> clientExclusiveDirty,
|
||||
grantReadUncached -> clientInvalid,
|
||||
grantWriteUncached -> clientInvalid,
|
||||
grantReadWordUncached -> clientInvalid,
|
||||
grantWriteWordUncached -> clientInvalid,
|
||||
grantAtomicUncached -> clientInvalid
|
||||
)))(this)
|
||||
Mux(incoming.uncached, clientInvalid,
|
||||
MuxLookup(incoming.g_type, clientInvalid, Array(
|
||||
grantReadShared -> clientShared,
|
||||
grantReadExclusive -> Mux(outstanding.a_type === acquireReadExclusive,
|
||||
clientExclusiveDirty, clientExclusiveClean),
|
||||
grantReadExclusiveAck -> clientExclusiveDirty
|
||||
))))(this)
|
||||
def clientMetadataOnProbe(incoming: Probe, m: ClientMetadata) = ClientMetadata(
|
||||
MuxLookup(incoming.p_type, m.state, Array(
|
||||
probeInvalidate -> clientInvalid,
|
||||
@ -738,14 +635,8 @@ class MESICoherence(dir: () => DirectoryRepresentation) extends CoherencePolicyW
|
||||
))
|
||||
}
|
||||
|
||||
def getUncachedReadAcquireType = acquireReadUncached
|
||||
def getUncachedWriteAcquireType = acquireWriteUncached
|
||||
def getUncachedReadWordAcquireType = acquireReadWordUncached
|
||||
def getUncachedWriteWordAcquireType = acquireWriteWordUncached
|
||||
def getUncachedAtomicAcquireType = acquireAtomicUncached
|
||||
def isUncachedReadTransaction(acq: Acquire) = acq.a_type === acquireReadUncached
|
||||
def isVoluntary(rel: Release) = rel.r_type === releaseVoluntaryInvalidateData
|
||||
def isVoluntary(gnt: Grant) = gnt.g_type === grantVoluntaryAck
|
||||
def isVoluntary(gnt: Grant) = !gnt.uncached && gnt.g_type === grantVoluntaryAck
|
||||
|
||||
def getAcquireTypeOnPrimaryMiss(cmd: UInt, m: ClientMetadata): UInt = {
|
||||
Mux(isWriteIntent(cmd), acquireReadExclusive, acquireReadShared)
|
||||
@ -770,83 +661,68 @@ class MESICoherence(dir: () => DirectoryRepresentation) extends CoherencePolicyW
|
||||
}
|
||||
|
||||
def messageHasData(msg: SourcedMessage) = msg match {
|
||||
case acq: Acquire => hasDataAcquireTypeVec.contains(acq.a_type)
|
||||
case grant: Grant => hasDataGrantTypeVec.contains(grant.g_type)
|
||||
case acq: Acquire => Mux(acq.uncached, Acquire.hasData(acq.a_type), Bool(false))
|
||||
case gnt: Grant => Mux(gnt.uncached, Grant.hasData(gnt.g_type), hasDataGrantTypeVec.contains(gnt.g_type))
|
||||
case rel: Release => hasDataReleaseTypeVec.contains(rel.r_type)
|
||||
case _ => Bool(false)
|
||||
}
|
||||
def messageUpdatesDataArray (reply: Grant): Bool = {
|
||||
(reply.g_type === grantReadShared || reply.g_type === grantReadExclusive)
|
||||
def messageUpdatesDataArray(g: Grant): Bool = {
|
||||
Mux(g.uncached, Bool(false),
|
||||
(g.g_type === grantReadShared || g.g_type === grantReadExclusive))
|
||||
}
|
||||
def messageIsUncached(acq: Acquire): Bool = uncachedAcquireTypeVec.contains(acq.a_type)
|
||||
|
||||
def isCoherenceConflict(addr1: UInt, addr2: UInt): Bool = (addr1 === addr2)
|
||||
|
||||
def getGrantType(a: Acquire, m: MasterMetadata): UInt = {
|
||||
MuxLookup(a.a_type, grantReadUncached, Array(
|
||||
acquireReadShared -> Mux(m.sharers.count() > UInt(0), grantReadShared, grantReadExclusive),
|
||||
acquireReadExclusive -> grantReadExclusive,
|
||||
acquireReadUncached -> grantReadUncached,
|
||||
acquireWriteUncached -> grantWriteUncached,
|
||||
acquireReadWordUncached -> grantReadWordUncached,
|
||||
acquireWriteWordUncached -> grantWriteWordUncached,
|
||||
acquireAtomicUncached -> grantAtomicUncached
|
||||
))
|
||||
Mux(a.uncached, getGrantTypeForUncached(a, m),
|
||||
Mux(a.a_type === acquireReadShared,
|
||||
Mux(m.sharers.count() > UInt(0), grantReadShared, grantReadExclusive),
|
||||
grantReadExclusive))
|
||||
}
|
||||
def getGrantType(r: Release, m: MasterMetadata): UInt = {
|
||||
MuxLookup(r.r_type, grantReadUncached, Array(
|
||||
releaseVoluntaryInvalidateData -> grantVoluntaryAck
|
||||
))
|
||||
}
|
||||
|
||||
def getGrantTypeOnVoluntaryWriteback(m: MasterMetadata): UInt = grantVoluntaryAck
|
||||
|
||||
def getProbeType(a: Acquire, m: MasterMetadata): UInt = {
|
||||
MuxLookup(a.a_type, probeCopy, Array(
|
||||
acquireReadShared -> probeDowngrade,
|
||||
acquireReadExclusive -> probeInvalidate,
|
||||
acquireReadUncached -> probeCopy,
|
||||
acquireWriteUncached -> probeInvalidate,
|
||||
acquireReadWordUncached -> probeCopy,
|
||||
acquireWriteWordUncached -> probeInvalidate,
|
||||
acquireAtomicUncached -> probeInvalidate
|
||||
))
|
||||
Mux(a.uncached,
|
||||
MuxLookup(a.a_type, probeCopy, Array(
|
||||
Acquire.uncachedRead -> probeCopy,
|
||||
Acquire.uncachedWrite -> probeInvalidate,
|
||||
Acquire.uncachedAtomic -> probeInvalidate
|
||||
)),
|
||||
MuxLookup(a.a_type, probeCopy, Array(
|
||||
acquireReadShared -> probeDowngrade,
|
||||
acquireReadExclusive -> probeInvalidate
|
||||
)))
|
||||
}
|
||||
|
||||
def requiresOuterRead(a_type: UInt) = {
|
||||
(a_type != acquireWriteUncached)
|
||||
}
|
||||
def requiresOuterWrite(a_type: UInt) = {
|
||||
(a_type === acquireWriteUncached)
|
||||
}
|
||||
def requiresOuterRead(a_type: UInt, m: MasterMetadata) = requiresOuterRead(a_type)
|
||||
def requiresOuterWrite(a_type: UInt, m: MasterMetadata) = requiresOuterWrite(a_type)
|
||||
def requiresOuterRead(acq: Acquire, m: MasterMetadata) =
|
||||
Mux(acq.uncached, Acquire.requiresOuterRead(acq.a_type), Bool(true))
|
||||
def requiresOuterWrite(acq: Acquire, m: MasterMetadata) =
|
||||
Mux(acq.uncached, Acquire.requiresOuterWrite(acq.a_type), Bool(false))
|
||||
|
||||
def requiresAckForGrant(g_type: UInt) = g_type != grantVoluntaryAck
|
||||
def requiresAckForRelease(r_type: UInt) = Bool(false)
|
||||
def requiresSelfProbe(a_type: UInt) = Bool(false)
|
||||
def requiresAckForGrant(g: Grant) = g.uncached || g.g_type != grantVoluntaryAck
|
||||
def requiresAckForRelease(r: Release) = Bool(false)
|
||||
def requiresSelfProbe(a: Acquire) = a.uncached && a.a_type === Acquire.uncachedRead
|
||||
|
||||
def pendingVoluntaryReleaseIsSufficient(r_type: UInt, p_type: UInt): Bool = (r_type === releaseVoluntaryInvalidateData)
|
||||
}
|
||||
|
||||
class MigratoryCoherence(dir: () => DirectoryRepresentation) extends CoherencePolicyWithUncached(dir) {
|
||||
class MigratoryCoherence(dir: () => DirectoryRepresentation) extends CoherencePolicy(dir) {
|
||||
def nClientStates = 7
|
||||
def nMasterStates = 3
|
||||
def nAcquireTypes = 8
|
||||
def nAcquireTypes = 3
|
||||
def nProbeTypes = 4
|
||||
def nReleaseTypes = 11
|
||||
def nGrantTypes = 9
|
||||
def nGrantTypes = 5
|
||||
|
||||
val clientInvalid :: clientShared :: clientExclusiveClean :: clientExclusiveDirty :: clientSharedByTwo :: clientMigratoryClean :: clientMigratoryDirty :: Nil = Enum(UInt(), nClientStates)
|
||||
val masterInvalid :: masterShared :: masterExclusive :: Nil = Enum(UInt(), nMasterStates)
|
||||
|
||||
val acquireReadShared :: acquireReadExclusive :: acquireReadUncached :: acquireWriteUncached :: acquireReadWordUncached :: acquireWriteWordUncached :: acquireAtomicUncached :: acquireInvalidateOthers :: Nil = Enum(UInt(), nAcquireTypes)
|
||||
val acquireReadShared :: acquireReadExclusive :: acquireInvalidateOthers :: Nil = Enum(UInt(), nAcquireTypes)
|
||||
val probeInvalidate :: probeDowngrade :: probeCopy :: probeInvalidateOthers :: Nil = Enum(UInt(), nProbeTypes)
|
||||
val releaseVoluntaryInvalidateData :: releaseInvalidateData :: releaseDowngradeData :: releaseCopyData :: releaseInvalidateAck :: releaseDowngradeAck :: releaseCopyAck :: releaseDowngradeDataMigratory :: releaseDowngradeAckHasCopy :: releaseInvalidateDataMigratory :: releaseInvalidateAckMigratory :: Nil = Enum(UInt(), nReleaseTypes)
|
||||
val grantVoluntaryAck :: grantReadShared :: grantReadExclusive :: grantReadUncached :: grantWriteUncached :: grantReadExclusiveAck :: grantReadWordUncached :: grantWriteWordUncached :: grantAtomicUncached :: grantReadMigratory :: Nil = Enum(UInt(), nGrantTypes)
|
||||
val grantVoluntaryAck :: grantReadShared :: grantReadExclusive :: grantReadExclusiveAck :: grantReadMigratory :: Nil = Enum(UInt(), nGrantTypes)
|
||||
|
||||
val uncachedAcquireTypeVec = Vec(acquireReadUncached, acquireWriteUncached, acquireReadWordUncached, acquireWriteWordUncached, acquireAtomicUncached)
|
||||
val hasDataAcquireTypeVec = Vec(acquireWriteUncached, acquireWriteWordUncached, acquireAtomicUncached)
|
||||
val hasDataGrantTypeVec = Vec(grantReadShared, grantReadExclusive, grantReadUncached, grantReadMigratory, grantReadWordUncached, grantAtomicUncached)
|
||||
val hasDataGrantTypeVec = Vec(grantReadShared, grantReadExclusive, grantReadMigratory)
|
||||
val hasDataReleaseTypeVec = Vec(releaseVoluntaryInvalidateData, releaseInvalidateData, releaseDowngradeData, releaseCopyData, releaseInvalidateDataMigratory, releaseDowngradeDataMigratory)
|
||||
|
||||
def isHit (cmd: UInt, m: ClientMetadata): Bool = {
|
||||
@ -859,7 +735,7 @@ class MigratoryCoherence(dir: () => DirectoryRepresentation) extends CoherencePo
|
||||
def isValid (m: MasterMetadata) = m.state != masterInvalid
|
||||
|
||||
def needsTransactionOnSecondaryMiss(cmd: UInt, outstanding: Acquire): Bool = {
|
||||
(isRead(cmd) && messageIsUncached(outstanding)) ||
|
||||
(isRead(cmd) && outstanding.uncached) ||
|
||||
(isWriteIntent(cmd) && (outstanding.a_type != acquireReadExclusive && outstanding.a_type != acquireInvalidateOthers))
|
||||
}
|
||||
def needsTransactionOnCacheControl(cmd: UInt, m: ClientMetadata): Bool = {
|
||||
@ -883,22 +759,18 @@ class MigratoryCoherence(dir: () => DirectoryRepresentation) extends CoherencePo
|
||||
)))(this)
|
||||
def clientMetadataOnFlush = clientMetadataOnCacheControl(M_INV)
|
||||
def clientMetadataOnGrant(incoming: Grant, outstanding: Acquire) = ClientMetadata(
|
||||
MuxLookup(incoming.g_type, clientInvalid, Array(
|
||||
grantReadShared -> clientShared,
|
||||
grantReadExclusive -> MuxLookup(outstanding.a_type, clientExclusiveDirty, Array(
|
||||
acquireReadExclusive -> clientExclusiveDirty,
|
||||
acquireReadShared -> clientExclusiveClean)),
|
||||
grantReadExclusiveAck -> clientExclusiveDirty,
|
||||
grantReadUncached -> clientInvalid,
|
||||
grantWriteUncached -> clientInvalid,
|
||||
grantReadWordUncached -> clientInvalid,
|
||||
grantWriteWordUncached -> clientInvalid,
|
||||
grantAtomicUncached -> clientInvalid,
|
||||
grantReadMigratory -> MuxLookup(outstanding.a_type, clientMigratoryDirty, Array(
|
||||
acquireInvalidateOthers -> clientMigratoryDirty,
|
||||
acquireReadExclusive -> clientMigratoryDirty,
|
||||
acquireReadShared -> clientMigratoryClean))
|
||||
)))(this)
|
||||
Mux(incoming.uncached, clientInvalid,
|
||||
MuxLookup(incoming.g_type, clientInvalid, Array(
|
||||
grantReadShared -> clientShared,
|
||||
grantReadExclusive -> MuxLookup(outstanding.a_type, clientExclusiveDirty, Array(
|
||||
acquireReadExclusive -> clientExclusiveDirty,
|
||||
acquireReadShared -> clientExclusiveClean)),
|
||||
grantReadExclusiveAck -> clientExclusiveDirty,
|
||||
grantReadMigratory -> MuxLookup(outstanding.a_type, clientMigratoryDirty, Array(
|
||||
acquireInvalidateOthers -> clientMigratoryDirty,
|
||||
acquireReadExclusive -> clientMigratoryDirty,
|
||||
acquireReadShared -> clientMigratoryClean))
|
||||
))))(this)
|
||||
def clientMetadataOnProbe(incoming: Probe, m: ClientMetadata) = ClientMetadata(
|
||||
MuxLookup(incoming.p_type, m.state, Array(
|
||||
probeInvalidate -> clientInvalid,
|
||||
@ -935,14 +807,8 @@ class MigratoryCoherence(dir: () => DirectoryRepresentation) extends CoherencePo
|
||||
}
|
||||
|
||||
|
||||
def getUncachedReadAcquireType = acquireReadUncached
|
||||
def getUncachedWriteAcquireType = acquireWriteUncached
|
||||
def getUncachedReadWordAcquireType = acquireReadWordUncached
|
||||
def getUncachedWriteWordAcquireType = acquireWriteWordUncached
|
||||
def getUncachedAtomicAcquireType = acquireAtomicUncached
|
||||
def isUncachedReadTransaction(acq: Acquire) = acq.a_type === acquireReadUncached
|
||||
def isVoluntary(rel: Release) = rel.r_type === releaseVoluntaryInvalidateData
|
||||
def isVoluntary(gnt: Grant) = gnt.g_type === grantVoluntaryAck
|
||||
def isVoluntary(gnt: Grant) = !gnt.uncached && gnt.g_type === grantVoluntaryAck
|
||||
|
||||
def getAcquireTypeOnPrimaryMiss(cmd: UInt, m: ClientMetadata): UInt = {
|
||||
Mux(isWriteIntent(cmd), Mux(m.state === clientInvalid, acquireReadExclusive, acquireInvalidateOthers), acquireReadShared)
|
||||
@ -969,60 +835,50 @@ class MigratoryCoherence(dir: () => DirectoryRepresentation) extends CoherencePo
|
||||
}
|
||||
|
||||
def messageHasData(msg: SourcedMessage) = msg match {
|
||||
case acq: Acquire => hasDataAcquireTypeVec.contains(acq.a_type)
|
||||
case grant: Grant => hasDataGrantTypeVec.contains(grant.g_type)
|
||||
case acq: Acquire => Mux(acq.uncached, Acquire.hasData(acq.a_type), Bool(false))
|
||||
case gnt: Grant => Mux(gnt.uncached, Grant.hasData(gnt.g_type), hasDataGrantTypeVec.contains(gnt.g_type))
|
||||
case rel: Release => hasDataReleaseTypeVec.contains(rel.r_type)
|
||||
case _ => Bool(false)
|
||||
}
|
||||
def messageUpdatesDataArray (reply: Grant): Bool = Vec(grantReadShared, grantReadExclusive, grantReadMigratory).contains(reply.g_type)
|
||||
def messageIsUncached(acq: Acquire): Bool = uncachedAcquireTypeVec.contains(acq.a_type)
|
||||
def messageUpdatesDataArray(g: Grant): Bool = {
|
||||
Mux(g.uncached, Bool(false),
|
||||
Vec(grantReadShared, grantReadExclusive, grantReadMigratory).contains(g.g_type))
|
||||
}
|
||||
|
||||
def isCoherenceConflict(addr1: UInt, addr2: UInt): Bool = (addr1 === addr2)
|
||||
|
||||
def getGrantType(a: Acquire, m: MasterMetadata): UInt = {
|
||||
MuxLookup(a.a_type, grantReadUncached, Array(
|
||||
acquireReadShared -> Mux(m.sharers.count() > UInt(0), grantReadShared, grantReadExclusive), //TODO: what is count? Depend on release.p_type???
|
||||
acquireReadExclusive -> grantReadExclusive,
|
||||
acquireReadUncached -> grantReadUncached,
|
||||
acquireWriteUncached -> grantWriteUncached,
|
||||
acquireReadWordUncached -> grantReadWordUncached,
|
||||
acquireWriteWordUncached -> grantWriteWordUncached,
|
||||
acquireAtomicUncached -> grantAtomicUncached,
|
||||
acquireInvalidateOthers -> grantReadExclusiveAck //TODO: add this to MESI?
|
||||
))
|
||||
Mux(a.uncached, getGrantTypeForUncached(a, m),
|
||||
MuxLookup(a.a_type, grantReadShared, Array(
|
||||
acquireReadShared -> Mux(m.sharers.count() > UInt(0), grantReadShared, grantReadExclusive),
|
||||
acquireReadExclusive -> grantReadExclusive,
|
||||
acquireInvalidateOthers -> grantReadExclusiveAck //TODO: add this to MESI for broadcast?
|
||||
)))
|
||||
}
|
||||
def getGrantType(r: Release, m: MasterMetadata): UInt = {
|
||||
MuxLookup(r.r_type, grantReadUncached, Array(
|
||||
releaseVoluntaryInvalidateData -> grantVoluntaryAck
|
||||
))
|
||||
}
|
||||
|
||||
def getGrantTypeOnVoluntaryWriteback(m: MasterMetadata): UInt = grantVoluntaryAck
|
||||
|
||||
def getProbeType(a: Acquire, m: MasterMetadata): UInt = {
|
||||
MuxLookup(a.a_type, probeCopy, Array(
|
||||
acquireReadShared -> probeDowngrade,
|
||||
acquireReadExclusive -> probeInvalidate,
|
||||
acquireReadUncached -> probeCopy,
|
||||
acquireWriteUncached -> probeInvalidate,
|
||||
acquireReadWordUncached -> probeCopy,
|
||||
acquireWriteWordUncached -> probeInvalidate,
|
||||
acquireAtomicUncached -> probeInvalidate,
|
||||
acquireInvalidateOthers -> probeInvalidateOthers
|
||||
))
|
||||
Mux(a.uncached,
|
||||
MuxLookup(a.a_type, probeCopy, Array(
|
||||
Acquire.uncachedRead -> probeCopy,
|
||||
Acquire.uncachedWrite -> probeInvalidate,
|
||||
Acquire.uncachedAtomic -> probeInvalidate
|
||||
)),
|
||||
MuxLookup(a.a_type, probeCopy, Array(
|
||||
acquireReadShared -> probeDowngrade,
|
||||
acquireReadExclusive -> probeInvalidate,
|
||||
acquireInvalidateOthers -> probeInvalidateOthers
|
||||
)))
|
||||
}
|
||||
|
||||
def requiresOuterRead(a_type: UInt) = {
|
||||
(a_type != acquireWriteUncached && a_type != acquireInvalidateOthers)
|
||||
}
|
||||
def requiresOuterWrite(a_type: UInt) = {
|
||||
(a_type === acquireWriteUncached || a_type === acquireWriteWordUncached || a_type === acquireAtomicUncached)
|
||||
}
|
||||
def requiresOuterRead(a_type: UInt, m: MasterMetadata) = requiresOuterRead(a_type)
|
||||
def requiresOuterWrite(a_type: UInt, m: MasterMetadata) = requiresOuterWrite(a_type)
|
||||
def requiresOuterRead(acq: Acquire, m: MasterMetadata) =
|
||||
Mux(acq.uncached, Acquire.requiresOuterRead(acq.a_type), acq.a_type != acquireInvalidateOthers)
|
||||
def requiresOuterWrite(acq: Acquire, m: MasterMetadata) =
|
||||
Mux(acq.uncached, Acquire.requiresOuterWrite(acq.a_type), Bool(false))
|
||||
|
||||
def requiresAckForGrant(g_type: UInt) = g_type != grantVoluntaryAck
|
||||
def requiresAckForRelease(r_type: UInt) = Bool(false)
|
||||
def requiresSelfProbe(a_type: UInt) = Bool(false)
|
||||
def requiresAckForGrant(g: Grant) = g.uncached || g.g_type != grantVoluntaryAck
|
||||
def requiresAckForRelease(r: Release) = Bool(false)
|
||||
def requiresSelfProbe(a: Acquire) = a.uncached && a.a_type === Acquire.uncachedRead
|
||||
|
||||
def pendingVoluntaryReleaseIsSufficient(r_type: UInt, p_type: UInt): Bool = (r_type === releaseVoluntaryInvalidateData)
|
||||
}
|
||||
|
@ -16,7 +16,9 @@ trait MemoryOpConstants {
|
||||
val MT_BU = Bits("b100")
|
||||
val MT_HU = Bits("b101")
|
||||
val MT_WU = Bits("b110")
|
||||
val MT_CB = Bits("b111") // cache block
|
||||
|
||||
val NUM_XA_OPS = 9
|
||||
val M_SZ = 5
|
||||
val M_X = Bits("b?????");
|
||||
val M_XRD = Bits("b00000"); // int load
|
||||
|
@ -135,7 +135,7 @@ class HTIF(pcr_RESET: Int) extends Module with HTIFParameters {
|
||||
mem_acked := Bool(true)
|
||||
mem_gxid := io.mem.grant.bits.payload.master_xact_id
|
||||
mem_gsrc := io.mem.grant.bits.header.src
|
||||
mem_needs_ack := co.requiresAckForGrant(io.mem.grant.bits.payload.g_type)
|
||||
mem_needs_ack := co.requiresAckForGrant(io.mem.grant.bits.payload)
|
||||
}
|
||||
io.mem.grant.ready := Bool(true)
|
||||
|
||||
@ -193,8 +193,8 @@ class HTIF(pcr_RESET: Int) extends Module with HTIFParameters {
|
||||
acq_q.io.enq.valid := state === state_mem_rreq || state === state_mem_wreq
|
||||
val init_addr = addr.toUInt >> UInt(offsetBits-3)
|
||||
acq_q.io.enq.bits := Mux(cmd === cmd_writemem,
|
||||
Acquire(co.getUncachedWriteAcquireType, init_addr, UInt(0)),
|
||||
Acquire(co.getUncachedReadAcquireType, init_addr, UInt(0)))
|
||||
UncachedWrite(init_addr, UInt(0)),
|
||||
UncachedRead(init_addr))
|
||||
io.mem.acquire.valid := acq_q.io.deq.valid
|
||||
acq_q.io.deq.ready := io.mem.acquire.ready
|
||||
io.mem.acquire.bits.payload := acq_q.io.deq.bits
|
||||
|
@ -268,7 +268,7 @@ class MemIOUncachedTileLinkIOConverter(qDepth: Int) extends Module {
|
||||
// Aggregate incoming MemIO responses into TL Grants
|
||||
io.mem.resp.ready := !active_in || cnt_in < UInt(cnt_max)
|
||||
io.uncached.grant.valid := active_in && (cnt_in === UInt(cnt_max))
|
||||
io.uncached.grant.bits.payload := Grant(UInt(0), tag_in, UInt(0), buf_in)
|
||||
io.uncached.grant.bits.payload := Grant(Bool(true), UInt(0), tag_in, UInt(0), buf_in)
|
||||
when(!active_in && io.mem.resp.valid) {
|
||||
active_in := Bool(true)
|
||||
cnt_in := UInt(1)
|
||||
|
@ -2,65 +2,89 @@
|
||||
|
||||
package uncore
|
||||
import Chisel._
|
||||
import scala.math.max
|
||||
|
||||
case object TLId extends Field[String]
|
||||
case object TLCoherence extends Field[CoherencePolicyWithUncached]
|
||||
case object TLCoherence extends Field[CoherencePolicy]
|
||||
case object TLAddrBits extends Field[Int]
|
||||
case object TLMasterXactIdBits extends Field[Int]
|
||||
case object TLClientXactIdBits extends Field[Int]
|
||||
case object TLDataBits extends Field[Int]
|
||||
case object TLWriteMaskBits extends Field[Int]
|
||||
case object TLWordAddrBits extends Field[Int]
|
||||
case object TLAtomicOpBits extends Field[Int]
|
||||
|
||||
trait HasPhysicalAddress extends Bundle {
|
||||
val addr = UInt(width = params(TLAddrBits))
|
||||
abstract trait TileLinkParameters extends UsesParameters {
|
||||
val tlAddrBits = params(TLAddrBits)
|
||||
val tlClientXactIdBits = params(TLClientXactIdBits)
|
||||
val tlMasterXactIdBits = params(TLMasterXactIdBits)
|
||||
val tlDataBits = params(TLDataBits)
|
||||
val tlWriteMaskBits = tlDataBits/8
|
||||
val tlSubblockAddrBits = log2Up(tlWriteMaskBits)
|
||||
val tlAtomicOpcodeBits = log2Up(NUM_XA_OPS)
|
||||
val tlUncachedOperandSizeBits = MT_SZ
|
||||
val tlSubblockUnionBits = max(tlWriteMaskBits,
|
||||
(tlSubblockAddrBits +
|
||||
tlUncachedOperandSizeBits +
|
||||
tlAtomicOpcodeBits))
|
||||
}
|
||||
|
||||
trait HasClientTransactionId extends Bundle {
|
||||
val client_xact_id = Bits(width = params(TLClientXactIdBits))
|
||||
class TLBundle extends Bundle with TileLinkParameters
|
||||
|
||||
trait HasPhysicalAddress extends TLBundle {
|
||||
val addr = UInt(width = tlAddrBits)
|
||||
}
|
||||
|
||||
trait HasMasterTransactionId extends Bundle {
|
||||
val master_xact_id = Bits(width = params(TLMasterXactIdBits))
|
||||
trait HasClientTransactionId extends TLBundle {
|
||||
val client_xact_id = Bits(width = tlClientXactIdBits)
|
||||
}
|
||||
|
||||
trait HasTileLinkData extends Bundle {
|
||||
val data = Bits(width = params(TLDataBits))
|
||||
trait HasMasterTransactionId extends TLBundle {
|
||||
val master_xact_id = Bits(width = tlMasterXactIdBits)
|
||||
}
|
||||
|
||||
trait SourcedMessage extends Bundle
|
||||
trait HasTileLinkData extends TLBundle {
|
||||
val data = UInt(width = tlDataBits)
|
||||
}
|
||||
|
||||
trait SourcedMessage extends TLBundle
|
||||
trait ClientSourcedMessage extends SourcedMessage
|
||||
trait MasterSourcedMessage extends SourcedMessage
|
||||
|
||||
object Acquire
|
||||
{
|
||||
def apply(a_type: Bits, addr: UInt, client_xact_id: UInt): Acquire = {
|
||||
class Acquire extends ClientSourcedMessage
|
||||
with HasPhysicalAddress
|
||||
with HasClientTransactionId
|
||||
with HasTileLinkData {
|
||||
val uncached = Bool()
|
||||
val a_type = UInt(width = max(log2Up(Acquire.nUncachedAcquireTypes), params(TLCoherence).acquireTypeWidth))
|
||||
val subblock = Bits(width = tlSubblockUnionBits)
|
||||
val sbAddrOff = tlSubblockAddrBits + tlUncachedOperandSizeBits
|
||||
val opSzOff = tlUncachedOperandSizeBits + sbAddrOff
|
||||
def operand_sz(dummy: Int = 0) = subblock(tlUncachedOperandSizeBits-1, 0)
|
||||
def subblock_addr(dummy: Int = 0) = subblock(sbAddrOff-1, tlUncachedOperandSizeBits)
|
||||
def atomic_op(dummy: Int = 0) = subblock(opSzOff-1, sbAddrOff)
|
||||
def write_mask(dummy: Int = 0) = subblock(tlWriteMaskBits-1, 0)
|
||||
}
|
||||
|
||||
object Acquire {
|
||||
val nUncachedAcquireTypes = 3
|
||||
//val uncachedRead :: uncachedWrite :: uncachedAtomic :: Nil = Enum(UInt(), nUncachedAcquireTypes)
|
||||
def uncachedRead = UInt(0)
|
||||
def uncachedWrite = UInt(1)
|
||||
def uncachedAtomic = UInt(2)
|
||||
def hasData(a_type: UInt) = Vec(uncachedWrite, uncachedAtomic).contains(a_type)
|
||||
def requiresOuterRead(a_type: UInt) = a_type != uncachedWrite
|
||||
def requiresOuterWrite(a_type: UInt) = a_type === uncachedWrite
|
||||
|
||||
def apply(a_type: Bits, addr: UInt, client_xact_id: UInt, data: UInt): Acquire = {
|
||||
val acq = new Acquire
|
||||
acq.uncached := Bool(false)
|
||||
acq.a_type := a_type
|
||||
acq.addr := addr
|
||||
acq.client_xact_id := client_xact_id
|
||||
acq.data := Bits(0)
|
||||
acq.write_mask := Bits(0)
|
||||
acq.subword_addr := Bits(0)
|
||||
acq.atomic_opcode := Bits(0)
|
||||
acq
|
||||
}
|
||||
def apply(a_type: Bits, addr: UInt, client_xact_id: UInt, data: UInt): Acquire = {
|
||||
val acq = apply(a_type, addr, client_xact_id)
|
||||
acq.data := data
|
||||
acq.subblock := UInt(0)
|
||||
acq
|
||||
}
|
||||
def apply(a_type: UInt, addr: UInt, client_xact_id: UInt, write_mask: Bits, data: UInt): Acquire = {
|
||||
val acq = apply(a_type, addr, client_xact_id, data)
|
||||
acq.write_mask := write_mask
|
||||
acq
|
||||
}
|
||||
def apply(a_type: UInt, addr: UInt, client_xact_id: UInt, subword_addr: UInt, atomic_opcode: UInt, data: UInt): Acquire = {
|
||||
val acq = apply(a_type, addr, client_xact_id, data)
|
||||
acq.subword_addr := subword_addr
|
||||
acq.atomic_opcode := atomic_opcode
|
||||
acq
|
||||
def apply(a_type: Bits, addr: UInt, client_xact_id: UInt): Acquire = {
|
||||
apply(a_type, addr, client_xact_id, UInt(0))
|
||||
}
|
||||
def apply(a: Acquire): Acquire = {
|
||||
val acq = new Acquire
|
||||
@ -69,16 +93,45 @@ object Acquire
|
||||
}
|
||||
}
|
||||
|
||||
class Acquire extends ClientSourcedMessage
|
||||
with HasPhysicalAddress
|
||||
with HasClientTransactionId
|
||||
with HasTileLinkData {
|
||||
val a_type = UInt(width = params(TLCoherence).acquireTypeWidth)
|
||||
val write_mask = Bits(width = params(TLWriteMaskBits))
|
||||
val subword_addr = Bits(width = params(TLWordAddrBits))
|
||||
val atomic_opcode = Bits(width = params(TLAtomicOpBits))
|
||||
object UncachedRead {
|
||||
def apply(addr: UInt, client_xact_id: UInt, subblock_addr: UInt, operand_sz: UInt): Acquire = {
|
||||
val acq = Acquire(Acquire.uncachedRead, addr, client_xact_id)
|
||||
acq.uncached := Bool(true)
|
||||
acq.subblock := Cat(subblock_addr, operand_sz)
|
||||
acq
|
||||
}
|
||||
def apply(addr: UInt, client_xact_id: UInt): Acquire = {
|
||||
apply(addr, client_xact_id, UInt(0), MT_CB)
|
||||
}
|
||||
def apply(addr: UInt): Acquire = {
|
||||
apply(addr, UInt(0), UInt(0), MT_CB)
|
||||
}
|
||||
}
|
||||
|
||||
object UncachedWrite {
|
||||
def apply(addr: UInt, client_xact_id: UInt, write_mask: Bits, data: UInt): Acquire = {
|
||||
val acq = Acquire(Acquire.uncachedWrite, addr, client_xact_id, data)
|
||||
acq.uncached := Bool(true)
|
||||
acq.subblock := write_mask
|
||||
acq
|
||||
}
|
||||
def apply(addr: UInt, client_xact_id: UInt, data: UInt): Acquire = {
|
||||
apply(addr, client_xact_id, SInt(-1), data)
|
||||
}
|
||||
def apply(addr: UInt, data: UInt): Acquire = {
|
||||
apply(addr, UInt(0), data)
|
||||
}
|
||||
}
|
||||
|
||||
object UncachedAtomic {
|
||||
def apply(addr: UInt, client_xact_id: UInt, atomic_opcode: UInt,
|
||||
subblock_addr: UInt, operand_sz: UInt, data: UInt): Acquire = {
|
||||
val acq = Acquire(Acquire.uncachedAtomic, addr, client_xact_id, data)
|
||||
acq.uncached := Bool(true)
|
||||
acq.subblock := Cat(atomic_opcode, subblock_addr, operand_sz)
|
||||
acq
|
||||
}
|
||||
}
|
||||
|
||||
object Probe {
|
||||
def apply(p_type: UInt, addr: UInt) = {
|
||||
@ -118,28 +171,34 @@ class Release extends ClientSourcedMessage
|
||||
val r_type = UInt(width = params(TLCoherence).releaseTypeWidth)
|
||||
}
|
||||
|
||||
object Grant
|
||||
{
|
||||
def apply(g_type: UInt, client_xact_id: UInt, master_xact_id: UInt): Grant = {
|
||||
val gnt = new Grant
|
||||
gnt.g_type := g_type
|
||||
gnt.client_xact_id := client_xact_id
|
||||
gnt.master_xact_id := master_xact_id
|
||||
gnt.data := UInt(0)
|
||||
gnt
|
||||
}
|
||||
def apply(g_type: UInt, client_xact_id: UInt, master_xact_id: UInt, data: UInt): Grant = {
|
||||
val gnt = apply(g_type, client_xact_id, master_xact_id)
|
||||
gnt.data := data
|
||||
gnt
|
||||
}
|
||||
}
|
||||
|
||||
class Grant extends MasterSourcedMessage
|
||||
with HasTileLinkData
|
||||
with HasClientTransactionId
|
||||
with HasMasterTransactionId {
|
||||
val g_type = UInt(width = params(TLCoherence).grantTypeWidth)
|
||||
val uncached = Bool()
|
||||
val g_type = UInt(width = max(log2Up(Grant.nUncachedGrantTypes), params(TLCoherence).grantTypeWidth))
|
||||
}
|
||||
|
||||
object Grant {
|
||||
val nUncachedGrantTypes = 3
|
||||
//val uncachedRead :: uncachedWrite :: uncachedAtomic :: Nil = Enum(UInt(), nUncachedGrantTypes)
|
||||
def uncachedRead = UInt(0)
|
||||
def uncachedWrite = UInt(1)
|
||||
def uncachedAtomic = UInt(2)
|
||||
def hasData(g_type: UInt) = Vec(uncachedRead, uncachedAtomic).contains(g_type)
|
||||
|
||||
def apply(uncached: Bool, g_type: UInt, client_xact_id: UInt, master_xact_id: UInt, data: UInt): Grant = {
|
||||
val gnt = new Grant
|
||||
gnt.uncached := uncached
|
||||
gnt.g_type := g_type
|
||||
gnt.client_xact_id := client_xact_id
|
||||
gnt.master_xact_id := master_xact_id
|
||||
gnt.data := data
|
||||
gnt
|
||||
}
|
||||
def apply(uncached: Bool, g_type: UInt, client_xact_id: UInt, master_xact_id: UInt): Grant = {
|
||||
apply(uncached, g_type, client_xact_id, master_xact_id, UInt(0))
|
||||
}
|
||||
}
|
||||
|
||||
class Finish extends ClientSourcedMessage with HasMasterTransactionId
|
||||
|
@ -122,7 +122,7 @@ class VoluntaryReleaseTracker(trackerId: Int, bankId: Int, innerId: String, oute
|
||||
io.outer.acquire.valid := Bool(false)
|
||||
io.outer.acquire.bits.header.src := UInt(bankId)
|
||||
//io.outer.acquire.bits.header.dst TODO
|
||||
io.outer.acquire.bits.payload := Bundle(Acquire(co.getUncachedWriteAcquireType,
|
||||
io.outer.acquire.bits.payload := Bundle(UncachedWrite(
|
||||
xact.addr,
|
||||
UInt(trackerId),
|
||||
xact.data),
|
||||
@ -133,7 +133,8 @@ class VoluntaryReleaseTracker(trackerId: Int, bankId: Int, innerId: String, oute
|
||||
io.inner.grant.valid := Bool(false)
|
||||
io.inner.grant.bits.header.src := UInt(bankId)
|
||||
io.inner.grant.bits.header.dst := init_client_id
|
||||
io.inner.grant.bits.payload := Grant(co.getGrantType(xact, co.masterMetadataOnFlush),
|
||||
io.inner.grant.bits.payload := Grant(Bool(false),
|
||||
co.getGrantTypeOnVoluntaryWriteback(co.masterMetadataOnFlush),
|
||||
xact.client_xact_id,
|
||||
UInt(trackerId))
|
||||
|
||||
@ -169,15 +170,13 @@ class AcquireTracker(trackerId: Int, bankId: Int, innerId: String, outerId: Stri
|
||||
val curr_p_id = PriorityEncoder(probe_flags)
|
||||
|
||||
val pending_outer_write = co.messageHasData(xact)
|
||||
val pending_outer_read = co.requiresOuterRead(xact.a_type)
|
||||
val outer_write_acq = Bundle(Acquire(co.getUncachedWriteAcquireType,
|
||||
xact.addr, UInt(trackerId), xact.data),
|
||||
{ case TLId => outerId })
|
||||
val outer_write_rel = Bundle(Acquire(co.getUncachedWriteAcquireType,
|
||||
xact.addr, UInt(trackerId), c_rel.payload.data),
|
||||
{ case TLId => outerId })
|
||||
val outer_read = Bundle(Acquire(co.getUncachedReadAcquireType, xact.addr, UInt(trackerId)),
|
||||
{ case TLId => outerId })
|
||||
val pending_outer_read = co.requiresOuterRead(xact, co.masterMetadataOnFlush)
|
||||
val outer_write_acq = Bundle(UncachedWrite(xact.addr, UInt(trackerId), xact.data),
|
||||
{ case TLId => outerId })
|
||||
val outer_write_rel = Bundle(UncachedWrite(xact.addr, UInt(trackerId), c_rel.payload.data),
|
||||
{ case TLId => outerId })
|
||||
val outer_read = Bundle(UncachedRead(xact.addr, UInt(trackerId)),
|
||||
{ case TLId => outerId })
|
||||
|
||||
val probe_initial_flags = Bits(width = nClients)
|
||||
probe_initial_flags := Bits(0)
|
||||
@ -202,11 +201,11 @@ class AcquireTracker(trackerId: Int, bankId: Int, innerId: String, outerId: Stri
|
||||
io.inner.probe.bits.header.dst := curr_p_id
|
||||
io.inner.probe.bits.payload := Probe(co.getProbeType(xact, co.masterMetadataOnFlush), xact.addr)
|
||||
|
||||
val grant_type = co.getGrantType(xact, co.masterMetadataOnFlush)
|
||||
io.inner.grant.valid := Bool(false)
|
||||
io.inner.grant.bits.header.src := UInt(bankId)
|
||||
io.inner.grant.bits.header.dst := init_client_id
|
||||
io.inner.grant.bits.payload := Grant(grant_type,
|
||||
io.inner.grant.bits.payload := Grant(xact.uncached,
|
||||
co.getGrantType(xact, co.masterMetadataOnFlush),
|
||||
xact.client_xact_id,
|
||||
UInt(trackerId),
|
||||
m_gnt.payload.data)
|
||||
@ -218,7 +217,7 @@ class AcquireTracker(trackerId: Int, bankId: Int, innerId: String, outerId: Stri
|
||||
is(s_idle) {
|
||||
io.inner.acquire.ready := Bool(true)
|
||||
val needs_outer_write = co.messageHasData(c_acq.payload)
|
||||
val needs_outer_read = co.requiresOuterRead(c_acq.payload.a_type)
|
||||
val needs_outer_read = co.requiresOuterRead(c_acq.payload, co.masterMetadataOnFlush)
|
||||
when( io.inner.acquire.valid ) {
|
||||
xact := c_acq.payload
|
||||
init_client_id := c_acq.header.src
|
||||
@ -266,7 +265,7 @@ class AcquireTracker(trackerId: Int, bankId: Int, innerId: String, outerId: Stri
|
||||
io.outer.acquire.valid := Bool(true)
|
||||
io.outer.acquire.bits.payload := outer_read
|
||||
when(io.outer.acquire.ready) {
|
||||
state := Mux(co.requiresAckForGrant(grant_type), s_busy, s_idle)
|
||||
state := Mux(co.requiresAckForGrant(io.inner.grant.bits.payload), s_busy, s_idle)
|
||||
}
|
||||
}
|
||||
is(s_mem_write) {
|
||||
@ -279,7 +278,7 @@ class AcquireTracker(trackerId: Int, bankId: Int, innerId: String, outerId: Stri
|
||||
is(s_make_grant) {
|
||||
io.inner.grant.valid := Bool(true)
|
||||
when(io.inner.grant.ready) {
|
||||
state := Mux(co.requiresAckForGrant(grant_type), s_busy, s_idle)
|
||||
state := Mux(co.requiresAckForGrant(io.inner.grant.bits.payload), s_busy, s_idle)
|
||||
}
|
||||
}
|
||||
is(s_busy) { // Nothing left to do but wait for transaction to complete
|
||||
|
Loading…
Reference in New Issue
Block a user