Navigation
- Accueil
- Présentation :
- FAQ
- Bugs et errata
- Contributions de lecteurs
- Téléchargements
- LXR (référencement des sources)
- Mailing-list
- Liens et Projets reliés
Site hébergé par :
Site hébergé par :
|
[ source navigation ] [ diff markup ] [ identifier search ] [ general search ] |
|||
|
||||
001 /* Copyright (C) 2004 The SOS Team 001 /* Copyright (C) 2004 The SOS Team 002 Copyright (C) 1999 Free Software Foundatio << 003 002 004 This program is free software; you can redi 003 This program is free software; you can redistribute it and/or 005 modify it under the terms of the GNU Genera 004 modify it under the terms of the GNU General Public License 006 as published by the Free Software Foundatio 005 as published by the Free Software Foundation; either version 2 007 of the License, or (at your option) any lat 006 of the License, or (at your option) any later version. 008 007 009 This program is distributed in the hope tha 008 This program is distributed in the hope that it will be useful, 010 but WITHOUT ANY WARRANTY; without even the 009 but WITHOUT ANY WARRANTY; without even the implied warranty of 011 MERCHANTABILITY or FITNESS FOR A PARTICULAR 010 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 012 GNU General Public License for more details 011 GNU General Public License for more details. 013 012 014 You should have received a copy of the GNU 013 You should have received a copy of the GNU General Public License 015 along with this program; if not, write to t 014 along with this program; if not, write to the Free Software 016 Foundation, Inc., 59 Temple Place - Suite 3 015 Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, 017 USA. 016 USA. 018 */ 017 */ 019 018 020 /* Include definitions of the multiboot standa 019 /* Include definitions of the multiboot standard */ 021 #include <bootstrap/multiboot.h> 020 #include <bootstrap/multiboot.h> 022 #include <hwcore/idt.h> 021 #include <hwcore/idt.h> 023 #include <hwcore/gdt.h> 022 #include <hwcore/gdt.h> 024 #include <hwcore/irq.h> 023 #include <hwcore/irq.h> 025 #include <hwcore/exception.h> 024 #include <hwcore/exception.h> 026 #include <hwcore/i8254.h> 025 #include <hwcore/i8254.h> 027 #include <sos/list.h> 026 #include <sos/list.h> 028 #include <sos/physmem.h> 027 #include <sos/physmem.h> 029 #include <hwcore/paging.h> 028 #include <hwcore/paging.h> 030 #include <sos/list.h> !! 029 #include <sos/kmem_vmm.h> >> 030 #include <sos/kmalloc.h> >> 031 #include <sos/time.h> >> 032 #include <sos/thread.h> 031 #include <sos/klibc.h> 033 #include <sos/klibc.h> 032 #include <sos/assert.h> 034 #include <sos/assert.h> 033 #include <drivers/x86_videomem.h> 035 #include <drivers/x86_videomem.h> 034 #include <drivers/bochs.h> 036 #include <drivers/bochs.h> 035 037 036 038 037 /* Helper function to display each bits of a 3 039 /* Helper function to display each bits of a 32bits integer on the 038 screen as dark or light carrets */ 040 screen as dark or light carrets */ 039 static void display_bits(unsigned char row, un !! 041 void display_bits(unsigned char row, unsigned char col, 040 unsigned char attribu !! 042 unsigned char attribute, 041 sos_ui32_t integer) !! 043 sos_ui32_t integer) 042 { 044 { 043 int i; 045 int i; 044 /* Scan each bit of the integer, MSb first * 046 /* Scan each bit of the integer, MSb first */ 045 for (i = 31 ; i >= 0 ; i--) 047 for (i = 31 ; i >= 0 ; i--) 046 { 048 { 047 /* Test if bit i of 'integer' is set */ 049 /* Test if bit i of 'integer' is set */ 048 int bit_i = (integer & (1 << i)); 050 int bit_i = (integer & (1 << i)); 049 /* Ascii 219 => dark carret, Ascii 177 = 051 /* Ascii 219 => dark carret, Ascii 177 => light carret */ 050 unsigned char ascii_code = bit_i?219:177 052 unsigned char ascii_code = bit_i?219:177; 051 sos_x86_videomem_putchar(row, col++, 053 sos_x86_videomem_putchar(row, col++, 052 attribute, 054 attribute, 053 ascii_code); 055 ascii_code); 054 } 056 } 055 } 057 } 056 058 057 059 058 /* Clock IRQ handler */ 060 /* Clock IRQ handler */ 059 static void clk_it(int intid) 061 static void clk_it(int intid) 060 { 062 { 061 static sos_ui32_t clock_count = 0; 063 static sos_ui32_t clock_count = 0; 062 064 063 display_bits(0, 48, 065 display_bits(0, 48, 064 SOS_X86_VIDEO_FG_LTGREEN | SOS_ 066 SOS_X86_VIDEO_FG_LTGREEN | SOS_X86_VIDEO_BG_BLUE, 065 clock_count); 067 clock_count); 066 clock_count++; 068 clock_count++; 067 069 >> 070 /* Execute the expired timeout actions (if any) */ >> 071 sos_time_do_tick(); 068 } 072 } 069 073 070 /* Page fault exception handler */ !! 074 071 static void pgflt_ex(int exid) !! 075 /* ====================================================================== >> 076 * Page fault exception handling >> 077 */ >> 078 >> 079 /* Helper function to dump a backtrace on bochs and/or the console */ >> 080 static void dump_backtrace(const struct sos_cpu_state *cpu_state, >> 081 sos_vaddr_t stack_bottom, >> 082 sos_size_t stack_size, >> 083 sos_bool_t on_console, >> 084 sos_bool_t on_bochs) 072 { 085 { 073 sos_bochs_printf("Got page fault\n"); !! 086 static void backtracer(sos_vaddr_t PC, 074 sos_x86_videomem_printf(10, 30, !! 087 sos_vaddr_t params, 075 SOS_X86_VIDEO_FG_LTR !! 088 sos_ui32_t depth, 076 "Got EXPECTED (?) Pa !! 089 void *custom_arg) 077 for (;;) ; !! 090 { >> 091 sos_ui32_t invalid = 0xffffffff, *arg1, *arg2, *arg3, *arg4; >> 092 >> 093 /* Get the address of the first 3 arguments from the >> 094 frame. Among these arguments, 0, 1, 2, 3 arguments might be >> 095 meaningful (depending on how many arguments the function may >> 096 take). */ >> 097 arg1 = (sos_ui32_t*)params; >> 098 arg2 = (sos_ui32_t*)(params+4); >> 099 arg3 = (sos_ui32_t*)(params+8); >> 100 arg4 = (sos_ui32_t*)(params+12); >> 101 >> 102 /* Make sure the addresses of these arguments fit inside the >> 103 stack boundaries */ >> 104 #define INTERVAL_OK(b,v,u) ( ((b) <= (sos_vaddr_t)(v)) \ >> 105 && ((sos_vaddr_t)(v) < (u)) ) >> 106 if (!INTERVAL_OK(stack_bottom, arg1, stack_bottom + stack_size)) >> 107 arg1 = &invalid; >> 108 if (!INTERVAL_OK(stack_bottom, arg2, stack_bottom + stack_size)) >> 109 arg2 = &invalid; >> 110 if (!INTERVAL_OK(stack_bottom, arg3, stack_bottom + stack_size)) >> 111 arg3 = &invalid; >> 112 if (!INTERVAL_OK(stack_bottom, arg4, stack_bottom + stack_size)) >> 113 arg4 = &invalid; >> 114 >> 115 /* Print the function context for this frame */ >> 116 if (on_bochs) >> 117 sos_bochs_printf("[%d] PC=0x%x arg1=0x%x arg2=0x%x arg3=0x%x\n", >> 118 (unsigned)depth, (unsigned)PC, >> 119 (unsigned)*arg1, (unsigned)*arg2, >> 120 (unsigned)*arg3); >> 121 >> 122 if (on_console) >> 123 sos_x86_videomem_printf(23-depth, 3, >> 124 SOS_X86_VIDEO_BG_BLUE >> 125 | SOS_X86_VIDEO_FG_LTGREEN, >> 126 "[%d] PC=0x%x arg1=0x%x arg2=0x%x arg3=0x%x arg4=0x%x", >> 127 (unsigned)depth, PC, >> 128 (unsigned)*arg1, (unsigned)*arg2, >> 129 (unsigned)*arg3, (unsigned)*arg4); >> 130 >> 131 } >> 132 >> 133 sos_backtrace(cpu_state, 15, stack_bottom, stack_size, backtracer, NULL); 078 } 134 } 079 135 080 static void test_paging(sos_vaddr_t sos_kernel !! 136 >> 137 /* Page fault exception handler with demand paging for the kernel */ >> 138 static void pgflt_ex(int intid, const struct sos_cpu_state *ctxt) 081 { 139 { 082 /* The (linear) address of the page holding !! 140 static sos_ui32_t demand_paging_count = 0; 083 currently executing */ !! 141 sos_vaddr_t faulting_vaddr = sos_cpu_context_get_EX_faulting_vaddr(ctxt); 084 sos_vaddr_t vpage_code = SOS_PAGE_ALIGN_INF( !! 142 sos_paddr_t ppage_paddr; 085 << 086 /* The new physical page that will hold the << 087 sos_paddr_t ppage_new; << 088 << 089 /* Where this page will be mapped temporaril << 090 code into it: right after the kernel code << 091 sos_vaddr_t vpage_tmp = sos_kernel_core_top_ << 092 143 093 unsigned i; !! 144 /* Check if address is covered by any VMM range */ >> 145 if (! sos_kmem_vmm_is_valid_vaddr(faulting_vaddr)) >> 146 { >> 147 /* No: The page fault is out of any kernel virtual region. For >> 148 the moment, we don't handle this. */ >> 149 dump_backtrace(ctxt, >> 150 bootstrap_stack_bottom, >> 151 bootstrap_stack_size, >> 152 TRUE, TRUE); >> 153 sos_display_fatal_error("Unresolved page Fault at instruction 0x%x on access to address 0x%x (info=%x)!", >> 154 sos_cpu_context_get_PC(ctxt), >> 155 (unsigned)faulting_vaddr, >> 156 (unsigned)sos_cpu_context_get_EX_info(ctxt)); >> 157 SOS_ASSERT_FATAL(! "Got page fault (note: demand paging is disabled)"); >> 158 } 094 159 095 /* Bind the page fault exception to one of o << 096 sos_exception_set_routine(SOS_EXCEPT_PAGE_FA << 097 pgflt_ex); << 098 160 099 /* 161 /* 100 * Test 1: move the page where we execute th !! 162 * Demand paging 101 * physical memory << 102 */ 163 */ 103 sos_x86_videomem_printf(4, 0, !! 164 104 SOS_X86_VIDEO_FG_LTG !! 165 /* Update the number of demand paging requests handled */ 105 "Moving current code !! 166 demand_paging_count ++; >> 167 display_bits(0, 0, >> 168 SOS_X86_VIDEO_FG_LTRED | SOS_X86_VIDEO_BG_BLUE, >> 169 demand_paging_count); >> 170 >> 171 /* Allocate a new page for the virtual address */ >> 172 ppage_paddr = sos_physmem_ref_physpage_new(FALSE); >> 173 if (! ppage_paddr) >> 174 SOS_ASSERT_FATAL(! "TODO: implement swap. (Out of mem in demand paging because no swap for kernel yet !)"); >> 175 SOS_ASSERT_FATAL(SOS_OK == sos_paging_map(ppage_paddr, >> 176 SOS_PAGE_ALIGN_INF(faulting_vaddr), >> 177 FALSE, >> 178 SOS_VM_MAP_PROT_READ >> 179 | SOS_VM_MAP_PROT_WRITE >> 180 | SOS_VM_MAP_ATOMIC)); >> 181 sos_physmem_unref_physpage(ppage_paddr); >> 182 >> 183 /* Ok, we can now return to interrupted context */ >> 184 } >> 185 >> 186 >> 187 /* ====================================================================== >> 188 * Demonstrate the use of SOS kernel threads >> 189 * - Kernel Threads are created with various priorities and their >> 190 * state is printed on both the console and the bochs' 0xe9 port >> 191 * - For tests regarding threads' synchronization, see mouse_sim.c >> 192 */ >> 193 >> 194 struct thr_arg >> 195 { >> 196 char character; >> 197 int color; >> 198 >> 199 int col; >> 200 int row; >> 201 }; 106 202 107 203 108 /* Allocate a new physical page */ !! 204 static void demo_thread(void *arg) 109 ppage_new = sos_physmem_ref_physpage_new(FAL !! 205 { 110 if (! ppage_new) !! 206 struct thr_arg *thr_arg = (struct thr_arg*)arg; >> 207 int progress = 0; >> 208 >> 209 sos_bochs_printf("start %c", thr_arg->character); >> 210 while (1) 111 { 211 { 112 /* STOP ! No memory left */ !! 212 progress ++; 113 sos_x86_videomem_putstring(20, 0, !! 213 display_bits(thr_arg->row, thr_arg->col+1, thr_arg->color, progress); 114 SOS_X86_VIDEO !! 214 115 | SOS_X86_V !! 215 sos_bochs_putchar(thr_arg->character); 116 "test_paging !! 216 117 return; !! 217 /* Yield the CPU to another thread sometimes... */ >> 218 if ((random() % 100) == 0) >> 219 { >> 220 sos_bochs_printf("[37myield(%c)[m\n", thr_arg->character); >> 221 sos_x86_videomem_putchar(thr_arg->row, thr_arg->col, 0x1e, 'Y'); >> 222 SOS_ASSERT_FATAL(SOS_OK == sos_thread_yield()); >> 223 sos_x86_videomem_putchar(thr_arg->row, thr_arg->col, 0x1e, 'R'); >> 224 } >> 225 >> 226 /* Go to sleep some other times... */ >> 227 else if ((random() % 200) == 0) >> 228 { >> 229 struct sos_time t = (struct sos_time){ .sec=0, .nanosec=50000000 }; >> 230 sos_bochs_printf("[37msleep1(%c)[m\n", thr_arg->character); >> 231 sos_x86_videomem_putchar(thr_arg->row, thr_arg->col, 0x1e, 's'); >> 232 SOS_ASSERT_FATAL(SOS_OK == sos_thread_sleep(& t)); >> 233 SOS_ASSERT_FATAL(sos_time_is_zero(& t)); >> 234 sos_x86_videomem_putchar(thr_arg->row, thr_arg->col, 0x1e, 'R'); >> 235 } >> 236 >> 237 /* Go to sleep for a longer time some other times... */ >> 238 else if ((random() % 300) == 0) >> 239 { >> 240 struct sos_time t = (struct sos_time){ .sec=0, .nanosec=300000000 }; >> 241 sos_bochs_printf("[37msleep2(%c)[m\n", thr_arg->character); >> 242 sos_x86_videomem_putchar(thr_arg->row, thr_arg->col, 0x1e, 'S'); >> 243 SOS_ASSERT_FATAL(SOS_OK == sos_thread_sleep(& t)); >> 244 SOS_ASSERT_FATAL(sos_time_is_zero(& t)); >> 245 sos_x86_videomem_putchar(thr_arg->row, thr_arg->col, 0x1e, 'R'); >> 246 } >> 247 >> 248 /* Infinite loop otherwise */ 118 } 249 } >> 250 } 119 251 120 sos_x86_videomem_printf(5, 0, << 121 SOS_X86_VIDEO_FG_YEL << 122 "Hello from the addr << 123 sos_paging_get_paddr << 124 << 125 sos_x86_videomem_printf(6, 0, << 126 SOS_X86_VIDEO_FG_YEL << 127 "Transfer vpage 0x%x << 128 vpage_code, << 129 sos_paging_get_paddr << 130 ppage_new, << 131 (unsigned)vpage_tmp) << 132 << 133 /* Map the page somewhere (right after the k << 134 to copy the code we are currently executi << 135 sos_paging_map(ppage_new, vpage_tmp, << 136 FALSE, << 137 SOS_VM_MAP_ATOMIC << 138 | SOS_VM_MAP_PROT_READ << 139 | SOS_VM_MAP_PROT_WRITE); << 140 << 141 /* Ok, the new page is referenced by the map << 142 reference to it */ << 143 sos_physmem_unref_physpage(ppage_new); << 144 << 145 /* Copy the contents of the current page of << 146 mapping */ << 147 memcpy((void*)vpage_tmp, << 148 (void*)vpage_code, << 149 SOS_PAGE_SIZE); << 150 << 151 /* Transfer the mapping of the current page << 152 sos_paging_map(ppage_new, vpage_code, << 153 FALSE, << 154 SOS_VM_MAP_ATOMIC << 155 | SOS_VM_MAP_PROT_READ << 156 | SOS_VM_MAP_PROT_WRITE); << 157 << 158 /* Ok, here we are: we have changed the phys << 159 code we are executing ;). However, this n << 160 virtual addresses: << 161 - vpage_tmp << 162 - vpage_code << 163 We can safely unmap it from sos_kernel_co << 164 still keeping the vpage_code mapping */ << 165 sos_paging_unmap(vpage_tmp); << 166 << 167 sos_x86_videomem_printf(7, 0, << 168 SOS_X86_VIDEO_FG_YEL << 169 "Hello from the addr << 170 sos_paging_get_paddr << 171 << 172 sos_x86_videomem_printf(9, 0, << 173 SOS_X86_VIDEO_FG_LTG << 174 "Provoking a page fa << 175 252 176 /* !! 253 static void test_thread() 177 * Test 2: make sure the #PF handler works !! 254 { 178 */ !! 255 /* "static" variables because we want them to remain even when the >> 256 function returns */ >> 257 static struct thr_arg arg_b, arg_c, arg_d, arg_e, arg_R, arg_S; >> 258 sos_ui32_t flags; >> 259 >> 260 sos_disable_IRQs(flags); >> 261 >> 262 arg_b = (struct thr_arg) { .character='b', .col=0, .row=21, .color=0x14 }; >> 263 sos_create_kernel_thread("YO[b]", demo_thread, (void*)&arg_b); >> 264 >> 265 arg_c = (struct thr_arg) { .character='c', .col=46, .row=21, .color=0x14 }; >> 266 sos_create_kernel_thread("YO[c]", demo_thread, (void*)&arg_c); >> 267 >> 268 arg_d = (struct thr_arg) { .character='d', .col=0, .row=20, .color=0x14 }; >> 269 sos_create_kernel_thread("YO[d]", demo_thread, (void*)&arg_d); >> 270 >> 271 arg_e = (struct thr_arg) { .character='e', .col=0, .row=19, .color=0x14 }; >> 272 sos_create_kernel_thread("YO[e]", demo_thread, (void*)&arg_e); >> 273 >> 274 arg_R = (struct thr_arg) { .character='R', .col=0, .row=17, .color=0x1c }; >> 275 sos_create_kernel_thread("YO[R]", demo_thread, (void*)&arg_R); >> 276 >> 277 arg_S = (struct thr_arg) { .character='S', .col=0, .row=16, .color=0x1c }; >> 278 sos_create_kernel_thread("YO[S]", demo_thread, (void*)&arg_S); 179 279 180 /* Scan part of the kernel up to a page faul !! 280 sos_restore_IRQs(flags); 181 should occur on the first page unmapped a !! 281 } 182 which is exactly the page we temporarily !! 282 183 (vpage_tmp) above to move the kernel code !! 283 184 for (i = vpage_code ; /* none */ ; i += SOS_ !! 284 /* ====================================================================== >> 285 * An operating system MUST always have a ready thread ! Otherwise: >> 286 * what would the CPU have to execute ?! >> 287 */ >> 288 static void idle_thread() >> 289 { >> 290 sos_ui32_t idle_twiddle = 0; >> 291 >> 292 while (1) 185 { 293 { 186 unsigned *pint = (unsigned *)SOS_PAGE_AL !! 294 /* Remove this instruction if you get an "Invalid opcode" CPU 187 sos_bochs_printf("Test vaddr 0x%x : val= !! 295 exception (old 80386 CPU) */ 188 sos_x86_videomem_printf(10, 0, !! 296 asm("hlt\n"); 189 SOS_X86_VIDEO_FG !! 297 190 "Test vaddr 0x%x !! 298 idle_twiddle ++; 191 (unsigned)pint); !! 299 display_bits(0, 0, SOS_X86_VIDEO_FG_GREEN | SOS_X86_VIDEO_BG_BLUE, 192 sos_bochs_printf("0x%x\n", *pint); !! 300 idle_twiddle); 193 sos_x86_videomem_printf(10, 30, !! 301 194 SOS_X86_VIDEO_FG !! 302 /* Lend the CPU to some other thread */ 195 "0x%x " !! 303 sos_thread_yield(); 196 } 304 } 197 << 198 /* BAD ! Did not get the page fault... */ << 199 sos_x86_videomem_printf(20, 0, << 200 SOS_X86_VIDEO_FG_LTR << 201 "We should have had << 202 vpage_tmp); << 203 } 305 } 204 306 205 /* The C entry point of our operating system * !! 307 >> 308 /* ====================================================================== >> 309 * The C entry point of our operating system >> 310 */ 206 void sos_main(unsigned long magic, unsigned lo 311 void sos_main(unsigned long magic, unsigned long addr) 207 { 312 { 208 unsigned i; 313 unsigned i; 209 sos_paddr_t sos_kernel_core_base_paddr, sos_ 314 sos_paddr_t sos_kernel_core_base_paddr, sos_kernel_core_top_paddr; >> 315 struct sos_time tick_resolution; 210 316 211 /* Grub sends us a structure, called multibo 317 /* Grub sends us a structure, called multiboot_info_t with a lot of 212 precious informations about the system, s 318 precious informations about the system, see the multiboot 213 documentation for more information. */ 319 documentation for more information. */ 214 multiboot_info_t *mbi; 320 multiboot_info_t *mbi; 215 mbi = (multiboot_info_t *) addr; 321 mbi = (multiboot_info_t *) addr; 216 322 217 /* Setup bochs and console, and clear the co 323 /* Setup bochs and console, and clear the console */ 218 sos_bochs_setup(); 324 sos_bochs_setup(); 219 325 220 sos_x86_videomem_setup(); 326 sos_x86_videomem_setup(); 221 sos_x86_videomem_cls(SOS_X86_VIDEO_BG_BLUE); 327 sos_x86_videomem_cls(SOS_X86_VIDEO_BG_BLUE); 222 328 223 /* Greetings from SOS */ 329 /* Greetings from SOS */ 224 if (magic == MULTIBOOT_BOOTLOADER_MAGIC) 330 if (magic == MULTIBOOT_BOOTLOADER_MAGIC) 225 /* Loaded with Grub */ 331 /* Loaded with Grub */ 226 sos_x86_videomem_printf(1, 0, 332 sos_x86_videomem_printf(1, 0, 227 SOS_X86_VIDEO_FG_Y 333 SOS_X86_VIDEO_FG_YELLOW | SOS_X86_VIDEO_BG_BLUE, 228 "Welcome From GRUB 334 "Welcome From GRUB to %s%c RAM is %dMB (upper mem = 0x%x kB)", 229 "SOS", ',', !! 335 "SOS article 6.5", ',', 230 (unsigned)(mbi->me 336 (unsigned)(mbi->mem_upper >> 10) + 1, 231 (unsigned)mbi->mem 337 (unsigned)mbi->mem_upper); 232 else 338 else 233 /* Not loaded with grub */ 339 /* Not loaded with grub */ 234 sos_x86_videomem_printf(1, 0, 340 sos_x86_videomem_printf(1, 0, 235 SOS_X86_VIDEO_FG_Y 341 SOS_X86_VIDEO_FG_YELLOW | SOS_X86_VIDEO_BG_BLUE, 236 "Welcome to SOS"); !! 342 "Welcome to SOS article 6.5"); 237 343 238 sos_bochs_putstring("Message in a bochs\n"); !! 344 sos_bochs_putstring("Message in a bochs: This is SOS article 6.5.\n"); 239 345 240 /* Setup CPU segmentation and IRQ subsystem 346 /* Setup CPU segmentation and IRQ subsystem */ 241 sos_gdt_setup(); !! 347 sos_gdt_subsystem_setup(); 242 sos_idt_setup(); !! 348 sos_idt_subsystem_setup(); 243 349 244 /* Setup SOS IRQs and exceptions subsystem * 350 /* Setup SOS IRQs and exceptions subsystem */ 245 sos_exceptions_setup(); !! 351 sos_exception_subsystem_setup(); 246 sos_irq_setup(); !! 352 sos_irq_subsystem_setup(); 247 353 248 /* Configure the timer so as to raise the IR 354 /* Configure the timer so as to raise the IRQ0 at a 100Hz rate */ 249 sos_i8254_set_frequency(100); 355 sos_i8254_set_frequency(100); 250 356 >> 357 /* Setup the kernel time subsystem to get prepared to take the timer >> 358 ticks into account */ >> 359 tick_resolution = (struct sos_time) { .sec=0, .nanosec=10000000UL }; >> 360 sos_time_subsysem_setup(& tick_resolution); 251 361 252 /* We need a multiboot-compliant boot loader 362 /* We need a multiboot-compliant boot loader to get the size of the RAM */ 253 if (magic != MULTIBOOT_BOOTLOADER_MAGIC) 363 if (magic != MULTIBOOT_BOOTLOADER_MAGIC) 254 { 364 { 255 sos_x86_videomem_putstring(20, 0, 365 sos_x86_videomem_putstring(20, 0, 256 SOS_X86_VIDEO 366 SOS_X86_VIDEO_FG_LTRED 257 | SOS_X86_V 367 | SOS_X86_VIDEO_BG_BLUE 258 | SOS_X86_V 368 | SOS_X86_VIDEO_FG_BLINKING, 259 "I'm not load 369 "I'm not loaded with Grub !"); 260 /* STOP ! */ 370 /* STOP ! */ 261 for (;;) 371 for (;;) 262 continue; 372 continue; 263 } 373 } 264 374 >> 375 /* >> 376 * Some interrupt handlers >> 377 */ >> 378 265 /* Binding some HW interrupts and exceptions 379 /* Binding some HW interrupts and exceptions to software routines */ 266 sos_irq_set_routine(SOS_IRQ_TIMER, 380 sos_irq_set_routine(SOS_IRQ_TIMER, 267 clk_it); !! 381 clk_it); 268 /* Enabling the HW interrupts here, this wil !! 382 269 interrupt call our clk_it handler */ !! 383 /* 270 asm volatile ("sti\n"); !! 384 * Setup physical memory management >> 385 */ >> 386 271 /* Multiboot says: "The value returned for u 387 /* Multiboot says: "The value returned for upper memory is maximally 272 the address of the first upper memory hol 388 the address of the first upper memory hole minus 1 megabyte.". It 273 also adds: "It is not guaranteed to be th 389 also adds: "It is not guaranteed to be this value." aka "YMMV" ;) */ 274 sos_physmem_setup((mbi->mem_upper<<10) + (1< !! 390 sos_physmem_subsystem_setup((mbi->mem_upper<<10) + (1<<20), 275 & sos_kernel_core_base_pad !! 391 & sos_kernel_core_base_paddr, 276 & sos_kernel_core_top_padd !! 392 & sos_kernel_core_top_paddr); 277 393 278 /* 394 /* 279 * Switch to paged-memory mode 395 * Switch to paged-memory mode 280 */ 396 */ 281 397 282 /* Disabling interrupts should seem more cor 398 /* Disabling interrupts should seem more correct, but it's not really 283 necessary at this stage */ 399 necessary at this stage */ 284 if (sos_paging_setup(sos_kernel_core_base_pa !! 400 SOS_ASSERT_FATAL(SOS_OK == 285 sos_kernel_core_top_pad !! 401 sos_paging_subsystem_setup(sos_kernel_core_base_paddr, 286 sos_bochs_printf("Could not setup paged me !! 402 sos_kernel_core_top_paddr)); 287 sos_x86_videomem_printf(2, 0, !! 403 288 SOS_X86_VIDEO_FG_YEL !! 404 /* Bind the page fault exception */ 289 "Paged-memory mode i !! 405 sos_exception_set_routine(SOS_EXCEPT_PAGE_FAULT, 290 !! 406 pgflt_ex); 291 test_paging(sos_kernel_core_top_paddr); << 292 << 293 /* An operatig system never ends */ << 294 for (;;) << 295 continue; << 296 407 297 return; !! 408 /* >> 409 * Setup kernel virtual memory allocator >> 410 */ >> 411 >> 412 if (sos_kmem_vmm_subsystem_setup(sos_kernel_core_base_paddr, >> 413 sos_kernel_core_top_paddr, >> 414 bootstrap_stack_bottom, >> 415 bootstrap_stack_bottom >> 416 + bootstrap_stack_size)) >> 417 sos_bochs_printf("Could not setup the Kernel virtual space allocator\n"); >> 418 >> 419 if (sos_kmalloc_subsystem_setup()) >> 420 sos_bochs_printf("Could not setup the Kmalloc subsystem\n"); >> 421 >> 422 /* >> 423 * Initialize the Kernel thread and scheduler subsystems >> 424 */ >> 425 >> 426 /* Initialize kernel thread subsystem */ >> 427 sos_thread_subsystem_setup(bootstrap_stack_bottom, >> 428 bootstrap_stack_size); >> 429 >> 430 /* Initialize the scheduler */ >> 431 sos_sched_subsystem_setup(); >> 432 >> 433 /* Declare the IDLE thread */ >> 434 SOS_ASSERT_FATAL(sos_create_kernel_thread("idle", idle_thread, NULL) != NULL); >> 435 >> 436 /* Enabling the HW interrupts here, this will make the timer HW >> 437 interrupt call the scheduler */ >> 438 asm volatile ("sti\n"); >> 439 >> 440 >> 441 /* Now run some Kernel threads just for fun ! */ >> 442 extern void MouseSim(); >> 443 MouseSim(); >> 444 test_thread(); >> 445 >> 446 /* >> 447 * We can safely exit from this function now, for there is already >> 448 * an idle Kernel thread ready to make the CPU busy working... >> 449 * >> 450 * However, we must EXPLICITELY call sos_thread_exit() because a >> 451 * simple "return" will return nowhere ! Actually this first thread >> 452 * was initialized by the Grub bootstrap stage, at a time when the >> 453 * word "thread" did not exist. This means that the stack was not >> 454 * setup in order for a return here to call sos_thread_exit() >> 455 * automagically. Hence we must call it manually. This is the ONLY >> 456 * kernel thread where we must do this manually. >> 457 */ >> 458 sos_bochs_printf("Bye from primary thread !\n"); >> 459 sos_thread_exit(); >> 460 SOS_FATAL_ERROR("No trespassing !"); 298 } 461 }
| [ source navigation ] | [ diff markup ] | [ identifier search ] | [ general search ] |