Changeset 245 for trunk/modules/vci_mem_cache_v4/caba

Timestamp:

Aug 3, 2012, 7:59:32 PM (12 years ago)

Author:

alain

Message:

ntroducing a segmentation violation checking

Location:

trunk/modules/vci_mem_cache_v4/caba/source

Files:

• include/vci_mem_cache_v4.h (modified) (1 diff)
• src/vci_mem_cache_v4.cpp (modified) (4 diffs)

trunk/modules/vci_mem_cache_v4/caba/source/include/vci_mem_cache_v4.h

@@ -430 +430 @@
       sc_signal<int>         r_tgt_cmd_fsm;
 
-      size_t nseg;
-      size_t ncseg;
+      size_t                   m_nseg;
+      size_t                   m_ncseg;
       soclib::common::Segment  **m_seg;
       soclib::common::Segment  **m_cseg;
+
       ///////////////////////////////////////////////////////
       // Registers controlled by the READ fsm

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

@@ -313 +313 @@
     r_tgt_cmd_fsm("r_tgt_cmd_fsm"),
     
-    nseg(0),    
-    ncseg(0),   
+    m_nseg(0),  
+    m_ncseg(0), 
 
     r_read_fsm("r_read_fsm"),
@@ -373 +373 @@
       // Get the segments associated to the MemCache 
       std::list<soclib::common::Segment>::iterator seg;
+      size_t i;
 
       for(seg = m_seglist.begin(); seg != m_seglist.end() ; seg++) {
-        nseg++;
+        m_nseg++;
       }
       for(seg = m_cseglist.begin(); seg != m_cseglist.end() ; seg++) {
-        ncseg++;
+        m_ncseg++;
       }
 
-      m_seg = new soclib::common::Segment*[nseg];
-      size_t i = 0;
+      m_seg = new soclib::common::Segment*[m_nseg];
+
+      i = 0;
       for ( seg = m_seglist.begin() ; seg != m_seglist.end() ; seg++ ) { 
         m_seg[i] = &(*seg);
         i++;
       }
-      m_cseg = new soclib::common::Segment*[ncseg];
+
+      m_cseg = new soclib::common::Segment*[m_ncseg];
+
       i = 0;
       for ( seg = m_cseglist.begin() ; seg != m_cseglist.end() ; seg++ ) { 
@@ -803 +807 @@
 }
 #endif
+                // checking segmentation violation
+                vci_addr_t  address = p_vci_tgt.address.read();
+                uint32_t    plen    = p_vci_tgt.plen.read();
+                bool found = false;
+                for ( size_t seg_id = 0 ; seg_id < m_nseg ; seg_id++ )
+                {
+                    if ( m_seg[seg_id]->contains(address) &&
+                         m_seg[seg_id]->contains(address + plen - vci_param::B) )
+                    {
+                        found = true;
+                    }
+                }
+                if ( not found )
+                {
+                    std::cout << "VCI_MEM_CACHE ERROR " << name() << std::endl;
+                    std::cout << "Out of segment VCI address in TGT_CMD_IDLE state" << std::endl;
+                    exit(0);
+                }
+
                 if ( p_vci_tgt.cmd.read() == vci_param::CMD_READ ) 
                 {
@@ -3266 +3289 @@
 
                 bool reached = false;
-                for ( size_t index = 0 ; index < ncseg && !reached ; index++ )
+                for ( size_t index = 0 ; index < m_ncseg && !reached ; index++ )
                 {
                     if ( m_cseg[index]->contains((addr_t)(p_vci_tgt_cleanup.address.read())) )