riscv/rocket-chip
1
0
Fork 0
Code Releases Activity

fix coherence bug

Browse Source 
popping wrong store dependence queue
This commit is contained in:
Andrew Waterman 2012-03-16 01:24:07 -07:00
parent cfca2d1411
commit f0157b9e2a
1 changed files with 8 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
rocket/src/main/scala/coherence.scala
View File

@ -295,12 +295,14 @@ class XactTracker(ntiles: Int, id: Int) extends Component with FourStateCoherenc
when(req_cmd.ready && req_cmd.valid) { when(req_cmd.ready && req_cmd.valid) {
cmd_sent := Bool(true) cmd_sent := Bool(true)
} }
when(req_data.ready && req_data.valid) { when(req_data.ready && at_front_of_dep_queue) {
pop_data := UFix(1) << tile_id pop_data := UFix(1) << tile_id
mem_cnt := mem_cnt_next when (data.valid) {
when(mem_cnt_next === UFix(0)) { mem_cnt := mem_cnt_next
pop_dep := UFix(1) << tile_id when(mem_cnt_next === UFix(0)) {
trigger := Bool(false) pop_dep := UFix(1) << tile_id
trigger := Bool(false)
}
} }
} }
} }
@ -391,7 +393,6 @@ class XactTracker(ntiles: Int, id: Int) extends Component with FourStateCoherenc
io.pop_p_rep := io.p_rep_cnt_dec io.pop_p_rep := io.p_rep_cnt_dec
if(ntiles > 1) p_rep_count := p_rep_count - dec if(ntiles > 1) p_rep_count := p_rep_count - dec
when(p_rep_count === dec) { when(p_rep_count === dec) {
io.pop_p_rep := Bool(true)
state := s_mem state := s_mem
} }
} }