source: trunk/kernel/kernel_config.h @ 582

Last change on this file since 582 was 582, checked in by alain, 5 years ago

New DQDT implementation supporting missing clusters
thanks to the cluster_info[x][y] array.

File size: 19.5 KB
RevLine 
[439]1/*
2 * kernel_config.h - global kernel configuration arguments
3 *
4 * Authors  Ghassan Almaless (2008,2009,2010,2011,2012)
5 *          Mohamed Lamine Karaoui (2015)
6 *          Alain Greiner (2016,2017,2018)
7 *
8 * Copyright (c)  UPMC Sorbonne Universites
9 *
10 * This file is part of ALMOS-MKH.
11 *
12 * ALMOS-MKH is free software; you can redistribute it and/or modify it
13 * under the terms of the GNU General Public License as published by
14 * the Free Software Foundation; version 2.0 of the License.
15 *
16 * ALMOS-MKH is distributed in the hope that it will be useful, but
17 * WITHOUT ANY WARRANTY; without even the implied warranty of
18 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
19 * General Public License for more details.
20 *
21 * You should have received a copy of the GNU General Public License
22 * along with ALMOS-MKH; if not, write to the Free Software Foundation,
23 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
24 */
25
[569]26#ifndef _KERNEL_CONFIG_H_
27#define _KERNEL_CONFIG_H_
[439]28
[581]29#define CONFIG_ALMOS_VERSION           "Version 1.1 / October 2018"
[439]30
31////////////////////////////////////////////////////////////////////////////////////////////
32//                              KERNEL DEBUG
33//  Each debug variable control one kernel function, or one small group of functions.
34//  - trace is generated only when cycle > debug_value.
35//  - detailed trace is enabled when (debug_value & Ox1) is non zero.
36////////////////////////////////////////////////////////////////////////////////////////////
37
[581]38#define DEBUG_BARRIER                  0
39
[579]40#define DEBUG_BUSYLOCK                 1
[581]41#define DEBUG_BUSYLOCK_THREAD_XP       0x11000CC000ULL  // selected thread extended pointer (ULL)
[569]42                 
[440]43#define DEBUG_CHDEV_CMD_RX             0
44#define DEBUG_CHDEV_CMD_TX             0
45#define DEBUG_CHDEV_SERVER_RX          0
46#define DEBUG_CHDEV_SERVER_TX          0
[439]47
[440]48#define DEBUG_CLUSTER_INIT             0
49#define DEBUG_CLUSTER_PID_ALLOC        0
50#define DEBUG_CLUSTER_PID_RELEASE      0
51#define DEBUG_CLUSTER_PROCESS_COPIES   0
[439]52
[440]53#define DEBUG_DEV_TXT_RX               0
54#define DEBUG_DEV_TXT_TX               0
55#define DEBUG_DEV_IOC_RX               0
56#define DEBUG_DEV_IOC_TX               0
57#define DEBUG_DEV_NIC_RX               0
58#define DEBUG_DEV_NIC_RX               0
59#define DEBUG_DEV_FBF_RX               0
60#define DEBUG_DEV_FBF_TX               0
61#define DEBUG_DEV_DMA                  0
62#define DEBUG_DEV_MMC                  0
63#define DEBUG_DEV_PIC                  0
[439]64
[440]65#define DEBUG_DEVFS_INIT               0
66#define DEBUG_DEVFS_MOVE               0
[439]67
[582]68#define DEBUG_DQDT_INIT                1
69
[440]70#define DEBUG_FATFS_INIT               0
71#define DEBUG_FATFS_MOVE               0
72#define DEBUG_FATFS_LOAD               0
[510]73#define DEBUG_FATFS_GET_CLUSTER        0
[439]74
[443]75#define DEBUG_HAL_GPT_ACCESS           0
76#define DEBUG_HAL_GPT_CREATE           0
77#define DEBUG_HAL_GPT_DESTROY          0
[439]78
[440]79#define DEBUG_HAL_KENTRY               0
80#define DEBUG_HAL_EXCEPTIONS           0
81#define DEBUG_HAL_IRQS                 0       
82#define DEBUG_HAL_TXT_RX               0
83#define DEBUG_HAL_TXT_TX               0
84#define DEBUG_HAL_IOC_RX               0
85#define DEBUG_HAL_IOC_TX               0
[457]86#define DEBUG_HAL_GPT                  0
[439]87
[440]88#define DEBUG_KCM                      0
89#define DEBUG_KMEM                     0
[439]90
[440]91#define DEBUG_KERNEL_INIT              0
[439]92
[440]93#define DEBUG_MAPPER_GET_PAGE          0
94#define DEBUG_MAPPER_MOVE_USER         0
95#define DEBUG_MAPPER_MOVE_KERNEL       0
[439]96
[569]97#define DEBUG_MUTEX                    0
98
[440]99#define DEBUG_PPM_ALLOC_PAGES          0
100#define DEBUG_PPM_FREE_PAGES           0
[439]101
[440]102#define DEBUG_PROCESS_COPY_INIT        0
103#define DEBUG_PROCESS_DESTROY          0
104#define DEBUG_PROCESS_GET_LOCAL_COPY   0
105#define DEBUG_PROCESS_INIT_CREATE      0
[446]106#define DEBUG_PROCESS_MAKE_EXEC        0
[440]107#define DEBUG_PROCESS_MAKE_FORK        0
108#define DEBUG_PROCESS_REFERENCE_INIT   0
109#define DEBUG_PROCESS_SIGACTION        0
[450]110#define DEBUG_PROCESS_TXT              0
[440]111#define DEBUG_PROCESS_ZERO_CREATE      0
[439]112
[569]113#define DEBUG_QUEUELOCK                0
114
[440]115#define DEBUG_RPC_CLIENT_GENERIC       0
116#define DEBUG_RPC_SERVER_GENERIC       0
[439]117
[569]118#define DEBUG_RPC_KCM_ALLOC            0
119#define DEBUG_RPC_KCM_FREE             0
[440]120#define DEBUG_RPC_PMEM_GET_PAGES       0
121#define DEBUG_RPC_PMEM_RELEASE_PAGES   0
122#define DEBUG_RPC_PROCESS_MAKE_FORK    0
123#define DEBUG_RPC_PROCESS_SIGACTION    0
[569]124#define DEBUG_RPC_THREAD_USER_CREATE   0
125#define DEBUG_RPC_THREAD_KERNEL_CREATE 0
[459]126#define DEBUG_RPC_VFS_INODE_CREATE     0
127#define DEBUG_RPC_VFS_INODE_DESTROY    0
[440]128#define DEBUG_RPC_VFS_DENTRY_CREATE    0
129#define DEBUG_RPC_VFS_DENTRY_DESTROY   0
130#define DEBUG_RPC_VFS_FILE_CREATE      0
131#define DEBUG_RPC_VFS_FILE_DESTROY     0
132#define DEBUG_RPC_VMM_GET_PTE          0
133#define DEBUG_RPC_VMM_GET_VSEG         0
[439]134
[569]135#define DEBUG_RWLOCK                   0
136
137#define DEBUG_SCHED_HANDLE_SIGNALS     0
[581]138#define DEBUG_SCHED_YIELD              2    // must be activated by the trace() syscall
[569]139#define DEBUG_SCHED_RPC_CHECK          0
[439]140
[569]141#define DEBUG_SEM                      0
142
[440]143#define DEBUG_SYSCALLS_ERROR           2
[439]144
[581]145#define DEBUG_SYS_BARRIER              0
[469]146#define DEBUG_SYS_CLOSE                0
[569]147#define DEBUG_SYS_CONDVAR              0
[440]148#define DEBUG_SYS_DISPLAY              0
[457]149#define DEBUG_SYS_EXEC                 0
[469]150#define DEBUG_SYS_EXIT                 0
[440]151#define DEBUG_SYS_FG                   0
[450]152#define DEBUG_SYS_FORK                 0
[440]153#define DEBUG_SYS_GET_CONFIG           0
[569]154#define DEBUG_SYS_GETPID               0
[440]155#define DEBUG_SYS_ISATTY               0
[457]156#define DEBUG_SYS_IS_FG                0
[447]157#define DEBUG_SYS_KILL                 0
[469]158#define DEBUG_SYS_OPEN                 0
[440]159#define DEBUG_SYS_MMAP                 0
[510]160#define DEBUG_SYS_MUNMAP               0
[569]161#define DEBUG_SYS_MUTEX                0
[450]162#define DEBUG_SYS_READ                 0
[569]163#define DEBUG_SYS_SEM                  0
[440]164#define DEBUG_SYS_THREAD_CANCEL        0
165#define DEBUG_SYS_THREAD_CREATE        0
[443]166#define DEBUG_SYS_THREAD_EXIT          0
[440]167#define DEBUG_SYS_THREAD_JOIN          0
168#define DEBUG_SYS_THREAD_SLEEP         0
169#define DEBUG_SYS_THREAD_WAKEUP        0
[446]170#define DEBUG_SYS_THREAD_YIELD         0
[443]171#define DEBUG_SYS_TRACE                0
[440]172#define DEBUG_SYS_WAIT                 0
[450]173#define DEBUG_SYS_WRITE                0
[439]174
[440]175#define DEBUG_SPINLOCKS                0
176#define DEBUG_REMOTE_SPINLOCKS         0
177#define DEBUG_RWLOCKS                  0
178#define DEBUG_REMOTE_RWLOCKS           0
[439]179
[569]180#define DEBUG_THREAD_DELETE            0
[440]181#define DEBUG_THREAD_DESTROY           0
[581]182#define DEBUG_THREAD_GET_XPTR          0
[440]183#define DEBUG_THREAD_IDLE              0
[443]184#define DEBUG_THREAD_INIT              0
[440]185#define DEBUG_THREAD_KERNEL_CREATE     0
[446]186#define DEBUG_THREAD_USER_CREATE       0
[440]187#define DEBUG_THREAD_USER_FORK         0
[457]188#define DEBUG_THREAD_USER_EXEC         0
[447]189#define DEBUG_THREAD_BLOCK             0
[439]190
[569]191#define DEBUG_VFS_ADD_CHILD            0
[459]192#define DEBUG_VFS_CLOSE                0
[569]193#define DEBUG_VFS_DENTRY_CREATE        0
[440]194#define DEBUG_VFS_INODE_CREATE         0
195#define DEBUG_VFS_INODE_LOAD           0
196#define DEBUG_VFS_LOOKUP               0
197#define DEBUG_VFS_MAPPER_MOVE          0
198#define DEBUG_VFS_MAPPER_LOAD          0
[569]199#define DEBUG_VFS_OPEN                 0
[439]200
[440]201#define DEBUG_VMM_CREATE_VSEG          0
202#define DEBUG_VMM_DESTROY              0
203#define DEBUG_VMM_FORK_COPY            0
204#define DEBUG_VMM_GET_ONE_PPN          0
205#define DEBUG_VMM_GET_PTE              0
206#define DEBUG_VMM_HANDLE_PAGE_FAULT    0
207#define DEBUG_VMM_INIT                 0
208#define DEBUG_VMM_PAGE_ALLOCATE        0
209#define DEBUG_VMM_SET_COW              0
210#define DEBUG_VMM_UNMAP_VSEG           0
211#define DEBUG_VMM_UPDATE_PTE           0
212
[569]213#define DEBUG_XHTAB                    0
214
215
[439]216////////////////////////////////////////////////////////////////////////////////////////////
[569]217//                KERNEL LOCKS TYPES MNEMONICS (for debug)
218// It must be kept consistent with the lock_name[] array defined in kernel_init.c file.
219////////////////////////////////////////////////////////////////////////////////////////////
220
221#define LOCK_CLUSTER_KCM       1   // local  (B)  protect dynamic KCM creation in cluster
222#define LOCK_PPM_FREE          2   // local  (B)  protect PPM allocator free_pages lists
223#define LOCK_SCHED_STATE       3   // local  (B)  protect scheduler state for given core
224#define LOCK_VMM_STACK         4   // local  (B)  protect VMM stack vseg allocator   
225#define LOCK_VMM_MMAP          5   // local  (B)  protect VMM mmap vseg allocator
226#define LOCK_VFS_CTX           6   // local  (B)  protect vfs context state
227#define LOCK_KCM_STATE         7   // local  (B)  protect KCM allocator state
228#define LOCK_KHM_STATE         8   // local  (B)  protect KHM allocator state
229#define LOCK_HTAB_STATE        9   // local  (B)  protect a local htab state
230
231#define LOCK_THREAD_JOIN      10   // remote (B)  protect join/exit between two threads
232#define LOCK_VFS_MAIN         11   // remote (B)  protect vfs traversal (one per inode)
233#define LOCK_CHDEV_QUEUE      12   // remote (B)  protect chdev threads waiting queue
234#define LOCK_CHDEV_TXT0       13   // remote (B)  protect access to kernel terminal TXT0
235#define LOCK_CHDEV_TXTLIST    14   // remote (B)  protect xlist of processes using same TXT
236#define LOCK_PAGE_STATE       15   // remote (B)  protect physical page descriptor state
237#define LOCK_MUTEX_STATE      16   // remote (B)  protect user mutex state
238#define LOCK_CONDVAR_STATE    17   // remote (B)  protect user condvar state
239#define LOCK_SEM_STATE        18   // remote (B)  protect user semaphore state
240#define LOCK_XHTAB_STATE      19   // remote (B)  protect a distributed xhatb state
241
242#define BUSYLOCK_TYPE_MAX     20
243
244#define LOCK_CLUSTER_PREFTBL  21   // local  (Q)  protect array of ref. processes in cluster
245#define LOCK_PPM_DIRTY        22   // local  (Q)  protect PPM dirty_pages list
246
247#define LOCK_CLUSTER_LOCALS   23   // remote (Q)  protect xlist of local processes in cluster
248#define LOCK_CLUSTER_COPIES   24   // remote (Q)  protect xlist of process copies in cluster
249#define LOCK_PROCESS_CHILDREN 25   // remote (Q)  protect xlist of chidren process in process
250#define LOCK_PROCESS_USERSYNC 26   // remote (Q)  protect all lists of user synchros in  process
251#define LOCK_PROCESS_FDARRAY  27   // remote (Q)  protect array of open files in owner process
252
253#define LOCK_MAPPER_STATE     28   // local  (RW) protect mapper state
254#define LOCK_PROCESS_THTBL    29   // local  (RW) protect local array of threads in a process
255
256#define LOCK_PROCESS_CWD      30   // remote (RW) protect current working directory in process
257#define LOCK_VFS_INODE        31   // remote (RW) protect inode state and associated mapper
258#define LOCK_VFS_FILE         32   // remote (RW) protect file descriptor state
259#define LOCK_VMM_VSL          33   // remote (RW) protect VSL (local list of vsegs)
260
261////////////////////////////////////////////////////////////////////////////////////////////
[439]262//                          HARDWARE CONFIGURATION     
263////////////////////////////////////////////////////////////////////////////////////////////
264
265#define CONFIG_KERNEL_IDENTITY_MAP          true       // True for 32 bits cores             
[569]266#define CONFIG_MAX_CLUSTERS_X               16         // max number of clusters in row
267#define CONFIG_MAX_CLUSTERS_Y               16         // max number of clusters in column
268#define CONFIG_MAX_CLUSTERS                 (CONFIG_MAX_CLUSTERS_X * CONFIG_MAX_CLUSTERS_Y)
[439]269#define CONFIG_MAX_LOCAL_CORES              4          // max number of cores per cluster
270#define CONFIG_MAX_INT_DEV                  4          // max number of internal peripherals
271#define CONFIG_MAX_EXT_DEV                  8          // max number of external peripherals
[569]272#define CONFIG_MAX_INTERNAL_IRQS            32         // max number of internal IRQs
273#define CONFIG_MAX_EXTERNAL_IRQS            32         // max number of external IRQs
[439]274#define CONFIG_IRQS_PER_CORE                4          // number of input IRQs per core
275#define CONFIG_CLUSTER_SPAN                 32         // ln(phys. address space per cluster)
276#define CONFIG_CACHE_LINE_SIZE              64         // number of bytes in cache line
277
278#define CONFIG_CACHE_LINE_ALIGNED           __attribute__((aligned(CONFIG_CACHE_LINE_SIZE)))
279
280#define CONFIG_MAX_IOC_CHANNELS             1          // max number of IOC device channels
281#define CONFIG_MAX_FBF_CHANNELS             1          // max number of FBF device channels
282#define CONFIG_MAX_TXT_CHANNELS             8          // max number of TXT device channels
283#define CONFIG_MAX_DMA_CHANNELS             4          // max number of DMA device channels
284#define CONFIG_MAX_NIC_CHANNELS             4          // max number of NIC device channels
285
286#define CONFIG_TXT_ECHO_MODE                1          // echo mode for TXT peripheral
[443]287#define CONFIG_TXT_KBUF_SIZE                512        // kernel buffer for TXT write
[439]288
289#define CONFIG_FBF_WIDTH                    128
290#define CONFIG_FBF_HEIGHT                   128
291
292#define CONFIG_CPU_CTX_SIZE                 256        // up to 64 uint32_t registers
293#define CONFIG_FPU_CTX_SIZE                 256        // up to 32 uint64_t registers
294#define CONFIG_NIC_CHBUF_DEPTH              1          // number of containers in NIC chbuf
295
296////////////////////////////////////////////////////////////////////////////////////////////
297//                            PROCESS MANAGEMENT       
298////////////////////////////////////////////////////////////////////////////////////////////
299
300#define CONFIG_MAX_PROCESS_PER_CLUSTER      128        // max number of owned process
301#define CONFIG_PROCESS_FILE_MAX_NR          8          // max number of open files
302#define CONFIG_PROCESS_MAX_CHILDREN         1024       // max number of children process
303#define CONFIG_PROCESS_HEAP_MIN_SIZE        0x00010000 // user heap min size (bytes)
304#define CONFIG_PROCESS_HEAP_MAX_SIZE        0x30000000 // user heap max size (bytes)
305#define CONFIG_PROCESS_INIT_PATH            "/bin/user/init.elf"
306
307////////////////////////////////////////////////////////////////////////////////////////////
308//                            VIRTUAL FILE SYSTEM       
309////////////////////////////////////////////////////////////////////////////////////////////
310
311#define CONFIG_VFS_MAX_INODES               128        // max number of inodes per cluster
312#define CONFIG_VFS_MAX_NAME_LENGTH          32         // dentry name max length (bytes)
313#define CONFIG_VFS_MAX_PATH_LENGTH          256        // pathname max length (bytes)
314
315#define CONFIG_VFS_ROOT_IS_FATFS            1          // root FS is FATFS if non zero
316#define CONFIG_VFS_ROOT_IS_EX2FS            0          // root FS is EX2FS if non zero
317
318////////////////////////////////////////////////////////////////////////////////////////////
319//                                  DQDT       
320////////////////////////////////////////////////////////////////////////////////////////////
321
322#define CONFIG_DQDT_LEVELS_NR               5
323#define CONFIG_DQDT_TICKS_PER_QUANTUM       1        // number of ticks between updates
324
325////////////////////////////////////////////////////////////////////////////////////////////
326//                              RANDOM NUMBERS
327////////////////////////////////////////////////////////////////////////////////////////////
328
329#define CONFIG_RDNG_PARAM_A                 65519
330#define CONFIG_RDNG_PARAM_C                 64037
331
332////////////////////////////////////////////////////////////////////////////////////////////
333//                                SCHEDULING
334////////////////////////////////////////////////////////////////////////////////////////////
335
336#define CONFIG_SCHED_TICK_MS_PERIOD         10000   // number of milliseconds per period
337#define CONFIG_SCHED_TICKS_PER_QUANTUM      1       // number of ticks between scheduling
338#define CONFIG_SCHED_MAX_THREADS_NR         32      // max number of threads per core
339
340////////////////////////////////////////////////////////////////////////////////////////////
341//                                 THREADS
342////////////////////////////////////////////////////////////////////////////////////////////
343
[580]344#define CONFIG_THREADS_MAX_PER_CLUSTER      16      // max threads per cluster per process
[439]345#define CONFIG_THREAD_DESC_SIZE             0x4000  // thread desc size (with kernel stack)
346#define CONFIG_THREAD_DESC_ORDER            2       // ln( number of 4K pages )
[443]347#define CONFIG_THREAD_IDLE_MODE_SLEEP       false   // idle thread enter sleep mode
[439]348
349////////////////////////////////////////////////////////////////////////////////////////////
350//                             REMOTE PROCEDURE CALL
351////////////////////////////////////////////////////////////////////////////////////////////
352
353#define CONFIG_REMOTE_FIFO_SLOTS                    16
354#define CONFIG_REMOTE_FIFO_MAX_ITERATIONS   1024
[440]355#define CONFIG_RPC_THREADS_MAX              4      // max number of RPC threads per core
[439]356
357////////////////////////////////////////////////////////////////////////////////////////////
358//                                  MAPPER
359////////////////////////////////////////////////////////////////////////////////////////////
360
361#define CONFIG_MAPPER_MAX_FRAGMENTS        10      // max number of fragments moved
362#define CONFIG_MAPPER_MIN                  CONFIG_VFS_INODE_MIN
363#define CONFIG_MAPPER_MAX                  CONFIG_VFS_INODE_MAX
364
365////////////////////////////////////////////////////////////////////////////////////////////
366//                USER SPACE SEGMENTATION / all values are number of pages
367////////////////////////////////////////////////////////////////////////////////////////////
368
369#define CONFIG_VMM_VSPACE_SIZE        0x100000     // virtual space          : 4   Gbytes
370
[579]371#define CONFIG_VMM_KENTRY_BASE        0x000004     // UTILS zone base        : 16  Kbytes
[439]372#define CONFIG_VMM_ELF_BASE           0x000400     // ELF zone base          : 4   Mbytes
373#define CONFIG_VMM_HEAP_BASE          0x002000     // HEAP zone base         : 32  Mbytes
[579]374#define CONFIG_VMM_STACK_BASE         0x0C0000     // STACK zone base        : 3   Gbytes
[439]375
376#define CONFIG_VMM_KENTRY_SIZE        0x000004     // kentry vseg size       : 16  Kbytes
377#define CONFIG_VMM_ARGS_SIZE          0x000004     // args vseg size         : 16  Kbytes
378#define CONFIG_VMM_ENVS_SIZE          0x000008     // envs vseg size         : 32  Kbytes
379#define CONFIG_VMM_STACK_SIZE         0x000100     // single stack vseg size : 1   Mbytes
380
381#define CONFIG_VMM_GRDXT_W1           7            // number of bits for RADIX_TREE_IX1
382#define CONFIG_VMM_GRDXT_W2           7            // number of bits for RADIX_TREE_IX2
383#define CONFIG_VMM_GRDXT_W3           6            // number of bits for RADIX_TREE_IX3
384
385////////////////////////////////////////////////////////////////////////////////////////////
386//     PHYSICAL MEMORY MANAGEMENT (GENERIC)       
387////////////////////////////////////////////////////////////////////////////////////////////
388
389#define CONFIG_PPM_PAGE_SIZE          4096         // physical page size (bytes)
390#define CONFIG_PPM_PAGE_SHIFT         12           // physical page shift (bits)
391#define CONFIG_PPM_PAGE_MASK          0x00000FFF   // physical page mask     
392#define CONFIG_PPM_MAX_ORDER          16           // ln(total number of pages per cluster)
393#define CONFIG_PPM_HEAP_ORDER         10           // ln(number of heap pages per cluster)
394#define CONFIG_PPM_MAX_RSVD           32           // max reserved zones on the machine
395
396#define CONFIG_KCM_SLOT_SIZE          64           // smallest allocated block (bytes)
397
398#define CONFIG_PPM_PAGE_ALIGNED       __attribute__((aligned(CONFIG_PPM_PAGE_SIZE)))
399
400
401////////////////////////////////////////////////////////////////////////////////////////////
[569]402//                 INSTRUMENTATION
[439]403////////////////////////////////////////////////////////////////////////////////////////////
404
[569]405#define CONFIG_INTRUMENTATION_SYSCALLS  0
[439]406
407
408
409
410
411#endif  /* _KERNEL_CONFIG_H_ */
Note: See TracBrowser for help on using the repository browser.