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 5) 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>
                                                   >> 031 #include <hwcore/mm_context.h>
                                                   >> 032 #include <hwcore/swintr.h>
030 #include <sos/kmem_vmm.h>                         033 #include <sos/kmem_vmm.h>
031 #include <sos/kmalloc.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>
032 #include <sos/klibc.h>                            039 #include <sos/klibc.h>
033 #include <sos/assert.h>                           040 #include <sos/assert.h>
034 #include <drivers/x86_videomem.h>                 041 #include <drivers/x86_videomem.h>
035 #include <drivers/bochs.h>                        042 #include <drivers/bochs.h>
036                                                !! 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>
037                                                   057 
038 /* Helper function to display each bits of a 3    058 /* Helper function to display each bits of a 32bits integer on the
039    screen as dark or light carrets */             059    screen as dark or light carrets */
040 static void display_bits(unsigned char row, un !! 060 void display_bits(unsigned char row, unsigned char col,
041                          unsigned char attribu !! 061                   unsigned char attribute,
042                          sos_ui32_t integer)   !! 062                   sos_ui32_t integer)
043 {                                                 063 {
044   int i;                                          064   int i;
045   /* Scan each bit of the integer, MSb first *    065   /* Scan each bit of the integer, MSb first */
046   for (i = 31 ; i >= 0 ; i--)                     066   for (i = 31 ; i >= 0 ; i--)
047     {                                             067     {
048       /* Test if bit i of 'integer' is set */     068       /* Test if bit i of 'integer' is set */
049       int bit_i = (integer & (1 << i));           069       int bit_i = (integer & (1 << i));
050       /* Ascii 219 => dark carret, Ascii 177 =    070       /* Ascii 219 => dark carret, Ascii 177 => light carret */
051       unsigned char ascii_code = bit_i?219:177    071       unsigned char ascii_code = bit_i?219:177;
052       sos_x86_videomem_putchar(row, col++,        072       sos_x86_videomem_putchar(row, col++,
053                                attribute,         073                                attribute,
054                                ascii_code);       074                                ascii_code);
055     }                                             075     }
056 }                                                 076 }
057                                                   077 
058                                                << 
059 /* Clock IRQ handler */                           078 /* Clock IRQ handler */
060 static void clk_it(int intid)                     079 static void clk_it(int intid)
061 {                                                 080 {
062   static sos_ui32_t clock_count = 0;              081   static sos_ui32_t clock_count = 0;
063                                                   082 
064   display_bits(0, 48,                             083   display_bits(0, 48,
065                SOS_X86_VIDEO_FG_LTGREEN | SOS_    084                SOS_X86_VIDEO_FG_LTGREEN | SOS_X86_VIDEO_BG_BLUE,
066                clock_count);                      085                clock_count);
067   clock_count++;                                  086   clock_count++;
068                                                   087 
069 }                                              !! 088   /* Execute the expired timeout actions (if any) */
070 struct digit                                   !! 089   sos_time_do_tick();
071 {                                              << 
072   struct digit *prev, *next;                   << 
073   char value;                                  << 
074 };                                             << 
075                                                << 
076 /* Representation of a big (positive) integer: << 
077    (MSD) is the HEAD of the list. Least Signif << 
078    TAIL of the list */                         << 
079 typedef struct digit * big_number_t;           << 
080                                                << 
081                                                   090 
082 /* Add a new digit after the LSD */            !! 091   /* Update scheduler statistics and status */
083 void bn_push_lsd(big_number_t * bn, char value !! 092   sos_sched_do_timer_tick();
084 {                                              << 
085   struct digit *d;                             << 
086   d = (struct digit*) sos_kmalloc(sizeof(struc << 
087   SOS_ASSERT_FATAL(d != NULL);                 << 
088   d->value = value;                            << 
089   list_add_tail(*bn, d);                       << 
090 }                                                 093 }
091                                                   094 
092                                                   095 
093 /* Add a new digit before the MSD */           !! 096 /* ======================================================================
094 void bn_push_msd(big_number_t * bn, char value !! 097  * Page fault exception handling
095 {                                              !! 098  */
096   struct digit *d;                             << 
097   d = (struct digit*) sos_kmalloc(sizeof(struc << 
098   SOS_ASSERT_FATAL(d != NULL);                 << 
099   d->value = value;                            << 
100   list_add_head(*bn, d);                       << 
101 }                                              << 
102                                                   099 
103                                                   100 
104 /* Construct a big integer from a (machine) in !! 101 /* Page fault exception handler with demand paging for the kernel */
105 big_number_t bn_new(unsigned long int i)       !! 102 static void pgflt_ex(int intid, struct sos_cpu_state *ctxt)
106 {                                                 103 {
107   big_number_t retval;                         !! 104   static sos_ui32_t demand_paging_count = 0;
                                                   >> 105   struct sos_thread * cur_thr = sos_thread_get_current();
                                                   >> 106   sos_vaddr_t faulting_vaddr  = sos_cpu_context_get_EX_faulting_vaddr(ctxt);
                                                   >> 107   sos_paddr_t ppage_paddr;
108                                                   108 
109   list_init(retval);                           !! 109   if (sos_cpu_context_is_in_user_mode(ctxt)
110   do                                           !! 110       || (cur_thr->fixup_uaccess.return_vaddr))
111     {                                             111     {
112       bn_push_msd(&retval, i%10);              !! 112       __label__ unforce_address_space;
113       i /= 10;                                 !! 113       sos_bool_t need_to_setup_mmu;
114     }                                          !! 114       sos_ui32_t errcode = sos_cpu_context_get_EX_info(ctxt);
115   while (i != 0);                              << 
116                                                   115 
117   return retval;                               !! 116       /* Make sure to always stay in the interrupted thread's MMU
118 }                                              !! 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);
119                                                   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;
120                                                   128 
121 /* Create a new big integer from another big i !! 129       /* If the page fault occured in kernel mode, return to kernel to
122 big_number_t bn_copy(const big_number_t bn)    !! 130          the fixup address */
123 {                                              !! 131       if (! sos_cpu_context_is_in_user_mode(ctxt))
124   big_number_t retval;                         !! 132         {
125   int nb_elts;                                 !! 133           cur_thr->fixup_uaccess.faulted_uaddr = faulting_vaddr;
126   struct digit *d;                             !! 134           sos_cpu_context_set_EX_return_address(ctxt,
                                                   >> 135                                                 cur_thr->fixup_uaccess.return_vaddr);
                                                   >> 136           goto unforce_address_space;
                                                   >> 137         }
127                                                   138 
128   list_init(retval);                           !! 139       if (need_to_setup_mmu)
129   list_foreach(bn, d, nb_elts)                 !! 140         sos_thread_end_user_space_access();
130     {                                          !! 141 
131       bn_push_lsd(&retval, d->value);          !! 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)");
132     }                                             166     }
133                                                   167 
134   return retval;                               << 
135 }                                              << 
136                                                   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 */
                                                   >> 192 }
                                                   >> 193 
                                                   >> 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)
                                                   >> 202 {
                                                   >> 203   sos_ui32_t idle_twiddle = 0;
                                                   >> 204 
                                                   >> 205   while (1)
                                                   >> 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 }
                                                   >> 219 
                                                   >> 220 
                                                   >> 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);
137                                                   302 
138 /* Free the memory used by a big integer */    << 
139 void bn_del(big_number_t * bn)                 << 
140 {                                              << 
141   struct digit *d;                             << 
142                                                   303 
143   list_collapse(*bn, d)                        !! 304   /*
                                                   >> 305    * Setup the root and CWD directories of the process. The root of
                                                   >> 306    * this process will correspond to the "global" root of the whole
                                                   >> 307    * system since all the future processes will duplicate it !
                                                   >> 308    */
                                                   >> 309   retval = sos_fs_new_opened_file(proc_init, rootfs->root,
                                                   >> 310                                   SOS_FS_OPEN_READ | SOS_FS_OPEN_WRITE,
                                                   >> 311                                   & init_root);
                                                   >> 312   if (SOS_OK != retval)
144     {                                             313     {
145       sos_kfree((sos_vaddr_t)d);               !! 314       sos_process_unref(proc_init);
                                                   >> 315       return -SOS_ENOENT;
146     }                                             316     }
147 }                                              << 
148                                                   317 
149                                                !! 318   /* Duplicate the root file to set the current working directory of
150 /* Shift left a big integer: bn := bn*10^shift !! 319      the init process */
151 void bn_shift(big_number_t *bn, int shift)     !! 320   retval = sos_fs_duplicate_opened_file(init_root, proc_init,
152 {                                              !! 321                                         & init_cwd);
153   for ( ; shift > 0 ; shift --)                !! 322   if (SOS_OK != retval)
154     {                                             323     {
155       bn_push_lsd(bn, 0);                      !! 324       sos_fs_close(init_root);
                                                   >> 325       sos_process_unref(proc_init);
                                                   >> 326       return -SOS_ENOENT;
156     }                                             327     }
157 }                                              << 
158                                                << 
159                                                << 
160 /* Dump the big integer in bochs */            << 
161 void bn_print_bochs(const big_number_t bn)     << 
162 {                                              << 
163   int nb_elts;                                 << 
164   const struct digit *d;                       << 
165                                                << 
166   if (list_is_empty(bn))                       << 
167     sos_bochs_printf("0");                     << 
168   else                                         << 
169     list_foreach(bn, d, nb_elts)               << 
170       sos_bochs_printf("%d", d->value);        << 
171 }                                              << 
172                                                   328 
173 /* Dump the big integer on the console */      !! 329   /* Now update the process ! */
174 void bn_print_console(unsigned char row, unsig !! 330   if ( ( SOS_OK != sos_process_chroot(proc_init, init_root, & unused_of) )
175                       unsigned char attribute, !! 331        || ( SOS_OK != sos_process_chdir(proc_init, init_cwd, & unused_of) ) )
176                       const big_number_t bn,   << 
177                       int nb_decimals)         << 
178 {                                              << 
179   if (list_is_empty(bn))                       << 
180     sos_x86_videomem_printf(row, col, attribut << 
181   else                                         << 
182     {                                             332     {
183       int nb_elts;                             !! 333       sos_fs_close(init_root);
184       const struct digit *d;                   !! 334       sos_fs_close(init_cwd);
185       unsigned char x = col;                   !! 335       sos_process_chroot(proc_init, NULL, & unused_of);
186                                                !! 336       sos_process_chdir(proc_init, NULL, & unused_of);
187       list_foreach(bn, d, nb_elts)             !! 337       sos_process_unref(proc_init);
188         {                                      !! 338       return -SOS_ENOENT;
189           if (nb_elts == 0)                    << 
190             {                                  << 
191               sos_x86_videomem_printf(row, x,  << 
192               x += 2;                          << 
193             }                                  << 
194           else if (nb_elts < nb_decimals)      << 
195             {                                  << 
196               sos_x86_videomem_printf(row, x,  << 
197               x ++;                            << 
198             }                                  << 
199         }                                      << 
200                                                << 
201       sos_x86_videomem_printf(row, x, attribut << 
202     }                                             339     }
203 }                                              << 
204                                                   340 
205                                                   341 
206 /* Result is the addition of 2 big integers */ << 
207 big_number_t bn_add (const big_number_t bn1, c << 
208 {                                              << 
209   big_number_t retval;                         << 
210   const struct digit *d1, *d2;                 << 
211   sos_bool_t  bn1_end = FALSE, bn2_end = FALSE << 
212   char carry = 0;                              << 
213                                                << 
214   list_init(retval);                           << 
215   d1 = list_get_tail(bn1);                     << 
216   bn1_end = list_is_empty(bn1);                << 
217   d2 = list_get_tail(bn2);                     << 
218   bn2_end = list_is_empty(bn2);                << 
219   do                                           << 
220     {                                          << 
221       if (! bn1_end)                           << 
222         carry += d1->value;                    << 
223       if (! bn2_end)                           << 
224         carry += d2->value;                    << 
225                                                << 
226       bn_push_msd(&retval, carry % 10);        << 
227       carry  /= 10;                            << 
228                                                << 
229       if (! bn1_end)                           << 
230         d1 = d1->prev;                         << 
231       if (! bn2_end)                           << 
232         d2 = d2->prev;                         << 
233       if (d1 == list_get_tail(bn1))            << 
234         bn1_end = TRUE;                        << 
235       if (d2 == list_get_tail(bn2))            << 
236         bn2_end = TRUE;                        << 
237     }                                          << 
238   while (!bn1_end || !bn2_end);                << 
239                                                   342 
240   if (carry > 0)                               !! 343   /* Map the 'init' program in user space */
                                                   >> 344   start_uaddr = sos_binfmt_elf32_map(as_init, "init");
                                                   >> 345   if (0 == start_uaddr)
241     {                                             346     {
242       bn_push_msd(&retval, carry);             !! 347       sos_process_unref(proc_init);
                                                   >> 348       return -SOS_ENOENT;
243     }                                             349     }
244                                                   350 
245   return retval;                               !! 351   /* Allocate the user stack */
246 }                                              !! 352   ustack = (SOS_PAGING_TOP_USER_ADDRESS - SOS_DEFAULT_USER_STACK_SIZE) + 1;
247                                                !! 353   retval = sos_dev_zero_map(as_init, &ustack, SOS_DEFAULT_USER_STACK_SIZE,
248                                                !! 354                             SOS_VM_MAP_PROT_READ | SOS_VM_MAP_PROT_WRITE,
249 /* Result is the multiplication of a big integ !! 355                             /* PRIVATE */ 0);
250 big_number_t bn_muli (const big_number_t bn, c !! 356   if (SOS_OK != retval)
251 {                                              << 
252   big_number_t retval;                         << 
253   int nb_elts;                                 << 
254   char   carry = 0;                            << 
255   const struct digit *d;                       << 
256                                                << 
257   list_init(retval);                           << 
258   list_foreach_backward(bn, d, nb_elts)        << 
259     {                                             357     {
260       carry += d->value * digit;               !! 358       sos_process_unref(proc_init);
261       bn_push_msd(&retval, carry % 10);        !! 359       return -SOS_ENOMEM;
262       carry /= 10;                             << 
263     }                                             360     }
264                                                   361 
265   if (carry > 0)                               !! 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)
266     {                                             370     {
267       bn_push_msd(&retval, carry);             !! 371       sos_process_unref(proc_init);
268     }                                          !! 372       return -SOS_ENOMEM;
269                                                << 
270   return retval;                               << 
271 }                                              << 
272                                                << 
273                                                << 
274 /* Result is the multiplication of 2 big integ << 
275 big_number_t bn_mult(const big_number_t bn1, c << 
276 {                                              << 
277   int shift = 0;                               << 
278   big_number_t retval;                         << 
279   int nb_elts;                                 << 
280   struct digit *d;                             << 
281                                                << 
282   list_init(retval);                           << 
283   list_foreach_backward(bn2, d, nb_elts)       << 
284     {                                          << 
285       big_number_t retmult = bn_muli(bn1, d->v << 
286       big_number_t old_retval = retval;        << 
287       bn_shift(& retmult, shift);              << 
288       retval = bn_add(old_retval, retmult);    << 
289       bn_del(& retmult);                       << 
290       bn_del(& old_retval);                    << 
291       shift ++;                                << 
292     }                                          << 
293                                                << 
294   return retval;                               << 
295 }                                              << 
296                                                << 
297                                                << 
298 /* Result is the factorial of an integer */    << 
299 big_number_t bn_fact(unsigned long int v)      << 
300 {                                              << 
301   unsigned long int i;                         << 
302   big_number_t retval = bn_new(1);             << 
303   for (i = 1 ; i <= v ; i++)                   << 
304     {                                          << 
305       big_number_t I   = bn_new(i);            << 
306       big_number_t tmp = bn_mult(retval, I);   << 
307       sos_x86_videomem_printf(4, 0,            << 
308                               SOS_X86_VIDEO_BG << 
309                               "%d! = ", (int)i << 
310       bn_print_console(4, 8, SOS_X86_VIDEO_BG_ << 
311                        tmp, 55);               << 
312       bn_del(& I);                             << 
313       bn_del(& retval);                        << 
314       retval = tmp;                            << 
315     }                                             373     }
316                                                   374 
317   return retval;                               !! 375   sos_process_unref(proc_init);
                                                   >> 376   return SOS_OK;
318 }                                                 377 }
319                                                   378 
320                                                   379 
321 void bn_test()                                 << 
322 {                                              << 
323   big_number_t bn = bn_fact(1000);             << 
324   sos_bochs_printf("1000! = ");                << 
325   bn_print_bochs(bn);                          << 
326   sos_bochs_printf("\n");                      << 
327                                                << 
328 }                                              << 
329                                                << 
330                                                   380 
331 /* The C entry point of our operating system * !! 381 /* ======================================================================
332 void sos_main(unsigned long magic, unsigned lo !! 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)
333 {                                                 387 {
334   unsigned i;                                  << 
335   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;
336                                                   391 
337   /* Grub sends us a structure, called multibo !! 392   /* Size of RAM above 1MB. Might be undefined ! */
338      precious informations about the system, s !! 393   unsigned long int upper_mem = 0;
339      documentation for more information. */    << 
340   multiboot_info_t *mbi;                       << 
341   mbi = (multiboot_info_t *) addr;             << 
342                                                   394 
343   /* Setup bochs and console, and clear the co    395   /* Setup bochs and console, and clear the console */
344   sos_bochs_setup();                           !! 396   sos_bochs_subsystem_setup();
345                                                   397 
346   sos_x86_videomem_setup();                       398   sos_x86_videomem_setup();
347   sos_x86_videomem_cls(SOS_X86_VIDEO_BG_BLUE);    399   sos_x86_videomem_cls(SOS_X86_VIDEO_BG_BLUE);
348                                                   400 
349   /* Greetings from SOS */                        401   /* Greetings from SOS */
350   if (magic == MULTIBOOT_BOOTLOADER_MAGIC)        402   if (magic == MULTIBOOT_BOOTLOADER_MAGIC)
351     /* Loaded with Grub */                     !! 403     {
352     sos_x86_videomem_printf(1, 0,              !! 404       /* Grub sends us a structure, called multiboot_info_t with a lot of
353                             SOS_X86_VIDEO_FG_Y !! 405          precious informations about the system, see the multiboot
354                             "Welcome From GRUB !! 406          documentation for more information. */
355                             "SOS", ',',        !! 407       multiboot_info_t *mbi = (multiboot_info_t *) arg;
356                             (unsigned)(mbi->me !! 408 
357                             (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     }
358   else                                            432   else
359     /* Not loaded with grub */                 !! 433     /* Not loaded with grub, not from an enhanced bootsect */
360     sos_x86_videomem_printf(1, 0,                 434     sos_x86_videomem_printf(1, 0,
361                             SOS_X86_VIDEO_FG_Y    435                             SOS_X86_VIDEO_FG_YELLOW | SOS_X86_VIDEO_BG_BLUE,
362                             "Welcome to SOS"); !! 436                             "Welcome to SOS article 9.5");
363                                                   437 
364   sos_bochs_putstring("Message in a bochs\n"); !! 438   sos_bochs_putstring("Message in a bochs: This is SOS article 9.5.\n");
365                                                   439 
366   /* Setup CPU segmentation and IRQ subsystem     440   /* Setup CPU segmentation and IRQ subsystem */
367   sos_gdt_setup();                             !! 441   sos_gdt_subsystem_setup();
368   sos_idt_setup();                             !! 442   sos_idt_subsystem_setup();
369                                                   443 
370   /* Setup SOS IRQs and exceptions subsystem *    444   /* Setup SOS IRQs and exceptions subsystem */
371   sos_exceptions_setup();                      !! 445   sos_exception_subsystem_setup();
372   sos_irq_setup();                             !! 446   sos_irq_subsystem_setup();
373                                                   447 
374   /* Configure the timer so as to raise the IR    448   /* Configure the timer so as to raise the IRQ0 at a 100Hz rate */
375   sos_i8254_set_frequency(100);                   449   sos_i8254_set_frequency(100);
376                                                   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);
377                                                   455 
378   /* We need a multiboot-compliant boot loader !! 456   /* We need to know the RAM size */
379   if (magic != MULTIBOOT_BOOTLOADER_MAGIC)     !! 457   if (upper_mem == 0)
380     {                                             458     {
381       sos_x86_videomem_putstring(20, 0,           459       sos_x86_videomem_putstring(20, 0,
382                                  SOS_X86_VIDEO    460                                  SOS_X86_VIDEO_FG_LTRED
383                                    | SOS_X86_V    461                                    | SOS_X86_VIDEO_BG_BLUE
384                                    | SOS_X86_V    462                                    | SOS_X86_VIDEO_FG_BLINKING,
385                                  "I'm not load !! 463                                  "I don't know RAM size ! Load me with Grub...");
386       /* STOP ! */                                464       /* STOP ! */
387       for (;;)                                    465       for (;;)
388         continue;                                 466         continue;
389     }                                             467     }
390                                                   468 
                                                   >> 469   /*
                                                   >> 470    * Some interrupt handlers
                                                   >> 471    */
                                                   >> 472 
391   /* Binding some HW interrupts and exceptions    473   /* Binding some HW interrupts and exceptions to software routines */
392   sos_irq_set_routine(SOS_IRQ_TIMER,              474   sos_irq_set_routine(SOS_IRQ_TIMER,
393                             clk_it);           !! 475                       clk_it);
394   /* Enabling the HW interrupts here, this wil !! 476 
395      interrupt call our clk_it handler */      !! 477   /*
396   asm volatile ("sti\n");                      !! 478    * Setup physical memory management
397   /* Multiboot says: "The value returned for u !! 479    */
398      the address of the first upper memory hol !! 480 
399      also adds: "It is not guaranteed to be th !! 481   SOS_ASSERT_FATAL(SOS_OK
400   sos_physmem_setup((mbi->mem_upper<<10) + (1< !! 482                    == sos_physmem_subsystem_setup((upper_mem<<10) + (1<<20),
401                     & sos_kernel_core_base_pad !! 483                                                   &sos_kernel_core_base_paddr,
402                     & sos_kernel_core_top_padd !! 484                                                   &sos_kernel_core_top_paddr));
403                                                   485   
404   /*                                              486   /*
405    * Switch to paged-memory mode                  487    * Switch to paged-memory mode
406    */                                             488    */
407                                                   489 
408   /* Disabling interrupts should seem more cor    490   /* Disabling interrupts should seem more correct, but it's not really
409      necessary at this stage */                   491      necessary at this stage */
410   if (sos_paging_setup(sos_kernel_core_base_pa !! 492   SOS_ASSERT_FATAL(SOS_OK ==
411                        sos_kernel_core_top_pad !! 493                    sos_paging_subsystem_setup(sos_kernel_core_base_paddr,
412     sos_bochs_printf("Could not setup paged me !! 494                                               sos_kernel_core_top_paddr));
413   sos_x86_videomem_printf(2, 0,                !! 495   
414                           SOS_X86_VIDEO_FG_YEL !! 496   /* Bind the page fault exception */
415                           "Paged-memory mode i !! 497   sos_exception_set_routine(SOS_EXCEPT_PAGE_FAULT,
                                                   >> 498                             pgflt_ex);
416                                                   499 
                                                   >> 500   /*
                                                   >> 501    * Setup kernel virtual memory allocator
                                                   >> 502    */
417                                                   503 
418   if (sos_kmem_vmm_setup(sos_kernel_core_base_ !! 504   if (sos_kmem_vmm_subsystem_setup(sos_kernel_core_base_paddr,
419                          sos_kernel_core_top_p !! 505                                    sos_kernel_core_top_paddr,
                                                   >> 506                                    bootstrap_stack_bottom,
                                                   >> 507                                    bootstrap_stack_bottom
                                                   >> 508                                    + bootstrap_stack_size))
420     sos_bochs_printf("Could not setup the Kern    509     sos_bochs_printf("Could not setup the Kernel virtual space allocator\n");
421                                                   510 
422   if (sos_kmalloc_setup())                     !! 511   if (sos_kmalloc_subsystem_setup())
423     sos_bochs_printf("Could not setup the Kmal    512     sos_bochs_printf("Could not setup the Kmalloc subsystem\n");
424                                                   513 
425   /* Run some kmalloc tests */                 !! 514   /*
426   bn_test();                                   !! 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();
                                                   >> 523 
                                                   >> 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));
427                                                   581 
428   /* An operatig system never ends */          << 
429   for (;;)                                     << 
430     continue;                                  << 
431                                                   582 
432   return;                                      !! 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 !");
433 }                                                 610 }
                                                      

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