Changeset 633


Ignore:
Timestamp:
May 28, 2019, 6:10:15 PM (5 years ago)
Author:
alain
Message:

cosmetic

Location:
trunk
Files:
20 edited

Legend:

Unmodified
Added
Removed
  • trunk/Makefile

    r626 r633  
    129129# arch_info.bin and arch_info.xml), and update the virtual disk.
    130130hard_config.h: $(ARCH)/arch_info.py
    131         tools/arch_info/genarch.py      --arch=$(ARCH)                  \
    132                                                                 --x_size=$(X_SIZE)              \
    133                                                                 --y_size=$(Y_SIZE)              \
    134                                                                 --nb_cores=$(NB_PROCS)  \
    135                                                                 --nb_ttys=$(NB_TTYS)    \
    136                                                                 --ioc_type=$(IOC_TYPE)  \
    137                                 --txt_type=$(TXT_TYPE)  \
    138                                 --fbf_type=$(FBF_TYPE)  \
    139                                 --sys_clk=$(SYS_CLK)    \
    140                                                                 --hard=.                                \
    141                                                                 --bin=.                                 \
    142                                                                 --xml=.                                 
     131        tools/arch_info/genarch.py      --arch=$(ARCH)          \
     132                                        --x_size=$(X_SIZE)      \
     133                                        --y_size=$(Y_SIZE)      \
     134                                        --nb_cores=$(NB_PROCS)  \
     135                                        --nb_ttys=$(NB_TTYS)    \
     136                                        --ioc_type=$(IOC_TYPE)  \
     137                                        --txt_type=$(TXT_TYPE)  \
     138                                        --fbf_type=$(FBF_TYPE)  \
     139                                        --sys_clk=$(SYS_CLK)    \
     140                                        --hard=.                \
     141                                        --bin=.                 \
     142                                        --xml=.                                 
    143143        mcopy -o -i $(DISK_IMAGE) arch_info.bin ::/   || true
    144144        mdir             -/ -b -i $(DISK_IMAGE) ::/
  • trunk/hal/tsar_mips32/core/hal_gpt.c

    r632 r633  
    346346
    347347#if GPT_LOCK_WATCHDOG
    348     uint32_t count;
     348    uint32_t count = 0;
    349349#endif
    350350
     
    391391            page_xp = ppm_remote_alloc_pages( gpt_cxy , 0 );
    392392
    393             if( page_xp == NULL )
     393            if( page_xp == XPTR_NULL )
    394394            {
    395395                printk("\n[ERROR] in %s : cannot allocate memory for PT2\n", __FUNCTION__ );
     
    445445
    446446    // get pointer on PT2 base from PTD1
    447         pt2_ppn = TSAR_MMU_PTBA_FROM_PTE1( ptd1 );
    448         pt2_ptr = GET_PTR( ppm_ppn2base( pt2_ppn ) );
     447    pt2_ppn = TSAR_MMU_PTBA_FROM_PTE1( ptd1 );
     448    pt2_ptr = GET_PTR( ppm_ppn2base( pt2_ppn ) );
    449449
    450450    // build extended pointers on PT2[ix2].attr 
     
    461461        // wait until PTE lock released by the current owner
    462462        do
    463                 {
    464                         pte2_attr = hal_remote_l32( pte2_xp );
     463        {
     464            pte2_attr = hal_remote_l32( pte2_xp );
    465465
    466466#if GPT_LOCK_WATCHDOG
     
    475475#endif
    476476     
    477                 }
     477        }
    478478        while( (pte2_attr & TSAR_PTE_LOCKED) != 0 );
    479479
     
    482482                                        pte2_attr,
    483483                                        (pte2_attr | TSAR_PTE_LOCKED) );
    484         }
     484    }
    485485    while( atomic == 0 );
    486486
     
    498498    *ppn  = pte2_ppn & ((1<<TSAR_MMU_PPN_WIDTH)-1);
    499499    *attr = tsar2gpt( pte2_attr );
    500         return 0;
     500    return 0;
    501501
    502502}  // end hal_gpt_lock_pte()
  • trunk/hal/tsar_mips32/core/hal_vmm.c

    r629 r633  
    122122error_t hal_vmm_kernel_update( process_t * process )
    123123{
    124     error_t  error;
    125124    uint32_t attr;
    126125    uint32_t ppn;
     
    173172                                    vseg->min,
    174173                                    vseg->max - vseg->min,
    175                                     0, 0,                  // file ofset and file size (unused)
    176                                     XPTR_NULL,             // no mapper
     174                                    0, 0,          // file ofset and file size (unused)
     175                                    XPTR_NULL,     // no mapper
    177176                                    local_cxy );
    178177    if( new == NULL )
  • trunk/kernel/Makefile

    r626 r633  
    284284##############################
    285285# Rule to generate kernel.elf
    286 build/kernel.elf:           $(KERN_OBJS)                 \
     286build/kernel.elf:       $(KERN_OBJS)                 \
    287287                        $(HAL_OBJS_0)                \
    288288                        $(HAL_OBJS_1)                \
  • trunk/kernel/fs/fatfs.c

    r630 r633  
    25952595    fatfs_ctx_t * fatfs_ctx_ptr;  // local pointer on FATFS context in FAT cluster
    25962596    xptr_t        fat_mapper_xp;  // extended pointer on FAT mapper
    2597     mapper_t    * fat_mapper_ptr; // local pointer on FAT mapper
    25982597    xptr_t        lock_xp;        // extended pointer on lock protecting FAT.
    25992598    xptr_t        first_xp;       // extended pointer on inode extension
     
    26332632    loc_fatfs_ctx = vfs_ctx->extend;
    26342633
    2635     // get pointers on FAT mapper
     2634    // get FAT mapper cluster
    26362635    fat_mapper_xp  = loc_fatfs_ctx->fat_mapper_xp;
    26372636    fat_cxy        = GET_CXY( fat_mapper_xp );
    2638     fat_mapper_ptr = GET_PTR( fat_mapper_xp );
    26392637   
    26402638    // get pointers on FATFS context in FAT cluster
  • trunk/kernel/fs/vfs.c

    r630 r633  
    10211021    xptr_t        iter_xp;          // iterator on xlist
    10221022    mapper_t    * mapper_ptr;       // local pointer on associated mapper
    1023     xptr_t        mapper_xp;        // extended pointer on mapper
    10241023    vfs_inode_t * inode_ptr;        // local pointer on associated inode
    1025     xptr_t        inode_xp;         // extended pointer on inode
    10261024    uint32_t      size;             // current file size (from inode descriptor)
    10271025    error_t       error;
     
    10521050    //////// 1) update all dirty pages from mapper to device
    10531051
    1054     // get pointers on mapper associated to file
     1052    // get local pointer on mapper associated to file
    10551053    mapper_ptr = hal_remote_lpt( XPTR( file_cxy , &file_ptr->mapper ) );
    1056     mapper_xp  = XPTR( file_cxy , mapper_ptr );
    10571054
    10581055    // copy all dirty pages from mapper to device
     
    10831080    //////// 2) update file size in all parent directory mapper(s) and update device
    10841081
    1085     // get pointers on remote inode
     1082    // get local pointer on remote inode
    10861083    inode_ptr = hal_remote_lpt( XPTR( file_cxy , &file_ptr->inode ) );
    1087     inode_xp  = XPTR( file_cxy , inode_ptr );
    10881084
    10891085    // get file size from remote inode
     
    17011697    // build extended pointer on lock protecting Inode Tree (in VFS root inode)
    17021698    vfs_root_xp  = process->vfs_root_xp;
    1703     vfs_root_ptr = GET_PTR( root_xp );
    1704     vfs_root_cxy = GET_CXY( root_xp );
     1699    vfs_root_ptr = GET_PTR( vfs_root_xp );
     1700    vfs_root_cxy = GET_CXY( vfs_root_xp );
    17051701    lock_xp      = XPTR( vfs_root_cxy , &vfs_root_ptr->main_lock );
    17061702
     
    21082104    cxy_t             inode_cxy;    // inode cluster identifier       
    21092105    vfs_inode_t     * inode_ptr;    // inode local pointer
    2110     vfs_inode_type_t  inode_type;   // target inode type
    21112106
    21122107// check lookup working mode
     
    21272122   
    21282123    // get inode type from remote inode
    2129     inode_type = hal_remote_l32( XPTR( inode_cxy , &inode_ptr->type ) );
    2130 
    2131     // TODO implement this function
     2124    // inode_type = hal_remote_l32( XPTR( inode_cxy , &inode_ptr->type ) );
     2125
     2126    // TODO finalize implementation
    21322127
    21332128assert( false , "not implemented" );
     2129
     2130    // set inode rights in remote inode
     2131    hal_remote_s32( XPTR( inode_cxy , &inode_ptr->rights ) , rights );
    21342132
    21352133    return 0;
     
    24732471    bool_t             last;         // true when the name is the last in path
    24742472    bool_t             found;        // true when a child has been found
    2475     bool_t             dir;          // searched inode is a directory
    24762473    bool_t             create;       // searched inode must be created if not found
    24772474    bool_t             excl;         // searched inode must not exist
     
    24982495
    24992496    // compute lookup flags
    2500     dir    = (lookup_mode & VFS_LOOKUP_DIR)    == VFS_LOOKUP_DIR;
    25012497    create = (lookup_mode & VFS_LOOKUP_CREATE) == VFS_LOOKUP_CREATE;
    25022498    excl   = (lookup_mode & VFS_LOOKUP_EXCL)   == VFS_LOOKUP_EXCL;
     
    28792875    vfs_inode_t   * child_ptr;         // local pointer on child inode directory
    28802876    cxy_t           child_cxy;         // child inode directory cluster identifier
    2881     vfs_inode_t   * parent_ptr;        // local pointer on parent inode directory
    2882     cxy_t           parent_cxy;        // parent inode directory cluster identifier
    28832877    vfs_ctx_t     * ctx_ptr;           // local pointer on child inode FS context
    28842878    vfs_fs_type_t   fs_type;           // FS type of child inode
     
    29062900    child_cxy  = GET_CXY( child_xp );
    29072901    child_ptr  = GET_PTR( child_xp );
    2908 
    2909     // get parent directory cluster and local pointer
    2910     parent_cxy = GET_CXY( parent_xp );
    2911     parent_ptr = GET_PTR( parent_xp );
    29122902
    29132903    // get child inode FS type
     
    30523042
    30533043    // don't register <..> dentry in parent_inode xlist of parents
    3054     // parents_root_xp  = XPTR( parent_cxy , &parent_ptr->parents );
    3055     // parents_entry_xp = XPTR( child_cxy  , &dentry_ptr->parents );
    3056     // xlist_add_first( parents_root_xp , parents_entry_xp );
    3057     // hal_remote_atomic_add( XPTR( parent_cxy , &parent_ptr->links ) , 1 );
    30583044
    30593045    // update "parent" and "child_xp" fields in <..> dentry
     
    33693355#if(DEBUG_VFS_ADD_CHILD & 1)
    33703356if( DEBUG_VFS_ADD_CHILD < cycle )
    3371 printk("\n[%s] thread[%x,%x] / dentry (%x,%x) registered in child inode (%x,%x)\n",
     3357printk("\n[%s] thread[%x,%x] link dentry(%x,%x) to child inode(%x,%x)\n",
    33723358__FUNCTION__, this->process->pid, this->trdid,
    33733359parent_cxy, new_dentry_ptr, child_cxy, new_inode_ptr );
     
    33813367#if(DEBUG_VFS_ADD_CHILD & 1)
    33823368if( DEBUG_VFS_ADD_CHILD < cycle )
    3383 printk("\n[%s] thread[%x,%x] / dentry (%x,%x) registered in parent inode (%x,%x)\n",
     3369printk("\n[%s] thread[%x,%x] link dentry(%x,%x) to parent inode(%x,%x)\n",
    33843370__FUNCTION__, this->process->pid, this->trdid,
    33853371parent_cxy, new_dentry_ptr, parent_cxy, parent_inode_ptr );
     
    33943380if( DEBUG_VFS_ADD_CHILD < cycle )
    33953381printk("\n[%s] thread[%x,%x] exit for <%s> / cycle %d\n",
    3396 __FUNCTION__, this->process->pid, this->trdid, name, (uint32_t)hal_get_cycles() );
     3382__FUNCTION__, this->process->pid, this->trdid, name, cycle );
    33973383#endif
    33983384
  • trunk/kernel/fs/vfs.h

    r626 r633  
    153153typedef struct vfs_inode_s
    154154{
    155         struct vfs_ctx_s * ctx;              /*! local pointer on FS context                 */
    156         uint32_t           inum;             /*! inode identifier (unique in file system)    */
    157         uint32_t           attr;             /*! inode attributes (see above)                */
    158         vfs_inode_type_t   type;             /*! inode type (see above)                      */
    159         uint32_t           size;             /*! number of bytes                             */
    160         uint32_t           uid;              /*! user owner identifier                       */
    161         uint32_t           gid;              /*! group owner identifier                      */
     155    struct vfs_ctx_s * ctx;              /*! local pointer on FS context                 */
     156    uint32_t           inum;             /*! inode identifier (unique in file system)    */
     157    uint32_t           attr;             /*! inode attributes (see above)                */
     158    vfs_inode_type_t   type;             /*! inode type (see above)                      */
     159    uint32_t           size;             /*! number of bytes                             */
     160    uint32_t           uid;              /*! user owner identifier                       */
     161    uint32_t           gid;              /*! group owner identifier                      */
    162162    uint32_t           rights;           /*! access rights                               */
    163         xlist_entry_t      parents;          /*! root of list of parents dentries            */
    164         uint32_t           links;            /*! number of parent dentries (hard links)      */
    165         xhtab_t            children;         /*! embedded xhtab of children dentries         */
    166         remote_rwlock_t    size_lock;        /*! protect read/write to size                  */
    167         remote_rwlock_t    main_lock;        /*! protect inode tree traversal and modifs     */
    168         struct mapper_s  * mapper;           /*! associated file cache                       */
    169         void             * extend;           /*! fs_type_specific inode extension            */
     163    xlist_entry_t      parents;          /*! root of list of parents dentries            */
     164    uint32_t           links;            /*! number of parent dentries (hard links)      */
     165    xhtab_t            children;         /*! embedded xhtab of children dentries         */
     166    remote_rwlock_t    size_lock;        /*! protect read/write to size                  */
     167    remote_rwlock_t    main_lock;        /*! protect inode tree traversal and modifs     */
     168    struct mapper_s  * mapper;           /*! associated file cache                       */
     169    void             * extend;           /*! fs_type_specific inode extension            */
    170170}
    171171vfs_inode_t;
  • trunk/kernel/kern/kernel_init.c

    r632 r633  
    277277    uint32_t        x;               // X cluster coordinate
    278278    uint32_t        y;               // Y cluster coordinate
    279     uint32_t        channels;        // number of channels
    280279
    281280    // get number of peripherals and base of devices array from boot_info
     
    289288        func        = FUNC_FROM_TYPE( dev_tbl[i].type );
    290289        impl        = IMPL_FROM_TYPE( dev_tbl[i].type );
    291         channels    = dev_tbl[i].channels;
    292290
    293291        if (func == DEV_FUNC_TXT )
     
    587585                    // initialize the replicated chdev_dir[x][y] structures
    588586                    // defining the extended pointers on chdev descriptors
    589                     xptr_t * entry;
     587                    xptr_t * entry = NULL;
    590588
    591589                    if(func==DEV_FUNC_IOB             ) entry  = &chdev_dir.iob;
     
    603601                            cxy_t cxy = HAL_CXY_FROM_XY( x , y );
    604602
    605                             if( cluster_is_active( cxy ) )
     603                            if( cluster_is_active( cxy ) && ( entry != NULL ) )
    606604                            {
    607605                                hal_remote_s64( XPTR( cxy , entry ),
  • trunk/kernel/kern/process.c

    r629 r633  
    789789    thread_t          * this;           // pointer on calling thread
    790790    uint32_t            ltid;           // index in process th_tbl[]
    791     cxy_t               owner_cxy;      // target process owner cluster
    792791    uint32_t            count;          // requests counter
    793792    volatile uint32_t   ack_count;      // acknowledges counter
     
    807806assert( (LPID_FROM_PID( process->pid ) != 0 ),
    808807"process %x is not an user process\n", process->pid );
    809 
    810     // get target process owner cluster
    811     owner_cxy = CXY_FROM_PID( process->pid );
    812808
    813809    // get lock protecting process th_tbl[]
     
    873869                             xptr_t      client_xp )
    874870{
    875     thread_t          * this;          // pointer on calling thread
    876871    thread_t          * target;        // local pointer on target thread
    877872    xptr_t              target_xp;     // extended pointer on target thread
     
    881876
    882877    // get calling thread pointer
    883     this = CURRENT_THREAD;
    884878
    885879    // get target process owner cluster
     
    887881
    888882#if DEBUG_PROCESS_SIGACTION
    889 uint32_t cycle = (uint32_t)hal_get_cycles();
     883thread_t * this  = CURRENT_THREAD;
     884uint32_t   cycle = (uint32_t)hal_get_cycles();
    890885if( DEBUG_PROCESS_SIGACTION < cycle )
    891886printk("\n[%s] thread[%x,%x] enter for process %x n cluster %x / cycle %d\n",
     
    937932{
    938933    thread_t          * target;        // pointer on target thead
    939     thread_t          * this;          // pointer on calling thread
    940934    uint32_t            ltid;          // index in process th_tbl
    941935    uint32_t            count;         // requests counter
    942936
    943     // get calling thread pointer
    944     this = CURRENT_THREAD;
    945 
    946937#if DEBUG_PROCESS_SIGACTION
    947 pid_t pid = process->pid;
    948 uint32_t cycle = (uint32_t)hal_get_cycles();
     938thread_t * this  = CURRENT_THREAD;
     939pid_t      pid   = process->pid;
     940uint32_t   cycle = (uint32_t)hal_get_cycles();
    949941if( DEBUG_PROCESS_SIGACTION < cycle )
    950942printk("\n[%s] thread[%x,%x] enter for process %x in cluster %x / cycle %d\n",
  • trunk/kernel/kern/thread.c

    r629 r633  
    10821082    ltid_t      target_ltid;            // target thread local index
    10831083    xptr_t      joining_xp;             // extended pointer on joining thread
    1084     thread_t  * joining_ptr;            // pointer on joining thread
    1085     cxy_t       joining_cxy;            // joining thread cluster
    10861084
    10871085    // get target thread cluster and local pointer
     
    11431141            // get extended pointer on joining thread
    11441142            joining_xp  = (xptr_t)hal_remote_l64( target_join_xp_xp );
    1145             joining_ptr = GET_PTR( joining_xp );
    1146             joining_cxy = GET_CXY( joining_xp );
    11471143           
    11481144            // reset the join_done flag in target thread
  • trunk/kernel/kernel_config.h

    r632 r633  
    6666
    6767#define DEBUG_DEVFS_GLOBAL_INIT           0
    68 #define DEBUG_DEVFS_LOCAL_INIT            0
     68#define DEBUG_DEVFS_LOCAL_INIT              1
    6969#define DEBUG_DEVFS_MOVE                  0
    7070
     
    112112#define DEBUG_KMEM                        0
    113113
    114 #define DEBUG_KERNEL_INIT                 0
     114#define DEBUG_KERNEL_INIT                   1
    115115
    116116#define DEBUG_MAPPER_GET_PAGE             0
     
    141141#define DEBUG_QUEUELOCK_CXY               0
    142142
    143 #define DEBUG_RPC_CLIENT_GENERIC             21000000
    144 #define DEBUG_RPC_SERVER_GENERIC             21000000
     143#define DEBUG_RPC_CLIENT_GENERIC             2
     144#define DEBUG_RPC_SERVER_GENERIC             2
    145145
    146146#define DEBUG_RPC_KCM_ALLOC               0
     
    148148#define DEBUG_RPC_MAPPER_HANDLE_MISS      0
    149149#define DEBUG_RPC_MAPPER_MOVE_USER        0
    150 #define DEBUG_RPC_PMEM_GET_PAGES             21000000
    151 #define DEBUG_RPC_PMEM_RELEASE_PAGES      0
    152150#define DEBUG_RPC_PROCESS_MAKE_FORK       0
    153151#define DEBUG_RPC_PROCESS_SIGACTION       0
    154152#define DEBUG_RPC_THREAD_USER_CREATE      0
    155153#define DEBUG_RPC_THREAD_KERNEL_CREATE    0
    156 #define DEBUG_RPC_VFS_DENTRY_CREATE       0
     154#define DEBUG_RPC_VFS_DENTRY_CREATE          2
    157155#define DEBUG_RPC_VFS_DENTRY_DESTROY      0
    158156#define DEBUG_RPC_VFS_DEVICE_GET_DENTRY   0
     
    168166#define DEBUG_RPC_VMM_DELETE_VSEG         0
    169167
    170 #define DEBUG_RWLOCK_TYPE                 35       // lock type 0 is undefined => no debug
    171 #define DEBUG_RWLOCK_PTR                  0xb1650
    172 #define DEBUG_RWLOCK_CXY                  0x11
     168#define DEBUG_RWLOCK_TYPE                 0        // lock type 0 is undefined => no debug
     169#define DEBUG_RWLOCK_PTR                  0
     170#define DEBUG_RWLOCK_CXY                  0
    173171
    174172#define DEBUG_SCHED_HANDLE_SIGNALS        2
     
    230228#define DEBUG_USER_DIR                    0
    231229
    232 #define DEBUG_VFS_ADD_CHILD               0
     230#define DEBUG_VFS_ADD_CHILD                  1
    233231#define DEBUG_VFS_ADD_SPECIAL             0
    234232#define DEBUG_VFS_CHDIR                   0
    235233#define DEBUG_VFS_CLOSE                   0
    236 #define DEBUG_VFS_DENTRY_CREATE           0
     234#define DEBUG_VFS_DENTRY_CREATE           0 
    237235#define DEBUG_VFS_FILE_CREATE             0
    238236#define DEBUG_VFS_GET_PATH                0
  • trunk/kernel/libk/user_dir.c

    r629 r633  
    386386{
    387387    thread_t     * this;       // local pointer on calling thread
    388     process_t    * process;    // local pointer on calling process
    389388    cluster_t    * cluster;    // local pointer on local cluster
    390389    intptr_t       ident;      // user pointer on dirent array
     
    401400    uint32_t       responses;  // response counter
    402401     
    403     // get pointers on calling process & thread
    404402    this    = CURRENT_THREAD;
    405     process = this->process;
    406403    cluster = LOCAL_CLUSTER;
    407404
     
    415412if( cycle > DEBUG_USER_DIR )
    416413printk("\n[%s] thread[%x,%x] enter for user_dir (%x,%x) and process %x / cycle %d\n",
    417 __FUNCTION__, process->pid, this->trdid, local_cxy, dir, ref_pid, cycle );
     414__FUNCTION__, this->process->pid, this->trdid, local_cxy, dir, ref_pid, cycle );
    418415#endif
    419416
     
    503500if( cycle > DEBUG_USER_DIR )
    504501printk("\n[%s] thread[%x,%x] deleted user_dir (%x,%x) / cycle %d\n",
    505 __FUNCTION__, process->pid, this->trdid, local_cxy, dir, cycle );
     502__FUNCTION__, this->process->pid, this->trdid, local_cxy, dir, cycle );
    506503#endif
    507504
  • trunk/kernel/mm/vmm.c

    r632 r633  
    12301230    page_t    * page_ptr;   // page descriptor pointer
    12311231    xptr_t      count_xp;   // extended pointer on page refcount
    1232     uint32_t    count;      // current value of page refcount
    12331232
    12341233// check arguments
     
    12821281            // decrement page refcount
    12831282            count_xp = XPTR( page_cxy , &page_ptr->refcount );
    1284             count    = hal_remote_atomic_add( count_xp , -1 );
     1283            hal_remote_atomic_add( count_xp , -1 );
    12851284
    12861285            // compute the ppn_release condition depending on vseg type
  • trunk/kernel/syscalls/sys_read.c

    r625 r633  
    5959    error_t       error;
    6060    vseg_t      * vseg;            // required for user space checking
    61         xptr_t        file_xp;         // remote file extended pointer
     61    xptr_t        file_xp;         // remote file extended pointer
    6262    vfs_file_t  * file_ptr;        // remote file local pointer
    6363    cxy_t         file_cxy;        // remote file cluster identifier
    6464    uint32_t      file_type;       // file type
    65     uint32_t      file_offset;     // current file offset
    6665    uint32_t      file_attr;       // file_attribute
    67     vfs_inode_t * inode_ptr;       // local pointer on associated inode
    6866    uint32_t      nbytes;          // number of bytes actually read
    6967    reg_t         save_sr;         // required to enable IRQs during syscall
     
    132130    file_cxy = GET_CXY( file_xp );
    133131
    134     // get file type, offset, attributes and associated inode
     132    // get file type and attributes
    135133    file_type   = hal_remote_l32( XPTR( file_cxy , &file_ptr->type ) );
    136     file_offset = hal_remote_l32( XPTR( file_cxy , &file_ptr->offset ) );
    137     inode_ptr   = hal_remote_lpt( XPTR( file_cxy , &file_ptr->inode ) );
    138134    file_attr   = hal_remote_l32( XPTR( file_cxy , &file_ptr->attr ) );
    139135
  • trunk/kernel/syscalls/sys_thread_create.c

    r626 r633  
    4747                       void                  * start_args )
    4848{
    49         pthread_attr_t   kern_attr;        // copy of pthread attributes in kernel space
    50         thread_t       * parent;           // pointer on thread executing the pthread_create
    51         xptr_t           parent_xp;        // extended pointer on calling thread
     49    pthread_attr_t   kern_attr;        // copy of pthread attributes in kernel space
     50    thread_t       * parent;           // pointer on thread executing the pthread_create
    5251    cxy_t            child_cxy;        // created child thread cluster identifier
    53         thread_t       * child_ptr;        // pointer on created child thread
    54         xptr_t           child_xp;         // extended pointer on created thread
    55         trdid_t          trdid;            // created thread identifier
    56         process_t      * process;          // pointer on local process descriptor
    57         vseg_t         * vseg;             // required for user space checking
    58         error_t          error;
    59 
    60         // get parent thead pointer, extended pointer, and process
    61         parent     = CURRENT_THREAD;
    62         parent_xp  = XPTR( local_cxy , parent );
    63         process    = parent->process;
     52    thread_t       * child_ptr;        // pointer on created child thread
     53    xptr_t           child_xp;         // extended pointer on created thread
     54    trdid_t          trdid;            // created thread identifier
     55    process_t      * process;          // pointer on local process descriptor
     56    vseg_t         * vseg;             // required for user space checking
     57    error_t          error;
     58
     59    // get parent thead pointer, extended pointer, and process
     60    parent     = CURRENT_THREAD;
     61    process    = parent->process;
    6462
    6563#if (DEBUG_SYS_THREAD_CREATE || CONFIG_INSTRUMENTATION_SYSCALLS)
  • trunk/kernel/syscalls/sys_thread_join.c

    r584 r633  
    4646    xptr_t        target_join_lock_xp;
    4747    xptr_t        target_flags_xp;
    48     xptr_t        target_blocked_xp;
    4948    xptr_t        target_join_xp_xp;
    5049    xptr_t        killer_xp;
     
    126125    target_join_lock_xp = XPTR( target_cxy , &target_ptr->join_lock );
    127126    target_flags_xp     = XPTR( target_cxy , &target_ptr->flags );
    128     target_blocked_xp   = XPTR( target_cxy , &target_ptr->blocked );
    129127    target_join_xp_xp   = XPTR( target_cxy , &target_ptr->join_xp );
    130128
  • trunk/libs/libmath/e_pow.c

    r469 r633  
    134134                if(k>20) {
    135135                    j = ly>>(52-k);
    136                     if((j<<(52-k))==ly) yisint = 2-(j&1);
     136                    if((j<<(52-k))==(int32_t)ly) yisint = 2-(j&1);
    137137                } else if(ly==0) {
    138138                    j = iy>>(20-k);
  • trunk/params-hard.mk

    r630 r633  
    11# Parameters definition for the ALMOS-MKH Makefile
    22
    3 ARCH      = /users/alain/soc/tsar-trunk-svn-2013/platforms/tsar_generic_iob
    4 X_SIZE    = 2
     3ARCH      = /users/enseig/alain/soc/tsar/trunk/platforms/tsar_generic_iob
     4X_SIZE    = 1
    55Y_SIZE    = 2
    66NB_PROCS  = 1
  • trunk/params-soft.mk

    r610 r633  
    11
    22# define absolute path to almos-mkh directory
    3 ALMOSMKH_DIR = /Users/alain/soc/almos-mkh
     3ALMOSMKH_DIR = /users/enseig/alain/soc/almos-mkh/trunk
    44
    55# Select the libc
  • trunk/user/ksh/ksh.c

    r630 r633  
    14381438    unsigned int lid;             // core identifier for this KSH main thread
    14391439    int          status;          // child process termination status
     1440    int          parent_pid;      // parent process identifier (i.e. this process)
    14401441    int          child_pid;       // child process identifier
    1441     int          parent_pid;      // parent process identifier (i.e. this process)
    14421442    unsigned int is_owner;        // non-zero if KSH process is TXT owner
    14431443
     
    14881488        child_pid = wait( &status );
    14891489
    1490 #if DEBUG_MAIN
    1491 if( WIFEXITED  (status) ) printf("\n[ksh] child process %x exit\n"   , child_pid );
    1492 if( WIFSIGNALED(status) ) printf("\n[ksh] child process %x killed\n" , child_pid );
    1493 if( WIFSTOPPED (status) ) printf("\n[ksh] child process %x stopped\n", child_pid );
    1494 #endif
     1490        if( DEBUG_MAIN )
     1491        {
     1492            if(WIFEXITED  (status)) printf("\n[ksh] child process %x exit\n"   ,child_pid);
     1493            if(WIFSIGNALED(status)) printf("\n[ksh] child process %x killed\n" ,child_pid);
     1494            if(WIFSTOPPED (status)) printf("\n[ksh] child process %x stopped\n",child_pid);
     1495        }
    14951496
    14961497        // release semaphore if KSH process is TXT owner, to unblock interactive thread
Note: See TracChangeset for help on using the changeset viewer.