Changeset 650 for trunk/lib/generic_llsc_global_table

Timestamp:

Mar 3, 2014, 11:13:45 AM (11 years ago)

Author:

cfuguet

Message:

Adding conditional compilation of the reservation life span
mechanism in the LL/SC table. As RTL component doesn't have
this mechanism when cosimulating the desactivation is
necessary.

File:

• trunk/lib/generic_llsc_global_table/include/generic_llsc_global_table.h (modified) (3 diffs)

trunk/lib/generic_llsc_global_table/include/generic_llsc_global_table.h

@@ -34 +34 @@
 #include <iomanip>
 #include <stdint.h>
+
+#define RESERVATION_LIFE_SPAN 1
 
 namespace soclib
@@ -348 +350 @@
         if (pos >= 0)
         {
+#if RESERVATION_LIFE_SPAN == 0
+            return r_key[pos];
+#else
             uint32_t absdiff = ( r_key[pos] > r_next_key) ?
                                  r_key[pos] - r_next_key  :
@@ -359 +364 @@
 
             return r_key[pos];
+#endif
         }