source: trunk/almos_config.h @ 12

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

This version executed sucessfully the kernel_init on a TSAR_2_2_2 (4 clusters / 2 cores) architecture.

File size: 16.3 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)
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 / March 2017"
30
31////////////////////////////////////////////////////////////////////////////////////////////
32//          KERNEL DEBUG
33////////////////////////////////////////////////////////////////////////////////////////////
34
35#define CONFIG_CONTEXT_DEBUG          0
36#define CONFIG_CORE_DEBUG             0
37#define CONFIG_DMA_DEBUG              0
38#define CONFIG_DQDT_DEBUG             0
39#define CONFIG_ELF_DEBUG              0
40#define CONFIG_EXEC_DEBUG             0
41#define CONFIG_FBF_DEBUG              0
42#define CONFIG_FORK_DEBUG             0
43#define CONFIG_ICU_DEBUG              0
44#define CONFIG_IOC_DEBUG              0
45#define CONFIG_KCM_DEBUG              0
46#define CONFIG_KHM_DEBUG              0
47#define CONFIG_KINIT_DEBUG            0
48#define CONFIG_KMEM_DEBUG             0
49#define CONFIG_MMC_DEBUG              0
50#define CONFIG_MAPPER_DEBUG           0
51#define CONFIG_NIC_DEBUG              0
52#define CONFIG_PIC_DEBUG              0
53#define CONFIG_PPM_DEBUG              0
54#define CONFIG_PROCESS_DEBUG          0
55#define CONFIG_RPC_DEBUG              0
56#define CONFIG_SCHED_DEBUG            0
57#define CONFIG_THREAD_DEBUG           0
58#define CONFIG_TXT_DEBUG              0
59#define CONFIG_VFS_DEBUG              0
60#define CONFIG_VMM_DEBUG              0
61
62////////////////////////////////////////////////////////////////////////////////////////////
63//        HARDWARE CONFIGURATION     
64////////////////////////////////////////////////////////////////////////////////////////////
65
66#define CONFIG_KERNEL_IDENTITY              true       // True for 32 bits cores             
67#define CONFIG_CYCLES_PER_MS                1000000    // about 1 Ghz             
68#define CONFIG_MAX_CLUSTER                  256        // max number of clusters
69#define CONFIG_MAX_LOCAL_CORES              4          // max number of cores per cluster
70#define CONFIG_MAX_INT_DEV                  4          // max number of internal peripherals
71#define CONFIG_MAX_EXT_DEV                  8          // max number of external peripherals
72#define CONFIG_MAX_HWIS_PER_ICU             32         // max number of HWI per ICU
73#define CONFIG_MAX_PTIS_PER_ICU             32         // max number of PTI per ICU
74#define CONFIG_MAX_WTIS_PER_ICU             32         // max number of WTI per ICU
75#define CONFIG_MAX_IRQS_PER_PIC             32         // max number of input IRQs in PIC
76#define CONFIG_IRQS_PER_CORE                4          // number of input IRQs per core
77#define CONFIG_CLUSTER_SPAN                 32         // ln(phys. address space per cluster)
78#define CONFIG_CACHE_LINE_SIZE              64         // number of bytes in cache line
79
80#define CONFIG_MAX_IOC_CHANNELS             1          // max number of IOC device channels
81#define CONFIG_MAX_FBF_CHANNELS             1          // max number of FBF device channels
82#define CONFIG_MAX_TXT_CHANNELS             16         // max number of TXT device channels
83#define CONFIG_MAX_DMA_CHANNELS             8          // max number of TXT device channels
84#define CONFIG_MAX_NIC_CHANNELS             8          // max number of NIC device channels
85
86#define CONFIG_MAX_CLUSTERS                 256        // max number of clusters
87
88#define CONFIG_TXT_ECHO_MODE                1          // echo mode for TXT peripheral
89
90#define CONFIG_NIC_CHBUF_DEPTH              1          // number of containers in NIC chbuf
91
92////////////////////////////////////////////////////////////////////////////////////////////
93//      PROCESS MANAGEMENT       
94////////////////////////////////////////////////////////////////////////////////////////////
95
96#define CONFIG_MAX_PROCESS_PER_CLUSTER      128        // max number of owned process
97#define CONFIG_PROCESS_MAX_NR_POW           10         // TODO ??? [AG]
98#define CONFIG_PROCESS_FILE_MAX_NR          8          // max number of open files
99#define CONFIG_PROCESS_CHILDS_MAX_NR        1024       // max number of childs process
100#define CONFIG_PROCESS_ARGS_PAGES_MAX_NR    4          // TODO ??? [AG]
101#define CONFIG_PROCESS_HEAP_MIN_SIZE        0x00010000 // user heap min size (bytes)
102#define CONFIG_PROCESS_HEAP_MAX_SIZE        0x30000000 // user heap max size (bytes)
103
104////////////////////////////////////////////////////////////////////////////////////////////
105//          VIRTUAL FILE SYSTEM       
106////////////////////////////////////////////////////////////////////////////////////////////
107
108#define CONFIG_VFS_MAX_INODES               128        // max number of inodes per cluster
109#define CONFIG_VFS_MAX_NAME_LENGTH          256        // dentry name max length (bytes)
110#define CONFIG_VFS_MAX_PATH_LENGTH          1024       // pathname max length (bytes)
111
112#define CONFIG_ROOTFS_IS_EXT2               0
113#define CONFIG_ROOTFS_IS_VFAT               1
114
115////////////////////////////////////////////////////////////////////////////////////////////
116//          MISCELANEOUS       
117////////////////////////////////////////////////////////////////////////////////////////////
118
119#define CONFIG_CORE_CHECK_EVERY                 2000
120#define CONFIG_DEV_VERSION                  yes
121#define CONFIG_USE_COA                      yes
122#define CONFIG_EXEC_LOCAL                   no
123#define CONFIG_USE_KEYSDB                   yes
124#define CONFIG_SHOW_BOOT_BANNER             yes
125#define CONFIG_MAX_CLUSTER_ROOT             16
126#define CONFIG_GLOBAL_CLUSTERS_ORDER        0
127#define CONFIG_GLOBAL_CORES_ORDER           0
128#define CONFIG_MAX_DQDT_DEPTH               4
129#define CONFIG_USE_DQDT                     no
130#define CONFIG_CORE_BALANCING_PERIOD        4
131#define CONFIG_CORE_LOAD_PERIOD             4
132#define CONFIG_CLUSTER_KEYS_NR              8
133#define CONFIG_REL_KFIFO_SIZE               32
134
135////////////////////////////////////////////////////////////////////////////////////////////
136//          LOCKS         
137////////////////////////////////////////////////////////////////////////////////////////////
138
139#define CONFIG_RWLOCK_DELAY                 50     // number of iterations => 200 cycles
140
141////////////////////////////////////////////////////////////////////////////////////////////
142//          DQDT           
143////////////////////////////////////////////////////////////////////////////////////////////
144
145#define CONFIG_DQDT_LEVELS_NR               5
146#define CONFIG_DQDT_PERIOD                  1      // number of ticks between updates
147
148////////////////////////////////////////////////////////////////////////////////////////////
149//          RANDOM NUMBERS
150////////////////////////////////////////////////////////////////////////////////////////////
151
152#define CONFIG_RDNG_PARAM_A                 65519
153#define CONFIG_RDNG_PARAM_C                 64037
154
155////////////////////////////////////////////////////////////////////////////////////////////
156//          SCHEDULING
157////////////////////////////////////////////////////////////////////////////////////////////
158
159#define CONFIG_SCHED_TICK_PERIOD            50000 // number of cycles
160#define CONFIG_SCHED_MAX_THREADS_NR         32    // max number of threads per core
161
162////////////////////////////////////////////////////////////////////////////////////////////
163//          THREADS
164////////////////////////////////////////////////////////////////////////////////////////////
165
166#define CONFIG_THREAD_MAX_PER_CLUSTER       16     // max number of user threads per cluster
167#define CONFIG_THREAD_PAGE_ORDER            1      // ln( number of pages for thread_t )
168
169////////////////////////////////////////////////////////////////////////////////////////////
170//          REMOTE_FIFO
171////////////////////////////////////////////////////////////////////////////////////////////
172
173#define CONFIG_REMOTE_FIFO_SLOTS                    256
174#define CONFIG_REMOTE_FIFO_ITERATION_DELAY  1024
175#define CONFIG_REMOTE_FIFO_MAX_ITERATIONS   1024
176
177////////////////////////////////////////////////////////////////////////////////////////////
178//          REMOTE PROCEDURE CALL
179////////////////////////////////////////////////////////////////////////////////////////////
180
181#define CONFIG_RPC_PENDING_MAX              8      // max requests handled by one server
182#define CONFIG_RPC_THREADS_MAX              8      // max number of RPC threads per core
183
184////////////////////////////////////////////////////////////////////////////////////////////
185//         USER APPLICATION STDIO
186////////////////////////////////////////////////////////////////////////////////////////////
187
188#define CONFIG_DEV_STDIN                    "/dev/tty2"
189#define CONFIG_DEV_STDOUT                   "/dev/tty2"
190#define CONFIG_DEV_STDERR                   "/dev/tty3"
191
192////////////////////////////////////////////////////////////////////////////////////////////
193//          MAPPER
194////////////////////////////////////////////////////////////////////////////////////////////
195
196#define CONFIG_MAPPER_MAX_FRAGMENTS        10      // max number of fragments moved
197#define CONFIG_MAPPER_MIN                  CONFIG_VFS_INODE_MIN
198#define CONFIG_MAPPER_MAX                  CONFIG_VFS_INODE_MAX
199
200////////////////////////////////////////////////////////////////////////////////////////////
201//      USER SPACE SEGMENTATION (all values are number of pages)
202////////////////////////////////////////////////////////////////////////////////////////////
203
204#define CONFIG_VMM_VSPACE_SIZE        0x100000     // virtual space           : 4   Gbytes
205
206#define CONFIG_VMM_ELF_BASE           0x000100     // ELF zone base           : 1   Mbytes
207#define CONFIG_VMM_HEAP_BASE          0x000400     // HEAP zone base          : 4   Mbytes
208#define CONFIG_VMM_MMAP_BASE          0x040000     // MMAP zone base          : 1   Gbytes
209#define CONFIG_VMM_STACK_BASE         0x0C0000     // STACK zone base         : 3   Gbytes
210
211#define CONFIG_VMM_KENTRY_SIZE        0x000004     // kentry vseg size        : 16  Kbytes
212#define CONFIG_VMM_ARGS_SIZE          0x000004     // args vseg size          : 16  Kbytes
213#define CONFIG_VMM_ENVS_SIZE          0x000008     // envs vseg size          : 32  Kbytes
214#define CONFIG_VMM_STACK_SIZE         0x001FFF     // single stack vseg size  : 32  Mbytes
215#define CONFIG_VMM_HEAP_SIZE          0x010000     // shared heap  vseg size  : 256 Mbytes
216
217#define CONFIG_VMM_GRDXT_W1           7            // number of bits for RADIX_TREE_IX1
218#define CONFIG_VMM_GRDXT_W2           7            // number of bits for RADIX_TREE_IX2
219#define CONFIG_VMM_GRDXT_W3           6            // number of bits for RADIX_TREE_IX3
220
221////////////////////////////////////////////////////////////////////////////////////////////
222//     PHYSICAL MEMORY MANAGEMENT       
223////////////////////////////////////////////////////////////////////////////////////////////
224
225#define CONFIG_PPM_PAGE_SIZE          4096         // physical page size (bytes)
226#define CONFIG_PPM_PAGE_SHIFT         12           // physical page shift (bits)
227#define CONFIG_PPM_PAGE_MASK          0x00000FFF   // physical page mask     
228#define CONFIG_PPM_MAX_ORDER          16           // ln(total number of pages per cluster)
229#define CONFIG_PPM_HEAP_ORDER         10           // ln(number of heap pages per cluster)
230
231#define CONFIG_KCM_BLOCKS_MAX         CONFIG_PPM_PAGE_SIZE / CONFIG_CACHE_LINE_SIZE
232
233////////////////////////////////////////////////////////////////////////////////////////////
234//     INSTRUMENTATION  ... probably deprecated ...       
235////////////////////////////////////////////////////////////////////////////////////////////
236
237#define CONFIG_SPINLOCK_CHECK            no
238#define CONFIG_SPINLOCK_TIMEOUT          100
239#define CONFIG_ENABLE_TASK_TRACE         no
240#define CONFIG_ENABLE_THREAD_TRACE       no
241#define CONFIG_SHOW_PAGEFAULT            no
242#define CONFIG_SHOW_CORE_USAGE           no
243#define CONFIG_SHOW_CORE_IPI_MSG         no
244#define CONFIG_SHOW_FPU_MSG              no
245#define CONFIG_SHOW_THREAD_MSG           no
246#define CONFIG_SHOW_PPM_PGALLOC_MSG      no
247#define CONFIG_SHOW_VMM_LOOKUP_TM        no
248#define CONFIG_SHOW_VMM_ERROR_MSG        no
249#define CONFIG_SHOW_SPURIOUS_PGFAULT     no
250#define CONFIG_SHOW_MIGRATE_MSG          no
251#define CONFIG_SHOW_VMMMGRT_MSG          no
252#define CONFIG_SHOW_SYSMGRT_MSG          no
253#define CONFIG_SHOW_REMOTE_PGALLOC       no
254#define CONFIG_SHOW_LOCAL_EVENTS         no
255#define CONFIG_SHOW_SIG_MSG              no
256#define CONFIG_SCHED_SHOW_NOTIFICATIONS  no
257#define CONFIG_SHOW_EPC_CORE0            no
258#define CONFIG_CORE_TRACE                no
259#define CONFIG_KFIFO_DEBUG               no
260#define CONFIG_SHOW_KMEM_INIT            no
261#define CONFIG_MEM_CHECK                 no
262#define CONFIG_THREAD_TIME_STAT          yes
263#define CONFIG_SCHED_RR_CHECK            no
264#define CONFIG_VFAT_PGWRITE_ENABLE       no
265#define CONFIG_VFAT_DEBUG                no
266#define CONFIG_VFAT_INSTRUMENT           no
267#define CONFIG_EXT2_DEBUG                no
268#define CONFIG_METAFS_DEBUG              no
269#define CONFIG_VFS_INODE_LOCAL           yes
270#define CONFIG_DEVFS_DEBUG               no
271#define CONFIG_SYSFS_DEBUG               no
272#define CONFIG_BLKIO_DEBUG               no
273#define CONFIG_BC_DEBUG                  no
274#define CONFIG_BC_INSTRUMENT             no
275
276////////////////////////////////////////////////////////////////////////////////////////////
277//     SYSFS                             
278////////////////////////////////////////////////////////////////////////////////////////////
279
280#define CONFIG_SYSFS_FILE_MIN         1
281#define CONFIG_SYSFS_FILE_MAX         2
282#define CONFIG_SYSFS_NODE_MIN         1
283#define CONFIG_SYSFS_NODE_MAX         2
284#define CONFIG_SYSFS_NAME_LEN         12           // maximum supported name length
285#define CONFIG_SYSFS_BUFFER_SIZE      256          // maximum supported output size
286
287
288#define CONFIG_DMA_RQ_KCM_MIN         2
289#define CONFIG_DMA_RQ_KCM_MAX         4
290#define CONFIG_TASK_KCM_MIN           2
291#define CONFIG_TASK_KCM_MAX           3
292#define CONFIG_FDINFO_KCM_MIN         2
293#define CONFIG_FDINFO_KCM_MAX         2
294#define CONFIG_DEVFS_CTX_MIN          1
295#define CONFIG_DEVFS_CTX_MAX          1
296#define CONFIG_DEVFS_FILE_MIN         2
297#define CONFIG_DEVFS_FILE_MAX         3
298#define CONFIG_DEVFS_NODE_MIN         1
299#define CONFIG_DEVFS_NODE_MAX         2
300#define CONFIG_VFAT_CTX_MIN           1
301#define CONFIG_VFAT_CTX_MAX           1
302
303#define CONFIG_RAMFS_FILE_MIN         3
304#define CONFIG_RAMFS_FILE_MAX         3
305
306#define CONFIG_VFAT_FILE_MIN          3
307#define CONFIG_VFAT_FILE_MAX          3
308#define CONFIG_VFAT_NODE_MIN          2
309#define CONFIG_VFAT_NODE_MAX          2
310
311#define CONFIG_EXT2_CTX_MIN           1
312#define CONFIG_EXT2_CTX_MAX           1
313#define CONFIG_EXT2_FILE_MIN          3
314#define CONFIG_EXT2_FILE_MAX          3
315#define CONFIG_EXT2_NODE_MIN          2
316#define CONFIG_EXT2_NODE_MAX          2
317
318#define CONFIG_VFS_CTX_MIN            1
319#define CONFIG_VFS_CTX_MAX            1
320#define CONFIG_VFS_INODE_MIN          3
321#define CONFIG_VFS_INODE_MAX          6
322#define CONFIG_VFS_FILE_MIN           3
323#define CONFIG_VFS_FILE_MAX           5
324
325#define CONFIG_SEMAPHORE_MIN          2
326#define CONFIG_SEMAPHORE_MAX          2
327#define CONFIG_CONDTION_VAR_MIN       2
328#define CONFIG_CONDTION_VAR_MAX       2
329#define CONFIG_BARRIER_MIN            2
330#define CONFIG_BARRIER_MAX            2
331#define CONFIG_RWLOCK_MIN             2
332#define CONFIG_RWLOCK_MAX             2
333#define CONFIG_WAITQUEUEDB_MAX        2
334#define CONFIG_WAITQUEUEDB_MIN        2
335#define CONFIG_RADIX_NODE_MIN         10         
336#define CONFIG_RADIX_NODE_MAX         30
337#define CONFIG_VM_REGION_MIN          1
338#define CONFIG_VM_REGION_MAX          2
339#define CONFIG_BLKIO_MIN              4
340#define CONFIG_BLKIO_MAX              8
341#define CONFIG_KEYREC_MIN             2
342#define CONFIG_KEYREC_MAX             2
343
344
345
346#endif  /* _KERNEL_CONFIG_H_ */
Note: See TracBrowser for help on using the repository browser.