SimpleOS

LXR

Navigation



Site hébergé par : enix

The LXR Cross Referencer for SOS

source navigation ]
diff markup ]
identifier search ]
general search ]
 
 
Article:1 ] [ 2 ] [ 3 ] [ 4 ] [ 5 ] [ 6 ] [ 6.5 ] [ 7 ] [ 7.5 ] [ 8 ] [ 9 ] [ 9.5 ]

Diff markup

Differences between /sos/main.c (Article 4) and /sos/main.c (Article 9.5)


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 
                                                   >> 019 #include <sos/errno.h>
                                                   >> 020 
020 /* Include definitions of the multiboot standa    021 /* Include definitions of the multiboot standard */
021 #include <bootstrap/multiboot.h>                  022 #include <bootstrap/multiboot.h>
022 #include <hwcore/idt.h>                           023 #include <hwcore/idt.h>
023 #include <hwcore/gdt.h>                           024 #include <hwcore/gdt.h>
024 #include <hwcore/irq.h>                           025 #include <hwcore/irq.h>
025 #include <hwcore/exception.h>                     026 #include <hwcore/exception.h>
026 #include <hwcore/i8254.h>                         027 #include <hwcore/i8254.h>
027 #include <sos/list.h>                             028 #include <sos/list.h>
028 #include <sos/physmem.h>                          029 #include <sos/physmem.h>
029 #include <hwcore/paging.h>                        030 #include <hwcore/paging.h>
030 #include <sos/list.h>                          !! 031 #include <hwcore/mm_context.h>
                                                   >> 032 #include <hwcore/swintr.h>
                                                   >> 033 #include <sos/kmem_vmm.h>
                                                   >> 034 #include <sos/kmalloc.h>
                                                   >> 035 #include <sos/time.h>
                                                   >> 036 #include <sos/thread.h>
                                                   >> 037 #include <sos/process.h>
                                                   >> 038 #include <sos/umem_vmm.h>
031 #include <sos/klibc.h>                            039 #include <sos/klibc.h>
032 #include <sos/assert.h>                           040 #include <sos/assert.h>
033 #include <drivers/x86_videomem.h>                 041 #include <drivers/x86_videomem.h>
034 #include <drivers/bochs.h>                        042 #include <drivers/bochs.h>
035                                                !! 043 #include <sos/calcload.h>
                                                   >> 044 #include <sos/umem_vmm.h>
                                                   >> 045 #include <sos/binfmt_elf32.h>
                                                   >> 046 #include <drivers/zero.h>
                                                   >> 047 #include <sos/fs.h>
                                                   >> 048 #include <drivers/fs_virtfs.h>
                                                   >> 049 #include <drivers/devices.h>
                                                   >> 050 #include <drivers/mem.h>
                                                   >> 051 #include <drivers/tty.h>
                                                   >> 052 #include <drivers/console.h>
                                                   >> 053 #include <drivers/serial.h>
                                                   >> 054 #include <sos/blkdev.h>
                                                   >> 055 #include <sos/fs_pagecache.h>
                                                   >> 056 #include <drivers/ide.h>
036                                                   057 
037 /* Helper function to display each bits of a 3    058 /* Helper function to display each bits of a 32bits integer on the
038    screen as dark or light carrets */             059    screen as dark or light carrets */
039 static void display_bits(unsigned char row, un !! 060 void display_bits(unsigned char row, unsigned char col,
040                          unsigned char attribu !! 061                   unsigned char attribute,
041                          sos_ui32_t integer)   !! 062                   sos_ui32_t integer)
042 {                                                 063 {
043   int i;                                          064   int i;
044   /* Scan each bit of the integer, MSb first *    065   /* Scan each bit of the integer, MSb first */
045   for (i = 31 ; i >= 0 ; i--)                     066   for (i = 31 ; i >= 0 ; i--)
046     {                                             067     {
047       /* Test if bit i of 'integer' is set */     068       /* Test if bit i of 'integer' is set */
048       int bit_i = (integer & (1 << i));           069       int bit_i = (integer & (1 << i));
049       /* Ascii 219 => dark carret, Ascii 177 =    070       /* Ascii 219 => dark carret, Ascii 177 => light carret */
050       unsigned char ascii_code = bit_i?219:177    071       unsigned char ascii_code = bit_i?219:177;
051       sos_x86_videomem_putchar(row, col++,        072       sos_x86_videomem_putchar(row, col++,
052                                attribute,         073                                attribute,
053                                ascii_code);       074                                ascii_code);
054     }                                             075     }
055 }                                                 076 }
056                                                   077 
057                                                << 
058 /* Clock IRQ handler */                           078 /* Clock IRQ handler */
059 static void clk_it(int intid)                     079 static void clk_it(int intid)
060 {                                                 080 {
061   static sos_ui32_t clock_count = 0;              081   static sos_ui32_t clock_count = 0;
062                                                   082 
063   display_bits(0, 48,                             083   display_bits(0, 48,
064                SOS_X86_VIDEO_FG_LTGREEN | SOS_    084                SOS_X86_VIDEO_FG_LTGREEN | SOS_X86_VIDEO_BG_BLUE,
065                clock_count);                      085                clock_count);
066   clock_count++;                                  086   clock_count++;
067                                                   087 
                                                   >> 088   /* Execute the expired timeout actions (if any) */
                                                   >> 089   sos_time_do_tick();
                                                   >> 090 
                                                   >> 091   /* Update scheduler statistics and status */
                                                   >> 092   sos_sched_do_timer_tick();
068 }                                                 093 }
069                                                   094 
070 /* Page fault exception handler */             !! 095 
071 static void pgflt_ex(int exid)                 !! 096 /* ======================================================================
                                                   >> 097  * Page fault exception handling
                                                   >> 098  */
                                                   >> 099 
                                                   >> 100 
                                                   >> 101 /* Page fault exception handler with demand paging for the kernel */
                                                   >> 102 static void pgflt_ex(int intid, struct sos_cpu_state *ctxt)
072 {                                                 103 {
073   sos_bochs_printf("Got page fault\n");        !! 104   static sos_ui32_t demand_paging_count = 0;
074   sos_x86_videomem_printf(10, 30,              !! 105   struct sos_thread * cur_thr = sos_thread_get_current();
075                           SOS_X86_VIDEO_FG_LTR !! 106   sos_vaddr_t faulting_vaddr  = sos_cpu_context_get_EX_faulting_vaddr(ctxt);
076                           "Got EXPECTED (?) Pa !! 107   sos_paddr_t ppage_paddr;
077   for (;;) ;                                   !! 108 
                                                   >> 109   if (sos_cpu_context_is_in_user_mode(ctxt)
                                                   >> 110       || (cur_thr->fixup_uaccess.return_vaddr))
                                                   >> 111     {
                                                   >> 112       __label__ unforce_address_space;
                                                   >> 113       sos_bool_t need_to_setup_mmu;
                                                   >> 114       sos_ui32_t errcode = sos_cpu_context_get_EX_info(ctxt);
                                                   >> 115 
                                                   >> 116       /* Make sure to always stay in the interrupted thread's MMU
                                                   >> 117          configuration */
                                                   >> 118       need_to_setup_mmu = (cur_thr->squatted_mm_context
                                                   >> 119                            != sos_process_get_mm_context(cur_thr->process));
                                                   >> 120       if (need_to_setup_mmu)
                                                   >> 121         sos_thread_prepare_user_space_access(NULL, 0);
                                                   >> 122 
                                                   >> 123       if (SOS_OK ==
                                                   >> 124           sos_umem_vmm_try_resolve_page_fault(faulting_vaddr,
                                                   >> 125                                               errcode & (1 << 1),
                                                   >> 126                                               TRUE))
                                                   >> 127         goto unforce_address_space;
                                                   >> 128 
                                                   >> 129       /* If the page fault occured in kernel mode, return to kernel to
                                                   >> 130          the fixup address */
                                                   >> 131       if (! sos_cpu_context_is_in_user_mode(ctxt))
                                                   >> 132         {
                                                   >> 133           cur_thr->fixup_uaccess.faulted_uaddr = faulting_vaddr;
                                                   >> 134           sos_cpu_context_set_EX_return_address(ctxt,
                                                   >> 135                                                 cur_thr->fixup_uaccess.return_vaddr);
                                                   >> 136           goto unforce_address_space;
                                                   >> 137         }
                                                   >> 138 
                                                   >> 139       if (need_to_setup_mmu)
                                                   >> 140         sos_thread_end_user_space_access();
                                                   >> 141 
                                                   >> 142       sos_bochs_printf("\e[35mTHR %p: Unresolved USER page Fault at instruction 0x%x on access to address 0x%x (info=%x)!\e[m\n",
                                                   >> 143                        (void*)sos_thread_get_current(),
                                                   >> 144                        sos_cpu_context_get_PC(ctxt),
                                                   >> 145                        (unsigned)faulting_vaddr,
                                                   >> 146                        (unsigned)sos_cpu_context_get_EX_info(ctxt));
                                                   >> 147       sos_bochs_printf("Terminating User thread\n");
                                                   >> 148       sos_thread_exit();
                                                   >> 149 
                                                   >> 150     unforce_address_space:
                                                   >> 151       if (need_to_setup_mmu)
                                                   >> 152         sos_thread_end_user_space_access();
                                                   >> 153       return;
                                                   >> 154     }
                                                   >> 155 
                                                   >> 156   /* Check if address is covered by any VMM range */
                                                   >> 157   if (! sos_kmem_vmm_is_valid_vaddr(faulting_vaddr))
                                                   >> 158     {
                                                   >> 159       /* No: The page fault is out of any kernel virtual region. For
                                                   >> 160          the moment, we don't handle this. */
                                                   >> 161       sos_display_fatal_error("Unresolved page Fault at instruction 0x%x on access to address 0x%x (info=%x)!",
                                                   >> 162                               sos_cpu_context_get_PC(ctxt),
                                                   >> 163                               (unsigned)faulting_vaddr,
                                                   >> 164                               (unsigned)sos_cpu_context_get_EX_info(ctxt));
                                                   >> 165       SOS_ASSERT_FATAL(! "Got page fault (note: demand paging is disabled)");
                                                   >> 166     }
                                                   >> 167 
                                                   >> 168 
                                                   >> 169   /*
                                                   >> 170    * Demand paging in kernel space
                                                   >> 171    */
                                                   >> 172  
                                                   >> 173   /* Update the number of demand paging requests handled */
                                                   >> 174   demand_paging_count ++;
                                                   >> 175   display_bits(0, 0,
                                                   >> 176                SOS_X86_VIDEO_FG_LTRED | SOS_X86_VIDEO_BG_BLUE,
                                                   >> 177                demand_paging_count);
                                                   >> 178 
                                                   >> 179   /* Allocate a new page for the virtual address */
                                                   >> 180   ppage_paddr = sos_physmem_ref_physpage_new(FALSE);
                                                   >> 181   if (! ppage_paddr)
                                                   >> 182     SOS_ASSERT_FATAL(! "TODO: implement swap. (Out of mem in demand paging because no swap for kernel yet !)");
                                                   >> 183   SOS_ASSERT_FATAL(SOS_OK == sos_paging_map(ppage_paddr,
                                                   >> 184                                             SOS_PAGE_ALIGN_INF(faulting_vaddr),
                                                   >> 185                                             FALSE,
                                                   >> 186                                             SOS_VM_MAP_PROT_READ
                                                   >> 187                                             | SOS_VM_MAP_PROT_WRITE
                                                   >> 188                                             | SOS_VM_MAP_ATOMIC));
                                                   >> 189   sos_physmem_unref_physpage(ppage_paddr);
                                                   >> 190 
                                                   >> 191   /* Ok, we can now return to interrupted context */
078 }                                                 192 }
079                                                   193 
080 static void test_paging(sos_vaddr_t sos_kernel !! 194 
                                                   >> 195 
                                                   >> 196 /* ======================================================================
                                                   >> 197  * An operating system MUST always have a ready thread ! Otherwise:
                                                   >> 198  * what would the CPU have to execute ?!
                                                   >> 199  */
                                                   >> 200 static void idle_thread(void* unused) __attribute__((noreturn));
                                                   >> 201 static void idle_thread(void* unused)
081 {                                                 202 {
082   /* The (linear) address of the page holding  !! 203   sos_ui32_t idle_twiddle = 0;
083      currently executing */                    << 
084   sos_vaddr_t vpage_code = SOS_PAGE_ALIGN_INF( << 
085                                                   204 
086   /* The new physical page that will hold the  !! 205   while (1)
087   sos_paddr_t ppage_new;                       !! 206     {
                                                   >> 207       /* Remove this instruction if you get an "Invalid opcode" CPU
                                                   >> 208          exception (old 80386 CPU) */
                                                   >> 209       asm("hlt\n");
                                                   >> 210 
                                                   >> 211       idle_twiddle ++;
                                                   >> 212       display_bits(0, 0, SOS_X86_VIDEO_FG_GREEN | SOS_X86_VIDEO_BG_BLUE,
                                                   >> 213                    idle_twiddle);
                                                   >> 214       
                                                   >> 215       /* Lend the CPU to some other thread */
                                                   >> 216       sos_thread_yield();
                                                   >> 217     }
                                                   >> 218 }
088                                                   219 
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                                                   220 
093   unsigned i;                                  !! 221 /* ======================================================================
                                                   >> 222  * Kernel thread showing some CPU usage statistics on the console every 1s
                                                   >> 223  */
                                                   >> 224 #define LOAD_DISPLAY_BASELINE  4
                                                   >> 225 #define LOAD_DISPLAY_STARTROW 34
                                                   >> 226 static void stat_thread(void * unused) __attribute__((noreturn));
                                                   >> 227 static void stat_thread(void * unused)
                                                   >> 228 {
                                                   >> 229   while (1)
                                                   >> 230     {
                                                   >> 231       sos_ui32_t flags;
                                                   >> 232       sos_ui32_t load1, load5, load15;
                                                   >> 233       char str1[11], str5[11], str15[11];
                                                   >> 234       struct sos_time t;
                                                   >> 235       t.sec = 1;
                                                   >> 236       t.nanosec = 0;
                                                   >> 237 
                                                   >> 238       sos_thread_sleep(& t);
                                                   >> 239 
                                                   >> 240       sos_disable_IRQs(flags);
                                                   >> 241 
                                                   >> 242       /* The IDLE task is EXcluded in the following computation */
                                                   >> 243       sos_load_get_sload(&load1, &load5, &load15);
                                                   >> 244       sos_load_to_string(str1, load1);
                                                   >> 245       sos_load_to_string(str5, load5);
                                                   >> 246       sos_load_to_string(str15, load15);
                                                   >> 247       sos_x86_videomem_printf(LOAD_DISPLAY_BASELINE+0, LOAD_DISPLAY_STARTROW,
                                                   >> 248                               SOS_X86_VIDEO_FG_YELLOW | SOS_X86_VIDEO_BG_BLUE,
                                                   >> 249                               "Kernel (- Idle): %s %s %s    ",
                                                   >> 250                               str1, str5, str15);
                                                   >> 251 
                                                   >> 252       sos_load_get_uload(&load1, &load5, &load15);
                                                   >> 253       sos_load_to_string(str1, load1);
                                                   >> 254       sos_load_to_string(str5, load5);
                                                   >> 255       sos_load_to_string(str15, load15);
                                                   >> 256       sos_x86_videomem_printf(LOAD_DISPLAY_BASELINE+1, LOAD_DISPLAY_STARTROW,
                                                   >> 257                               SOS_X86_VIDEO_FG_YELLOW | SOS_X86_VIDEO_BG_BLUE,
                                                   >> 258                               "User: %s %s %s        ",
                                                   >> 259                               str1, str5, str15);
                                                   >> 260 
                                                   >> 261       sos_load_get_uratio(&load1, &load5, &load15);
                                                   >> 262       sos_load_to_string(str1, load1);
                                                   >> 263       sos_load_to_string(str5, load5);
                                                   >> 264       sos_load_to_string(str15, load15);
                                                   >> 265       sos_x86_videomem_printf(LOAD_DISPLAY_BASELINE+2, LOAD_DISPLAY_STARTROW,
                                                   >> 266                               SOS_X86_VIDEO_FG_YELLOW | SOS_X86_VIDEO_BG_BLUE,
                                                   >> 267                               "User CPU %%: %s %s %s        ",
                                                   >> 268                               str1, str5, str15);
                                                   >> 269 
                                                   >> 270       /* The IDLE task is INcluded in the following computation */
                                                   >> 271       sos_load_get_sratio(&load1, &load5, &load15);
                                                   >> 272       sos_load_to_string(str1, load1);
                                                   >> 273       sos_load_to_string(str5, load5);
                                                   >> 274       sos_load_to_string(str15, load15);
                                                   >> 275       sos_x86_videomem_printf(LOAD_DISPLAY_BASELINE+3, LOAD_DISPLAY_STARTROW,
                                                   >> 276                               SOS_X86_VIDEO_FG_YELLOW | SOS_X86_VIDEO_BG_BLUE,
                                                   >> 277                               "Kernel CPU %% (+ Idle): %s %s %s    ",
                                                   >> 278                               str1, str5, str15);
                                                   >> 279       sos_restore_IRQs(flags);
                                                   >> 280     }
                                                   >> 281 }
                                                   >> 282 
                                                   >> 283 
                                                   >> 284 /* ======================================================================
                                                   >> 285  * Start the "init" (userland) process
                                                   >> 286  */
                                                   >> 287 static sos_ret_t
                                                   >> 288 start_init(struct sos_fs_manager_instance * rootfs)
                                                   >> 289 {
                                                   >> 290   sos_ret_t retval;
                                                   >> 291   struct sos_umem_vmm_as *as_init;
                                                   >> 292   struct sos_process *proc_init;
                                                   >> 293   struct sos_thread *new_thr;
                                                   >> 294   sos_uaddr_t ustack, start_uaddr;
                                                   >> 295   struct sos_fs_opened_file * init_root, * init_cwd, * unused_of;
                                                   >> 296 
                                                   >> 297   /* Create the new process */
                                                   >> 298   proc_init = sos_process_create("init", FALSE);
                                                   >> 299   if (! proc_init)
                                                   >> 300     return -SOS_ENOMEM;
                                                   >> 301   as_init = sos_process_get_address_space(proc_init);
094                                                   302 
095   /* Bind the page fault exception to one of o << 
096   sos_exception_set_routine(SOS_EXCEPT_PAGE_FA << 
097                             pgflt_ex);         << 
098                                                   303 
099   /*                                              304   /*
100    * Test 1: move the page where we execute th !! 305    * Setup the root and CWD directories of the process. The root of
101    * physical memory                           !! 306    * this process will correspond to the "global" root of the whole
                                                   >> 307    * system since all the future processes will duplicate it !
102    */                                             308    */
103   sos_x86_videomem_printf(4, 0,                !! 309   retval = sos_fs_new_opened_file(proc_init, rootfs->root,
104                           SOS_X86_VIDEO_FG_LTG !! 310                                   SOS_FS_OPEN_READ | SOS_FS_OPEN_WRITE,
105                           "Moving current code !! 311                                   & init_root);
                                                   >> 312   if (SOS_OK != retval)
                                                   >> 313     {
                                                   >> 314       sos_process_unref(proc_init);
                                                   >> 315       return -SOS_ENOENT;
                                                   >> 316     }
106                                                   317 
                                                   >> 318   /* Duplicate the root file to set the current working directory of
                                                   >> 319      the init process */
                                                   >> 320   retval = sos_fs_duplicate_opened_file(init_root, proc_init,
                                                   >> 321                                         & init_cwd);
                                                   >> 322   if (SOS_OK != retval)
                                                   >> 323     {
                                                   >> 324       sos_fs_close(init_root);
                                                   >> 325       sos_process_unref(proc_init);
                                                   >> 326       return -SOS_ENOENT;
                                                   >> 327     }
107                                                   328 
108   /* Allocate a new physical page */           !! 329   /* Now update the process ! */
109   ppage_new = sos_physmem_ref_physpage_new(FAL !! 330   if ( ( SOS_OK != sos_process_chroot(proc_init, init_root, & unused_of) )
110   if (! ppage_new)                             !! 331        || ( SOS_OK != sos_process_chdir(proc_init, init_cwd, & unused_of) ) )
111     {                                             332     {
112       /* STOP ! No memory left */              !! 333       sos_fs_close(init_root);
113       sos_x86_videomem_putstring(20, 0,        !! 334       sos_fs_close(init_cwd);
114                                  SOS_X86_VIDEO !! 335       sos_process_chroot(proc_init, NULL, & unused_of);
115                                    | SOS_X86_V !! 336       sos_process_chdir(proc_init, NULL, & unused_of);
116                                  "test_paging  !! 337       sos_process_unref(proc_init);
117       return;                                  !! 338       return -SOS_ENOENT;
118     }                                             339     }
119                                                   340 
120   sos_x86_videomem_printf(5, 0,                !! 341 
121                           SOS_X86_VIDEO_FG_YEL !! 342 
122                           "Hello from the addr !! 343   /* Map the 'init' program in user space */
123                           sos_paging_get_paddr !! 344   start_uaddr = sos_binfmt_elf32_map(as_init, "init");
124                                                !! 345   if (0 == start_uaddr)
125   sos_x86_videomem_printf(6, 0,                !! 346     {
126                           SOS_X86_VIDEO_FG_YEL !! 347       sos_process_unref(proc_init);
127                           "Transfer vpage 0x%x !! 348       return -SOS_ENOENT;
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                                                << 
176   /*                                           << 
177    * Test 2: make sure the #PF handler works   << 
178    */                                          << 
179                                                << 
180   /* Scan part of the kernel up to a page faul << 
181      should occur on the first page unmapped a << 
182      which is exactly the page we temporarily  << 
183      (vpage_tmp) above to move the kernel code << 
184   for (i = vpage_code ; /* none */ ; i += SOS_ << 
185     {                                          << 
186       unsigned *pint = (unsigned *)SOS_PAGE_AL << 
187       sos_bochs_printf("Test vaddr 0x%x : val= << 
188       sos_x86_videomem_printf(10, 0,           << 
189                               SOS_X86_VIDEO_FG << 
190                               "Test vaddr 0x%x << 
191                               (unsigned)pint); << 
192       sos_bochs_printf("0x%x\n", *pint);       << 
193       sos_x86_videomem_printf(10, 30,          << 
194                               SOS_X86_VIDEO_FG << 
195                               "0x%x          " << 
196     }                                             349     }
197                                                   350 
198   /* BAD ! Did not get the page fault... */    !! 351   /* Allocate the user stack */
199   sos_x86_videomem_printf(20, 0,               !! 352   ustack = (SOS_PAGING_TOP_USER_ADDRESS - SOS_DEFAULT_USER_STACK_SIZE) + 1;
200                           SOS_X86_VIDEO_FG_LTR !! 353   retval = sos_dev_zero_map(as_init, &ustack, SOS_DEFAULT_USER_STACK_SIZE,
201                           "We should have had  !! 354                             SOS_VM_MAP_PROT_READ | SOS_VM_MAP_PROT_WRITE,
202                           vpage_tmp);          !! 355                             /* PRIVATE */ 0);
                                                   >> 356   if (SOS_OK != retval)
                                                   >> 357     {
                                                   >> 358       sos_process_unref(proc_init);
                                                   >> 359       return -SOS_ENOMEM;
                                                   >> 360     }
                                                   >> 361 
                                                   >> 362   /* Now create the user thread */
                                                   >> 363   new_thr = sos_create_user_thread(NULL,
                                                   >> 364                                    proc_init,
                                                   >> 365                                    start_uaddr,
                                                   >> 366                                    0, 0,
                                                   >> 367                                    ustack + SOS_DEFAULT_USER_STACK_SIZE - 4,
                                                   >> 368                                    SOS_SCHED_PRIO_TS_LOWEST);
                                                   >> 369   if (! new_thr)
                                                   >> 370     {
                                                   >> 371       sos_process_unref(proc_init);
                                                   >> 372       return -SOS_ENOMEM;
                                                   >> 373     }
                                                   >> 374 
                                                   >> 375   sos_process_unref(proc_init);
                                                   >> 376   return SOS_OK;
203 }                                                 377 }
204                                                   378 
205 /* The C entry point of our operating system * !! 379 
206 void sos_main(unsigned long magic, unsigned lo !! 380 
                                                   >> 381 /* ======================================================================
                                                   >> 382  * The C entry point of our operating system
                                                   >> 383  */
                                                   >> 384 void sos_main(unsigned long magic, unsigned long arg)
                                                   >> 385      __attribute__((noreturn));
                                                   >> 386 void sos_main(unsigned long magic, unsigned long arg)
207 {                                                 387 {
208   unsigned i;                                  << 
209   sos_paddr_t sos_kernel_core_base_paddr, sos_    388   sos_paddr_t sos_kernel_core_base_paddr, sos_kernel_core_top_paddr;
                                                   >> 389   struct sos_time tick_resolution;
                                                   >> 390   struct sos_fs_manager_instance * rootfs;
210                                                   391 
211   /* Grub sends us a structure, called multibo !! 392   /* Size of RAM above 1MB. Might be undefined ! */
212      precious informations about the system, s !! 393   unsigned long int upper_mem = 0;
213      documentation for more information. */    << 
214   multiboot_info_t *mbi;                       << 
215   mbi = (multiboot_info_t *) addr;             << 
216                                                   394 
217   /* Setup bochs and console, and clear the co    395   /* Setup bochs and console, and clear the console */
218   sos_bochs_setup();                           !! 396   sos_bochs_subsystem_setup();
219                                                   397 
220   sos_x86_videomem_setup();                       398   sos_x86_videomem_setup();
221   sos_x86_videomem_cls(SOS_X86_VIDEO_BG_BLUE);    399   sos_x86_videomem_cls(SOS_X86_VIDEO_BG_BLUE);
222                                                   400 
223   /* Greetings from SOS */                        401   /* Greetings from SOS */
224   if (magic == MULTIBOOT_BOOTLOADER_MAGIC)        402   if (magic == MULTIBOOT_BOOTLOADER_MAGIC)
225     /* Loaded with Grub */                     !! 403     {
226     sos_x86_videomem_printf(1, 0,              !! 404       /* Grub sends us a structure, called multiboot_info_t with a lot of
227                             SOS_X86_VIDEO_FG_Y !! 405          precious informations about the system, see the multiboot
228                             "Welcome From GRUB !! 406          documentation for more information. */
229                             "SOS", ',',        !! 407       multiboot_info_t *mbi = (multiboot_info_t *) arg;
230                             (unsigned)(mbi->me !! 408 
231                             (unsigned)mbi->mem !! 409       /* Multiboot says: "The value returned for upper memory is
                                                   >> 410          maximally the address of the first upper memory hole minus 1
                                                   >> 411          megabyte.". It also adds: "It is not guaranteed to be this
                                                   >> 412          value." aka "YMMV" ;) */
                                                   >> 413       upper_mem = mbi->mem_upper;
                                                   >> 414       sos_x86_videomem_printf(1, 0,
                                                   >> 415                               SOS_X86_VIDEO_FG_YELLOW | SOS_X86_VIDEO_BG_BLUE,
                                                   >> 416                               "Welcome From GRUB to %s%c RAM is %dMB (upper mem = 0x%x kB)",
                                                   >> 417                               "SOS article 9.5", ',',
                                                   >> 418                               (unsigned)(upper_mem >> 10) + 1,
                                                   >> 419                               (unsigned)upper_mem);
                                                   >> 420     }
                                                   >> 421   else if (magic == 0x42244224)
                                                   >> 422     {
                                                   >> 423       /* Loaded with SOS bootsect */
                                                   >> 424       upper_mem = arg;
                                                   >> 425       sos_x86_videomem_printf(1, 0,
                                                   >> 426                               SOS_X86_VIDEO_FG_YELLOW | SOS_X86_VIDEO_BG_BLUE,
                                                   >> 427                               "Welcome to %s%c RAM is %dMB (upper mem = 0x%x kB)",
                                                   >> 428                               "SOS article 9.5", ',',
                                                   >> 429                               (unsigned)(upper_mem >> 10) + 1,
                                                   >> 430                               (unsigned)upper_mem);
                                                   >> 431     }
232   else                                            432   else
233     /* Not loaded with grub */                 !! 433     /* Not loaded with grub, not from an enhanced bootsect */
234     sos_x86_videomem_printf(1, 0,                 434     sos_x86_videomem_printf(1, 0,
235                             SOS_X86_VIDEO_FG_Y    435                             SOS_X86_VIDEO_FG_YELLOW | SOS_X86_VIDEO_BG_BLUE,
236                             "Welcome to SOS"); !! 436                             "Welcome to SOS article 9.5");
237                                                   437 
238   sos_bochs_putstring("Message in a bochs\n"); !! 438   sos_bochs_putstring("Message in a bochs: This is SOS article 9.5.\n");
239                                                   439 
240   /* Setup CPU segmentation and IRQ subsystem     440   /* Setup CPU segmentation and IRQ subsystem */
241   sos_gdt_setup();                             !! 441   sos_gdt_subsystem_setup();
242   sos_idt_setup();                             !! 442   sos_idt_subsystem_setup();
243                                                   443 
244   /* Setup SOS IRQs and exceptions subsystem *    444   /* Setup SOS IRQs and exceptions subsystem */
245   sos_exceptions_setup();                      !! 445   sos_exception_subsystem_setup();
246   sos_irq_setup();                             !! 446   sos_irq_subsystem_setup();
247                                                   447 
248   /* Configure the timer so as to raise the IR    448   /* Configure the timer so as to raise the IRQ0 at a 100Hz rate */
249   sos_i8254_set_frequency(100);                   449   sos_i8254_set_frequency(100);
250                                                   450 
                                                   >> 451   /* Setup the kernel time subsystem to get prepared to take the timer
                                                   >> 452      ticks into account */
                                                   >> 453   tick_resolution = (struct sos_time) { .sec=0, .nanosec=10000000UL };
                                                   >> 454   sos_time_subsysem_setup(& tick_resolution);
251                                                   455 
252   /* We need a multiboot-compliant boot loader !! 456   /* We need to know the RAM size */
253   if (magic != MULTIBOOT_BOOTLOADER_MAGIC)     !! 457   if (upper_mem == 0)
254     {                                             458     {
255       sos_x86_videomem_putstring(20, 0,           459       sos_x86_videomem_putstring(20, 0,
256                                  SOS_X86_VIDEO    460                                  SOS_X86_VIDEO_FG_LTRED
257                                    | SOS_X86_V    461                                    | SOS_X86_VIDEO_BG_BLUE
258                                    | SOS_X86_V    462                                    | SOS_X86_VIDEO_FG_BLINKING,
259                                  "I'm not load !! 463                                  "I don't know RAM size ! Load me with Grub...");
260       /* STOP ! */                                464       /* STOP ! */
261       for (;;)                                    465       for (;;)
262         continue;                                 466         continue;
263     }                                             467     }
264                                                   468 
                                                   >> 469   /*
                                                   >> 470    * Some interrupt handlers
                                                   >> 471    */
                                                   >> 472 
265   /* Binding some HW interrupts and exceptions    473   /* Binding some HW interrupts and exceptions to software routines */
266   sos_irq_set_routine(SOS_IRQ_TIMER,              474   sos_irq_set_routine(SOS_IRQ_TIMER,
267                             clk_it);           !! 475                       clk_it);
268   /* Enabling the HW interrupts here, this wil !! 476 
269      interrupt call our clk_it handler */      !! 477   /*
270   asm volatile ("sti\n");                      !! 478    * Setup physical memory management
271   /* Multiboot says: "The value returned for u !! 479    */
272      the address of the first upper memory hol !! 480 
273      also adds: "It is not guaranteed to be th !! 481   SOS_ASSERT_FATAL(SOS_OK
274   sos_physmem_setup((mbi->mem_upper<<10) + (1< !! 482                    == sos_physmem_subsystem_setup((upper_mem<<10) + (1<<20),
275                     & sos_kernel_core_base_pad !! 483                                                   &sos_kernel_core_base_paddr,
276                     & sos_kernel_core_top_padd !! 484                                                   &sos_kernel_core_top_paddr));
277                                                   485   
278   /*                                              486   /*
279    * Switch to paged-memory mode                  487    * Switch to paged-memory mode
280    */                                             488    */
281                                                   489 
282   /* Disabling interrupts should seem more cor    490   /* Disabling interrupts should seem more correct, but it's not really
283      necessary at this stage */                   491      necessary at this stage */
284   if (sos_paging_setup(sos_kernel_core_base_pa !! 492   SOS_ASSERT_FATAL(SOS_OK ==
285                        sos_kernel_core_top_pad !! 493                    sos_paging_subsystem_setup(sos_kernel_core_base_paddr,
286     sos_bochs_printf("Could not setup paged me !! 494                                               sos_kernel_core_top_paddr));
287   sos_x86_videomem_printf(2, 0,                !! 495   
288                           SOS_X86_VIDEO_FG_YEL !! 496   /* Bind the page fault exception */
289                           "Paged-memory mode i !! 497   sos_exception_set_routine(SOS_EXCEPT_PAGE_FAULT,
290                                                !! 498                             pgflt_ex);
291   test_paging(sos_kernel_core_top_paddr);      !! 499 
292                                                !! 500   /*
293   /* An operatig system never ends */          !! 501    * Setup kernel virtual memory allocator
294   for (;;)                                     !! 502    */
295     continue;                                  !! 503 
                                                   >> 504   if (sos_kmem_vmm_subsystem_setup(sos_kernel_core_base_paddr,
                                                   >> 505                                    sos_kernel_core_top_paddr,
                                                   >> 506                                    bootstrap_stack_bottom,
                                                   >> 507                                    bootstrap_stack_bottom
                                                   >> 508                                    + bootstrap_stack_size))
                                                   >> 509     sos_bochs_printf("Could not setup the Kernel virtual space allocator\n");
                                                   >> 510 
                                                   >> 511   if (sos_kmalloc_subsystem_setup())
                                                   >> 512     sos_bochs_printf("Could not setup the Kmalloc subsystem\n");
                                                   >> 513 
                                                   >> 514   /*
                                                   >> 515    * Initialize the MMU context subsystem
                                                   >> 516    */
                                                   >> 517   sos_mm_context_subsystem_setup();
                                                   >> 518 
                                                   >> 519   /*
                                                   >> 520    * Initialize the CPU context subsystem
                                                   >> 521    */
                                                   >> 522   sos_cpu_context_subsystem_setup();
296                                                   523 
297   return;                                      !! 524   /*
                                                   >> 525    * Bind the syscall handler to its software interrupt handler
                                                   >> 526    */
                                                   >> 527   sos_swintr_subsystem_setup();
                                                   >> 528 
                                                   >> 529 
                                                   >> 530   /*
                                                   >> 531    * Initialize the Kernel thread and scheduler subsystems
                                                   >> 532    */
                                                   >> 533   
                                                   >> 534   /* Initialize kernel thread subsystem */
                                                   >> 535   sos_thread_subsystem_setup(bootstrap_stack_bottom,
                                                   >> 536                              bootstrap_stack_size);
                                                   >> 537 
                                                   >> 538   /* Initialize the scheduler */
                                                   >> 539   sos_sched_subsystem_setup();
                                                   >> 540 
                                                   >> 541   /* Declare the IDLE thread */
                                                   >> 542   SOS_ASSERT_FATAL(sos_create_kernel_thread("idle", idle_thread, NULL,
                                                   >> 543                                             SOS_SCHED_PRIO_TS_LOWEST) != NULL);
                                                   >> 544 
                                                   >> 545   /* Prepare the stats subsystem */
                                                   >> 546   sos_load_subsystem_setup();
                                                   >> 547 
                                                   >> 548   /* Declare a thread that prints some stats */
                                                   >> 549   SOS_ASSERT_FATAL(sos_create_kernel_thread("stat_thread", stat_thread,
                                                   >> 550                                             NULL,
                                                   >> 551                                             SOS_SCHED_PRIO_TS_LOWEST) != NULL);
                                                   >> 552 
                                                   >> 553 
                                                   >> 554   /*
                                                   >> 555    * Initialise user address space management subsystem
                                                   >> 556    */
                                                   >> 557   sos_umem_vmm_subsystem_setup();
                                                   >> 558   sos_dev_zero_subsystem_setup();
                                                   >> 559   
                                                   >> 560   /* Initialize the page and block cache subsystems */
                                                   >> 561   sos_fs_pagecache_subsystem_setup();
                                                   >> 562   sos_blockdev_subsystem_setup();
                                                   >> 563   sos_dev_mem_chardev_setup();
                                                   >> 564 
                                                   >> 565   /*
                                                   >> 566    * Initialize process stuff
                                                   >> 567    */
                                                   >> 568   sos_process_subsystem_setup();
                                                   >> 569 
                                                   >> 570 
                                                   >> 571   /* Enabling the HW interrupts here, this will make the timer HW
                                                   >> 572      interrupt call the scheduler */
                                                   >> 573   asm volatile ("sti\n");
                                                   >> 574 
                                                   >> 575 
                                                   >> 576   SOS_ASSERT_FATAL(SOS_OK == sos_fs_virtfs_subsystem_setup());
                                                   >> 577   SOS_ASSERT_FATAL(SOS_OK == sos_fs_subsystem_setup(NULL,
                                                   >> 578                                                     "virtfs",
                                                   >> 579                                                     NULL,
                                                   >> 580                                                     & rootfs));
                                                   >> 581 
                                                   >> 582 
                                                   >> 583   tty_subsystem_setup();
                                                   >> 584   sos_ttyS0_subsystem_setup();
                                                   >> 585   sos_console_subsystem_setup();
                                                   >> 586 
                                                   >> 587 
                                                   >> 588   sos_ide_subsystem_setup();
                                                   >> 589 
                                                   >> 590 
                                                   >> 591 
                                                   >> 592   /* Start the 'init' process, which in turns launches the other
                                                   >> 593      programs */
                                                   >> 594   start_init(rootfs);
                                                   >> 595   /*
                                                   >> 596    * We can safely exit from this function now, for there is already
                                                   >> 597    * an idle Kernel thread ready to make the CPU busy working...
                                                   >> 598    *
                                                   >> 599    * However, we must EXPLICITELY call sos_thread_exit() because a
                                                   >> 600    * simple "return" will return nowhere ! Actually this first thread
                                                   >> 601    * was initialized by the Grub bootstrap stage, at a time when the
                                                   >> 602    * word "thread" did not exist. This means that the stack was not
                                                   >> 603    * setup in order for a return here to call sos_thread_exit()
                                                   >> 604    * automagically. Hence we must call it manually. This is the ONLY
                                                   >> 605    * kernel thread where we must do this manually.
                                                   >> 606    */
                                                   >> 607   sos_bochs_printf("Bye from primary thread !\n");
                                                   >> 608   sos_thread_exit();
                                                   >> 609   SOS_FATAL_ERROR("No trespassing !");
298 }                                                 610 }
                                                      

source navigation ] diff markup ] identifier search ] general search ]