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


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 <sos/errno.h>                         << 
020                                                << 
021 /* Include definitions of the multiboot standa    020 /* Include definitions of the multiboot standard */
022 #include <bootstrap/multiboot.h>                  021 #include <bootstrap/multiboot.h>
023 #include <hwcore/idt.h>                           022 #include <hwcore/idt.h>
024 #include <hwcore/gdt.h>                           023 #include <hwcore/gdt.h>
025 #include <hwcore/irq.h>                           024 #include <hwcore/irq.h>
026 #include <hwcore/exception.h>                     025 #include <hwcore/exception.h>
027 #include <hwcore/i8254.h>                         026 #include <hwcore/i8254.h>
028 #include <sos/list.h>                             027 #include <sos/list.h>
029 #include <sos/physmem.h>                          028 #include <sos/physmem.h>
030 #include <hwcore/paging.h>                        029 #include <hwcore/paging.h>
031 #include <hwcore/mm_context.h>                 << 
032 #include <hwcore/swintr.h>                     << 
033 #include <sos/kmem_vmm.h>                         030 #include <sos/kmem_vmm.h>
034 #include <sos/kmalloc.h>                          031 #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>                      << 
039 #include <sos/klibc.h>                            032 #include <sos/klibc.h>
040 #include <sos/assert.h>                           033 #include <sos/assert.h>
041 #include <drivers/x86_videomem.h>                 034 #include <drivers/x86_videomem.h>
042 #include <drivers/bochs.h>                        035 #include <drivers/bochs.h>
043 #include <sos/calcload.h>                      !! 036 
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                                                   037 
050 /* Helper function to display each bits of a 3    038 /* Helper function to display each bits of a 32bits integer on the
051    screen as dark or light carrets */             039    screen as dark or light carrets */
052 void display_bits(unsigned char row, unsigned  !! 040 static void display_bits(unsigned char row, unsigned char col,
053                   unsigned char attribute,     !! 041                          unsigned char attribute,
054                   sos_ui32_t integer)          !! 042                          sos_ui32_t integer)
055 {                                                 043 {
056   int i;                                          044   int i;
057   /* Scan each bit of the integer, MSb first *    045   /* Scan each bit of the integer, MSb first */
058   for (i = 31 ; i >= 0 ; i--)                     046   for (i = 31 ; i >= 0 ; i--)
059     {                                             047     {
060       /* Test if bit i of 'integer' is set */     048       /* Test if bit i of 'integer' is set */
061       int bit_i = (integer & (1 << i));           049       int bit_i = (integer & (1 << i));
062       /* Ascii 219 => dark carret, Ascii 177 =    050       /* Ascii 219 => dark carret, Ascii 177 => light carret */
063       unsigned char ascii_code = bit_i?219:177    051       unsigned char ascii_code = bit_i?219:177;
064       sos_x86_videomem_putchar(row, col++,        052       sos_x86_videomem_putchar(row, col++,
065                                attribute,         053                                attribute,
066                                ascii_code);       054                                ascii_code);
067     }                                             055     }
068 }                                                 056 }
069                                                   057 
                                                   >> 058 
070 /* Clock IRQ handler */                           059 /* Clock IRQ handler */
071 static void clk_it(int intid)                     060 static void clk_it(int intid)
072 {                                                 061 {
073   static sos_ui32_t clock_count = 0;              062   static sos_ui32_t clock_count = 0;
074                                                   063 
075   display_bits(0, 48,                             064   display_bits(0, 48,
076                SOS_X86_VIDEO_FG_LTGREEN | SOS_    065                SOS_X86_VIDEO_FG_LTGREEN | SOS_X86_VIDEO_BG_BLUE,
077                clock_count);                      066                clock_count);
078   clock_count++;                                  067   clock_count++;
079                                                   068 
080   /* Execute the expired timeout actions (if a !! 069 }
081   sos_time_do_tick();                          !! 070 struct digit
                                                   >> 071 {
                                                   >> 072   struct digit *prev, *next;
                                                   >> 073   char value;
                                                   >> 074 };
                                                   >> 075 
                                                   >> 076 /* Representation of a big (positive) integer: Most Significant Digit
                                                   >> 077    (MSD) is the HEAD of the list. Least Significant Digit (LSD) is the
                                                   >> 078    TAIL of the list */
                                                   >> 079 typedef struct digit * big_number_t;
                                                   >> 080 
082                                                   081 
083   /* Update scheduler statistics and status */ !! 082 /* Add a new digit after the LSD */
084   sos_sched_do_timer_tick();                   !! 083 void bn_push_lsd(big_number_t * bn, char value)
                                                   >> 084 {
                                                   >> 085   struct digit *d;
                                                   >> 086   d = (struct digit*) sos_kmalloc(sizeof(struct digit), 0);
                                                   >> 087   SOS_ASSERT_FATAL(d != NULL);
                                                   >> 088   d->value = value;
                                                   >> 089   list_add_tail(*bn, d);
085 }                                                 090 }
086                                                   091 
087                                                   092 
088 /* =========================================== !! 093 /* Add a new digit before the MSD */
089  * Page fault exception handling               !! 094 void bn_push_msd(big_number_t * bn, char value)
090  */                                            !! 095 {
                                                   >> 096   struct digit *d;
                                                   >> 097   d = (struct digit*) sos_kmalloc(sizeof(struct digit), 0);
                                                   >> 098   SOS_ASSERT_FATAL(d != NULL);
                                                   >> 099   d->value = value;
                                                   >> 100   list_add_head(*bn, d);
                                                   >> 101 }
091                                                   102 
092                                                   103 
093 /* Page fault exception handler with demand pa !! 104 /* Construct a big integer from a (machine) integer */
094 static void pgflt_ex(int intid, struct sos_cpu !! 105 big_number_t bn_new(unsigned long int i)
095 {                                                 106 {
096   static sos_ui32_t demand_paging_count = 0;   !! 107   big_number_t retval;
097   struct sos_thread * cur_thr = sos_thread_get << 
098   sos_vaddr_t faulting_vaddr  = sos_cpu_contex << 
099   sos_paddr_t ppage_paddr;                     << 
100                                                   108 
101   if (sos_cpu_context_is_in_user_mode(ctxt)    !! 109   list_init(retval);
102       || (cur_thr->fixup_uaccess.return_vaddr) !! 110   do
103     {                                             111     {
104       __label__ unforce_address_space;         !! 112       bn_push_msd(&retval, i%10);
105       sos_bool_t need_to_setup_mmu;            !! 113       i /= 10;
106       sos_ui32_t errcode = sos_cpu_context_get !! 114     }
107                                                !! 115   while (i != 0);
108       /* Make sure to always stay in the inter << 
109          configuration */                      << 
110       need_to_setup_mmu = (cur_thr->squatted_m << 
111                            != sos_process_get_ << 
112       if (need_to_setup_mmu)                   << 
113         sos_thread_prepare_user_space_access(N << 
114                                                   116 
115       if (SOS_OK ==                            !! 117   return retval;
116           sos_umem_vmm_try_resolve_page_fault( !! 118 }
117                                                << 
118                                                << 
119         goto unforce_address_space;            << 
120                                                   119 
121       /* If the page fault occured in kernel m << 
122          the fixup address */                  << 
123       if (! sos_cpu_context_is_in_user_mode(ct << 
124         {                                      << 
125           cur_thr->fixup_uaccess.faulted_uaddr << 
126           sos_cpu_context_set_EX_return_addres << 
127                                                << 
128           goto unforce_address_space;          << 
129         }                                      << 
130                                                   120 
131       if (need_to_setup_mmu)                   !! 121 /* Create a new big integer from another big integer */
132         sos_thread_end_user_space_access();    !! 122 big_number_t bn_copy(const big_number_t bn)
                                                   >> 123 {
                                                   >> 124   big_number_t retval;
                                                   >> 125   int nb_elts;
                                                   >> 126   struct digit *d;
133                                                   127 
134       sos_bochs_printf("Unresolved USER page F !! 128   list_init(retval);
135                        sos_cpu_context_get_PC( !! 129   list_foreach(bn, d, nb_elts)
136                        (unsigned)faulting_vadd !! 130     {
137                        (unsigned)sos_cpu_conte !! 131       bn_push_lsd(&retval, d->value);
138       sos_bochs_printf("Terminating User threa << 
139       sos_thread_exit();                       << 
140                                                << 
141     unforce_address_space:                     << 
142       if (need_to_setup_mmu)                   << 
143         sos_thread_end_user_space_access();    << 
144       return;                                  << 
145     }                                          << 
146                                                << 
147   /* Check if address is covered by any VMM ra << 
148   if (! sos_kmem_vmm_is_valid_vaddr(faulting_v << 
149     {                                          << 
150       /* No: The page fault is out of any kern << 
151          the moment, we don't handle this. */  << 
152       sos_display_fatal_error("Unresolved page << 
153                               sos_cpu_context_ << 
154                               (unsigned)faulti << 
155                               (unsigned)sos_cp << 
156       SOS_ASSERT_FATAL(! "Got page fault (note << 
157     }                                             132     }
158                                                   133 
                                                   >> 134   return retval;
                                                   >> 135 }
159                                                   136 
160   /*                                           << 
161    * Demand paging in kernel space             << 
162    */                                          << 
163                                                << 
164   /* Update the number of demand paging reques << 
165   demand_paging_count ++;                      << 
166   display_bits(0, 0,                           << 
167                SOS_X86_VIDEO_FG_LTRED | SOS_X8 << 
168                demand_paging_count);           << 
169                                                << 
170   /* Allocate a new page for the virtual addre << 
171   ppage_paddr = sos_physmem_ref_physpage_new(F << 
172   if (! ppage_paddr)                           << 
173     SOS_ASSERT_FATAL(! "TODO: implement swap.  << 
174   SOS_ASSERT_FATAL(SOS_OK == sos_paging_map(pp << 
175                                             SO << 
176                                             FA << 
177                                             SO << 
178                                             |  << 
179                                             |  << 
180   sos_physmem_unref_physpage(ppage_paddr);     << 
181                                                << 
182   /* Ok, we can now return to interrupted cont << 
183 }                                              << 
184                                                << 
185                                                << 
186                                                << 
187 /* =========================================== << 
188  * An operating system MUST always have a read << 
189  * what would the CPU have to execute ?!       << 
190  */                                            << 
191 static void idle_thread()                      << 
192 {                                              << 
193   sos_ui32_t idle_twiddle = 0;                 << 
194                                                << 
195   while (1)                                    << 
196     {                                          << 
197       /* Remove this instruction if you get an << 
198          exception (old 80386 CPU) */          << 
199       asm("hlt\n");                            << 
200                                                << 
201       idle_twiddle ++;                         << 
202       display_bits(0, 0, SOS_X86_VIDEO_FG_GREE << 
203                    idle_twiddle);              << 
204                                                << 
205       /* Lend the CPU to some other thread */  << 
206       sos_thread_yield();                      << 
207     }                                          << 
208 }                                              << 
209                                                << 
210                                                << 
211 /* =========================================== << 
212  * Kernel thread showing some CPU usage statis << 
213  */                                            << 
214 static void stat_thread()                      << 
215 {                                              << 
216   while (1)                                    << 
217     {                                          << 
218       sos_ui32_t flags;                        << 
219       sos_ui32_t load1, load5, load15;         << 
220       char str1[11], str5[11], str15[11];      << 
221       struct sos_time t;                       << 
222       t.sec = 1;                               << 
223       t.nanosec = 0;                           << 
224                                                << 
225       sos_thread_sleep(& t);                   << 
226                                                << 
227       sos_disable_IRQs(flags);                 << 
228                                                << 
229       /* The IDLE task is EXcluded in the foll << 
230       sos_load_get_sload(&load1, &load5, &load << 
231       sos_load_to_string(str1, load1);         << 
232       sos_load_to_string(str5, load5);         << 
233       sos_load_to_string(str15, load15);       << 
234       sos_x86_videomem_printf(16, 34,          << 
235                               SOS_X86_VIDEO_FG << 
236                               "Kernel (- Idle) << 
237                               str1, str5, str1 << 
238                                                << 
239       sos_load_get_uload(&load1, &load5, &load << 
240       sos_load_to_string(str1, load1);         << 
241       sos_load_to_string(str5, load5);         << 
242       sos_load_to_string(str15, load15);       << 
243       sos_x86_videomem_printf(17, 34,          << 
244                               SOS_X86_VIDEO_FG << 
245                               "User: %s %s %s  << 
246                               str1, str5, str1 << 
247                                                << 
248       sos_load_get_uratio(&load1, &load5, &loa << 
249       sos_load_to_string(str1, load1);         << 
250       sos_load_to_string(str5, load5);         << 
251       sos_load_to_string(str15, load15);       << 
252       sos_x86_videomem_printf(18, 34,          << 
253                               SOS_X86_VIDEO_FG << 
254                               "User CPU %%: %s << 
255                               str1, str5, str1 << 
256                                                << 
257       /* The IDLE task is INcluded in the foll << 
258       sos_load_get_sratio(&load1, &load5, &loa << 
259       sos_load_to_string(str1, load1);         << 
260       sos_load_to_string(str5, load5);         << 
261       sos_load_to_string(str15, load15);       << 
262       sos_x86_videomem_printf(19, 34,          << 
263                               SOS_X86_VIDEO_FG << 
264                               "Kernel CPU %% ( << 
265                               str1, str5, str1 << 
266       sos_restore_IRQs(flags);                 << 
267     }                                          << 
268 }                                              << 
269                                                << 
270                                                << 
271 /* =========================================== << 
272  * Start the "init" (userland) process         << 
273  */                                            << 
274 static sos_ret_t                               << 
275 start_init(struct sos_fs_manager_instance * ro << 
276 {                                              << 
277   sos_ret_t retval;                            << 
278   struct sos_umem_vmm_as *as_init;             << 
279   struct sos_process *proc_init;               << 
280   struct sos_thread *new_thr;                  << 
281   sos_uaddr_t ustack, start_uaddr;             << 
282   struct sos_fs_opened_file * init_root, * ini << 
283                                                << 
284   /* Create the new process */                 << 
285   proc_init = sos_process_create("init", FALSE << 
286   if (! proc_init)                             << 
287     return -SOS_ENOMEM;                        << 
288   as_init = sos_process_get_address_space(proc << 
289                                                   137 
                                                   >> 138 /* Free the memory used by a big integer */
                                                   >> 139 void bn_del(big_number_t * bn)
                                                   >> 140 {
                                                   >> 141   struct digit *d;
290                                                   142 
291   /*                                           !! 143   list_collapse(*bn, d)
292    * Setup the root and CWD directories of the << 
293    * this process will correspond to the "glob << 
294    * system since all the future processes wil << 
295    */                                          << 
296   retval = sos_fs_new_opened_file(proc_init, r << 
297                                   SOS_FS_OPEN_ << 
298                                   & init_root) << 
299   if (SOS_OK != retval)                        << 
300     {                                             144     {
301       sos_process_unref(proc_init);            !! 145       sos_kfree((sos_vaddr_t)d);
302       return -SOS_ENOENT;                      << 
303     }                                             146     }
                                                   >> 147 }
304                                                   148 
305   /* Duplicate the root file to set the curren !! 149 
306      the init process */                       !! 150 /* Shift left a big integer: bn := bn*10^shift */
307   retval = sos_fs_duplicate_opened_file(init_r !! 151 void bn_shift(big_number_t *bn, int shift)
308                                         & init !! 152 {
309   if (SOS_OK != retval)                        !! 153   for ( ; shift > 0 ; shift --)
310     {                                             154     {
311       sos_fs_close(init_root);                 !! 155       bn_push_lsd(bn, 0);
312       sos_process_unref(proc_init);            << 
313       return -SOS_ENOENT;                      << 
314     }                                             156     }
                                                   >> 157 }
                                                   >> 158 
315                                                   159 
316   /* Now update the process ! */               !! 160 /* Dump the big integer in bochs */
317   if ( ( SOS_OK != sos_process_chroot(proc_ini !! 161 void bn_print_bochs(const big_number_t bn)
318        || ( SOS_OK != sos_process_chdir(proc_i !! 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 
                                                   >> 173 /* Dump the big integer on the console */
                                                   >> 174 void bn_print_console(unsigned char row, unsigned char col,
                                                   >> 175                       unsigned char attribute,
                                                   >> 176                       const big_number_t bn,
                                                   >> 177                       int nb_decimals)
                                                   >> 178 {
                                                   >> 179   if (list_is_empty(bn))
                                                   >> 180     sos_x86_videomem_printf(row, col, attribute, "0");
                                                   >> 181   else
319     {                                             182     {
320       sos_fs_close(init_root);                 !! 183       int nb_elts;
321       sos_fs_close(init_cwd);                  !! 184       const struct digit *d;
322       sos_process_chroot(proc_init, NULL, & un !! 185       unsigned char x = col;
323       sos_process_chdir(proc_init, NULL, & unu !! 186 
324       sos_process_unref(proc_init);            !! 187       list_foreach(bn, d, nb_elts)
325       return -SOS_ENOENT;                      !! 188         {
                                                   >> 189           if (nb_elts == 0)
                                                   >> 190             {
                                                   >> 191               sos_x86_videomem_printf(row, x, attribute, "%d.", d->value);
                                                   >> 192               x += 2;
                                                   >> 193             }
                                                   >> 194           else if (nb_elts < nb_decimals)
                                                   >> 195             {
                                                   >> 196               sos_x86_videomem_printf(row, x, attribute, "%d", d->value);
                                                   >> 197               x ++;
                                                   >> 198             }
                                                   >> 199         }
                                                   >> 200 
                                                   >> 201       sos_x86_videomem_printf(row, x, attribute, " . 10^{%d}  ", nb_elts-1);
326     }                                             202     }
                                                   >> 203 }
327                                                   204 
328   /* Map the 'init' program in user space */   !! 205 
329   start_uaddr = sos_binfmt_elf32_map(as_init,  !! 206 /* Result is the addition of 2 big integers */
330   if (0 == start_uaddr)                        !! 207 big_number_t bn_add (const big_number_t bn1, const big_number_t bn2)
                                                   >> 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 
                                                   >> 240   if (carry > 0)
331     {                                             241     {
332       sos_process_unref(proc_init);            !! 242       bn_push_msd(&retval, carry);
333       return -SOS_ENOENT;                      << 
334     }                                             243     }
335                                                   244 
336   /* Allocate the user stack */                !! 245   return retval;
337   ustack = (SOS_PAGING_TOP_USER_ADDRESS - SOS_ !! 246 }
338   retval = sos_dev_zero_map(as_init, &ustack,  !! 247 
339                             SOS_VM_MAP_PROT_RE !! 248 
340                             /* PRIVATE */ 0);  !! 249 /* Result is the multiplication of a big integer by a single digit */
341   if (SOS_OK != retval)                        !! 250 big_number_t bn_muli (const big_number_t bn, char digit)
                                                   >> 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)
342     {                                             259     {
343       sos_process_unref(proc_init);            !! 260       carry += d->value * digit;
344       return -SOS_ENOMEM;                      !! 261       bn_push_msd(&retval, carry % 10);
                                                   >> 262       carry /= 10;
345     }                                             263     }
346                                                   264 
347   /* Now create the user thread */             !! 265   if (carry > 0)
348   new_thr = sos_create_user_thread(NULL,       << 
349                                    proc_init,  << 
350                                    start_uaddr << 
351                                    0, 0,       << 
352                                    ustack + SO << 
353                                    SOS_SCHED_P << 
354   if (! new_thr)                               << 
355     {                                             266     {
356       sos_process_unref(proc_init);            !! 267       bn_push_msd(&retval, carry);
357       return -SOS_ENOMEM;                      << 
358     }                                             268     }
359                                                   269 
360   sos_process_unref(proc_init);                !! 270   return retval;
361   return SOS_OK;                               << 
362 }                                                 271 }
363                                                   272 
364                                                   273 
365 /* =========================================== !! 274 /* Result is the multiplication of 2 big integers */
366  * The C entry point of our operating system   !! 275 big_number_t bn_mult(const big_number_t bn1, const big_number_t bn2)
367  */                                            !! 276 {
368 void sos_main(unsigned long magic, unsigned lo !! 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->value);
                                                   >> 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_BLUE | SOS_X86_VIDEO_FG_LTGREEN,
                                                   >> 309                               "%d! = ", (int)i);
                                                   >> 310       bn_print_console(4, 8, SOS_X86_VIDEO_BG_BLUE | SOS_X86_VIDEO_FG_WHITE,
                                                   >> 311                        tmp, 55);
                                                   >> 312       bn_del(& I);
                                                   >> 313       bn_del(& retval);
                                                   >> 314       retval = tmp;
                                                   >> 315     }
                                                   >> 316 
                                                   >> 317   return retval;
                                                   >> 318 }
                                                   >> 319 
                                                   >> 320 
                                                   >> 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 
                                                   >> 331 /* The C entry point of our operating system */
                                                   >> 332 void sos_main(unsigned long magic, unsigned long addr)
369 {                                                 333 {
370   unsigned i;                                     334   unsigned i;
371   sos_paddr_t sos_kernel_core_base_paddr, sos_    335   sos_paddr_t sos_kernel_core_base_paddr, sos_kernel_core_top_paddr;
372   struct sos_time tick_resolution;             << 
373   struct sos_fs_manager_instance * rootfs;     << 
374                                                   336 
375   /* Size of RAM above 1MB. Might be undefined !! 337   /* Grub sends us a structure, called multiboot_info_t with a lot of
376   unsigned long int upper_mem = 0;             !! 338      precious informations about the system, see the multiboot
                                                   >> 339      documentation for more information. */
                                                   >> 340   multiboot_info_t *mbi;
                                                   >> 341   mbi = (multiboot_info_t *) addr;
377                                                   342 
378   /* Setup bochs and console, and clear the co    343   /* Setup bochs and console, and clear the console */
379   sos_bochs_setup();                              344   sos_bochs_setup();
380                                                   345 
381   sos_x86_videomem_setup();                       346   sos_x86_videomem_setup();
382   sos_x86_videomem_cls(SOS_X86_VIDEO_BG_BLUE);    347   sos_x86_videomem_cls(SOS_X86_VIDEO_BG_BLUE);
383                                                   348 
384   /* Greetings from SOS */                        349   /* Greetings from SOS */
385   if (magic == MULTIBOOT_BOOTLOADER_MAGIC)        350   if (magic == MULTIBOOT_BOOTLOADER_MAGIC)
386     {                                          !! 351     /* Loaded with Grub */
387       /* Grub sends us a structure, called mul !! 352     sos_x86_videomem_printf(1, 0,
388          precious informations about the syste !! 353                             SOS_X86_VIDEO_FG_YELLOW | SOS_X86_VIDEO_BG_BLUE,
389          documentation for more information. * !! 354                             "Welcome From GRUB to %s%c RAM is %dMB (upper mem = 0x%x kB)",
390       multiboot_info_t *mbi = (multiboot_info_ !! 355                             "SOS", ',',
391                                                !! 356                             (unsigned)(mbi->mem_upper >> 10) + 1,
392       /* Multiboot says: "The value returned f !! 357                             (unsigned)mbi->mem_upper);
393          maximally the address of the first up << 
394          megabyte.". It also adds: "It is not  << 
395          value." aka "YMMV" ;) */              << 
396       upper_mem = mbi->mem_upper;              << 
397       sos_x86_videomem_printf(1, 0,            << 
398                               SOS_X86_VIDEO_FG << 
399                               "Welcome From GR << 
400                               "SOS article 8", << 
401                               (unsigned)(upper << 
402                               (unsigned)upper_ << 
403     }                                          << 
404   else if (magic == 0x42244224)                << 
405     {                                          << 
406       /* Loaded with SOS bootsect */           << 
407       upper_mem = arg;                         << 
408       sos_x86_videomem_printf(1, 0,            << 
409                               SOS_X86_VIDEO_FG << 
410                               "Welcome to %s%c << 
411                               "SOS article 8", << 
412                               (unsigned)(upper << 
413                               (unsigned)upper_ << 
414     }                                          << 
415   else                                            358   else
416     /* Not loaded with grub, not from an enhan !! 359     /* Not loaded with grub */
417     sos_x86_videomem_printf(1, 0,                 360     sos_x86_videomem_printf(1, 0,
418                             SOS_X86_VIDEO_FG_Y    361                             SOS_X86_VIDEO_FG_YELLOW | SOS_X86_VIDEO_BG_BLUE,
419                             "Welcome to SOS ar !! 362                             "Welcome to SOS");
420                                                   363 
421   sos_bochs_putstring("Message in a bochs: Thi !! 364   sos_bochs_putstring("Message in a bochs\n");
422                                                   365 
423   /* Setup CPU segmentation and IRQ subsystem     366   /* Setup CPU segmentation and IRQ subsystem */
424   sos_gdt_subsystem_setup();                   !! 367   sos_gdt_setup();
425   sos_idt_subsystem_setup();                   !! 368   sos_idt_setup();
426                                                   369 
427   /* Setup SOS IRQs and exceptions subsystem *    370   /* Setup SOS IRQs and exceptions subsystem */
428   sos_exception_subsystem_setup();             !! 371   sos_exceptions_setup();
429   sos_irq_subsystem_setup();                   !! 372   sos_irq_setup();
430                                                   373 
431   /* Configure the timer so as to raise the IR    374   /* Configure the timer so as to raise the IRQ0 at a 100Hz rate */
432   sos_i8254_set_frequency(100);                   375   sos_i8254_set_frequency(100);
433                                                   376 
434   /* Setup the kernel time subsystem to get pr << 
435      ticks into account */                     << 
436   tick_resolution = (struct sos_time) { .sec=0 << 
437   sos_time_subsysem_setup(& tick_resolution);  << 
438                                                   377 
439   /* We need to know the RAM size */           !! 378   /* We need a multiboot-compliant boot loader to get the size of the RAM */
440   if (upper_mem == 0)                          !! 379   if (magic != MULTIBOOT_BOOTLOADER_MAGIC)
441     {                                             380     {
442       sos_x86_videomem_putstring(20, 0,           381       sos_x86_videomem_putstring(20, 0,
443                                  SOS_X86_VIDEO    382                                  SOS_X86_VIDEO_FG_LTRED
444                                    | SOS_X86_V    383                                    | SOS_X86_VIDEO_BG_BLUE
445                                    | SOS_X86_V    384                                    | SOS_X86_VIDEO_FG_BLINKING,
446                                  "I don't know !! 385                                  "I'm not loaded with Grub !");
447       /* STOP ! */                                386       /* STOP ! */
448       for (;;)                                    387       for (;;)
449         continue;                                 388         continue;
450     }                                             389     }
451                                                   390 
452   /*                                           << 
453    * Some interrupt handlers                   << 
454    */                                          << 
455                                                << 
456   /* Binding some HW interrupts and exceptions    391   /* Binding some HW interrupts and exceptions to software routines */
457   sos_irq_set_routine(SOS_IRQ_TIMER,              392   sos_irq_set_routine(SOS_IRQ_TIMER,
458                       clk_it);                 !! 393                             clk_it);
459                                                !! 394   /* Enabling the HW interrupts here, this will make the timer HW
460   /*                                           !! 395      interrupt call our clk_it handler */
461    * Setup physical memory management          !! 396   asm volatile ("sti\n");
462    */                                          !! 397   /* Multiboot says: "The value returned for upper memory is maximally
463                                                !! 398      the address of the first upper memory hole minus 1 megabyte.". It
464   SOS_ASSERT_FATAL(SOS_OK                      !! 399      also adds: "It is not guaranteed to be this value." aka "YMMV" ;) */
465                    == sos_physmem_subsystem_se !! 400   sos_physmem_setup((mbi->mem_upper<<10) + (1<<20),
466                                                !! 401                     & sos_kernel_core_base_paddr,
467                                                !! 402                     & sos_kernel_core_top_paddr);
468                                                   403   
469   /*                                              404   /*
470    * Switch to paged-memory mode                  405    * Switch to paged-memory mode
471    */                                             406    */
472                                                   407 
473   /* Disabling interrupts should seem more cor    408   /* Disabling interrupts should seem more correct, but it's not really
474      necessary at this stage */                   409      necessary at this stage */
475   SOS_ASSERT_FATAL(SOS_OK ==                   !! 410   if (sos_paging_setup(sos_kernel_core_base_paddr,
476                    sos_paging_subsystem_setup( !! 411                        sos_kernel_core_top_paddr))
477                                                !! 412     sos_bochs_printf("Could not setup paged memory mode\n");
478                                                !! 413   sos_x86_videomem_printf(2, 0,
479   /* Bind the page fault exception */          !! 414                           SOS_X86_VIDEO_FG_YELLOW | SOS_X86_VIDEO_BG_BLUE,
480   sos_exception_set_routine(SOS_EXCEPT_PAGE_FA !! 415                           "Paged-memory mode is activated");
481                             pgflt_ex);         << 
482                                                   416 
483   /*                                           << 
484    * Setup kernel virtual memory allocator     << 
485    */                                          << 
486                                                   417 
487   if (sos_kmem_vmm_subsystem_setup(sos_kernel_ !! 418   if (sos_kmem_vmm_setup(sos_kernel_core_base_paddr,
488                                    sos_kernel_ !! 419                          sos_kernel_core_top_paddr))
489                                    bootstrap_s << 
490                                    bootstrap_s << 
491                                    + bootstrap << 
492     sos_bochs_printf("Could not setup the Kern    420     sos_bochs_printf("Could not setup the Kernel virtual space allocator\n");
493                                                   421 
494   if (sos_kmalloc_subsystem_setup())           !! 422   if (sos_kmalloc_setup())
495     sos_bochs_printf("Could not setup the Kmal    423     sos_bochs_printf("Could not setup the Kmalloc subsystem\n");
496                                                   424 
497   /*                                           !! 425   /* Run some kmalloc tests */
498    * Initialize the MMU context subsystem      !! 426   bn_test();
499    */                                          << 
500   sos_mm_context_subsystem_setup();            << 
501                                                << 
502   /*                                           << 
503    * Initialize the CPU context subsystem      << 
504    */                                          << 
505   sos_cpu_context_subsystem_setup();           << 
506                                                << 
507   /*                                           << 
508    * Bind the syscall handler to its software  << 
509    */                                          << 
510   sos_swintr_subsystem_setup();                << 
511                                                << 
512                                                   427 
513   /*                                           !! 428   /* An operatig system never ends */
514    * Initialize the Kernel thread and schedule !! 429   for (;;)
515    */                                          !! 430     continue;
516                                                << 
517   /* Initialize kernel thread subsystem */     << 
518   sos_thread_subsystem_setup(bootstrap_stack_b << 
519                              bootstrap_stack_s << 
520                                                << 
521   /* Initialize the scheduler */               << 
522   sos_sched_subsystem_setup();                 << 
523                                                << 
524   /* Declare the IDLE thread */                << 
525   SOS_ASSERT_FATAL(sos_create_kernel_thread("i << 
526                                             SO << 
527                                                << 
528   /* Prepare the stats subsystem */            << 
529   sos_load_subsystem_setup();                  << 
530                                                << 
531   /* Declare a thread that prints some stats * << 
532   SOS_ASSERT_FATAL(sos_create_kernel_thread("s << 
533                                             NU << 
534                                             SO << 
535                                                   431 
536                                                !! 432   return;
537   /*                                           << 
538    * Initialise user address space management  << 
539    */                                          << 
540   sos_umem_vmm_subsystem_setup();              << 
541   sos_dev_zero_subsystem_setup();              << 
542                                                << 
543   /*                                           << 
544    * Initialize process stuff                  << 
545    */                                          << 
546   sos_process_subsystem_setup();               << 
547                                                << 
548                                                << 
549   /* Enabling the HW interrupts here, this wil << 
550      interrupt call the scheduler */           << 
551   asm volatile ("sti\n");                      << 
552                                                << 
553                                                << 
554   SOS_ASSERT_FATAL(SOS_OK == sos_fs_virtfs_sub << 
555   SOS_ASSERT_FATAL(SOS_OK == sos_fs_subsystem_ << 
556                                                << 
557                                                << 
558                                                << 
559                                                << 
560                                                << 
561   /* Start the 'init' process, which in turns  << 
562      programs */                               << 
563   start_init(rootfs);                          << 
564   /*                                           << 
565    * We can safely exit from this function now << 
566    * an idle Kernel thread ready to make the C << 
567    *                                           << 
568    * However, we must EXPLICITELY call sos_thr << 
569    * simple "return" will return nowhere ! Act << 
570    * was initialized by the Grub bootstrap sta << 
571    * word "thread" did not exist. This means t << 
572    * setup in order for a return here to call  << 
573    * automagically. Hence we must call it manu << 
574    * kernel thread where we must do this manua << 
575    */                                          << 
576   sos_bochs_printf("Bye from primary thread !\ << 
577   sos_thread_exit();                           << 
578   SOS_FATAL_ERROR("No trespassing !");         << 
579 }                                                 433 }
                                                      

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