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 7) and /sos/main.c (Article 4)


001 /* Copyright (C) 2004  The SOS Team               001 /* Copyright (C) 2004  The SOS Team
                                                   >> 002    Copyright (C) 1999  Free Software Foundation, Inc.
002                                                   003 
003    This program is free software; you can redi    004    This program is free software; you can redistribute it and/or
004    modify it under the terms of the GNU Genera    005    modify it under the terms of the GNU General Public License
005    as published by the Free Software Foundatio    006    as published by the Free Software Foundation; either version 2
006    of the License, or (at your option) any lat    007    of the License, or (at your option) any later version.
007                                                   008    
008    This program is distributed in the hope tha    009    This program is distributed in the hope that it will be useful,
009    but WITHOUT ANY WARRANTY; without even the     010    but WITHOUT ANY WARRANTY; without even the implied warranty of
010    MERCHANTABILITY or FITNESS FOR A PARTICULAR    011    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
011    GNU General Public License for more details    012    GNU General Public License for more details.
012                                                   013    
013    You should have received a copy of the GNU     014    You should have received a copy of the GNU General Public License
014    along with this program; if not, write to t    015    along with this program; if not, write to the Free Software
015    Foundation, Inc., 59 Temple Place - Suite 3    016    Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307,
016    USA.                                           017    USA. 
017 */                                                018 */
018                                                   019 
019 /* Include definitions of the multiboot standa    020 /* Include definitions of the multiboot standard */
020 #include <bootstrap/multiboot.h>                  021 #include <bootstrap/multiboot.h>
021 #include <hwcore/idt.h>                           022 #include <hwcore/idt.h>
022 #include <hwcore/gdt.h>                           023 #include <hwcore/gdt.h>
023 #include <hwcore/irq.h>                           024 #include <hwcore/irq.h>
024 #include <hwcore/exception.h>                     025 #include <hwcore/exception.h>
025 #include <hwcore/i8254.h>                         026 #include <hwcore/i8254.h>
026 #include <sos/list.h>                             027 #include <sos/list.h>
027 #include <sos/physmem.h>                          028 #include <sos/physmem.h>
028 #include <hwcore/paging.h>                        029 #include <hwcore/paging.h>
029 #include <hwcore/mm_context.h>                 !! 030 #include <sos/list.h>
030 #include <hwcore/swintr.h>                     << 
031 #include <sos/kmem_vmm.h>                      << 
032 #include <sos/kmalloc.h>                       << 
033 #include <sos/time.h>                          << 
034 #include <sos/thread.h>                        << 
035 #include <sos/process.h>                       << 
036 #include <sos/klibc.h>                            031 #include <sos/klibc.h>
037 #include <sos/assert.h>                           032 #include <sos/assert.h>
038 #include <drivers/x86_videomem.h>                 033 #include <drivers/x86_videomem.h>
039 #include <drivers/bochs.h>                        034 #include <drivers/bochs.h>
040 #include <sos/calcload.h>                      << 
041                                                   035 
042                                                   036 
043 /* Helper function to display each bits of a 3    037 /* Helper function to display each bits of a 32bits integer on the
044    screen as dark or light carrets */             038    screen as dark or light carrets */
045 void display_bits(unsigned char row, unsigned  !! 039 static void display_bits(unsigned char row, unsigned char col,
046                   unsigned char attribute,     !! 040                          unsigned char attribute,
047                   sos_ui32_t integer)          !! 041                          sos_ui32_t integer)
048 {                                                 042 {
049   int i;                                          043   int i;
050   /* Scan each bit of the integer, MSb first *    044   /* Scan each bit of the integer, MSb first */
051   for (i = 31 ; i >= 0 ; i--)                     045   for (i = 31 ; i >= 0 ; i--)
052     {                                             046     {
053       /* Test if bit i of 'integer' is set */     047       /* Test if bit i of 'integer' is set */
054       int bit_i = (integer & (1 << i));           048       int bit_i = (integer & (1 << i));
055       /* Ascii 219 => dark carret, Ascii 177 =    049       /* Ascii 219 => dark carret, Ascii 177 => light carret */
056       unsigned char ascii_code = bit_i?219:177    050       unsigned char ascii_code = bit_i?219:177;
057       sos_x86_videomem_putchar(row, col++,        051       sos_x86_videomem_putchar(row, col++,
058                                attribute,         052                                attribute,
059                                ascii_code);       053                                ascii_code);
060     }                                             054     }
061 }                                                 055 }
062                                                   056 
063                                                   057 
064 /* Clock IRQ handler */                           058 /* Clock IRQ handler */
065 static void clk_it(int intid)                     059 static void clk_it(int intid)
066 {                                                 060 {
067   static sos_ui32_t clock_count = 0;              061   static sos_ui32_t clock_count = 0;
068                                                   062 
069   display_bits(0, 48,                             063   display_bits(0, 48,
070                SOS_X86_VIDEO_FG_LTGREEN | SOS_    064                SOS_X86_VIDEO_FG_LTGREEN | SOS_X86_VIDEO_BG_BLUE,
071                clock_count);                      065                clock_count);
072   clock_count++;                                  066   clock_count++;
073                                                   067 
074   /* Execute the expired timeout actions (if a << 
075   sos_time_do_tick();                          << 
076                                                << 
077   /* Update scheduler statistics and status */ << 
078   sos_sched_do_timer_tick();                   << 
079 }                                                 068 }
080                                                   069 
081                                                !! 070 /* Page fault exception handler */
082 /* =========================================== !! 071 static void pgflt_ex(int exid)
083  * Page fault exception handling               << 
084  */                                            << 
085                                                << 
086                                                << 
087 /* Page fault exception handler with demand pa << 
088 static void pgflt_ex(int intid, struct sos_cpu << 
089 {                                              << 
090   static sos_ui32_t demand_paging_count = 0;   << 
091   sos_vaddr_t faulting_vaddr  = sos_cpu_contex << 
092   sos_paddr_t ppage_paddr;                     << 
093                                                << 
094   if (sos_cpu_context_is_in_user_mode(ctxt))   << 
095     {                                          << 
096       /* User-mode page faults are considered  << 
097          moment */                             << 
098       sos_bochs_printf("Unresolved USER page F << 
099                        sos_cpu_context_get_PC( << 
100                        (unsigned)faulting_vadd << 
101                        (unsigned)sos_cpu_conte << 
102       sos_bochs_printf("Terminating User threa << 
103       sos_thread_exit();                       << 
104     }                                          << 
105                                                << 
106   /* Check if address is covered by any VMM ra << 
107   if (! sos_kmem_vmm_is_valid_vaddr(faulting_v << 
108     {                                          << 
109       /* No: The page fault is out of any kern << 
110          the moment, we don't handle this. */  << 
111       sos_display_fatal_error("Unresolved page << 
112                               sos_cpu_context_ << 
113                               (unsigned)faulti << 
114                               (unsigned)sos_cp << 
115       SOS_ASSERT_FATAL(! "Got page fault (note << 
116     }                                          << 
117                                                << 
118                                                << 
119   /*                                           << 
120    * Demand paging in kernel space             << 
121    */                                          << 
122                                                << 
123   /* Update the number of demand paging reques << 
124   demand_paging_count ++;                      << 
125   display_bits(0, 0,                           << 
126                SOS_X86_VIDEO_FG_LTRED | SOS_X8 << 
127                demand_paging_count);           << 
128                                                << 
129   /* Allocate a new page for the virtual addre << 
130   ppage_paddr = sos_physmem_ref_physpage_new(F << 
131   if (! ppage_paddr)                           << 
132     SOS_ASSERT_FATAL(! "TODO: implement swap.  << 
133   SOS_ASSERT_FATAL(SOS_OK == sos_paging_map(pp << 
134                                             SO << 
135                                             FA << 
136                                             SO << 
137                                             |  << 
138                                             |  << 
139   sos_physmem_unref_physpage(ppage_paddr);     << 
140                                                << 
141   /* Ok, we can now return to interrupted cont << 
142 }                                              << 
143                                                << 
144                                                << 
145 /* =========================================== << 
146  * Demonstrate the use of SOS kernel threads   << 
147  *  - Kernel Threads are created with various  << 
148  *    state is printed on both the console and << 
149  *  - For tests regarding threads' synchroniza << 
150  */                                            << 
151                                                << 
152 struct thr_arg                                 << 
153 {                                              << 
154   char character;                              << 
155   int  color;                                  << 
156                                                << 
157   int col;                                     << 
158   int row;                                     << 
159 };                                             << 
160                                                << 
161                                                << 
162 static void demo_thread(void *arg)             << 
163 {                                                 072 {
164   struct thr_arg *thr_arg = (struct thr_arg*)a !! 073   sos_bochs_printf("Got page fault\n");
165   int progress = 0;                            !! 074   sos_x86_videomem_printf(10, 30,
166                                                !! 075                           SOS_X86_VIDEO_FG_LTRED | SOS_X86_VIDEO_BG_BLUE,
167   sos_bochs_printf("start %c", thr_arg->charac !! 076                           "Got EXPECTED (?) Page fault ! But where ???");
168   while (1)                                    !! 077   for (;;) ;
169     {                                          << 
170       progress ++;                             << 
171       display_bits(thr_arg->row, thr_arg->col+ << 
172                                                << 
173       sos_bochs_putchar(thr_arg->character);   << 
174                                                << 
175       /* Yield the CPU to another thread somet << 
176       if ((random() % 100) == 0)               << 
177         {                                      << 
178           sos_bochs_printf("yield(%c)\ << 
179           sos_x86_videomem_putchar(thr_arg->ro << 
180           SOS_ASSERT_FATAL(SOS_OK == sos_threa << 
181           sos_x86_videomem_putchar(thr_arg->ro << 
182         }                                      << 
183                                                << 
184       /* Go to sleep some other times... */    << 
185       else if ((random() % 200) == 0)          << 
186         {                                      << 
187           struct sos_time t = (struct sos_time << 
188           sos_bochs_printf("sleep1(%c) << 
189           sos_x86_videomem_putchar(thr_arg->ro << 
190           SOS_ASSERT_FATAL(SOS_OK == sos_threa << 
191           SOS_ASSERT_FATAL(sos_time_is_zero(&  << 
192           sos_x86_videomem_putchar(thr_arg->ro << 
193         }                                      << 
194                                                << 
195       /* Go to sleep for a longer time some ot << 
196       else if ((random() % 300) == 0)          << 
197         {                                      << 
198           struct sos_time t = (struct sos_time << 
199           sos_bochs_printf("sleep2(%c) << 
200           sos_x86_videomem_putchar(thr_arg->ro << 
201           SOS_ASSERT_FATAL(SOS_OK == sos_threa << 
202           SOS_ASSERT_FATAL(sos_time_is_zero(&  << 
203           sos_x86_videomem_putchar(thr_arg->ro << 
204         }                                      << 
205                                                << 
206       /* Infinite loop otherwise */            << 
207     }                                          << 
208 }                                                 078 }
209                                                   079 
210                                                !! 080 static void test_paging(sos_vaddr_t sos_kernel_core_top_vaddr)
211 static void test_thread()                      << 
212 {                                                 081 {
213   /* "static" variables because we want them t !! 082   /* The (linear) address of the page holding the code we are
214      function returns */                       !! 083      currently executing */
215   static struct thr_arg arg_b, arg_c, arg_d, a !! 084   sos_vaddr_t vpage_code = SOS_PAGE_ALIGN_INF(test_paging);
216   sos_ui32_t flags;                            !! 085 
217                                                !! 086   /* The new physical page that will hold the code */
218   sos_disable_IRQs(flags);                     !! 087   sos_paddr_t ppage_new;
219                                                !! 088 
220   arg_b = (struct thr_arg) { .character='b', . !! 089   /* Where this page will be mapped temporarily in order to copy the
221   sos_create_kernel_thread("YO[b]", demo_threa !! 090      code into it: right after the kernel code/data */
222                                                !! 091   sos_vaddr_t vpage_tmp = sos_kernel_core_top_vaddr;
223   arg_c = (struct thr_arg) { .character='c', . << 
224   sos_create_kernel_thread("YO[c]", demo_threa << 
225                                                << 
226   arg_d = (struct thr_arg) { .character='d', . << 
227   sos_create_kernel_thread("YO[d]", demo_threa << 
228                                                << 
229   arg_e = (struct thr_arg) { .character='e', . << 
230   sos_create_kernel_thread("YO[e]", demo_threa << 
231                                                << 
232   arg_R = (struct thr_arg) { .character='R', . << 
233   sos_create_kernel_thread("YO[R]", demo_threa << 
234                                                   092 
235   arg_S = (struct thr_arg) { .character='S', . !! 093   unsigned i;
236   sos_create_kernel_thread("YO[S]", demo_threa << 
237                                                   094 
238   sos_restore_IRQs(flags);                     !! 095   /* Bind the page fault exception to one of our routines */
239 }                                              !! 096   sos_exception_set_routine(SOS_EXCEPT_PAGE_FAULT,
                                                   >> 097                             pgflt_ex);
240                                                   098 
                                                   >> 099   /*
                                                   >> 100    * Test 1: move the page where we execute the code elsewhere in
                                                   >> 101    * physical memory
                                                   >> 102    */
                                                   >> 103   sos_x86_videomem_printf(4, 0,
                                                   >> 104                           SOS_X86_VIDEO_FG_LTGREEN | SOS_X86_VIDEO_BG_BLUE,
                                                   >> 105                           "Moving current code elsewhere in physical memory:");
241                                                   106 
242 /* =========================================== << 
243  * An operating system MUST always have a read << 
244  * what would the CPU have to execute ?!       << 
245  */                                            << 
246 static void idle_thread()                      << 
247 {                                              << 
248   sos_ui32_t idle_twiddle = 0;                 << 
249                                                   107 
250   while (1)                                    !! 108   /* Allocate a new physical page */
                                                   >> 109   ppage_new = sos_physmem_ref_physpage_new(FALSE);
                                                   >> 110   if (! ppage_new)
251     {                                             111     {
252       /* Remove this instruction if you get an !! 112       /* STOP ! No memory left */
253          exception (old 80386 CPU) */          !! 113       sos_x86_videomem_putstring(20, 0,
254       asm("hlt\n");                            !! 114                                  SOS_X86_VIDEO_FG_LTRED
255                                                !! 115                                    | SOS_X86_VIDEO_BG_BLUE,
256       idle_twiddle ++;                         !! 116                                  "test_paging : Cannot allocate page");
257       display_bits(0, 0, SOS_X86_VIDEO_FG_GREE !! 117       return;
258                    idle_twiddle);              << 
259                                                << 
260       /* Lend the CPU to some other thread */  << 
261       sos_thread_yield();                      << 
262     }                                             118     }
263 }                                              << 
264                                                << 
265                                                   119 
266 /* =========================================== !! 120   sos_x86_videomem_printf(5, 0,
267  * Kernel thread showing some CPU usage statis !! 121                           SOS_X86_VIDEO_FG_YELLOW | SOS_X86_VIDEO_BG_BLUE,
268  */                                            !! 122                           "Hello from the address 0x%x in physical memory",
269 static void stat_thread()                      !! 123                           sos_paging_get_paddr(vpage_code));
270 {                                              !! 124 
271   while (1)                                    !! 125   sos_x86_videomem_printf(6, 0,
                                                   >> 126                           SOS_X86_VIDEO_FG_YELLOW | SOS_X86_VIDEO_BG_BLUE,
                                                   >> 127                           "Transfer vpage 0x%x: ppage 0x%x -> 0x%x (tmp vpage 0x%x)",
                                                   >> 128                           vpage_code,
                                                   >> 129                           sos_paging_get_paddr(vpage_code),
                                                   >> 130                           ppage_new,
                                                   >> 131                           (unsigned)vpage_tmp);
                                                   >> 132 
                                                   >> 133   /* Map the page somewhere (right after the kernel mapping) in order
                                                   >> 134      to copy the code we are currently executing */
                                                   >> 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 mapping, we can release our
                                                   >> 142      reference to it */
                                                   >> 143   sos_physmem_unref_physpage(ppage_new);
                                                   >> 144 
                                                   >> 145   /* Copy the contents of the current page of code to this new page
                                                   >> 146      mapping */
                                                   >> 147   memcpy((void*)vpage_tmp,
                                                   >> 148          (void*)vpage_code,
                                                   >> 149          SOS_PAGE_SIZE);
                                                   >> 150 
                                                   >> 151   /* Transfer the mapping of the current page of code to this new 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 physcal page that holds the
                                                   >> 159      code we are executing ;). However, this new page is mapped at 2
                                                   >> 160      virtual addresses:
                                                   >> 161      - vpage_tmp
                                                   >> 162      - vpage_code
                                                   >> 163      We can safely unmap it from sos_kernel_core_top_vaddr, while
                                                   >> 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_YELLOW | SOS_X86_VIDEO_BG_BLUE,
                                                   >> 169                           "Hello from the address 0x%x in physical memory",
                                                   >> 170                           sos_paging_get_paddr(vpage_code));
                                                   >> 171 
                                                   >> 172   sos_x86_videomem_printf(9, 0,
                                                   >> 173                           SOS_X86_VIDEO_FG_LTGREEN | SOS_X86_VIDEO_BG_BLUE,
                                                   >> 174                           "Provoking a page fault:");
                                                   >> 175 
                                                   >> 176   /*
                                                   >> 177    * Test 2: make sure the #PF handler works
                                                   >> 178    */
                                                   >> 179 
                                                   >> 180   /* Scan part of the kernel up to a page fault. This page fault
                                                   >> 181      should occur on the first page unmapped after the kernel area,
                                                   >> 182      which is exactly the page we temporarily mapped/unmapped
                                                   >> 183      (vpage_tmp) above to move the kernel code we are executing */
                                                   >> 184   for (i = vpage_code ; /* none */ ; i += SOS_PAGE_SIZE)
272     {                                             185     {
273       sos_ui32_t flags;                        !! 186       unsigned *pint = (unsigned *)SOS_PAGE_ALIGN_INF(i);
274       sos_ui32_t load1, load5, load15;         !! 187       sos_bochs_printf("Test vaddr 0x%x : val=", (unsigned)pint);
275       char str1[11], str5[11], str15[11];      !! 188       sos_x86_videomem_printf(10, 0,
276       struct sos_time t;                       << 
277       t.sec = 1;                               << 
278       t.nanosec = 0;                           << 
279                                                << 
280       sos_thread_sleep(& t);                   << 
281                                                << 
282       sos_disable_IRQs(flags);                 << 
283                                                << 
284       /* The IDLE task is EXcluded in the foll << 
285       sos_load_get_sload(&load1, &load5, &load << 
286       sos_load_to_string(str1, load1);         << 
287       sos_load_to_string(str5, load5);         << 
288       sos_load_to_string(str15, load15);       << 
289       sos_x86_videomem_printf(16, 34,          << 
290                               SOS_X86_VIDEO_FG << 
291                               "Kernel (- Idle) << 
292                               str1, str5, str1 << 
293                                                << 
294       sos_load_get_uload(&load1, &load5, &load << 
295       sos_load_to_string(str1, load1);         << 
296       sos_load_to_string(str5, load5);         << 
297       sos_load_to_string(str15, load15);       << 
298       sos_x86_videomem_printf(17, 34,          << 
299                               SOS_X86_VIDEO_FG    189                               SOS_X86_VIDEO_FG_YELLOW | SOS_X86_VIDEO_BG_BLUE,
300                               "User: %s %s %s  !! 190                               "Test vaddr 0x%x : val=      ",
301                               str1, str5, str1 !! 191                               (unsigned)pint);
302                                                !! 192       sos_bochs_printf("0x%x\n", *pint);
303       sos_load_get_uratio(&load1, &load5, &loa !! 193       sos_x86_videomem_printf(10, 30,
304       sos_load_to_string(str1, load1);         << 
305       sos_load_to_string(str5, load5);         << 
306       sos_load_to_string(str15, load15);       << 
307       sos_x86_videomem_printf(18, 34,          << 
308                               SOS_X86_VIDEO_FG    194                               SOS_X86_VIDEO_FG_YELLOW | SOS_X86_VIDEO_BG_BLUE,
309                               "User CPU %%: %s !! 195                               "0x%x          ", *pint);
310                               str1, str5, str1 << 
311                                                << 
312       /* The IDLE task is INcluded in the foll << 
313       sos_load_get_sratio(&load1, &load5, &loa << 
314       sos_load_to_string(str1, load1);         << 
315       sos_load_to_string(str5, load5);         << 
316       sos_load_to_string(str15, load15);       << 
317       sos_x86_videomem_printf(19, 34,          << 
318                               SOS_X86_VIDEO_FG << 
319                               "Kernel CPU %% ( << 
320                               str1, str5, str1 << 
321       sos_restore_IRQs(flags);                 << 
322     }                                             196     }
323 }                                              << 
324                                                   197 
                                                   >> 198   /* BAD ! Did not get the page fault... */
                                                   >> 199   sos_x86_videomem_printf(20, 0,
                                                   >> 200                           SOS_X86_VIDEO_FG_LTRED | SOS_X86_VIDEO_BG_BLUE,
                                                   >> 201                           "We should have had a #PF at vaddr 0x%x !",
                                                   >> 202                           vpage_tmp);
                                                   >> 203 }
325                                                   204 
326 /* =========================================== !! 205 /* The C entry point of our operating system */
327  * The C entry point of our operating system   << 
328  */                                            << 
329 void sos_main(unsigned long magic, unsigned lo    206 void sos_main(unsigned long magic, unsigned long addr)
330 {                                                 207 {
331   unsigned i;                                     208   unsigned i;
332   sos_paddr_t sos_kernel_core_base_paddr, sos_    209   sos_paddr_t sos_kernel_core_base_paddr, sos_kernel_core_top_paddr;
333   struct sos_time tick_resolution;             << 
334                                                   210 
335   /* Grub sends us a structure, called multibo    211   /* Grub sends us a structure, called multiboot_info_t with a lot of
336      precious informations about the system, s    212      precious informations about the system, see the multiboot
337      documentation for more information. */       213      documentation for more information. */
338   multiboot_info_t *mbi;                          214   multiboot_info_t *mbi;
339   mbi = (multiboot_info_t *) addr;                215   mbi = (multiboot_info_t *) addr;
340                                                   216 
341   /* Setup bochs and console, and clear the co    217   /* Setup bochs and console, and clear the console */
342   sos_bochs_setup();                              218   sos_bochs_setup();
343                                                   219 
344   sos_x86_videomem_setup();                       220   sos_x86_videomem_setup();
345   sos_x86_videomem_cls(SOS_X86_VIDEO_BG_BLUE);    221   sos_x86_videomem_cls(SOS_X86_VIDEO_BG_BLUE);
346                                                   222 
347   /* Greetings from SOS */                        223   /* Greetings from SOS */
348   if (magic == MULTIBOOT_BOOTLOADER_MAGIC)        224   if (magic == MULTIBOOT_BOOTLOADER_MAGIC)
349     /* Loaded with Grub */                        225     /* Loaded with Grub */
350     sos_x86_videomem_printf(1, 0,                 226     sos_x86_videomem_printf(1, 0,
351                             SOS_X86_VIDEO_FG_Y    227                             SOS_X86_VIDEO_FG_YELLOW | SOS_X86_VIDEO_BG_BLUE,
352                             "Welcome From GRUB    228                             "Welcome From GRUB to %s%c RAM is %dMB (upper mem = 0x%x kB)",
353                             "SOS article 7", ' !! 229                             "SOS", ',',
354                             (unsigned)(mbi->me    230                             (unsigned)(mbi->mem_upper >> 10) + 1,
355                             (unsigned)mbi->mem    231                             (unsigned)mbi->mem_upper);
356   else                                            232   else
357     /* Not loaded with grub */                    233     /* Not loaded with grub */
358     sos_x86_videomem_printf(1, 0,                 234     sos_x86_videomem_printf(1, 0,
359                             SOS_X86_VIDEO_FG_Y    235                             SOS_X86_VIDEO_FG_YELLOW | SOS_X86_VIDEO_BG_BLUE,
360                             "Welcome to SOS ar !! 236                             "Welcome to SOS");
361                                                   237 
362   sos_bochs_putstring("Message in a bochs: Thi !! 238   sos_bochs_putstring("Message in a bochs\n");
363                                                   239 
364   /* Setup CPU segmentation and IRQ subsystem     240   /* Setup CPU segmentation and IRQ subsystem */
365   sos_gdt_subsystem_setup();                   !! 241   sos_gdt_setup();
366   sos_idt_subsystem_setup();                   !! 242   sos_idt_setup();
367                                                   243 
368   /* Setup SOS IRQs and exceptions subsystem *    244   /* Setup SOS IRQs and exceptions subsystem */
369   sos_exception_subsystem_setup();             !! 245   sos_exceptions_setup();
370   sos_irq_subsystem_setup();                   !! 246   sos_irq_setup();
371                                                   247 
372   /* Configure the timer so as to raise the IR    248   /* Configure the timer so as to raise the IRQ0 at a 100Hz rate */
373   sos_i8254_set_frequency(100);                   249   sos_i8254_set_frequency(100);
374                                                   250 
375   /* Setup the kernel time subsystem to get pr << 
376      ticks into account */                     << 
377   tick_resolution = (struct sos_time) { .sec=0 << 
378   sos_time_subsysem_setup(& tick_resolution);  << 
379                                                   251 
380   /* We need a multiboot-compliant boot loader    252   /* We need a multiboot-compliant boot loader to get the size of the RAM */
381   if (magic != MULTIBOOT_BOOTLOADER_MAGIC)        253   if (magic != MULTIBOOT_BOOTLOADER_MAGIC)
382     {                                             254     {
383       sos_x86_videomem_putstring(20, 0,           255       sos_x86_videomem_putstring(20, 0,
384                                  SOS_X86_VIDEO    256                                  SOS_X86_VIDEO_FG_LTRED
385                                    | SOS_X86_V    257                                    | SOS_X86_VIDEO_BG_BLUE
386                                    | SOS_X86_V    258                                    | SOS_X86_VIDEO_FG_BLINKING,
387                                  "I'm not load    259                                  "I'm not loaded with Grub !");
388       /* STOP ! */                                260       /* STOP ! */
389       for (;;)                                    261       for (;;)
390         continue;                                 262         continue;
391     }                                             263     }
392                                                   264 
393   /*                                           << 
394    * Some interrupt handlers                   << 
395    */                                          << 
396                                                << 
397   /* Binding some HW interrupts and exceptions    265   /* Binding some HW interrupts and exceptions to software routines */
398   sos_irq_set_routine(SOS_IRQ_TIMER,              266   sos_irq_set_routine(SOS_IRQ_TIMER,
399                       clk_it);                 !! 267                             clk_it);
400                                                !! 268   /* Enabling the HW interrupts here, this will make the timer HW
401   /*                                           !! 269      interrupt call our clk_it handler */
402    * Setup physical memory management          !! 270   asm volatile ("sti\n");
403    */                                          << 
404                                                << 
405   /* Multiboot says: "The value returned for u    271   /* Multiboot says: "The value returned for upper memory is maximally
406      the address of the first upper memory hol    272      the address of the first upper memory hole minus 1 megabyte.". It
407      also adds: "It is not guaranteed to be th    273      also adds: "It is not guaranteed to be this value." aka "YMMV" ;) */
408   sos_physmem_subsystem_setup((mbi->mem_upper< !! 274   sos_physmem_setup((mbi->mem_upper<<10) + (1<<20),
409                               & sos_kernel_cor !! 275                     & sos_kernel_core_base_paddr,
410                               & sos_kernel_cor !! 276                     & sos_kernel_core_top_paddr);
411                                                   277   
412   /*                                              278   /*
413    * Switch to paged-memory mode                  279    * Switch to paged-memory mode
414    */                                             280    */
415                                                   281 
416   /* Disabling interrupts should seem more cor    282   /* Disabling interrupts should seem more correct, but it's not really
417      necessary at this stage */                   283      necessary at this stage */
418   SOS_ASSERT_FATAL(SOS_OK ==                   !! 284   if (sos_paging_setup(sos_kernel_core_base_paddr,
419                    sos_paging_subsystem_setup( !! 285                        sos_kernel_core_top_paddr))
420                                                !! 286     sos_bochs_printf("Could not setup paged memory mode\n");
421                                                !! 287   sos_x86_videomem_printf(2, 0,
422   /* Bind the page fault exception */          !! 288                           SOS_X86_VIDEO_FG_YELLOW | SOS_X86_VIDEO_BG_BLUE,
423   sos_exception_set_routine(SOS_EXCEPT_PAGE_FA !! 289                           "Paged-memory mode is activated");
424                             pgflt_ex);         !! 290 
425                                                !! 291   test_paging(sos_kernel_core_top_paddr);
426   /*                                           !! 292 
427    * Setup kernel virtual memory allocator     !! 293   /* An operatig system never ends */
428    */                                          !! 294   for (;;)
429                                                !! 295     continue;
430   if (sos_kmem_vmm_subsystem_setup(sos_kernel_ << 
431                                    sos_kernel_ << 
432                                    bootstrap_s << 
433                                    bootstrap_s << 
434                                    + bootstrap << 
435     sos_bochs_printf("Could not setup the Kern << 
436                                                << 
437   if (sos_kmalloc_subsystem_setup())           << 
438     sos_bochs_printf("Could not setup the Kmal << 
439                                                   296 
440   /*                                           !! 297   return;
441    * Initialize the MMU context subsystem      << 
442    */                                          << 
443   sos_mm_context_subsystem_setup();            << 
444                                                << 
445   /*                                           << 
446    * Initialize the CPU context subsystem      << 
447    */                                          << 
448   sos_cpu_context_subsystem_setup();           << 
449                                                << 
450   /*                                           << 
451    * Bind the syscall handler to its software  << 
452    */                                          << 
453   sos_swintr_subsystem_setup();                << 
454                                                << 
455                                                << 
456   /*                                           << 
457    * Initialize the Kernel thread and schedule << 
458    */                                          << 
459                                                << 
460   /* Initialize kernel thread subsystem */     << 
461   sos_thread_subsystem_setup(bootstrap_stack_b << 
462                              bootstrap_stack_s << 
463                                                << 
464   /* Initialize the scheduler */               << 
465   sos_sched_subsystem_setup();                 << 
466                                                << 
467   /* Declare the IDLE thread */                << 
468   SOS_ASSERT_FATAL(sos_create_kernel_thread("i << 
469                                             SO << 
470                                                << 
471   /* Prepare the stats subsystem */            << 
472   sos_load_subsystem_setup();                  << 
473                                                << 
474   /* Declare a thread that prints some stats * << 
475   SOS_ASSERT_FATAL(sos_create_kernel_thread("s << 
476                                             NU << 
477                                             SO << 
478                                                << 
479                                                << 
480   /*                                           << 
481    * Initialize process stuff                  << 
482    */                                          << 
483   sos_process_subsystem_setup();               << 
484                                                << 
485                                                << 
486   /* Enabling the HW interrupts here, this wil << 
487      interrupt call the scheduler */           << 
488   asm volatile ("sti\n");                      << 
489                                                << 
490   /* Run some tests involving USER processes a << 
491   extern void test_art7();                     << 
492   test_art7();                                 << 
493                                                << 
494   /* Now run some Kernel threads just for fun  << 
495   extern void MouseSim();                      << 
496   MouseSim();                                  << 
497   test_thread();                               << 
498                                                << 
499   /*                                           << 
500    * We can safely exit from this function now << 
501    * an idle Kernel thread ready to make the C << 
502    *                                           << 
503    * However, we must EXPLICITELY call sos_thr << 
504    * simple "return" will return nowhere ! Act << 
505    * was initialized by the Grub bootstrap sta << 
506    * word "thread" did not exist. This means t << 
507    * setup in order for a return here to call  << 
508    * automagically. Hence we must call it manu << 
509    * kernel thread where we must do this manua << 
510    */                                          << 
511   sos_bochs_printf("Bye from primary thread !\ << 
512   sos_thread_exit();                           << 
513   SOS_FATAL_ERROR("No trespassing !");         << 
514 }                                                 298 }
                                                      

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