source: soft/giet_vm/giet_kernel/kernel_init.c @ 279

Last change on this file since 279 was 274, checked in by cfuguet, 11 years ago

Bugfix on kernel_init file:

  • The size of the schedulers vector was incorrect. It must be computed using the X_WIDTH and Y_WIDTH parameters instead of the X_SIZE and Y_SIZE parameters.

This is because this vector is indexed by the global processor
index
  • Property svn:executable set to *
File size: 15.3 KB
Line 
1///////////////////////////////////////////////////////////////////////////////////
2// File     : kernel_init.c
3// Date     : 26/05/2012
4// Authors  : alain greiner & mohamed karaoui
5// Copyright (c) UPMC-LIP6
6////////////////////////////////////////////////////////////////////////////////////
7// The kernel_init.c file is part of the GIET-VM nano-kernel.
8//
9// This nano-kernel has been written for the MIPS32 processor.
10// The virtual adresses are on 32 bits and use the (unsigned int) type, but the
11// physicals addresses can have up to 40 bits, and use the  (unsigned long long) type.
12// It natively supports clusterised shared mmemory multi-processors architectures,
13// where each processor is identified by a composite index (cluster_xy, local_id),
14// and where there is one physical memory bank per cluster.
15//
16// This file contains the _kernel_init() function, that performs the second
17// phase of system initialisation.  The three significant actions are:
18// 1) processor 0 makes peripherals and system FAT initialisation.
19// 2) processor 0 awake all other processors by an IPI.
20// 3) all processors running in parallel perform register initialisation,
21//    from their private scheduler, and jump to user code.
22////////////////////////////////////////////////////////////////////////////////////
23
24#include <giet_config.h>
25
26// kernel libraries
27#include <utils.h>
28#include <fat32.h>
29
30//for peripheral initialisation
31#include <dma_driver.h>
32#include <fbf_driver.h>
33#include <tty_driver.h>
34#include <icu_driver.h>
35#include <xcu_driver.h>
36#include <ioc_driver.h>
37#include <mmc_driver.h>
38#include <mwr_driver.h>
39#include <nic_driver.h>
40#include <tim_driver.h>
41
42#include <ctx_handler.h>
43#include <irq_handler.h>
44
45#include <mapping_info.h>
46#include <mips32_registers.h>
47
48///////////////////////////////////////////////////////////////////////////////////
49// array of pointers on the page tables (virtual addresses)
50///////////////////////////////////////////////////////////////////////////////////
51
52__attribute__((section (".kdata"))) 
53unsigned int _ptabs_vaddr[GIET_NB_VSPACE_MAX];    // virtual addresses
54
55__attribute__((section (".kdata")))       
56unsigned int _ptabs_ptprs[GIET_NB_VSPACE_MAX];    // physical addresses >> 13
57
58///////////////////////////////////////////////////////////////////////////////////
59// array of pointers on the schedulers (physical addresses)
60///////////////////////////////////////////////////////////////////////////////////
61
62__attribute__((section (".kdata"))) 
63static_scheduler_t* _schedulers[NB_PROCS_MAX<<(X_WIDTH+Y_WIDTH)];   // virtual addresses
64
65////////////////////////////////////////////////////////////////////////////////////
66// staks for the "idle" tasks (256 bytes for each processor)
67////////////////////////////////////////////////////////////////////////////////////
68
69__attribute__((section (".kdata"))) 
70unsigned int _idle_stack[X_SIZE*Y_SIZE * NB_PROCS_MAX * 128]; 
71
72////////////////////////////////////////////////////////////////////////////////////
73// This function is the entry point in kernel for all processors.
74// It is executed in parallel by all procesors, and completes the system
75// initialisation that has been started by processor 0 in the boot_init() function.
76//
77// This kernel code makes the following assuptions, regarding the work bone
78// by the boot code:
79//
80// 1) The page tables associated to the various vspaces have been build
81//    in physical memory, and can be used by the kernel code.
82//
83// 2) All schedulers (this include all task contexts) have been initialised,
84//    Both the virtual and the physical base addresses of the page tables
85//    are available in the CTX_PTAB and CTX_PTPR slots.
86//
87// 3) The CP0_SCHED register of each processor contains a pointer on its
88//    private scheduler (virtual address).
89//
90// 4) The CP2_PTPR register of each processor contains a pointer on
91//    the vspace_0 page table (physical address>>13).
92//
93// 5) For all processors, the MMU is activated (CP2_MODE contains 0xF).
94//
95// This code must be loaded in .kinit section, in order to control seg_kinit_base,
96// as this address is used by the boot code to jump into kernel code.
97////////////////////////////////////////////////////////////////////////////////////
98// Each processor performs the following actions:
99// 1/ contribute to _schedulers_paddr[] array initialisation.
100// 2/ contribute to _ptabs_paddr[] and _ptabs_vaddr arrays initialisation
101// 3/ compute and set the ICU mask for its private ICU channel
102// 4/ initialise its private TICK timer (if tasks > 0)
103// 5/ initialise the "idle" task context in its private scheduler
104// 6/ initialise the SP, SR, PTPR, EPC registers
105// 7/ jump to the user code with an eret.
106////////////////////////////////////////////////////////////////////////////////////
107__attribute__((section (".kinit"))) void kernel_parallel_init() 
108{
109    unsigned int global_pid = _get_procid();
110    unsigned int cluster_xy = global_pid / NB_PROCS_MAX;
111    unsigned int local_pid  = global_pid % NB_PROCS_MAX;
112
113#if 0
114////////////// Debug : we can kill all processors but one
115if ( global_pid != 0 )
116{
117    _tty_get_lock( 0 );
118    _puts("\n[GIET] Processor[");
119    _putd( cluster_xy >> Y_WIDTH );
120    _puts(",");
121    _putd( cluster_xy & ((1<<Y_WIDTH)-1) );
122    _puts(",");
123    _putd( local_pid );
124    _puts("] suicide...\n");
125    _tty_release_lock( 0 );
126    _exit();
127}
128#endif
129
130    // Step 1 : each processor get its scheduler virtual address
131    //          and contribute to initialise the _schedulers[] array
132
133    static_scheduler_t* psched     = (static_scheduler_t*)_get_sched();
134    unsigned int        tasks      = psched->tasks;
135
136    _schedulers[global_pid] = psched;
137
138#if GIET_DEBUG_INIT
139_tty_get_lock( 0 );
140_puts("\n[GIET DEBUG] Parallel init : step 1 for processor[");
141_putd( cluster_xy >> Y_WIDTH );
142_puts(",");
143_putd( cluster_xy & ((1<<Y_WIDTH)-1) );
144_puts(",");
145_putd( local_pid );
146_puts("]\n - scheduler vbase = ");
147_putx((unsigned int) psched);
148_puts("\n - tasks           = ");
149_putd(tasks);
150_puts("\n");
151_tty_release_lock( 0 );
152#endif
153
154    // step 2 : each processor that is allocated at least one task
155    //          completes its private scheduler initialisation, and
156    //          contribute to _ptabs_vaddr[] and _ptabs_ptprs[] arrays initialisation.
157    //          - set the CTX_RA slot vith the virtual address
158    //            of the _ctx_eret() function (for context switch).
159    //          - set the CTX_EPC slot that must contain the task
160    //            entry point, and contain only the address of the
161    //            memory location containing this entry point.
162
163    unsigned int ltid;
164
165    // loop on all allocated tasks
166    for (ltid = 0; ltid < tasks; ltid++) 
167    {
168        unsigned int vsid = _get_task_slot( global_pid, ltid , CTX_VSID_ID ); 
169        unsigned int ptab = _get_task_slot( global_pid, ltid , CTX_PTAB_ID ); 
170        unsigned int ptpr = _get_task_slot( global_pid, ltid , CTX_PTPR_ID ); 
171
172        _ptabs_vaddr[vsid] = ptab;
173        _ptabs_ptprs[vsid] = ptpr;
174
175        unsigned int ctx_ra = (unsigned int)(&_ctx_eret);
176        _set_task_slot( global_pid, ltid, CTX_RA_ID, ctx_ra );
177
178        unsigned int* ptr = (unsigned int*)_get_task_slot( global_pid, ltid, CTX_EPC_ID );
179        _set_task_slot( global_pid, ltid, CTX_EPC_ID, *ptr );
180
181#if GIET_DEBUG_INIT
182_tty_get_lock( 0 );
183_puts("\n[GIET DEBUG] Parallel init : step 2 for processor[");
184_putd( cluster_xy >> Y_WIDTH );
185_puts(",");
186_putd( cluster_xy & ((1<<Y_WIDTH)-1) );
187_puts(",");
188_putd( local_pid );
189_puts("] / task ");
190_putd( ltid );
191_puts("\n - ctx_vsid  = ");
192_putd( _get_task_slot( global_pid, ltid, CTX_VSID_ID ) );
193_puts("\n - ctx_ptpr  = ");
194_putx( _get_task_slot( global_pid, ltid, CTX_PTPR_ID ) );
195_puts("\n - ctx_ptab  = ");
196_putx( _get_task_slot( global_pid, ltid, CTX_PTAB_ID ) );
197_puts("\n - ctx_ltid  = ");
198_putd( _get_task_slot( global_pid, ltid, CTX_LTID_ID ) );
199_puts("\n - ctx_epc   = ");
200_putx( _get_task_slot( global_pid, ltid, CTX_EPC_ID ) );
201_puts("\n - ctx_ra    = ");
202_putx( _get_task_slot( global_pid, ltid, CTX_RA_ID ) );
203_puts("\n - ctx_gtid  = ");
204_putd( _get_task_slot( global_pid, ltid, CTX_GTID_ID ) );
205_puts("\n - ctx_tty   = ");
206_putd( _get_task_slot( global_pid, ltid, CTX_TTY_ID ) );
207_puts("\n");
208_tty_release_lock( 0 );
209#endif
210
211    }
212
213    // step 3 : compute and set ICU or XICU masks
214    //          there is at most 32 interrupts per processor
215
216    unsigned int isr_switch_index = 0xFFFFFFFF;
217    unsigned int irq_id;            // IN_IRQ index
218    unsigned int hwi_mask = 0;
219    unsigned int swi_mask = 0;
220    unsigned int pti_mask = 0;
221
222    for (irq_id = 0; irq_id < 32; irq_id++) 
223    {
224        unsigned int entry = psched->interrupt_vector[irq_id];
225        unsigned int isr   = (entry & 0x000000FF);
226        unsigned int type  = (entry & 0x0000FF00) >> 8;
227        unsigned int valid = (entry & 0x80000000);
228
229        if      ((type == IRQ_TYPE_HWI) && valid ) hwi_mask = hwi_mask | (1<<irq_id);
230        else if ((type == IRQ_TYPE_SWI) && valid ) swi_mask = swi_mask | (1<<irq_id);
231        else if ((type == IRQ_TYPE_PTI) && valid ) pti_mask = pti_mask | (1<<irq_id);
232        else if ( valid )
233        {
234            _puts("\n[GIET ERROR] _kernel_parallel_start() : illegal IRQ type\n");
235            _puts(" irq_id = ");
236            _putx( irq_id );
237            _puts(" / entry = ");
238            _putx( entry );
239            _puts("\n");
240            _exit();
241        }
242        if (isr == ISR_SWITCH) isr_switch_index = irq_id;
243    }
244
245#if GIET_DEBUG_INIT
246_tty_get_lock( 0 );
247_puts("\n[GIET DEBUG] Parallel init : step 3 for processor[");
248_putd( cluster_xy >> Y_WIDTH );
249_puts(",");
250_putd( cluster_xy & ((1<<Y_WIDTH)-1) );
251_puts(",");
252_putd( local_pid );
253_puts("]\n - ICU HWI_MASK = ");
254_putx(hwi_mask);
255_puts("\n - ICU SWI_MASK = ");
256_putx(swi_mask);
257_puts("\n - ICU PTI_MASK = ");
258_putx(pti_mask);
259_puts("\n");
260_tty_release_lock( 0 );
261#endif
262
263    // GIET-VM consraint : only one IRQ type per irq_id
264    if ( hwi_mask & swi_mask & pti_mask )
265    {
266        _puts("[GIET ERROR] _kernel_parallel_start : conflicting IRQs\n");
267        _exit();
268    }
269
270#if USE_XICU
271    _xcu_set_mask(cluster_xy, local_pid, hwi_mask, IRQ_TYPE_HWI); // set HWI_MASK
272    _xcu_set_mask(cluster_xy, local_pid, swi_mask, IRQ_TYPE_SWI); // set SWI_MASK
273    _xcu_set_mask(cluster_xy, local_pid, pti_mask, IRQ_TYPE_PTI); // set PTI_MASK
274#else
275    _icu_set_mask(cluster_xy, local_pid, (hwi_mask | pti_mask | swi_mask) );   
276#endif
277
278    // step 4 : start TICK timer if at least one task
279    if (tasks > 0) 
280    {
281        // one ISR_SWITCH must be defined for each proc
282        if (isr_switch_index == 0xFFFFFFFF) 
283        {
284            _tty_get_lock( 0 );
285            _puts("\n[GIET ERROR] ISR_SWITCH not found for processor ");
286            _putx(global_pid);
287            _puts("\n");
288            _tty_release_lock( 0 );
289            _exit();
290        }
291
292        // the ISR_SWITCH irq index must be NB_PROCS_MAX + local_pid because
293        // the first NB_PROCS_MAX irqs are used by the WAKEUP ones
294        if (isr_switch_index != (NB_PROCS_MAX + local_pid))
295        {
296            _tty_get_lock( 0 );
297            _puts("\n[GIET ERROR] ISR_SWITCH wrong index for processor ");
298            _putx(global_pid);
299            _puts("\n. It should be NB_PROCS_MAX + local_pid =");
300            _putd(NB_PROCS_MAX + local_pid);
301            _puts("\n");
302            _tty_release_lock( 0 );
303            _exit();
304        }
305
306        // start system timer
307        unsigned int ko;
308#if USE_XICU
309        ko = _xcu_timer_start( cluster_xy, isr_switch_index, GIET_TICK_VALUE ); 
310#else
311        ko = _timer_start( cluster_xy, isr_switch_index, GIET_TICK_VALUE ); 
312#endif
313        if ( ko )
314        {
315            _tty_get_lock( 0 );
316            _puts("\n[GIET ERROR] cannot start timer for processor ");
317            _putd(local_pid);
318            _puts("\n");
319            _tty_release_lock( 0 );
320            _exit();
321        }
322    } 
323
324#if GIET_DEBUG_INIT
325_tty_get_lock( 0 );
326_puts("\n[GIET DEBUG] Parallel init : step 4 for processor[");
327_putd( cluster_xy >> Y_WIDTH );
328_puts(",");
329_putd( cluster_xy & ((1<<Y_WIDTH)-1) );
330_puts(",");
331_putd( local_pid );
332_puts("]");
333if ( tasks > 1 ) _puts("\n  context switch activated\n");
334else             _puts("\n  context switch  not activated\n");
335_tty_release_lock( 0 );
336#endif
337
338    // step 5 : each processor updates the idle_task context:
339    //          (only CTX_SP, CTX_RA, CTX_EPC).
340    //          The stack size is 256 bytes, reserved in seg_kdata.
341    //          The PTPR register, the CTX_PTPR and CTX_PTAB slots
342    //          have been initialised in boot code.
343
344    unsigned int stack = (unsigned int)_idle_stack + ((global_pid + 1)<<9);
345
346    _set_task_slot( global_pid, IDLE_TASK_INDEX, CTX_SP_ID,  stack);
347    _set_task_slot( global_pid, IDLE_TASK_INDEX, CTX_RA_ID,  (unsigned int) &_ctx_eret);
348    _set_task_slot( global_pid, IDLE_TASK_INDEX, CTX_EPC_ID, (unsigned int) &_idle_task);
349
350#if GIET_DEBUG_INIT
351_tty_get_lock( 0 );
352_puts("\n[GIET DEBUG] Parallel init : step 5 for processor[");
353_putd( cluster_xy >> Y_WIDTH );
354_puts(",");
355_putd( cluster_xy & ((1<<Y_WIDTH)-1) );
356_puts(",");
357_putd( local_pid );
358_puts("] : idle task context set\n");
359_tty_release_lock( 0 );
360#endif
361
362    // step 6 : each processor initialises SP, SR, PTPR, EPC, registers
363    //          with the values corresponding to the first allocated task,
364    //          or to the idle_task if there is no task allocated.
365
366    ltid = 0;
367
368    if (tasks == 0) 
369    {
370        ltid = IDLE_TASK_INDEX;
371
372        _tty_get_lock( 0 );
373        _puts("\n[GIET WARNING] No task allocated to processor ");
374        _putx(global_pid);
375        _puts(" => idle\n");
376        _tty_release_lock ( 0 );
377    }
378
379    unsigned int sp_value   = _get_task_slot(global_pid, ltid, CTX_SP_ID);
380    unsigned int sr_value   = _get_task_slot(global_pid, ltid, CTX_SR_ID);
381    unsigned int ptpr_value = _get_task_slot(global_pid, ltid, CTX_PTPR_ID);
382    unsigned int epc_value  = _get_task_slot(global_pid, ltid, CTX_EPC_ID);
383
384#if GIET_DEBUG_INIT
385_tty_get_lock( 0 );
386_puts("\n[GIET DEBUG] Parallel init : step 6 for processor[");
387_putd( cluster_xy >> Y_WIDTH );
388_puts(",");
389_putd( cluster_xy & ((1<<Y_WIDTH)-1) );
390_puts(",");
391_putd( local_pid );
392_puts("]\n - sp   = ");
393_putx(sp_value);
394_puts("\n - sr   = ");
395_putx(sr_value);
396_puts("\n - ptpr = ");
397_putx(ptpr_value);
398_puts("\n - epc  = ");
399_putx(epc_value);
400_puts("\n");
401_tty_release_lock( 0 );
402#endif
403
404_tty_get_lock( 0 );
405_puts("\n[GIET] Processor[");
406_putd( cluster_xy >> Y_WIDTH );
407_puts(",");
408_putd( cluster_xy & ((1<<Y_WIDTH)-1) );
409_puts(",");
410_putd( local_pid );
411_puts("] completes kernel init at cycle ");
412_putd( _get_proctime() );
413_puts(" / task_entry_point = ");
414_putx( epc_value );
415_puts("\n");
416_tty_release_lock( 0 );
417
418    // Step 7 : set  registers and jump to user code
419    asm volatile (
420            "move    $29,       %0    \n"        /* SP <= ctx[CTX_SP_ID] */
421            "mtc0    %1,        $12   \n"        /* SR <= ctx[CTX_SR_ID] */
422            "mtc2    %2,        $0    \n"        /* PTPR <= ctx[CTX_PTPR_ID] */
423            "mtc0    %3,        $14   \n"        /* EPC <= ctx[CTX_EPC_ID] */
424            "eret                     \n"        /* jump to user code */
425            "nop                      \n"
426            :
427            : "r" (sp_value), "r" (sr_value), "r" (ptpr_value), "r" (epc_value));
428
429} // end kernel_parallel_init()
430
431
432// Local Variables:
433// tab-width: 4
434// c-basic-offset: 4
435// c-file-offsets:((innamespace . 0)(inline-open . 0))
436// indent-tabs-mode: nil
437// End:
438// vim: filetype=c:expandtab:shiftwidth=4:tabstop=4:softtabstop=4
439
Note: See TracBrowser for help on using the repository browser.