Changeset 16 for trunk/kernel_config.h

Timestamp:

May 10, 2017, 5:04:01 PM (7 years ago)

Author:

alain

Message:

mprove the HAL for interrupt, exception, syscall handling.

File:

• trunk/kernel_config.h (moved) (moved from trunk/almos_config.h) (8 diffs)

trunk/kernel_config.h

@@ -45 +45 @@
 #define CONFIG_KCM_DEBUG              0
 #define CONFIG_KHM_DEBUG              0
-#define CONFIG_KINIT_DEBUG            0
+#define CONFIG_KINIT_DEBUG            1
 #define CONFIG_KMEM_DEBUG             0
 #define CONFIG_MMC_DEBUG              0
@@ -54 +54 @@
 #define CONFIG_PROCESS_DEBUG          0
 #define CONFIG_RPC_DEBUG              0
-#define CONFIG_SCHED_DEBUG            0
-#define CONFIG_THREAD_DEBUG           0
+#define CONFIG_SCHED_DEBUG            1
+#define CONFIG_THREAD_DEBUG           1
 #define CONFIG_TXT_DEBUG              0
 #define CONFIG_VFS_DEBUG              0
@@ -77 +77 @@
 #define CONFIG_CLUSTER_SPAN                 32         // ln(phys. address space per cluster)
 #define CONFIG_CACHE_LINE_SIZE              64         // number of bytes in cache line
+
+#define CONFIG_CACHE_LINE_ALIGNED           __attribute__((aligned(CONFIG_CACHE_LINE_SIZE)))
 
 #define CONFIG_MAX_IOC_CHANNELS             1          // max number of IOC device channels
@@ -137 +139 @@
 ////////////////////////////////////////////////////////////////////////////////////////////
 
-#define CONFIG_RWLOCK_DELAY                 50     // number of iterations => 200 cycles
+#define CONFIG_RWLOCK_DELAY                 50       // iterations number ( ~ 200 cycles )
 
 ////////////////////////////////////////////////////////////////////////////////////////////
@@ -144 +146 @@
 
 #define CONFIG_DQDT_LEVELS_NR               5
-#define CONFIG_DQDT_PERIOD                  1      // number of ticks between updates
+#define CONFIG_DQDT_PERIOD                  1        // number of ticks between updates
 
 ////////////////////////////////////////////////////////////////////////////////////////////
@@ -157 +159 @@
 ////////////////////////////////////////////////////////////////////////////////////////////
 
-#define CONFIG_SCHED_TICK_PERIOD            50000 // number of cycles
-#define CONFIG_SCHED_MAX_THREADS_NR         32    // max number of threads per core
+#define CONFIG_SCHED_TICK_PERIOD            500000  // number of cycles
+#define CONFIG_SCHED_MAX_THREADS_NR         32      // max number of threads per core
 
 ////////////////////////////////////////////////////////////////////////////////////////////
@@ -164 +166 @@
 ////////////////////////////////////////////////////////////////////////////////////////////
 
-#define CONFIG_THREAD_MAX_PER_CLUSTER       16     // max number of user threads per cluster
-#define CONFIG_THREAD_PAGE_ORDER            1      // ln( number of pages for thread_t )
+#define CONFIG_THREAD_MAX_PER_CLUSTER       16      // max user threads per cluster
+#define CONFIG_THREAD_DESC_SIZE             0x2000  // thread desc size (with kstack)
+#define CONFIG_THREAD_DESC_ORDER            1       // ln( number of 4K pages )
 
 ////////////////////////////////////////////////////////////////////////////////////////////
@@ -230 +233 @@
 
 #define CONFIG_KCM_BLOCKS_MAX         CONFIG_PPM_PAGE_SIZE / CONFIG_CACHE_LINE_SIZE
+
+#define CONFIG_PPM_PAGE_ALIGNED       __attribute__((aligned(CONFIG_PPM_PAGE_SIZE)))
 
 ////////////////////////////////////////////////////////////////////////////////////////////