Rev 3995 | Rev 4014 | Go to most recent revision | Only display areas with differences | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 3995 | Rev 4012 | ||
---|---|---|---|
1 | /* |
1 | /* |
2 | * Copyright (c) 2001-2004 Jakub Jermar |
2 | * Copyright (c) 2001-2004 Jakub Jermar |
3 | * All rights reserved. |
3 | * All rights reserved. |
4 | * |
4 | * |
5 | * Redistribution and use in source and binary forms, with or without |
5 | * Redistribution and use in source and binary forms, with or without |
6 | * modification, are permitted provided that the following conditions |
6 | * modification, are permitted provided that the following conditions |
7 | * are met: |
7 | * are met: |
8 | * |
8 | * |
9 | * - Redistributions of source code must retain the above copyright |
9 | * - Redistributions of source code must retain the above copyright |
10 | * notice, this list of conditions and the following disclaimer. |
10 | * notice, this list of conditions and the following disclaimer. |
11 | * - Redistributions in binary form must reproduce the above copyright |
11 | * - Redistributions in binary form must reproduce the above copyright |
12 | * notice, this list of conditions and the following disclaimer in the |
12 | * notice, this list of conditions and the following disclaimer in the |
13 | * documentation and/or other materials provided with the distribution. |
13 | * documentation and/or other materials provided with the distribution. |
14 | * - The name of the author may not be used to endorse or promote products |
14 | * - The name of the author may not be used to endorse or promote products |
15 | * derived from this software without specific prior written permission. |
15 | * derived from this software without specific prior written permission. |
16 | * |
16 | * |
17 | * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR |
17 | * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR |
18 | * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES |
18 | * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES |
19 | * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. |
19 | * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. |
20 | * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT, |
20 | * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT, |
21 | * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT |
21 | * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT |
22 | * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, |
22 | * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, |
23 | * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY |
23 | * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY |
24 | * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT |
24 | * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT |
25 | * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF |
25 | * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF |
26 | * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
26 | * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
27 | */ |
27 | */ |
28 | 28 | ||
29 | /** @addtogroup main |
29 | /** @addtogroup main |
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 |
41 | * and creation of userspace init tasks. |
41 | * and creation of userspace init tasks. |
42 | */ |
42 | */ |
43 | 43 | ||
44 | #include <main/kinit.h> |
44 | #include <main/kinit.h> |
45 | #include <config.h> |
45 | #include <config.h> |
46 | #include <arch.h> |
46 | #include <arch.h> |
47 | #include <proc/scheduler.h> |
47 | #include <proc/scheduler.h> |
48 | #include <proc/task.h> |
48 | #include <proc/task.h> |
49 | #include <proc/thread.h> |
49 | #include <proc/thread.h> |
50 | #include <proc/program.h> |
50 | #include <proc/program.h> |
51 | #include <panic.h> |
51 | #include <panic.h> |
52 | #include <func.h> |
52 | #include <func.h> |
53 | #include <cpu.h> |
53 | #include <cpu.h> |
54 | #include <arch/asm.h> |
54 | #include <arch/asm.h> |
55 | #include <mm/page.h> |
55 | #include <mm/page.h> |
56 | #include <arch/mm/page.h> |
56 | #include <arch/mm/page.h> |
57 | #include <mm/as.h> |
57 | #include <mm/as.h> |
58 | #include <mm/frame.h> |
58 | #include <mm/frame.h> |
59 | #include <print.h> |
59 | #include <print.h> |
60 | #include <memstr.h> |
60 | #include <memstr.h> |
61 | #include <console/console.h> |
61 | #include <console/console.h> |
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 | ||
72 | #include <synch/waitq.h> |
74 | #include <synch/waitq.h> |
73 | #include <synch/spinlock.h> |
75 | #include <synch/spinlock.h> |
74 | 76 | ||
75 | #define ALIVE_CHARS 4 |
77 | #define ALIVE_CHARS 4 |
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 BOOT_PREFIX "boot:" |
|
- | 84 | #define BOOT_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.). |
86 | * |
91 | * |
87 | * @param arg Not used. |
92 | * @param arg Not used. |
88 | */ |
93 | */ |
89 | void kinit(void *arg) |
94 | void kinit(void *arg) |
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 |
109 | * not mess together with kcpulb threads. |
114 | * not mess together with kcpulb threads. |
110 | * Just a beautification. |
115 | * Just a beautification. |
111 | */ |
116 | */ |
112 | thread = thread_create(kmp, NULL, TASK, THREAD_FLAG_WIRED, "kmp", true); |
117 | thread = thread_create(kmp, NULL, TASK, THREAD_FLAG_WIRED, "kmp", true); |
113 | if (thread != NULL) { |
118 | if (thread != NULL) { |
114 | spinlock_lock(&thread->lock); |
119 | spinlock_lock(&thread->lock); |
115 | thread->cpu = &cpus[0]; |
120 | thread->cpu = &cpus[0]; |
116 | spinlock_unlock(&thread->lock); |
121 | spinlock_unlock(&thread->lock); |
117 | thread_ready(thread); |
122 | thread_ready(thread); |
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 */ |
128 | #endif /* CONFIG_SMP */ |
124 | 129 | ||
125 | #ifdef CONFIG_SMP |
130 | #ifdef CONFIG_SMP |
126 | if (config.cpu_count > 1) { |
131 | if (config.cpu_count > 1) { |
127 | count_t i; |
132 | count_t i; |
128 | 133 | ||
129 | /* |
134 | /* |
130 | * For each CPU, create its load balancing thread. |
135 | * For each CPU, create its load balancing thread. |
131 | */ |
136 | */ |
132 | for (i = 0; i < config.cpu_count; i++) { |
137 | for (i = 0; i < config.cpu_count; i++) { |
133 | thread = thread_create(kcpulb, NULL, TASK, THREAD_FLAG_WIRED, "kcpulb", true); |
138 | thread = thread_create(kcpulb, NULL, TASK, THREAD_FLAG_WIRED, "kcpulb", true); |
134 | if (thread != NULL) { |
139 | if (thread != NULL) { |
135 | spinlock_lock(&thread->lock); |
140 | spinlock_lock(&thread->lock); |
136 | thread->cpu = &cpus[i]; |
141 | thread->cpu = &cpus[i]; |
137 | spinlock_unlock(&thread->lock); |
142 | spinlock_unlock(&thread->lock); |
138 | thread_ready(thread); |
143 | thread_ready(thread); |
139 | } else |
144 | } else |
140 | printf("Unable to create kcpulb thread for cpu" PRIc "\n", i); |
145 | printf("Unable to create kcpulb thread for cpu" PRIc "\n", i); |
141 | 146 | ||
142 | } |
147 | } |
143 | } |
148 | } |
144 | #endif /* CONFIG_SMP */ |
149 | #endif /* CONFIG_SMP */ |
145 | 150 | ||
146 | /* |
151 | /* |
147 | * At this point SMP, if present, is configured. |
152 | * At this point SMP, if present, is configured. |
148 | */ |
153 | */ |
149 | arch_post_smp_init(); |
154 | arch_post_smp_init(); |
150 | 155 | ||
151 | #ifdef CONFIG_KCONSOLE |
156 | #ifdef CONFIG_KCONSOLE |
152 | if (stdin) { |
157 | if (stdin) { |
153 | /* |
158 | /* |
154 | * Create kernel console. |
159 | * Create kernel console. |
155 | */ |
160 | */ |
156 | thread = thread_create(kconsole_thread, NULL, TASK, 0, "kconsole", false); |
161 | thread = thread_create(kconsole_thread, NULL, TASK, 0, "kconsole", false); |
157 | if (thread != NULL) |
162 | if (thread != NULL) |
158 | thread_ready(thread); |
163 | thread_ready(thread); |
159 | else |
164 | else |
160 | printf("Unable to create kconsole thread\n"); |
165 | printf("Unable to create kconsole thread\n"); |
161 | } |
166 | } |
162 | #endif /* CONFIG_KCONSOLE */ |
167 | #endif /* CONFIG_KCONSOLE */ |
163 | 168 | ||
164 | interrupts_enable(); |
169 | interrupts_enable(); |
165 | 170 | ||
166 | /* |
171 | /* |
167 | * Create user tasks, load RAM disk images. |
172 | * Create user tasks, load RAM disk images. |
168 | */ |
173 | */ |
169 | count_t i; |
174 | count_t i; |
170 | program_t programs[CONFIG_INIT_TASKS]; |
175 | program_t programs[CONFIG_INIT_TASKS]; |
171 | 176 | ||
172 | for (i = 0; i < init.cnt; i++) { |
177 | for (i = 0; i < init.cnt; i++) { |
173 | if (init.tasks[i].addr % FRAME_SIZE) { |
178 | if (init.tasks[i].addr % FRAME_SIZE) { |
174 | printf("init[%" PRIc "].addr is not frame aligned\n", i); |
179 | printf("init[%" PRIc "].addr is not frame aligned\n", i); |
175 | continue; |
180 | continue; |
176 | } |
181 | } |
177 | 182 | ||
- | 183 | /* |
|
- | 184 | * Construct task name from the 'boot:' prefix and the |
|
- | 185 | * name stored in the init structure (if any). |
|
- | 186 | */ |
|
- | 187 | ||
- | 188 | char namebuf[TASK_NAME_BUFLEN], *name; |
|
- | 189 | ||
178 | char *name = init.tasks[i].name; |
190 | name = init.tasks[i].name; |
179 | if (name[0] == '\0') name = "init-bin"; |
191 | if (name[0] == '\0') name = "<unknown>"; |
- | 192 | ||
- | 193 | ASSERT(TASK_NAME_BUFLEN >= BOOT_PREFIX_LEN); |
|
- | 194 | strncpy(namebuf, BOOT_PREFIX, TASK_NAME_BUFLEN); |
|
- | 195 | strncpy(namebuf + BOOT_PREFIX_LEN, name, |
|
- | 196 | TASK_NAME_BUFLEN - BOOT_PREFIX_LEN); |
|
180 | 197 | ||
181 | int rc = program_create_from_image((void *) init.tasks[i].addr, |
198 | int rc = program_create_from_image((void *) init.tasks[i].addr, |
182 | name, &programs[i]); |
199 | namebuf, &programs[i]); |
183 | 200 | ||
184 | if ((rc == 0) && (programs[i].task != NULL)) { |
201 | if ((rc == 0) && (programs[i].task != NULL)) { |
185 | /* |
202 | /* |
186 | * Set capabilities to init userspace tasks. |
203 | * Set capabilities to init userspace tasks. |
187 | */ |
204 | */ |
188 | cap_set(programs[i].task, CAP_CAP | CAP_MEM_MANAGER | |
205 | cap_set(programs[i].task, CAP_CAP | CAP_MEM_MANAGER | |
189 | CAP_IO_MANAGER | CAP_PREEMPT_CONTROL | CAP_IRQ_REG); |
206 | CAP_IO_MANAGER | CAP_PREEMPT_CONTROL | CAP_IRQ_REG); |
190 | 207 | ||
191 | if (!ipc_phone_0) |
208 | if (!ipc_phone_0) |
192 | ipc_phone_0 = &programs[i].task->answerbox; |
209 | ipc_phone_0 = &programs[i].task->answerbox; |
193 | } else if (rc == 0) { |
210 | } else if (rc == 0) { |
194 | /* It was the program loader and was registered */ |
211 | /* It was the program loader and was registered */ |
195 | } else { |
212 | } else { |
196 | /* RAM disk image */ |
213 | /* RAM disk image */ |
197 | int rd = init_rd((rd_header_t *) init.tasks[i].addr, init.tasks[i].size); |
214 | int rd = init_rd((rd_header_t *) init.tasks[i].addr, init.tasks[i].size); |
198 | 215 | ||
199 | if (rd != RE_OK) |
216 | if (rd != RE_OK) |
200 | printf("Init binary %" PRIc " not used (error %d)\n", i, rd); |
217 | printf("Init binary %" PRIc " not used (error %d)\n", i, rd); |
201 | } |
218 | } |
202 | } |
219 | } |
203 | 220 | ||
204 | /* |
221 | /* |
205 | * Run user tasks with small delays |
222 | * Run user tasks with small delays |
206 | * to avoid intermixed klog output. |
223 | * to avoid intermixed klog output. |
207 | * |
224 | * |
208 | * TODO: This certainly does not guarantee |
225 | * TODO: This certainly does not guarantee |
209 | * anything, it just works in most of the |
226 | * anything, it just works in most of the |
210 | * cases. Some better way how to achieve |
227 | * cases. Some better way how to achieve |
211 | * nice klog output should be found. |
228 | * nice klog output should be found. |
212 | */ |
229 | */ |
213 | for (i = 0; i < init.cnt; i++) { |
230 | for (i = 0; i < init.cnt; i++) { |
214 | if (programs[i].task != NULL) { |
231 | if (programs[i].task != NULL) { |
215 | program_ready(&programs[i]); |
232 | program_ready(&programs[i]); |
216 | thread_usleep(10000); |
233 | thread_usleep(10000); |
217 | } |
234 | } |
218 | } |
235 | } |
219 | 236 | ||
220 | #ifdef CONFIG_KCONSOLE |
237 | #ifdef CONFIG_KCONSOLE |
221 | if (!stdin) { |
238 | if (!stdin) { |
222 | thread_sleep(10); |
239 | thread_sleep(10); |
223 | printf("kinit: No stdin\nKernel alive: ."); |
240 | printf("kinit: No stdin\nKernel alive: ."); |
224 | 241 | ||
225 | unsigned int i = 0; |
242 | unsigned int i = 0; |
226 | while (true) { |
243 | while (true) { |
227 | printf("\b%c", alive[i % ALIVE_CHARS]); |
244 | printf("\b%c", alive[i % ALIVE_CHARS]); |
228 | thread_sleep(1); |
245 | thread_sleep(1); |
229 | i++; |
246 | i++; |
230 | } |
247 | } |
231 | } |
248 | } |
232 | #endif /* CONFIG_KCONSOLE */ |
249 | #endif /* CONFIG_KCONSOLE */ |
233 | } |
250 | } |
234 | 251 | ||
235 | /** @} |
252 | /** @} |
236 | */ |
253 | */ |
237 | 254 |