xref: /XiangShan/src/main/scala/xiangshan/mem/sbuffer/StorePrefetchBursts.scala (revision 0d32f7132f120ac0b32ab552fe0da4934208dd01)
1/***************************************************************************************
2* Copyright (c) 2020-2021 Institute of Computing Technology, Chinese Academy of Sciences
3* Copyright (c) 2020-2021 Peng Cheng Laboratory
4*
5* XiangShan is licensed under Mulan PSL v2.
6* You can use this software according to the terms and conditions of the Mulan PSL v2.
7* You may obtain a copy of Mulan PSL v2 at:
8*          http://license.coscl.org.cn/MulanPSL2
9*
10* THIS SOFTWARE IS PROVIDED ON AN "AS IS" BASIS, WITHOUT WARRANTIES OF ANY KIND,
11* EITHER EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO NON-INFRINGEMENT,
12* MERCHANTABILITY OR FIT FOR A PARTICULAR PURPOSE.
13*
14* See the Mulan PSL v2 for more details.
15***************************************************************************************/
16
17package xiangshan.mem
18
19import chipsalliance.rocketchip.config.Parameters
20import chisel3._
21import chisel3.util._
22import xiangshan._
23import utils._
24import utility._
25import xiangshan.cache._
26
27trait HasStorePrefetchHelper extends HasCircularQueuePtrHelper with HasDCacheParameters {
28  // common
29  val PAGEOFFSET = 12 // page offset 4096 Bytes
30  val BLOCKOFFSET = log2Up(dcacheParameters.blockBytes) // cache block offset 64 Bytes
31
32  // spb parameters
33  val ENABLE_SPB = EnableStorePrefetchSPB
34  val ONLY_ON_MEMSET = false
35  val SATURATE_COUNTER_BITS = 7
36  val BURST_ENGINE_SIZE = 2
37  val SPB_N = 48
38
39  // serializer parameters
40  val SERIALIZER_SIZE = 12
41
42  def block_addr(x: UInt): UInt = {
43    val offset = log2Up(dcacheParameters.blockBytes)
44    x(x.getWidth - 1, offset)
45  }
46
47  // filter logic (granularity: a page)
48  def same_page_addr(addr0: UInt, addr1: UInt): Bool = {
49    addr0(addr0.getWidth - 1, PAGEOFFSET) === addr1(addr1.getWidth - 1, PAGEOFFSET)
50  }
51
52  def filter_by_page_addr(valid_vec: Vec[Bool], data_vec: Vec[UInt], incoming_vaddr: UInt) : Bool = {
53    val match_vec = (valid_vec zip data_vec).map{
54      case(v, e_vaddr) => v && same_page_addr(e_vaddr, incoming_vaddr)
55    }
56    VecInit(match_vec).asUInt.orR
57  }
58
59  def cache_block_addr_difference(req_addr: UInt, last_addr: UInt): UInt = {
60    (block_addr(req_addr).asSInt - block_addr(last_addr).asSInt)(SATURATE_COUNTER_BITS - 1, 0)
61  }
62
63  def get_store_count_divided_by_8(st_count: UInt): UInt = {
64    st_count(st_count.getWidth - 1, 3)
65  }
66
67  def trigger_check(st_count: UInt, N: UInt): Bool = {
68    st_count > N
69  }
70
71  def can_burst(st_count: UInt, N: UInt, sa_count: SInt): Bool = {
72    // 1.counter overflows
73    // 2.counter / 8 == saturate counter
74    // 3.saturate counter is not negtive
75    trigger_check(st_count, N) && get_store_count_divided_by_8(st_count) === sa_count.asUInt && sa_count(sa_count.getWidth - 1) === false.B
76  }
77}
78
79// L1 Store prefetch component
80
81// an prefetch request generator used by spb to burst some prefetch request to L1 Dcache
82class PrefetchBurstGenerator(is_store: Boolean)(implicit p: Parameters) extends DCacheModule with HasStorePrefetchHelper {
83  val io = IO(new DCacheBundle {
84    val alloc = Input(Bool())
85    val vaddr = Input(UInt(VAddrBits.W))
86    val prefetch_req = Vec(StorePipelineWidth, DecoupledIO(new StorePrefetchReq))
87  })
88
89  require(StorePipelineWidth == 2)
90
91  val SIZE = BURST_ENGINE_SIZE
92
93  val valids = RegInit(VecInit(List.tabulate(SIZE){_ => false.B}))
94  val datas  = RegInit(VecInit(List.tabulate(SIZE){_ => 0.U.asTypeOf(io.vaddr)}))
95  val pagebits = RegInit(VecInit(List.tabulate(SIZE){_ => 0.U(1.W)}))
96
97  // enq
98  val enq_valids = ~(valids.asUInt)
99  val full = !(enq_valids.orR)
100  val enq_idx = PriorityEncoder(enq_valids)
101  val enq_filter = filter_by_page_addr(valids, datas, io.vaddr)
102
103  when(io.alloc && !full && !enq_filter) {
104    valids(enq_idx) := true.B
105    datas(enq_idx) := io.vaddr
106    pagebits(enq_idx) := io.vaddr(PAGEOFFSET)
107  }
108
109  XSPerfAccumulate("burst_generator_alloc_success", io.alloc && !full && !enq_filter)
110  XSPerfAccumulate("burst_generator_alloc_fail", io.alloc && full && !enq_filter)
111  XSPerfAccumulate("burst_generator_full", full)
112
113  // next prefetch address
114  val datas_next = Wire(Vec(SIZE, chiselTypeOf(datas(0))))
115  datas_next := datas.map(_ + Cat(1.U(1.W), 0.U(BLOCKOFFSET.W)))
116  // double next prefetch address
117  val datas_next_next = Wire(Vec(SIZE, chiselTypeOf(datas(0))))
118  datas_next_next := datas.map(_ + Cat(2.U(2.W), 0.U(BLOCKOFFSET.W)))
119
120  // deq
121  // val deq_valids = (valids zip datas zip pagebits).map{case (v, vaddr, pgbit) => v && vaddr(PAGEOFFSET) === pagebits}
122  val deq_valids = valids
123  val deq_decoupled = Wire(Vec(SIZE, Vec(StorePipelineWidth, Decoupled(new StorePrefetchReq))))
124
125  (deq_valids zip deq_decoupled zip datas zip datas_next zip datas_next_next zip pagebits zip valids).foreach{case ((((((deq_valid, out_decouple), data), data_next), data_next_next), pg_bit), v) => {
126    out_decouple(0).valid := deq_valid
127    out_decouple(0).bits := DontCare
128    out_decouple(0).bits.vaddr := data
129    out_decouple(1).valid := deq_valid && data_next(PAGEOFFSET) === pg_bit && out_decouple(0).fire
130    out_decouple(1).bits := DontCare
131    out_decouple(1).bits.vaddr := data_next
132    when(out_decouple(1).fire) {
133      // fired 2 prefetch reqs
134      data := data_next_next
135      when(data_next_next(PAGEOFFSET) =/= pg_bit) {
136        // cross page, invalid this entry
137        v := false.B
138      }
139    }.elsewhen(out_decouple(0).fire) {
140      // fired 1 prefetch req
141      data := data_next
142      when(data_next(PAGEOFFSET) =/= pg_bit) {
143        // cross page, invalid this entry
144        v := false.B
145      }
146    }
147  }}
148  for (i <- 0 until StorePipelineWidth) {
149    arbiter(deq_decoupled.map(_(i)), io.prefetch_req(i), Some(s"spb_deq_arb${i}"))
150  }
151
152  XSPerfAccumulate("burst_valid_num", PopCount(valids))
153  XSPerfAccumulate("prefetch_req_fire_by_generator", PopCount(VecInit(io.prefetch_req.map(_.fire))))
154}
155
156class StorePrefetchBursts(implicit p: Parameters) extends DCacheModule with HasStorePrefetchHelper {
157  val io = IO(new DCacheBundle {
158    val enable = Input(Bool())
159    val memSetPattenDetected = Input(Bool())
160    val sbuffer_enq  = Flipped(Valid(new DCacheWordReqWithVaddr))
161    val prefetch_req = Vec(StorePipelineWidth, DecoupledIO(new StorePrefetchReq))
162  })
163  require(EnsbufferWidth == 2)
164
165  // meta for SPB
166  val N = SPB_N
167  val last_st_block_addr = RegInit(0.U(VAddrBits.W))
168  val saturate_counter = RegInit(0.S(SATURATE_COUNTER_BITS.W))
169  val store_count = RegInit(0.U((log2Up(N) + 1).W))
170  val burst_engine = Module(new PrefetchBurstGenerator(is_store = true))
171
172  val sbuffer_fire = io.sbuffer_enq.valid
173  val sbuffer_vaddr = io.sbuffer_enq.bits.vaddr
174
175  val next_store_count = store_count + Mux(sbuffer_fire, 1.U, 0.U)
176  val next_saturate_count = (saturate_counter + Mux(sbuffer_fire, cache_block_addr_difference(sbuffer_vaddr, last_st_block_addr).asSInt, 0.S)).asSInt
177
178  when(sbuffer_fire) {
179    last_st_block_addr := sbuffer_vaddr
180  }
181
182  val check = trigger_check(next_store_count, N.U)
183  val burst = can_burst(next_store_count, N.U, next_saturate_count)
184
185  store_count := Mux(burst || check, 0.U, next_store_count)
186  saturate_counter := Mux(burst || check, 0.S, next_saturate_count)
187
188  if(ONLY_ON_MEMSET) {
189    // very strict: only burst on memset
190    burst_engine.io.alloc := burst && io.enable && io.memSetPattenDetected
191  }else {
192    burst_engine.io.alloc := burst && io.enable
193  }
194  burst_engine.io.vaddr := get_block_addr(io.sbuffer_enq.bits.vaddr)
195  burst_engine.io.prefetch_req <> io.prefetch_req
196
197  // perf
198  XSPerfAccumulate("trigger_burst", burst && io.enable)
199  XSPerfAccumulate("trigger_check", check && io.enable)
200}
201
202// L2 Store prefetch component
203
204// Serializer: FIFO queue, recieve EnsbufferWidth requests sent from sq to sbuffer
205//             save them to a FIFO queue, pop them in order
206class Serializer(implicit p: Parameters) extends DCacheModule with HasStorePrefetchHelper {
207  val io = IO(new DCacheBundle {
208    val sbuffer_enq  = Vec(EnsbufferWidth, Flipped(Valid(new DCacheWordReqWithVaddr)))
209    val prefetch_train = DecoupledIO(new DCacheWordReqWithVaddr)
210  })
211  val QueueSize = SERIALIZER_SIZE
212
213  class SerializerPtr(implicit p: Parameters) extends CircularQueuePtr[SerializerPtr](p => QueueSize){}
214
215  object SerializerPtr {
216    def apply(f: Bool, v: UInt)(implicit p: Parameters): SerializerPtr = {
217      val ptr = Wire(new SerializerPtr)
218      ptr.flag := f
219      ptr.value := v
220      ptr
221    }
222  }
223
224  val enqPtrExt = RegInit(VecInit((0 until EnsbufferWidth).map(_.U.asTypeOf(new SerializerPtr))))
225  val deqPtrExt = RegInit(0.U.asTypeOf(new SerializerPtr))
226
227  val deqPtr = deqPtrExt.value
228
229  val reqs = RegInit(VecInit((0 until QueueSize).map(_.U.asTypeOf(Valid(new DCacheWordReqWithVaddr)))))
230
231  // deq
232  io.prefetch_train.valid := reqs(deqPtr).valid
233  io.prefetch_train.bits  := reqs(deqPtr).bits
234
235  when(io.prefetch_train.fire) {
236    deqPtrExt := deqPtrExt + 1.U
237    reqs(deqPtr).valid := false.B
238  }
239
240  // enq
241  val count_vsreq = PopCount(io.sbuffer_enq.map(_.valid))
242  val canEnqueue = (distanceBetween(enqPtrExt(0), deqPtrExt) + count_vsreq) <= QueueSize.U
243
244  when(canEnqueue) {
245    for(i <- 0 until EnsbufferWidth) {
246      when(io.sbuffer_enq(i).valid) {
247        reqs(enqPtrExt(i).value) := io.sbuffer_enq(i)
248      }
249    }
250    enqPtrExt.map(ptr => ptr := ptr + count_vsreq)
251  }
252
253  XSPerfAccumulate("canNotEnqueue", !canEnqueue)
254  XSPerfAccumulate("prefetch_train_fire", io.prefetch_train.fire)
255  XSPerfAccumulate("full", PopCount(reqs.map(_.valid)) === QueueSize.U)
256}
257
258class StorePfWrapper()(implicit p: Parameters) extends DCacheModule with HasStorePrefetchHelper {
259  val io = IO(new DCacheBundle {
260    val sbuffer_enq  = Vec(EnsbufferWidth, Flipped(Valid(new DCacheWordReqWithVaddr)))
261    val prefetch_req = Vec(StorePipelineWidth, DecoupledIO(new StorePrefetchReq))
262    val memSetPattenDetected = Input(Bool())
263  })
264
265  // TODO: remove serializer, use a ptr in sq
266  val serializer = Module(new Serializer())
267  val spb = Module(new StorePrefetchBursts())
268
269  // give mutiple reqs to serializer, serializer will give out one req per cycle
270  for(i <- 0 until EnsbufferWidth) {
271    serializer.io.sbuffer_enq(i).valid := io.sbuffer_enq(i).valid && ENABLE_SPB.B
272    serializer.io.sbuffer_enq(i).bits := io.sbuffer_enq(i).bits
273  }
274
275  // train spb
276  spb.io.enable := ENABLE_SPB.B
277  spb.io.memSetPattenDetected := io.memSetPattenDetected
278  spb.io.sbuffer_enq.valid := serializer.io.prefetch_train.valid
279  spb.io.sbuffer_enq.bits  := serializer.io.prefetch_train.bits
280  // spb will always recieve train req
281  serializer.io.prefetch_train.ready := true.B
282
283  // fire a prefetch req
284  io.prefetch_req <> spb.io.prefetch_req
285}