Rev 4344 | Rev 4348 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 4344 | Rev 4345 | ||
|---|---|---|---|
| Line 30... | Line 30... | ||
| 30 | * @{ |
30 | * @{ |
| 31 | */ |
31 | */ |
| 32 | 32 | ||
| 33 | /** |
33 | /** |
| 34 | * @file |
34 | * @file |
| 35 | * @brief Kernel initialization thread. |
35 | * @brief Kernel initialization thread. |
| 36 | * |
36 | * |
| 37 | * This file contains kinit kernel thread which carries out |
37 | * This file contains kinit kernel thread which carries out |
| 38 | * high level system initialization. |
38 | * high level system initialization. |
| 39 | * |
39 | * |
| 40 | * This file is responsible for finishing SMP configuration |
40 | * This file is responsible for finishing SMP configuration |
| Line 62... | Line 62... | ||
| 62 | #include <interrupt.h> |
62 | #include <interrupt.h> |
| 63 | #include <console/kconsole.h> |
63 | #include <console/kconsole.h> |
| 64 | #include <security/cap.h> |
64 | #include <security/cap.h> |
| 65 | #include <lib/rd.h> |
65 | #include <lib/rd.h> |
| 66 | #include <ipc/ipc.h> |
66 | #include <ipc/ipc.h> |
| - | 67 | #include <debug.h> |
|
| - | 68 | #include <string.h> |
|
| 67 | 69 | ||
| 68 | #ifdef CONFIG_SMP |
70 | #ifdef CONFIG_SMP |
| 69 | #include <smp/smp.h> |
71 | #include <smp/smp.h> |
| 70 | #endif /* CONFIG_SMP */ |
72 | #endif /* CONFIG_SMP */ |
| 71 | 73 | ||
| Line 76... | Line 78... | ||
| 76 | 78 | ||
| 77 | #ifdef CONFIG_KCONSOLE |
79 | #ifdef CONFIG_KCONSOLE |
| 78 | static char alive[ALIVE_CHARS] = "-\\|/"; |
80 | static char alive[ALIVE_CHARS] = "-\\|/"; |
| 79 | #endif |
81 | #endif |
| 80 | 82 | ||
| - | 83 | #define INIT_PREFIX "init:" |
|
| - | 84 | #define INIT_PREFIX_LEN 5 |
|
| - | 85 | ||
| 81 | /** Kernel initialization thread. |
86 | /** Kernel initialization thread. |
| 82 | * |
87 | * |
| 83 | * kinit takes care of higher level kernel |
88 | * kinit takes care of higher level kernel |
| 84 | * initialization (i.e. thread creation, |
89 | * initialization (i.e. thread creation, |
| 85 | * userspace initialization etc.). |
90 | * userspace initialization etc.). |
| Line 90... | Line 95... | ||
| 90 | { |
95 | { |
| 91 | 96 | ||
| 92 | #if defined(CONFIG_SMP) || defined(CONFIG_KCONSOLE) |
97 | #if defined(CONFIG_SMP) || defined(CONFIG_KCONSOLE) |
| 93 | thread_t *thread; |
98 | thread_t *thread; |
| 94 | #endif |
99 | #endif |
| 95 | 100 | ||
| 96 | /* |
101 | /* |
| 97 | * Detach kinit as nobody will call thread_join_timeout() on it. |
102 | * Detach kinit as nobody will call thread_join_timeout() on it. |
| 98 | */ |
103 | */ |
| 99 | thread_detach(THREAD); |
104 | thread_detach(THREAD); |
| 100 | 105 | ||
| 101 | interrupts_disable(); |
106 | interrupts_disable(); |
| 102 | 107 | ||
| 103 | #ifdef CONFIG_SMP |
108 | #ifdef CONFIG_SMP |
| 104 | if (config.cpu_count > 1) { |
109 | if (config.cpu_count > 1) { |
| 105 | waitq_initialize(&ap_completion_wq); |
110 | waitq_initialize(&ap_completion_wq); |
| 106 | /* |
111 | /* |
| 107 | * Create the kmp thread and wait for its completion. |
112 | * Create the kmp thread and wait for its completion. |
| 108 | * cpu1 through cpuN-1 will come up consecutively and |
113 | * cpu1 through cpuN-1 will come up consecutively and |
| Line 118... | Line 123... | ||
| 118 | } else |
123 | } else |
| 119 | panic("Unable to create kmp thread."); |
124 | panic("Unable to create kmp thread."); |
| 120 | thread_join(thread); |
125 | thread_join(thread); |
| 121 | thread_detach(thread); |
126 | thread_detach(thread); |
| 122 | } |
127 | } |
| 123 | #endif /* CONFIG_SMP */ |
- | |
| 124 | 128 | ||
| 125 | #ifdef CONFIG_SMP |
- | |
| 126 | if (config.cpu_count > 1) { |
129 | if (config.cpu_count > 1) { |
| 127 | count_t i; |
130 | count_t i; |
| 128 | 131 | ||
| 129 | /* |
132 | /* |
| 130 | * For each CPU, create its load balancing thread. |
133 | * For each CPU, create its load balancing thread. |
| Line 136... | Line 139... | ||
| 136 | thread->cpu = &cpus[i]; |
139 | thread->cpu = &cpus[i]; |
| 137 | spinlock_unlock(&thread->lock); |
140 | spinlock_unlock(&thread->lock); |
| 138 | thread_ready(thread); |
141 | thread_ready(thread); |
| 139 | } else |
142 | } else |
| 140 | printf("Unable to create kcpulb thread for cpu" PRIc "\n", i); |
143 | printf("Unable to create kcpulb thread for cpu" PRIc "\n", i); |
| 141 | - | ||
| 142 | } |
144 | } |
| 143 | } |
145 | } |
| 144 | #endif /* CONFIG_SMP */ |
146 | #endif /* CONFIG_SMP */ |
| 145 | 147 | ||
| 146 | /* |
148 | /* |
| 147 | * At this point SMP, if present, is configured. |
149 | * At this point SMP, if present, is configured. |
| 148 | */ |
150 | */ |
| 149 | arch_post_smp_init(); |
151 | arch_post_smp_init(); |
| 150 | 152 | ||
| 151 | #ifdef CONFIG_KCONSOLE |
153 | #ifdef CONFIG_KCONSOLE |
| 152 | if (stdin) { |
154 | if (stdin) { |
| 153 | /* |
155 | /* |
| 154 | * Create kernel console. |
156 | * Create kernel console. |
| 155 | */ |
157 | */ |
| Line 172... | Line 174... | ||
| 172 | for (i = 0; i < init.cnt; i++) { |
174 | for (i = 0; i < init.cnt; i++) { |
| 173 | if (init.tasks[i].addr % FRAME_SIZE) { |
175 | if (init.tasks[i].addr % FRAME_SIZE) { |
| 174 | printf("init[%" PRIc "].addr is not frame aligned\n", i); |
176 | printf("init[%" PRIc "].addr is not frame aligned\n", i); |
| 175 | continue; |
177 | continue; |
| 176 | } |
178 | } |
| - | 179 | ||
| - | 180 | /* |
|
| - | 181 | * Construct task name from the 'init:' prefix and the |
|
| - | 182 | * name stored in the init structure (if any). |
|
| - | 183 | */ |
|
| 177 | 184 | ||
| - | 185 | char namebuf[TASK_NAME_BUFLEN]; |
|
| - | 186 | char *name; |
|
| - | 187 | ||
| 178 | char *name = init.tasks[i].name; |
188 | name = init.tasks[i].name; |
| 179 | if (name[0] == '\0') name = "init-bin"; |
189 | if (name[0] == '\0') |
| - | 190 | name = "<unknown>"; |
|
| - | 191 | ||
| - | 192 | ASSERT(TASK_NAME_BUFLEN >= INIT_PREFIX_LEN); |
|
| - | 193 | strncpy(namebuf, INIT_PREFIX, TASK_NAME_BUFLEN); |
|
| - | 194 | strncpy(namebuf + INIT_PREFIX_LEN, name, |
|
| - | 195 | TASK_NAME_BUFLEN - INIT_PREFIX_LEN); |
|
| 180 | 196 | ||
| 181 | int rc = program_create_from_image((void *) init.tasks[i].addr, |
197 | int rc = program_create_from_image((void *) init.tasks[i].addr, |
| 182 | name, &programs[i]); |
198 | namebuf, &programs[i]); |
| 183 | 199 | ||
| 184 | if ((rc == 0) && (programs[i].task != NULL)) { |
200 | if ((rc == 0) && (programs[i].task != NULL)) { |
| 185 | /* |
201 | /* |
| 186 | * Set capabilities to init userspace tasks. |
202 | * Set capabilities to init userspace tasks. |
| 187 | */ |
203 | */ |
| Line 200... | Line 216... | ||
| 200 | printf("Init binary %" PRIc " not used (error %d)\n", i, rd); |
216 | printf("Init binary %" PRIc " not used (error %d)\n", i, rd); |
| 201 | } |
217 | } |
| 202 | } |
218 | } |
| 203 | 219 | ||
| 204 | /* |
220 | /* |
| 205 | * Run user tasks with reasonable delays |
221 | * Run user tasks with small delays |
| - | 222 | * to avoid intermixed klog output. |
|
| - | 223 | * |
|
| - | 224 | * TODO: This certainly does not guarantee |
|
| - | 225 | * anything, it just works in most of the |
|
| - | 226 | * cases. Some better way how to achieve |
|
| - | 227 | * nice klog output should be found. |
|
| 206 | */ |
228 | */ |
| 207 | for (i = 0; i < init.cnt; i++) { |
229 | for (i = 0; i < init.cnt; i++) { |
| 208 | if (programs[i].task != NULL) { |
230 | if (programs[i].task != NULL) { |
| 209 | thread_usleep(50000); |
- | |
| 210 | program_ready(&programs[i]); |
231 | program_ready(&programs[i]); |
| - | 232 | thread_usleep(10000); |
|
| 211 | } |
233 | } |
| 212 | } |
234 | } |
| 213 | 235 | ||
| 214 | #ifdef CONFIG_KCONSOLE |
236 | #ifdef CONFIG_KCONSOLE |
| 215 | if (!stdin) { |
237 | if (!stdin) { |
| 216 | thread_sleep(10); |
238 | thread_sleep(10); |
| 217 | printf("kinit: No stdin\nKernel alive: ."); |
239 | printf("kinit: No stdin\nKernel alive: ."); |
| 218 | 240 | ||