Changeset 350 for soft/giet_vm/giet_drivers/bdv_driver.c

Timestamp:

Jun 29, 2014, 12:53:25 PM (10 years ago)

Author:

alain

Message:

Introducing two modifications regarding the locks protecting
exclusive access to BDV and TTY peripherals channels:

• use the giet_lock_t type to have only one lock per cache line.
• store these locks in the seg_kernel_data or in seg_kernel_uncdata, depending on the GIET_NO HARD_CC configuration parameter, to have cacheable locks when it is possible.

File:

• soft/giet_vm/giet_drivers/bdv_driver.c (modified) (2 diffs)

soft/giet_vm/giet_drivers/bdv_driver.c

@@ -63 +63 @@
 #include <ctx_handler.h>
 
+#if !defined(GIET_NO_HARD_CC)
+# error: You must define GIET_NO_HARD_CC in the giet_config.h file
+#endif
+
 ///////////////////////////////////////////////////////////////////////////////
 // BDV global variables
@@ -68 +72 @@
 
 #define in_unckdata __attribute__((section (".unckdata")))
-
-in_unckdata unsigned int          _bdv_lock = 0;
-in_unckdata volatile unsigned int _bdv_status = 0;
+#define in_kdata __attribute__((section (".kdata")))
+
+#if GIET_NO_HARD_CC
+in_unckdata giet_lock_t           _bdv_lock __attribute__((aligned(64)));
+in_unckdata volatile unsigned int _bdv_status;
 in_unckdata volatile unsigned int _bdv_gtid;
+#else
+in_kdata giet_lock_t           _bdv_lock __attribute__((aligned(64)));
+in_kdata volatile unsigned int _bdv_status;
+in_kdata volatile unsigned int _bdv_gtid;
+#endif
 
 ///////////////////////////////////////////////////////////////////////////////