Ignore:
Timestamp:
Jun 3, 2017, 4:46:59 PM (5 years ago)
Author:
max@…
Message:

cosmetic, and a few typos

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/kernel/kern/cluster.h

    r14 r19  
    11/*
    22 * cluster.h - Cluster-Manager definition
    3  * 
     3 *
    44 * authors  Ghassan Almaless (2008,2009,2010,2011,2012)
    55 *          Mohamed Lamine Karaoui (2015)
     
    5555 * This structure defines the process manager, that is part of the cluster manager.
    5656 * For any process P, the process descriptor is replicated in all clusters containing
    57  * at least one thread of process P, but only the "reference" cluster descriptor contains 
     57 * at least one thread of process P, but only the "reference" cluster descriptor contains
    5858 * the reference (complete) structures such as the GPT, the VSL, or the FDT.
    59  * The "owner" cluster is in charge to allocate a lpid (local process index), 
     59 * The "owner" cluster is in charge to allocate a lpid (local process index),
    6060 * for all process owned by a cluster K, and to register the "reference" cluster for
    61  * all process owned by K. 
    62  *
    63  * Warning : the "owner" cluster, and the "reference" cluster can be different clusters. 
     61 * all process owned by K.
     62 *
     63 * Warning : the "owner" cluster, and the "reference" cluster can be different clusters.
    6464 *
    6565 * The process manager of a cluster K maintains three structures:
     
    6969 *    A process descriptor P is present in K, as soon as P has a thread in cluster K.
    7070 * 3) The copies_root[] array is indexed by lpid. Each entry contains the root of
    71  *    the xlist of copies for a given process owned by cluster K.   
     71 *    the xlist of copies for a given process owned by cluster K.
    7272 ******************************************************************************************/
    7373
     
    8282    uint32_t          local_nr;               /*! number of process in cluster            */
    8383
    84     xlist_entry_t     copies_root[CONFIG_MAX_PROCESS_PER_CLUSTER];  /*! roots of lists    */ 
     84    xlist_entry_t     copies_root[CONFIG_MAX_PROCESS_PER_CLUSTER];  /*! roots of lists    */
    8585    remote_spinlock_t copies_lock[CONFIG_MAX_PROCESS_PER_CLUSTER];  /*! one lock per list */
    8686    uint32_t          copies_nr[CONFIG_MAX_PROCESS_PER_CLUSTER];    /*! number of copies  */
     
    9090/*******************************************************************************************
    9191 * This structure defines a cluster manager.
    92  * It contains both global platform informations, and cluster specific ressources
     92 * It contains both global platform information, and cluster specific resources
    9393 * managed by the local kernel instance.
    9494 ******************************************************************************************/
     
    135135    pmgr_t            pmgr;               /*! embedded process manager                    */
    136136
    137         char              name[CONFIG_SYSFS_NAME_LEN]; 
     137        char              name[CONFIG_SYSFS_NAME_LEN];
    138138
    139139//      sysfs_entry_t     node;
    140 } 
     140}
    141141cluster_t;
    142142
    143143/******************************************************************************************
    144144 * This global variable is allocated in the kernel_init.c file.
    145  * There is one cluster_manager per cluster, with the same local address, 
    146  * but different content, in all clusters containing a kernel instance. 
     145 * There is one cluster_manager per cluster, with the same local address,
     146 * but different content, in all clusters containing a kernel instance.
    147147 *****************************************************************************************/
    148148
     
    156156
    157157/******************************************************************************************
    158  * This generic function initialises the local cluster manager from informations found
     158 * This generic function initialises the local cluster manager from information found
    159159 * in the local boot-info structure. It initializes the following local resources:
    160160 * - the global platform parameters,
     
    170170 * @ info : pointer on the local boot_info_t structure build by the bootloader.
    171171 *****************************************************************************************/
    172 error_t cluster_init( boot_info_t * info );         
    173 
    174 /******************************************************************************************
    175  * This function cheks the validity of a cluster identifier. TODO useful ??? [AG]
     172error_t cluster_init( boot_info_t * info );
     173
     174/******************************************************************************************
     175 * This function checks the validity of a cluster identifier. TODO useful ??? [AG]
    176176 ******************************************************************************************
    177177 * @ cxy    : cluster identifier to be checked.
     
    200200xptr_t cluster_get_reference_process_from_pid( pid_t pid );
    201201
    202 /****************************************************************************************** 
     202/******************************************************************************************
    203203 * This function allocates a new PID in local cluster, that becomes the process owner.
    204  * It register the process descriptor extended pointer in the local processs manager
     204 * It registers the process descriptor extended pointer in the local processs manager
    205205 * pref_tbl[] array. This function is called by the rpc_process_alloc_pid() function for
    206206 * remote registration, or by the process_init_create() function for local registration.
     
    208208 * @ process    : [in]  extended pointer on the process descriptor.
    209209 * @ pid        : [out] allocated PID.
    210  * @ return 0 if success / return EAGAIN if no PID slot available 
     210 * @ return 0 if success / return EAGAIN if no PID slot available
    211211 *****************************************************************************************/
    212212error_t cluster_pid_alloc( xptr_t    process_xp,
    213213                           pid_t   * pid );
    214214
    215 /****************************************************************************************** 
     215/******************************************************************************************
    216216 * This function removes a PID from the local process manager pref_tbl[] array.
    217217 * It checks that removed process is owned by the local cluster and the lpid is legal.
     
    237237 * @ process     : pointer on local process descriptor.
    238238 *****************************************************************************************/
    239 void cluster_process_local_link( struct process_s * process ); 
     239void cluster_process_local_link( struct process_s * process );
    240240
    241241/******************************************************************************************
     
    244244 * @ process     : pointer on local process descriptor.
    245245 *****************************************************************************************/
    246 void cluster_process_local_unlink( struct process_s * process ); 
     246void cluster_process_local_unlink( struct process_s * process );
    247247
    248248/******************************************************************************************
     
    252252 * @ process     : pointer on local process descriptor.
    253253 *****************************************************************************************/
    254 void cluster_process_copies_link( struct process_s * process ); 
     254void cluster_process_copies_link( struct process_s * process );
    255255
    256256/******************************************************************************************
     
    260260 * @ process     : pointer on local process descriptor.
    261261 *****************************************************************************************/
    262 void cluster_process_copies_unlink( struct process_s * process ); 
     262void cluster_process_copies_unlink( struct process_s * process );
    263263
    264264
Note: See TracChangeset for help on using the changeset viewer.