Changeset 288

Timestamp:

Jan 16, 2013, 1:48:31 PM (13 years ago)

Author:

joannou

Message:

Bug fix in vci_cc_vcache_wrapper_v4 : unwanted reset of the r_dcache_pending_unc_write flag
Description : an unc write is registered by the DCACHE FSM in the write buffer,
then a cacheable write resets the flag (THIS SHOULD NOT HAPPEN) and is
registered in the write buffer. Then, a second unc write is also registered in
the write buffer (could be avoided by the flag being correctly set). The CMD
FSM then becomes ready to consume from the write buffer and chooses to send the
second unc write first. (This bug appeared when trying to dsiplay giet_vm boot
debug messages in a tsarv4_generic_mmu platform with a 1 cluster / 4 processors
configuration)

File:

• trunk/modules/vci_cc_vcache_wrapper_v4/caba/source/src/vci_cc_vcache_wrapper_v4.cpp (modified) (1 diff)

trunk/modules/vci_cc_vcache_wrapper_v4/caba/source/src/vci_cc_vcache_wrapper_v4.cpp

@@ -2091 +2091 @@
                 else          // update the write_buffer state extension
                 {
-                    r_dcache_pending_unc_write = not r_dcache_p0_cacheable.read();
+                    if(not r_dcache_pending_unc_write.read())
+                        r_dcache_pending_unc_write = not r_dcache_p0_cacheable.read();
 
                     // read directory to check local copy