Changeset 284 for trunk/modules/vci_cc_vcache_wrapper_v4/caba/source/include

Timestamp:

Dec 11, 2012, 6:19:35 PM (12 years ago)

Author:

joannou

Message:

Updated of the vci trdid/rtrdid and pktid/rpktid fields for the direct network.
The pktid values are commented in the components'headers that use them.

• In the vci_vdspin_*_wrapper components
  • added the transmission of the pktid/rpktid field
• In the vci_cc_vcache_wrapper_v4
  • updated gen_moore() to transmit a valid pktid
  • updated transition(), RSP_FSM now checks the rpktid
• In the vci_mem_cache_v4
  • transition(), tests originally performed on trdid now use pktid
  • gen_moore() transmit rpktid
  • !!! THE L1_MULTI_CACHE MECHANISM IS NO LONGER COMPATIBLE !!!
• In vci_block_device_tsar_v4
  • updated gen_moore function to transmit a valid pktid

Also renamed the "SC" states in "CAS" states in the concerned FSMs on the vci_cc_vcache_wrapper_v4 and the vci_mem_cache_v4

File:

• trunk/modules/vci_cc_vcache_wrapper_v4/caba/source/include/vci_cc_vcache_wrapper_v4.h (modified) (4 diffs)

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

@@ -118 +118 @@
         //handling dirty bit update
         DCACHE_DIRTY_GET_PTE,
-        DCACHE_DIRTY_SC_WAIT,           
+        DCACHE_DIRTY_WAIT,           
             // handling processor miss requests
         DCACHE_MISS_VICTIM,
@@ -142 +142 @@
         CMD_DATA_UNC,
         CMD_DATA_WRITE,
-        CMD_DATA_SC, 
+        CMD_DATA_CAS, 
     };
 
@@ -152 +152 @@
         RSP_DATA_UNC,
         RSP_DATA_WRITE,
-        RSP_DATA_SC,
     };
 
@@ -173 +172 @@
         TGT_RSP_DCACHE,
     };
+
+    /* transaction type, pktid field */
+    enum transaction_type_e
+    {
+        // b3 unused
+        // b2 READ / NOT READ
+        // Si READ
+        //  b1 DATA / INS
+        //  b0 UNC / MISS
+        // Si NOT READ
+        //  b1 accÚs table llsc type SW / other
+        //  b2 WRITE/CAS/LL/SC
+        TYPE_READ_DATA_UNC          = 0x0,
+        TYPE_READ_DATA_MISS         = 0x1,
+        TYPE_READ_INS_UNC           = 0x2,
+        TYPE_READ_INS_MISS          = 0x3,
+        TYPE_WRITE                  = 0x4,
+        TYPE_CAS                    = 0x5,
+        TYPE_LL                     = 0x6,
+        TYPE_SC                     = 0x7
+    };
+    
+    /* SC return values */
+    enum sc_status_type_e
+    {
+        SC_SUCCESS  =   0x00000000,
+        SC_FAIL     =   0x00000001
+    };
+    /*
+    this is already in vci_param.h
+    enum {
+        STORE_COND_ATOMIC = 0,
+        STORE_COND_NOT_ATOMIC = 1,
+    };
+    */
 
     // TLB Mode : ITLB / DTLB / ICACHE / DCACHE