source: trunk/kernel/kernel_config.h@ 486

Last change on this file since 486 was 469, checked in by alain, 8 years ago

1) Introduce the libsemaphore library.
2) Introduce a small libmath library, required by the "fft" application..
3) Introduce the multithreaded "fft" application.
4) Fix a bad synchronisation bug in the Copy-On-Write mechanism.

File size: 17.5 KB
Line 
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
26#ifndef _ALMOS_CONFIG_H_
27#define _ALMOS_CONFIG_H_
28
29#define CONFIG_ALMOS_VERSION "Version 1.0 / August 2018"
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
38#define DEBUG_CHDEV_CMD_RX 0
39#define DEBUG_CHDEV_CMD_TX 0
40#define DEBUG_CHDEV_SERVER_RX 0
41#define DEBUG_CHDEV_SERVER_TX 0
42
43#define DEBUG_CLUSTER_INIT 0
44#define DEBUG_CLUSTER_PID_ALLOC 0
45#define DEBUG_CLUSTER_PID_RELEASE 0
46#define DEBUG_CLUSTER_PROCESS_COPIES 0
47
48#define DEBUG_DEV_TXT_RX 0
49#define DEBUG_DEV_TXT_TX 0
50#define DEBUG_DEV_IOC_RX 0
51#define DEBUG_DEV_IOC_TX 0
52#define DEBUG_DEV_NIC_RX 0
53#define DEBUG_DEV_NIC_RX 0
54#define DEBUG_DEV_FBF_RX 0
55#define DEBUG_DEV_FBF_TX 0
56#define DEBUG_DEV_DMA 0
57#define DEBUG_DEV_MMC 0
58#define DEBUG_DEV_PIC 0
59
60#define DEBUG_DEVFS_INIT 0
61#define DEBUG_DEVFS_MOVE 0
62
63#define DEBUG_FATFS_INIT 0
64#define DEBUG_FATFS_MOVE 0
65#define DEBUG_FATFS_LOAD 0
66
67#define DEBUG_HAL_GPT_ACCESS 0
68#define DEBUG_HAL_GPT_CREATE 0
69#define DEBUG_HAL_GPT_DESTROY 0
70
71#define DEBUG_HAL_KENTRY 0
72#define DEBUG_HAL_EXCEPTIONS 0
73#define DEBUG_HAL_IRQS 0
74#define DEBUG_HAL_TXT_RX 0
75#define DEBUG_HAL_TXT_TX 0
76#define DEBUG_HAL_IOC_RX 0
77#define DEBUG_HAL_IOC_TX 0
78#define DEBUG_HAL_GPT 0
79
80#define DEBUG_KCM 0
81#define DEBUG_KMEM 0
82
83#define DEBUG_KERNEL_INIT 0
84#define DEBUG_KMEM_ALLOC 0
85
86#define DEBUG_MAPPER_GET_PAGE 0
87#define DEBUG_MAPPER_MOVE_USER 0
88#define DEBUG_MAPPER_MOVE_KERNEL 0
89
90#define DEBUG_PPM_ALLOC_PAGES 0
91#define DEBUG_PPM_FREE_PAGES 0
92
93#define DEBUG_PROCESS_COPY_INIT 0
94#define DEBUG_PROCESS_DESTROY 0
95#define DEBUG_PROCESS_GET_LOCAL_COPY 0
96#define DEBUG_PROCESS_INIT_CREATE 0
97#define DEBUG_PROCESS_MAKE_EXEC 0
98#define DEBUG_PROCESS_MAKE_FORK 0
99#define DEBUG_PROCESS_REFERENCE_INIT 0
100#define DEBUG_PROCESS_SIGACTION 0
101#define DEBUG_PROCESS_TXT 0
102#define DEBUG_PROCESS_ZERO_CREATE 0
103
104#define DEBUG_RPC_CLIENT_GENERIC 0
105#define DEBUG_RPC_SERVER_GENERIC 0
106
107#define DEBUG_RPC_PMEM_GET_PAGES 0
108#define DEBUG_RPC_PMEM_RELEASE_PAGES 0
109#define DEBUG_RPC_PROCESS_MAKE_FORK 0
110#define DEBUG_RPC_PROCESS_SIGACTION 0
111#define DEBUG_RPC_VFS_INODE_CREATE 0
112#define DEBUG_RPC_VFS_INODE_DESTROY 0
113#define DEBUG_RPC_VFS_DENTRY_CREATE 0
114#define DEBUG_RPC_VFS_DENTRY_DESTROY 0
115#define DEBUG_RPC_VFS_FILE_CREATE 0
116#define DEBUG_RPC_VFS_FILE_DESTROY 0
117#define DEBUG_RPC_VMM_GET_PTE 0
118#define DEBUG_RPC_VMM_GET_VSEG 0
119
120#define DEBUG_SCHED_HANDLE_SIGNALS 2
121#define DEBUG_SCHED_YIELD 2 // must be activated by the trace() syscall
122
123#define DEBUG_SYSCALLS_ERROR 2
124
125#define DEBUG_SYS_CLOSE 0
126#define DEBUG_SYS_DISPLAY 0
127#define DEBUG_SYS_EXEC 0
128#define DEBUG_SYS_EXIT 0
129#define DEBUG_SYS_FG 0
130#define DEBUG_SYS_FORK 0
131#define DEBUG_SYS_GET_CONFIG 0
132#define DEBUG_SYS_ISATTY 0
133#define DEBUG_SYS_IS_FG 0
134#define DEBUG_SYS_KILL 0
135#define DEBUG_SYS_OPEN 0
136#define DEBUG_SYS_MMAP 0
137#define DEBUG_SYS_READ 0
138#define DEBUG_SYS_THREAD_CANCEL 0
139#define DEBUG_SYS_THREAD_CREATE 0
140#define DEBUG_SYS_THREAD_EXIT 0
141#define DEBUG_SYS_THREAD_JOIN 0
142#define DEBUG_SYS_THREAD_SLEEP 0
143#define DEBUG_SYS_THREAD_WAKEUP 0
144#define DEBUG_SYS_THREAD_YIELD 0
145#define DEBUG_SYS_TRACE 0
146#define DEBUG_SYS_WAIT 0
147#define DEBUG_SYS_WRITE 0
148
149#define DEBUG_SPINLOCKS 0
150#define DEBUG_REMOTE_SPINLOCKS 0
151#define DEBUG_RWLOCKS 0
152#define DEBUG_REMOTE_RWLOCKS 0
153
154#define DEBUG_THREAD_DESTROY 0
155#define DEBUG_THREAD_IDLE 0
156#define DEBUG_THREAD_INIT 0
157#define DEBUG_THREAD_KERNEL_CREATE 0
158#define DEBUG_THREAD_KILL 0
159#define DEBUG_THREAD_USER_CREATE 0
160#define DEBUG_THREAD_USER_FORK 0
161#define DEBUG_THREAD_USER_EXEC 0
162#define DEBUG_THREAD_BLOCK 0
163
164#define DEBUG_VFS_CLOSE 0
165#define DEBUG_VFS_INODE_CREATE 0
166#define DEBUG_VFS_INODE_LOAD 0
167#define DEBUG_VFS_DENTRY_CREATE 0
168#define DEBUG_VFS_OPEN 0
169#define DEBUG_VFS_LOOKUP 0
170#define DEBUG_VFS_ADD_CHILD 0
171#define DEBUG_VFS_MAPPER_MOVE 0
172#define DEBUG_VFS_MAPPER_LOAD 0
173
174#define DEBUG_VMM_CREATE_VSEG 0
175#define DEBUG_VMM_DESTROY 0
176#define DEBUG_VMM_FORK_COPY 0
177#define DEBUG_VMM_GET_ONE_PPN 0
178#define DEBUG_VMM_GET_PTE 0
179#define DEBUG_VMM_HANDLE_PAGE_FAULT 0
180#define DEBUG_VMM_INIT 0
181#define DEBUG_VMM_PAGE_ALLOCATE 0
182#define DEBUG_VMM_SET_COW 0
183#define DEBUG_VMM_UNMAP_VSEG 0
184#define DEBUG_VMM_UPDATE_PTE 0
185
186////////////////////////////////////////////////////////////////////////////////////////////
187// HARDWARE CONFIGURATION
188////////////////////////////////////////////////////////////////////////////////////////////
189
190#define CONFIG_KERNEL_IDENTITY_MAP true // True for 32 bits cores
191#define CONFIG_MAX_CLUSTERS 256 // max number of clusters
192#define CONFIG_MAX_LOCAL_CORES 4 // max number of cores per cluster
193#define CONFIG_MAX_INT_DEV 4 // max number of internal peripherals
194#define CONFIG_MAX_EXT_DEV 8 // max number of external peripherals
195#define CONFIG_MAX_INTERNAL_IRQS 32 // max number of HWI per ICU
196#define CONFIG_MAX_EXTERNAL_IRQS 32 // max number of PTI per ICU
197#define CONFIG_IRQS_PER_CORE 4 // number of input IRQs per core
198#define CONFIG_CLUSTER_SPAN 32 // ln(phys. address space per cluster)
199#define CONFIG_CACHE_LINE_SIZE 64 // number of bytes in cache line
200
201#define CONFIG_CACHE_LINE_ALIGNED __attribute__((aligned(CONFIG_CACHE_LINE_SIZE)))
202
203#define CONFIG_MAX_IOC_CHANNELS 1 // max number of IOC device channels
204#define CONFIG_MAX_FBF_CHANNELS 1 // max number of FBF device channels
205#define CONFIG_MAX_TXT_CHANNELS 8 // max number of TXT device channels
206#define CONFIG_MAX_DMA_CHANNELS 4 // max number of DMA device channels
207#define CONFIG_MAX_NIC_CHANNELS 4 // max number of NIC device channels
208
209#define CONFIG_TXT_ECHO_MODE 1 // echo mode for TXT peripheral
210#define CONFIG_TXT_KBUF_SIZE 512 // kernel buffer for TXT write
211
212#define CONFIG_FBF_WIDTH 128
213#define CONFIG_FBF_HEIGHT 128
214
215#define CONFIG_CPU_CTX_SIZE 256 // up to 64 uint32_t registers
216#define CONFIG_FPU_CTX_SIZE 256 // up to 32 uint64_t registers
217#define CONFIG_NIC_CHBUF_DEPTH 1 // number of containers in NIC chbuf
218
219////////////////////////////////////////////////////////////////////////////////////////////
220// PROCESS MANAGEMENT
221////////////////////////////////////////////////////////////////////////////////////////////
222
223#define CONFIG_MAX_PROCESS_PER_CLUSTER 128 // max number of owned process
224#define CONFIG_PROCESS_FILE_MAX_NR 8 // max number of open files
225#define CONFIG_PROCESS_MAX_CHILDREN 1024 // max number of children process
226#define CONFIG_PROCESS_HEAP_MIN_SIZE 0x00010000 // user heap min size (bytes)
227#define CONFIG_PROCESS_HEAP_MAX_SIZE 0x30000000 // user heap max size (bytes)
228#define CONFIG_PROCESS_INIT_PATH "/bin/user/init.elf"
229
230////////////////////////////////////////////////////////////////////////////////////////////
231// VIRTUAL FILE SYSTEM
232////////////////////////////////////////////////////////////////////////////////////////////
233
234#define CONFIG_VFS_MAX_INODES 128 // max number of inodes per cluster
235#define CONFIG_VFS_MAX_NAME_LENGTH 32 // dentry name max length (bytes)
236#define CONFIG_VFS_MAX_PATH_LENGTH 256 // pathname max length (bytes)
237
238#define CONFIG_VFS_ROOT_IS_FATFS 1 // root FS is FATFS if non zero
239#define CONFIG_VFS_ROOT_IS_EX2FS 0 // root FS is EX2FS if non zero
240
241////////////////////////////////////////////////////////////////////////////////////////////
242// LOCKS
243////////////////////////////////////////////////////////////////////////////////////////////
244
245#define CONFIG_RWLOCK_DELAY 50 // iterations number ( ~ 200 cycles )
246
247////////////////////////////////////////////////////////////////////////////////////////////
248// DQDT
249////////////////////////////////////////////////////////////////////////////////////////////
250
251#define CONFIG_DQDT_LEVELS_NR 5
252#define CONFIG_DQDT_TICKS_PER_QUANTUM 1 // number of ticks between updates
253
254////////////////////////////////////////////////////////////////////////////////////////////
255// RANDOM NUMBERS
256////////////////////////////////////////////////////////////////////////////////////////////
257
258#define CONFIG_RDNG_PARAM_A 65519
259#define CONFIG_RDNG_PARAM_C 64037
260
261////////////////////////////////////////////////////////////////////////////////////////////
262// SCHEDULING
263////////////////////////////////////////////////////////////////////////////////////////////
264
265#define CONFIG_SCHED_TICK_MS_PERIOD 10000 // number of milliseconds per period
266#define CONFIG_SCHED_TICKS_PER_QUANTUM 1 // number of ticks between scheduling
267#define CONFIG_SCHED_MAX_THREADS_NR 32 // max number of threads per core
268
269////////////////////////////////////////////////////////////////////////////////////////////
270// THREADS
271////////////////////////////////////////////////////////////////////////////////////////////
272
273#define CONFIG_THREAD_MAX_PER_CLUSTER 16 // max threads per cluster & process
274#define CONFIG_THREAD_DESC_SIZE 0x4000 // thread desc size (with kernel stack)
275#define CONFIG_THREAD_DESC_ORDER 2 // ln( number of 4K pages )
276#define CONFIG_THREAD_IDLE_MODE_SLEEP false // idle thread enter sleep mode
277
278////////////////////////////////////////////////////////////////////////////////////////////
279// REMOTE PROCEDURE CALL
280////////////////////////////////////////////////////////////////////////////////////////////
281
282#define CONFIG_REMOTE_FIFO_SLOTS 16
283#define CONFIG_REMOTE_FIFO_MAX_ITERATIONS 1024
284#define CONFIG_RPC_THREADS_MAX 4 // max number of RPC threads per core
285
286////////////////////////////////////////////////////////////////////////////////////////////
287// MAPPER
288////////////////////////////////////////////////////////////////////////////////////////////
289
290#define CONFIG_MAPPER_MAX_FRAGMENTS 10 // max number of fragments moved
291#define CONFIG_MAPPER_MIN CONFIG_VFS_INODE_MIN
292#define CONFIG_MAPPER_MAX CONFIG_VFS_INODE_MAX
293
294////////////////////////////////////////////////////////////////////////////////////////////
295// USER SPACE SEGMENTATION / all values are number of pages
296////////////////////////////////////////////////////////////////////////////////////////////
297
298#define CONFIG_VMM_VSPACE_SIZE 0x100000 // virtual space : 4 Gbytes
299
300#define CONFIG_VMM_KENTRY_BASE 0x000004 // UTILS zone base : 16 Kbytes
301#define CONFIG_VMM_ELF_BASE 0x000400 // ELF zone base : 4 Mbytes
302#define CONFIG_VMM_HEAP_BASE 0x002000 // HEAP zone base : 32 Mbytes
303#define CONFIG_VMM_STACK_BASE 0x0F0000 // STACK zone base : 3.7 Gbytes
304
305#define CONFIG_VMM_KENTRY_SIZE 0x000004 // kentry vseg size : 16 Kbytes
306#define CONFIG_VMM_ARGS_SIZE 0x000004 // args vseg size : 16 Kbytes
307#define CONFIG_VMM_ENVS_SIZE 0x000008 // envs vseg size : 32 Kbytes
308#define CONFIG_VMM_STACK_SIZE 0x000100 // single stack vseg size : 1 Mbytes
309
310#define CONFIG_VMM_GRDXT_W1 7 // number of bits for RADIX_TREE_IX1
311#define CONFIG_VMM_GRDXT_W2 7 // number of bits for RADIX_TREE_IX2
312#define CONFIG_VMM_GRDXT_W3 6 // number of bits for RADIX_TREE_IX3
313
314////////////////////////////////////////////////////////////////////////////////////////////
315// PHYSICAL MEMORY MANAGEMENT (GENERIC)
316////////////////////////////////////////////////////////////////////////////////////////////
317
318#define CONFIG_PPM_PAGE_SIZE 4096 // physical page size (bytes)
319#define CONFIG_PPM_PAGE_SHIFT 12 // physical page shift (bits)
320#define CONFIG_PPM_PAGE_MASK 0x00000FFF // physical page mask
321#define CONFIG_PPM_MAX_ORDER 16 // ln(total number of pages per cluster)
322#define CONFIG_PPM_HEAP_ORDER 10 // ln(number of heap pages per cluster)
323#define CONFIG_PPM_MAX_RSVD 32 // max reserved zones on the machine
324
325#define CONFIG_KCM_SLOT_SIZE 64 // smallest allocated block (bytes)
326
327#define CONFIG_PPM_PAGE_ALIGNED __attribute__((aligned(CONFIG_PPM_PAGE_SIZE)))
328
329
330
331////////////////////////////////////////////////////////////////////////////////////////////
332// deprecated
333////////////////////////////////////////////////////////////////////////////////////////////
334
335#define CONFIG_DMA_RQ_KCM_MIN 2
336#define CONFIG_DMA_RQ_KCM_MAX 4
337#define CONFIG_TASK_KCM_MIN 2
338#define CONFIG_TASK_KCM_MAX 3
339#define CONFIG_FDINFO_KCM_MIN 2
340#define CONFIG_FDINFO_KCM_MAX 2
341#define CONFIG_DEVFS_CTX_MIN 1
342#define CONFIG_DEVFS_CTX_MAX 1
343#define CONFIG_DEVFS_FILE_MIN 2
344#define CONFIG_DEVFS_FILE_MAX 3
345#define CONFIG_DEVFS_NODE_MIN 1
346#define CONFIG_DEVFS_NODE_MAX 2
347#define CONFIG_VFAT_CTX_MIN 1
348#define CONFIG_VFAT_CTX_MAX 1
349
350#define CONFIG_RAMFS_FILE_MIN 3
351#define CONFIG_RAMFS_FILE_MAX 3
352
353#define CONFIG_VFAT_FILE_MIN 3
354#define CONFIG_VFAT_FILE_MAX 3
355#define CONFIG_VFAT_NODE_MIN 2
356#define CONFIG_VFAT_NODE_MAX 2
357
358#define CONFIG_EXT2_CTX_MIN 1
359#define CONFIG_EXT2_CTX_MAX 1
360#define CONFIG_EXT2_FILE_MIN 3
361#define CONFIG_EXT2_FILE_MAX 3
362#define CONFIG_EXT2_NODE_MIN 2
363#define CONFIG_EXT2_NODE_MAX 2
364
365#define CONFIG_VFS_CTX_MIN 1
366#define CONFIG_VFS_CTX_MAX 1
367#define CONFIG_VFS_INODE_MIN 3
368#define CONFIG_VFS_INODE_MAX 6
369#define CONFIG_VFS_FILE_MIN 3
370#define CONFIG_VFS_FILE_MAX 5
371
372#define CONFIG_SEMAPHORE_MIN 2
373#define CONFIG_SEMAPHORE_MAX 2
374#define CONFIG_CONDTION_VAR_MIN 2
375#define CONFIG_CONDTION_VAR_MAX 2
376#define CONFIG_BARRIER_MIN 2
377#define CONFIG_BARRIER_MAX 2
378#define CONFIG_RWLOCK_MIN 2
379#define CONFIG_RWLOCK_MAX 2
380#define CONFIG_WAITQUEUEDB_MAX 2
381#define CONFIG_WAITQUEUEDB_MIN 2
382#define CONFIG_RADIX_NODE_MIN 10
383#define CONFIG_RADIX_NODE_MAX 30
384#define CONFIG_VM_REGION_MIN 1
385#define CONFIG_VM_REGION_MAX 2
386#define CONFIG_BLKIO_MIN 4
387#define CONFIG_BLKIO_MAX 8
388#define CONFIG_KEYREC_MIN 2
389#define CONFIG_KEYREC_MAX 2
390
391
392
393#endif /* _KERNEL_CONFIG_H_ */
Note: See TracBrowser for help on using the repository browser.