Changeset 305 for branches

Timestamp:

Feb 26, 2013, 4:35:05 PM (12 years ago)

Author:

joannou

Message:

In vci_mem_cache component:
Adding an assert for cleanup commands received with no copy in the directory
(such a cleanup should not be received by the vci_mem_cache)

File:

• branches/v5/modules/vci_mem_cache/caba/source/src/vci_mem_cache.cpp (modified) (2 diffs)

branches/v5/modules/vci_mem_cache/caba/source/src/vci_mem_cache.cpp

@@ -3706 +3706 @@
           if( entry.valid) //  hit : the copy must be cleared
           {
+            assert( (entry.count > 0) &&
+                    "CLEANUP command received with no copy in the directory");
+
             if ( (entry.count==1) || (entry.is_cnt) )  // no access to the heap
             {
@@ -3773 +3776 @@
         if (not r_cleanup_is_cnt.read() and not match) {
             std::cout
-              << "VCI_MEM_CACHE ERROR : Cleanup request on a valid"
-              << "entry using linked list mode with no corresponding"
+              << "VCI_MEM_CACHE ERROR : Cleanup request on a valid "
+              << "entry using linked list mode with no corresponding "
               << "directory or heap entry"
               << std::endl;