Changeset 246 for soft/giet_vm/sys


Ignore:
Timestamp:
Jul 9, 2013, 3:54:53 PM (11 years ago)
Author:
meunier
Message:

Cosmétique + gestion du reset de l'irq du timer ou de l'xicu lors d'un task_switch

Location:
soft/giet_vm/sys
Files:
6 edited

Legend:

Unmodified
Added
Removed

  • soft/giet_vm/sys/ctx_handler.c

    r238 r246  
    105105        unsigned int* curr_ctx_vaddr = &(psched->context[curr_task_id][0]);
    106106        unsigned int* next_ctx_vaddr = &(psched->context[next_task_id][0]);
     107        unsigned int procid = _procid();
     108        unsigned int local_id = procid % NB_PROCS_MAX;
     109        unsigned int cluster_id = procid / NB_PROCS_MAX;
    107110
    108111        // set current task index
    109112        psched->current = next_task_id;
    110113
    111         //_timer_reset_irq_cpt(cluster_id, local_id);
    112         // commented until not properly supported in soclib
    113         // (the function is not yet present in drivers.c)
     114        _timer_reset_irq_cpt(cluster_id, local_id);
    114115
    115116        _task_switch(curr_ctx_vaddr, next_ctx_vaddr);

  • soft/giet_vm/sys/drivers.c

    r238 r246  
    248248
    249249
    250 ////////////////////////////////////////////////
     250
     251///////////////////////////////////////////////////////////////////////
    251252// _timer_reset_irq_cpt()
    252 ////////////////////////////////////////////////
    253 //unsigned int _timer_reset_irq_cpt(unsigned int cluster_id, unsigned int local_id) {
    254 //    // parameters checking
    255 //    if (cluster_id >= NB_CLUSTERS) {
    256 //        return 1;
    257 //    }
    258 //    if (local_id >= NB_TIM_CHANNELS) {
    259 //        return 2;
    260 //    }
    261 //
    262 //#if USE_XICU
    263 //#error // not implemented
    264 //#else
    265 //    unsigned int * timer_address = (unsigned int *) ((char *) &seg_tim_base + (cluster_id * GIET_CLUSTER_INCREMENT));
    266 //    unsigned int timer_period = timer_address[local_id * TIMER_SPAN + TIMER_PERIOD];
    267 //
    268 //    timer_address[local_id * TIMER_SPAN + TIMER_PERIOD] = timer_period;
    269 //#endif
    270 //
    271 //    return 0;
    272 //}
     253///////////////////////////////////////////////////////////////////////
     254// This function resets the period at the end of which
     255// an interrupt is sent. To do so, we re-write the period
     256// ini the proper register, what causes the count to restart.
     257// The period value is read from the same (TIMER_PERIOD) register,
     258// this is why in appearance we do nothing useful (read a value
     259// from a register and write this value in the same register)
     260// This function is called during a context switch (user or preemptive)
     261///////////////////////////////////////////////////////////////////////
     262unsigned int _timer_reset_irq_cpt(unsigned int cluster_id, unsigned int local_id) {
     263    // parameters checking
     264    if (cluster_id >= NB_CLUSTERS) {
     265        return 1;
     266    }
     267    if (local_id >= NB_TIM_CHANNELS) {
     268        return 2;
     269    }
     270
     271#if USE_XICU
     272    unsigned int * timer_address = (unsigned int *) ((char *) &seg_icu_base + (cluster_id * GIET_CLUSTER_INCREMENT));
     273    unsigned int timer_period = timer_address[XICU_REG(XICU_PTI_PER, local_id)];
     274
     275    // we write 0 first because if the timer is currently running, the corresponding timer counter is not reset
     276    timer_address[XICU_REG(XICU_PTI_PER, local_id)] = 0;
     277    timer_address[XICU_REG(XICU_PTI_PER, local_id)] = timer_period;
     278#else
     279    // We suppose that the TIMER_MODE register value is 0x3
     280    unsigned int * timer_address = (unsigned int *) ((char *) &seg_tim_base + (cluster_id * GIET_CLUSTER_INCREMENT));
     281    unsigned int timer_period = timer_address[local_id * TIMER_SPAN + TIMER_PERIOD];
     282
     283    timer_address[local_id * TIMER_SPAN + TIMER_PERIOD] = timer_period;
     284#endif
     285
     286    return 0;
     287}
    273288
    274289
    … …  
    599614    unsigned int buf_xaddr = 0;    // user buffer virtual address in IO space (if IOMMU)
    600615    paddr_t      buf_paddr = 0;    // user buffer physical address (if no IOMMU),
    601                                
     616
    602617    // check buffer alignment
    603618    if ((unsigned int) user_vaddr & 0x3)
    … …  
    626641    {
    627642        // get ppn and flags for each vpn
    628         unsigned int ko = _v2p_translate( (page_table_t*)user_pt_vbase,
    629                                            vpn,
    630                                            &ppn,
    631                                            &flags);
     643        unsigned int ko = _v2p_translate((page_table_t *) user_pt_vbase,
     644                                          vpn,
     645                                          &ppn,
     646                                          &flags);
    632647        // check access rights
    633         if (ko)                                 
     648        if (ko)
    634649        {
    635650            _get_lock(&_tty_put_lock);
    … …  
    12541269// - length : number of bytes to be transfered.
    12551270//////////////////////////////////////////////////////////////////////////////////
    1256 unsigned int _fb_sync_write( unsigned int   offset,
    1257                              const void*    buffer,
    1258                              unsigned int   length)
    1259 {
    1260     unsigned char* fb_address = (unsigned char *) &seg_fbf_base + offset;
     1271
     1272unsigned int _fb_sync_write(unsigned int offset,
     1273                            const void * buffer,
     1274                            unsigned int length)
     1275{
     1276    unsigned char * fb_address = (unsigned char *) &seg_fbf_base + offset;
    12611277    memcpy((void *) fb_address, (void *) buffer, length);
    12621278    return 0;

  • soft/giet_vm/sys/drivers.h

    r237 r246  
    1919unsigned int _timer_stop(unsigned int cluster_id, unsigned int local_id);
    2020unsigned int _timer_reset_irq(unsigned int cluster_id, unsigned int local_id);
    21 //unsigned int _timer_reset_irq_cpt(unsigned int cluster_id, unsigned int local_id);
     21unsigned int _timer_reset_irq_cpt(unsigned int cluster_id, unsigned int local_id);
    2222
    2323

  • soft/giet_vm/sys/irq_handler.c

    r238 r246  
    152152{
    153153    // save status & reset IRQ
    154     if (_ioc_get_status((unsigned int *) &_ioc_status ))
     154    if (_ioc_get_status((unsigned int *) &_ioc_status))
    155155    {
    156156        _get_lock(&_tty_put_lock);

  • soft/giet_vm/sys/kernel_init.c

    r238 r246  
    6363
    6464
     65
    6566//////////////////////////////////////////////////////////////////////////////////
    6667// This function is the entry point for the last step of the boot sequence.
    … …  
    101102    for (ltid = 0; ltid < tasks; ltid++)
    102103    {
    103         unsigned int vsid  = _get_task_slot(ltid , CTX_VSID_ID);
    104         unsigned int ptab  = _get_task_slot(ltid , CTX_PTAB_ID);
    105         unsigned int ptpr  = _get_task_slot(ltid , CTX_PTPR_ID);
     104        unsigned int vsid = _get_task_slot(ltid , CTX_VSID_ID);
     105        unsigned int ptab = _get_task_slot(ltid , CTX_PTAB_ID);
     106        unsigned int ptpr = _get_task_slot(ltid , CTX_PTPR_ID);
    106107
    107108        _ptabs[vsid] = ptab;

  • soft/giet_vm/sys/vm_handler.c

    r238 r246  
    3838
    3939    // get ptba and update PT2
    40     if ((pt->pt1[ix1] & PTE_V) == 0) {
     40    if ((pt->pt1[ix1] & PTE_V) == 0)
     41    {
    4142        _puts("\n[GIET ERROR] in iommu_add_pte2 function\n");
    4243        _puts("the IOMMU PT1 entry is not mapped / ix1 = ");
    … …  
    6667
    6768    // get ptba and inval PTE2
    68     if ((pt->pt1[ix1] & PTE_V) == 0) {
     69    if ((pt->pt1[ix1] & PTE_V) == 0)
     70    {
    6971        _puts("\n[GIET ERROR] in iommu_inval_pte2 function\n");
    7072        _puts("the IOMMU PT1 entry is not mapped / ix1 = ");
    … …  
    8587// Returns 0 if success, 1 if PTE1 or PTE2 unmapped
    8688//////////////////////////////////////////////////////////////////////////////
    87 unsigned int _v2p_translate( page_table_t*  pt,
    88                              unsigned int    vpn,
    89                              unsigned int*   ppn,       
    90                              unsigned int*   flags )
     89unsigned int _v2p_translate(page_table_t * pt,
     90                            unsigned int   vpn,
     91                            unsigned int * ppn,
     92                            unsigned int * flags)
    9193{
    92     paddr_t                 ptba;
    93     paddr_t                 pte2;
     94    paddr_t ptba;
     95    paddr_t pte2;
    9496
    95     register unsigned int   pte2_msb;
    96     register unsigned int   pte2_lsb;
    97     register unsigned int   flags_value;
    98     register unsigned int   ppn_value;
     97    register unsigned int pte2_msb;
     98    register unsigned int pte2_lsb;
     99    register unsigned int flags_value;
     100    register unsigned int ppn_value;
    99101
    100102    unsigned int ix1 = vpn >> 9;
    … …  
    102104
    103105    // check PTE1 mapping
    104     if ((pt->pt1[ix1] & PTE_V) == 0) return 1;
     106    if ((pt->pt1[ix1] & PTE_V) == 0)
     107    {
     108        return 1;
     109    }
    105110    else
    106111    {
    107112        // get physical addresses of pte2
    108         ptba     = (paddr_t)(pt->pt1[ix1] & 0x0FFFFFFF) << 12;
    109         pte2     = ptba + 8*ix2;
    110         pte2_lsb = (unsigned int)pte2;
    111         pte2_msb = (unsigned int)(pte2 >> 32);
     113        ptba     = (paddr_t) (pt->pt1[ix1] & 0x0FFFFFFF) << 12;
     114        pte2     = ptba + 8 * ix2;
     115        pte2_lsb = (unsigned int) pte2;
     116        pte2_msb = (unsigned int) (pte2 >> 32);
    112117
    113118        // gets ppn_value and flags_value, after temporary DTLB desactivation
    … …  
    135140
    136141        // check PTE2 mapping
    137         if ((flags_value & PTE_V) == 0)  return 1;
     142        if ((flags_value & PTE_V) == 0) {
     143            return 1;
     144        }
    138145
    139146        // set return values
Note: See TracChangeset for help on using the changeset viewer.