source: trunk/kernel_config.h @ 436

Last change on this file since 436 was 436, checked in by alain, 6 years ago

1) improve the threads and process destruction mechanism.
2) introduce FIFOs in the soclib_tty driver.
File size: 16.8 KB
RevLine 
[1]1/*
2 * kernel_config.h - global kernel configuration arguments
3 *
4 * Authors  Ghassan Almaless (2008,2009,2010,2011,2012)
5 *          Mohamed Lamine Karaoui (2015)
[436]6 *          Alain Greiner (2016,2017,2018)
[1]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
26#ifndef _ALMOS_CONFIG_H_
27#define _ALMOS_CONFIG_H_
28
[436]29#define CONFIG_ALMOS_VERSION                "Version 1.0 / March 2018"
[1]30
31////////////////////////////////////////////////////////////////////////////////////////////
[409]32//                              KERNEL DEBUG
[434]33//  Each debug variable control one kernel function, or one small group of functions.
[406]34//  - trace is generated only when cycle > debug_value.
[407]35//  - detailed trace is enabled when (debug_value & Ox1) is non zero.
[12]36////////////////////////////////////////////////////////////////////////////////////////////
37
38
[434]39
[435]40#define CONFIG_DEBUG_CHDEV_REGISTER_COMMAND   0
41#define CONFIG_DEBUG_CHDEV_SEQUENCIAL_SERVER  0
[434]42
43#define CONFIG_DEBUG_CLUSTER_INIT             0
[436]44#define CONFIG_DEBUG_CLUSTER_PROCESS_COPIES   0
[434]45
[436]46#define CONFIG_DEBUG_DEV_TXT_RX               0
47#define CONFIG_DEBUG_DEV_TXT_TX               0
[435]48#define CONFIG_DEBUG_DEV_IOC                  0
[436]49#define CONFIG_DEBUG_DEV_NIC_RX               0
50#define CONFIG_DEBUG_DEV_NIC_RX               0
[435]51#define CONFIG_DEBUG_DEV_FBF                  0
52#define CONFIG_DEBUG_DEV_MMC                  0
[434]53
54#define CONFIG_DEBUG_DEVFS_INIT               0
[435]55#define CONFIG_DEBUG_DEVFS_MOVE               0
[434]56
[435]57#define CONFIG_DEBUG_FATFS_INIT               0
58#define CONFIG_DEBUG_FATFS_MOVE               0
59#define CONFIG_DEBUG_FATFS_LOAD               0
60
[434]61#define CONFIG_DEBUG_GPT_ACCESS               0
62
63#define CONFIG_DEBUG_HAL_KENTRY               0
[436]64#define CONFIG_DEBUG_HAL_TXT_RX               0
65#define CONFIG_DEBUG_HAL_TXT_TX               0
[434]66#define CONFIG_DEBUG_HAL_EXCEPTIONS           0
[435]67#define CONFIG_DEBUG_HAL_IRQS                 0       
[434]68
[435]69#define CONFIG_DEBUG_KCM                      0
70#define CONFIG_DEBUG_KMEM                     0
[434]71
72#define CONFIG_DEBUG_KERNEL_INIT              0
73#define CONFIG_DEBUG_KMEM_ALLOC               0
74
[435]75#define CONFIG_DEBUG_MAPPER_GET_PAGE          0
76#define CONFIG_DEBUG_MAPPER_MOVE_USER         0
77#define CONFIG_DEBUG_MAPPER_MOVE_KERNEL       0
78
[434]79#define CONFIG_DEBUG_PPM_ALLOC_PAGES          0
80#define CONFIG_DEBUG_PPM_FREE_PAGES           0
81
82#define CONFIG_DEBUG_PROCESS_COPY_INIT        0
83#define CONFIG_DEBUG_PROCESS_DESTROY          0
84#define CONFIG_DEBUG_PROCESS_INIT_CREATE      0
85#define CONFIG_DEBUG_PROCESS_MAKE_EXEC        0
86#define CONFIG_DEBUG_PROCESS_MAKE_FORK        0
87#define CONFIG_DEBUG_PROCESS_REFERENCE_INIT   0
88#define CONFIG_DEBUG_PROCESS_SIGACTION        0
[436]89#define CONFIG_DEBUG_PROCESS_TXT_ATTACH       0
[434]90#define CONFIG_DEBUG_PROCESS_ZERO_CREATE      0
91
92#define CONFIG_DEBUG_RPC_MARSHALING           0
[436]93#define CONFIG_DEBUG_RPC_SEND                 0
94#define CONFIG_DEBUG_RPC_SERVER               0
[434]95
[436]96#define CONFIG_DEBUG_SCHED_HANDLE_SIGNALS     0
[435]97#define CONFIG_DEBUG_SCHED_YIELD              0
[434]98
[435]99#define CONFIG_DEBUG_SYSCALLS_ERROR           2
[434]100
101#define CONFIG_DEBUG_SYS_DISPLAY              0
[436]102#define CONFIG_DEBUG_SYS_EXEC                 0
[435]103#define CONFIG_DEBUG_SYS_EXIT                 0
[436]104#define CONFIG_DEBUG_SYS_FG                   0
105#define CONFIG_DEBUG_SYS_FORK                 0
106#define CONFIG_DEBUG_SYS_GET_CONFIG           0
107#define CONFIG_DEBUG_SYS_KILL                 0
[435]108#define CONFIG_DEBUG_SYS_MMAP                 0
109#define CONFIG_DEBUG_SYS_READ                 0
[436]110#define CONFIG_DEBUG_SYS_THREAD_CANCEL        0
111#define CONFIG_DEBUG_SYS_THREAD_EXIT          0
112#define CONFIG_DEBUG_SYS_THREAD_JOIN          0
113#define CONFIG_DEBUG_SYS_THREAD_SLEEP         0
114#define CONFIG_DEBUG_SYS_THREAD_WAKEUP        0
115#define CONFIG_DEBUG_SYS_WAIT                 0
[435]116#define CONFIG_DEBUG_SYS_WRITE                0
[434]117
[436]118#define CONFIG_DEBUG_SPINLOCKS                0
119#define CONFIG_DEBUG_REMOTE_SPINLOCKS         0
120#define CONFIG_DEBUG_RWLOCKS                  0
121#define CONFIG_DEBUG_REMOTE_RWLOCKS           0
122
[434]123#define CONFIG_DEBUG_THREAD_DESTROY           0
124#define CONFIG_DEBUG_THREAD_IDLE              0
125#define CONFIG_DEBUG_THREAD_KERNEL_CREATE     0
126#define CONFIG_DEBUG_THREAD_KILL              0
127#define CONFIG_DEBUG_THREAD_USER_CREATE       0
128#define CONFIG_DEBUG_THREAD_USER_FORK         0
129#define CONFIG_DEBUG_THREAD_BLOCK             0
130
131#define CONFIG_DEBUG_VFS_INODE_CREATE         0
132#define CONFIG_DEBUG_VFS_INODE_LOAD           0
133#define CONFIG_DEBUG_VFS_DENTRY_CREATE        0
134#define CONFIG_DEBUG_VFS_OPEN                 0
135#define CONFIG_DEBUG_VFS_LOOKUP               0
136#define CONFIG_DEBUG_VFS_ADD_CHILD            0
137#define CONFIG_DEBUG_VFS_MAPPER_MOVE          0
138#define CONFIG_DEBUG_VFS_MAPPER_LOAD          0
139
140#define CONFIG_DEBUG_VMM_CREATE_VSEG          0
141#define CONFIG_DEBUG_VMM_DESTROY              0
142#define CONFIG_DEBUG_VMM_FORK_COPY            0
143#define CONFIG_DEBUG_VMM_GET_ONE_PPN          0
144#define CONFIG_DEBUG_VMM_GET_PTE              0
145#define CONFIG_DEBUG_VMM_INIT                 0
146#define CONFIG_DEBUG_VMM_PAGE_ALLOCATE        0
147#define CONFIG_DEBUG_VMM_SET_COW              0
148#define CONFIG_DEBUG_VMM_UNMAP_VSEG           0
149#define CONFIG_DEBUG_VMM_UPDATE_PTE           0
150
[12]151////////////////////////////////////////////////////////////////////////////////////////////
[409]152//                          HARDWARE CONFIGURATION     
[1]153////////////////////////////////////////////////////////////////////////////////////////////
154
[23]155#define CONFIG_KERNEL_IDENTITY_MAP          true       // True for 32 bits cores             
[1]156#define CONFIG_MAX_CLUSTER                  256        // max number of clusters
[12]157#define CONFIG_MAX_LOCAL_CORES              4          // max number of cores per cluster
158#define CONFIG_MAX_INT_DEV                  4          // max number of internal peripherals
159#define CONFIG_MAX_EXT_DEV                  8          // max number of external peripherals
[188]160#define CONFIG_MAX_INTERNAL_IRQS            32         // max number of HWI per ICU
161#define CONFIG_MAX_EXTERNAL_IRQS            32         // max number of PTI per ICU
[1]162#define CONFIG_IRQS_PER_CORE                4          // number of input IRQs per core
163#define CONFIG_CLUSTER_SPAN                 32         // ln(phys. address space per cluster)
164#define CONFIG_CACHE_LINE_SIZE              64         // number of bytes in cache line
165
[16]166#define CONFIG_CACHE_LINE_ALIGNED           __attribute__((aligned(CONFIG_CACHE_LINE_SIZE)))
167
[12]168#define CONFIG_MAX_IOC_CHANNELS             1          // max number of IOC device channels
169#define CONFIG_MAX_FBF_CHANNELS             1          // max number of FBF device channels
[407]170#define CONFIG_MAX_TXT_CHANNELS             8          // max number of TXT device channels
171#define CONFIG_MAX_DMA_CHANNELS             4          // max number of DMA device channels
172#define CONFIG_MAX_NIC_CHANNELS             4          // max number of NIC device channels
[12]173
[1]174#define CONFIG_MAX_CLUSTERS                 256        // max number of clusters
175
176#define CONFIG_TXT_ECHO_MODE                1          // echo mode for TXT peripheral
[407]177#define CONFIG_TXT_KBUF_SIZE                256        // kernel buffer for TXT write
[1]178
[188]179#define CONFIG_FBF_WIDTH                    128
180#define CONFIG_FBF_HEIGHT                   128
181
[296]182#define CONFIG_CPU_CTX_SIZE                 256        // up to 64 uint32_t registers
[188]183#define CONFIG_FPU_CTX_SIZE                 256        // up to 32 uint64_t registers
[1]184#define CONFIG_NIC_CHBUF_DEPTH              1          // number of containers in NIC chbuf
185
186////////////////////////////////////////////////////////////////////////////////////////////
[409]187//                            PROCESS MANAGEMENT       
[1]188////////////////////////////////////////////////////////////////////////////////////////////
189
190#define CONFIG_MAX_PROCESS_PER_CLUSTER      128        // max number of owned process
191#define CONFIG_PROCESS_FILE_MAX_NR          8          // max number of open files
[23]192#define CONFIG_PROCESS_MAX_CHILDREN         1024       // max number of children process
[1]193#define CONFIG_PROCESS_HEAP_MIN_SIZE        0x00010000 // user heap min size (bytes)
194#define CONFIG_PROCESS_HEAP_MAX_SIZE        0x30000000 // user heap max size (bytes)
[431]195#define CONFIG_PROCESS_INIT_PATH            "/bin/user/init.elf"
[1]196
197////////////////////////////////////////////////////////////////////////////////////////////
[409]198//                            VIRTUAL FILE SYSTEM       
[1]199////////////////////////////////////////////////////////////////////////////////////////////
200
201#define CONFIG_VFS_MAX_INODES               128        // max number of inodes per cluster
[23]202#define CONFIG_VFS_MAX_NAME_LENGTH          32         // dentry name max length (bytes)
203#define CONFIG_VFS_MAX_PATH_LENGTH          256        // pathname max length (bytes)
[1]204
[23]205#define CONFIG_VFS_ROOT_IS_FATFS            1          // root FS is FATFS if non zero
206#define CONFIG_VFS_ROOT_IS_EX2FS            0          // root FS is EX2FS if non zero
[1]207
208////////////////////////////////////////////////////////////////////////////////////////////
[409]209//                                 LOCKS         
[1]210////////////////////////////////////////////////////////////////////////////////////////////
211
[16]212#define CONFIG_RWLOCK_DELAY                 50       // iterations number ( ~ 200 cycles )
[1]213
214////////////////////////////////////////////////////////////////////////////////////////////
[409]215//                                  DQDT       
[1]216////////////////////////////////////////////////////////////////////////////////////////////
217
218#define CONFIG_DQDT_LEVELS_NR               5
[367]219#define CONFIG_DQDT_TICKS_PER_QUANTUM       1        // number of ticks between updates
[1]220
221////////////////////////////////////////////////////////////////////////////////////////////
[409]222//                              RANDOM NUMBERS
[1]223////////////////////////////////////////////////////////////////////////////////////////////
224
225#define CONFIG_RDNG_PARAM_A                 65519
226#define CONFIG_RDNG_PARAM_C                 64037
227
228////////////////////////////////////////////////////////////////////////////////////////////
[409]229//                                SCHEDULING
[1]230////////////////////////////////////////////////////////////////////////////////////////////
231
[434]232#define CONFIG_SCHED_TICK_MS_PERIOD         10000   // number of milliseconds per period
[407]233#define CONFIG_SCHED_TICKS_PER_QUANTUM      1       // number of ticks between scheduling
[16]234#define CONFIG_SCHED_MAX_THREADS_NR         32      // max number of threads per core
[1]235
236////////////////////////////////////////////////////////////////////////////////////////////
[409]237//                                 THREADS
[1]238////////////////////////////////////////////////////////////////////////////////////////////
239
[408]240#define CONFIG_THREAD_MAX_PER_CLUSTER       16      // max threads per cluster & process
[407]241#define CONFIG_THREAD_DESC_SIZE             0x4000  // thread desc size (with kernel stack)
[401]242#define CONFIG_THREAD_DESC_ORDER            2       // ln( number of 4K pages )
[407]243#define CONFIG_THREAD_IDLE_MODE_SLEEP       0       // idle thread enter sleep mode
[1]244
245////////////////////////////////////////////////////////////////////////////////////////////
[409]246//                             REMOTE PROCEDURE CALL
[1]247////////////////////////////////////////////////////////////////////////////////////////////
248
[68]249#define CONFIG_REMOTE_FIFO_SLOTS                    16
[1]250#define CONFIG_REMOTE_FIFO_MAX_ITERATIONS   1024
251
[12]252#define CONFIG_RPC_PENDING_MAX              8      // max requests handled by one server
253#define CONFIG_RPC_THREADS_MAX              8      // max number of RPC threads per core
[1]254
255////////////////////////////////////////////////////////////////////////////////////////////
[409]256//                                  MAPPER
[1]257////////////////////////////////////////////////////////////////////////////////////////////
258
[12]259#define CONFIG_MAPPER_MAX_FRAGMENTS        10      // max number of fragments moved
260#define CONFIG_MAPPER_MIN                  CONFIG_VFS_INODE_MIN
261#define CONFIG_MAPPER_MAX                  CONFIG_VFS_INODE_MAX
[1]262
263////////////////////////////////////////////////////////////////////////////////////////////
[409]264//                USER SPACE SEGMENTATION / all values are number of pages
[1]265////////////////////////////////////////////////////////////////////////////////////////////
266
[408]267#define CONFIG_VMM_VSPACE_SIZE        0x100000     // virtual space          : 4   Gbytes
[1]268
[408]269#define CONFIG_VMM_KENTRY_BASE        0x000004     // UTILS zone base        : 16  Kbytes
270#define CONFIG_VMM_ELF_BASE           0x000400     // ELF zone base          : 4   Mbytes
271#define CONFIG_VMM_HEAP_BASE          0x002000     // HEAP zone base         : 32  Mbytes
272#define CONFIG_VMM_STACK_BASE         0x0F0000     // STACK zone base        : 3.7 Gbytes
[1]273
[408]274#define CONFIG_VMM_KENTRY_SIZE        0x000004     // kentry vseg size       : 16  Kbytes
275#define CONFIG_VMM_ARGS_SIZE          0x000004     // args vseg size         : 16  Kbytes
276#define CONFIG_VMM_ENVS_SIZE          0x000008     // envs vseg size         : 32  Kbytes
277#define CONFIG_VMM_STACK_SIZE         0x000100     // single stack vseg size : 1   Mbytes
[1]278
279#define CONFIG_VMM_GRDXT_W1           7            // number of bits for RADIX_TREE_IX1
280#define CONFIG_VMM_GRDXT_W2           7            // number of bits for RADIX_TREE_IX2
281#define CONFIG_VMM_GRDXT_W3           6            // number of bits for RADIX_TREE_IX3
282
283////////////////////////////////////////////////////////////////////////////////////////////
[296]284//     PHYSICAL MEMORY MANAGEMENT (GENERIC)       
[1]285////////////////////////////////////////////////////////////////////////////////////////////
286
287#define CONFIG_PPM_PAGE_SIZE          4096         // physical page size (bytes)
288#define CONFIG_PPM_PAGE_SHIFT         12           // physical page shift (bits)
289#define CONFIG_PPM_PAGE_MASK          0x00000FFF   // physical page mask     
290#define CONFIG_PPM_MAX_ORDER          16           // ln(total number of pages per cluster)
291#define CONFIG_PPM_HEAP_ORDER         10           // ln(number of heap pages per cluster)
[287]292#define CONFIG_PPM_MAX_RSVD           32           // max reserved zones on the machine
[1]293
[50]294#define CONFIG_KCM_SLOT_SIZE          64           // smallest allocated block (bytes)
[12]295
[16]296#define CONFIG_PPM_PAGE_ALIGNED       __attribute__((aligned(CONFIG_PPM_PAGE_SIZE)))
297
[296]298
299
[1]300////////////////////////////////////////////////////////////////////////////////////////////
[50]301//    deprecated
[1]302////////////////////////////////////////////////////////////////////////////////////////////
303
304#define CONFIG_DMA_RQ_KCM_MIN         2
305#define CONFIG_DMA_RQ_KCM_MAX         4
306#define CONFIG_TASK_KCM_MIN           2
307#define CONFIG_TASK_KCM_MAX           3
308#define CONFIG_FDINFO_KCM_MIN         2
309#define CONFIG_FDINFO_KCM_MAX         2
310#define CONFIG_DEVFS_CTX_MIN          1
311#define CONFIG_DEVFS_CTX_MAX          1
312#define CONFIG_DEVFS_FILE_MIN         2
313#define CONFIG_DEVFS_FILE_MAX         3
314#define CONFIG_DEVFS_NODE_MIN         1
315#define CONFIG_DEVFS_NODE_MAX         2
316#define CONFIG_VFAT_CTX_MIN           1
317#define CONFIG_VFAT_CTX_MAX           1
318
319#define CONFIG_RAMFS_FILE_MIN         3
320#define CONFIG_RAMFS_FILE_MAX         3
321
322#define CONFIG_VFAT_FILE_MIN          3
323#define CONFIG_VFAT_FILE_MAX          3
324#define CONFIG_VFAT_NODE_MIN          2
325#define CONFIG_VFAT_NODE_MAX          2
326
327#define CONFIG_EXT2_CTX_MIN           1
328#define CONFIG_EXT2_CTX_MAX           1
329#define CONFIG_EXT2_FILE_MIN          3
330#define CONFIG_EXT2_FILE_MAX          3
331#define CONFIG_EXT2_NODE_MIN          2
332#define CONFIG_EXT2_NODE_MAX          2
333
334#define CONFIG_VFS_CTX_MIN            1
335#define CONFIG_VFS_CTX_MAX            1
336#define CONFIG_VFS_INODE_MIN          3
337#define CONFIG_VFS_INODE_MAX          6
338#define CONFIG_VFS_FILE_MIN           3
339#define CONFIG_VFS_FILE_MAX           5
340
341#define CONFIG_SEMAPHORE_MIN          2
342#define CONFIG_SEMAPHORE_MAX          2
343#define CONFIG_CONDTION_VAR_MIN       2
344#define CONFIG_CONDTION_VAR_MAX       2
345#define CONFIG_BARRIER_MIN            2
346#define CONFIG_BARRIER_MAX            2
347#define CONFIG_RWLOCK_MIN             2
348#define CONFIG_RWLOCK_MAX             2
349#define CONFIG_WAITQUEUEDB_MAX        2
350#define CONFIG_WAITQUEUEDB_MIN        2
351#define CONFIG_RADIX_NODE_MIN         10         
352#define CONFIG_RADIX_NODE_MAX         30
353#define CONFIG_VM_REGION_MIN          1
354#define CONFIG_VM_REGION_MAX          2
355#define CONFIG_BLKIO_MIN              4
356#define CONFIG_BLKIO_MAX              8
357#define CONFIG_KEYREC_MIN             2
358#define CONFIG_KEYREC_MAX             2
359
360
361
362#endif  /* _KERNEL_CONFIG_H_ */
Note: See TracBrowser for help on using the repository browser.