source: trunk/kernel/kern/cluster.h @ 569

Last change on this file since 569 was 564, checked in by alain, 6 years ago

Complete restructuration of kernel locks.
File size: 17.2 KB
Line 
1/*
2 * cluster.h - Cluster-Manager definition
3 *
4 * authors  Ghassan Almaless (2008,2009,2010,2011,2012)
5 *          Mohamed Lamine Karaoui (2015)
6 *          Alain Greiner (2016,2017,2018)
7 *
8 * Copyright (c) UPMC Sorbonne Universites
9 *
10 * This file is part of ALMOS-MKH.
11 *
12 * ALMOS-MKH is free software; you can redistribute it and/or modify it
13 * under the terms of the GNU General Public License as published by
14 * the Free Software Foundation; version 2.0 of the License.
15 *
16 * ALMOS-MKH is distributed in the hope that it will be useful, but
17 * WITHOUT ANY WARRANTY; without even the implied warranty of
18 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
19 * General Public License for more details.
20 *
21 * You should have received a copy of the GNU General Public License
22 * along with ALMOS-MKH; if not, write to the Free Software Foundation,
23 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
24 */
25
26#ifndef _CLUSTER_H_
27#define _CLUSTER_H_
28
29#include <kernel_config.h>
30#include <hal_kernel_types.h>
31#include <bits.h>
32#include <queuelock.h>
33#include <remote_queuelock.h>
34#include <list.h>
35#include <xlist.h>
36#include <dqdt.h>
37#include <kmem.h>
38#include <hal_atomic.h>
39#include <ppm.h>
40#include <kcm.h>
41#include <khm.h>
42#include <rpc.h>
43#include <core.h>
44#include <process.h>
45
46/**** Forward declarations  ****/
47
48struct core_s;
49struct process_s;
50
51
52/*******************************************************************************************
53 * This structure defines the process manager, that is part of the cluster manager.
54 * For any process P, the process descriptor is replicated in all clusters containing
55 * at least one thread of process P, but only the "reference" cluster descriptor contains
56 * the reference (complete) GPT, VSL, and FDT structures.
57 * The "owner" cluster K is in charge to allocate a lpid (local process index),
58 * to the owned processes, and to register the "reference" cluster for these processes.
59 *
60 * Warning : the "owner" cluster, and the "reference" cluster can be different clusters.
61 *
62 * The process manager of a cluster K maintains three sets of process descriptors:
63 *
64 * 1) pref_tbl[] is an array indexed by lpid. There is one entry per owned process.
65 *    Each entry contains an extended pointer on the reference process descriptor.
66 *
67 * 2) The local_root is the root of the local list of all process descriptors in cluster K.
68 *    A process descriptor P is present in K, as soon as P has a thread in cluster K.
69 *    We use an xlist, because this list can be traversed by remote threads.
70 *
71 * 3) The copies_root[] array is indexed by lpid. There is one entry per owned process,
72 *    and each each entry contains the root of the xlist of copies for this process.
73 $    We use an xlist, because process copies are distributed in all clusters.
74 ******************************************************************************************/
75
76typedef struct process_manager_s
77{
78        xptr_t             pref_tbl[CONFIG_MAX_PROCESS_PER_CLUSTER];  /*! owned  processes    */
79        queuelock_t        pref_lock;              /*! lock protecting pref_tbl               */
80    uint32_t           pref_nr;                /*! number of processes owned by cluster   */
81
82    xlist_entry_t      local_root;            /*! root of list of process in cluster      */
83    remote_queuelock_t local_lock;            /*! lock protecting local list              */
84    uint32_t           local_nr;              /*! number of process in cluster            */
85
86    xlist_entry_t      copies_root[CONFIG_MAX_PROCESS_PER_CLUSTER];  /*! roots of lists   */
87    remote_queuelock_t copies_lock[CONFIG_MAX_PROCESS_PER_CLUSTER];  /*! one  per list    */
88    uint32_t           copies_nr[CONFIG_MAX_PROCESS_PER_CLUSTER];    /*! number of copie  */
89}
90pmgr_t;
91
92/*******************************************************************************************
93 * This structure defines a cluster manager.
94 * It contains both global platform information, and cluster specific resources
95 * controled by the local kernel instance.
96 ******************************************************************************************/
97
98typedef struct cluster_s
99{
100
101    // global parameters
102    uint32_t        paddr_width;       /*! numer of bits in physical address              */
103    uint32_t        x_width;           /*! number of bits to code x_size  (can be 0)      */
104    uint32_t        y_width;           /*! number of bits to code y_size  (can be 0)      */
105    uint32_t        x_size;            /*! number of clusters in a row    (can be 1)      */
106    uint32_t        y_size;            /*! number of clusters in a column (can be 1)      */
107    cxy_t           io_cxy;            /*! io cluster identifier                          */
108    uint32_t        dqdt_root_level;   /*! index of root node in dqdt_tbl[]               */
109    uint32_t        nb_txt_channels;   /*! number of TXT channels                         */
110    uint32_t        nb_nic_channels;   /*! number of NIC channels                         */
111    uint32_t        nb_ioc_channels;   /*! number of IOC channels                         */
112    uint32_t        nb_fbf_channels;   /*! number of FBF channels                         */
113
114    char            cluster_info[CONFIG_MAX_CLUSTERS_X][CONFIG_MAX_CLUSTERS_Y];
115
116    // local parameters
117    uint32_t        cores_nr;          /*! actual number of cores in cluster              */
118    uint32_t        ram_size;          /*! physical memory size                           */
119    uint32_t        ram_base;          /*! physical memory base (local address)           */
120
121        core_t          core_tbl[CONFIG_MAX_LOCAL_CORES];    /*! embedded cores               */
122
123    list_entry_t    dev_root;          /*! root of list of devices in cluster             */
124
125    // memory allocators
126    ppm_t           ppm;               /*! embedded kernel page manager                   */
127    khm_t           khm;               /*! embedded kernel heap manager                   */
128    kcm_t           kcm;               /*! embedded kernel KCMs manager                   */
129
130    kcm_t         * kcm_tbl[KMEM_TYPES_NR];              /*! pointers on allocated KCMs   */
131    busylock_t      kcm_lock;                            /*! protect kcm_tbl[] updates    */
132
133    // RPC
134    remote_fifo_t   rpc_fifo[CONFIG_MAX_LOCAL_CORES];    /*! one RPC FIFO per core        */
135    uint32_t        rpc_threads[CONFIG_MAX_LOCAL_CORES]; /*! RPC threads per core         */
136
137    // DQDT
138    dqdt_node_t     dqdt_tbl[CONFIG_DQDT_LEVELS_NR];     /*! embedded DQDT nodes          */
139
140    // Local process manager
141    pmgr_t          pmgr;              /*! embedded process manager                       */
142
143    void          * pic_extend;        /*! PIC implementation specific extension          */
144}
145cluster_t;
146
147/******************************************************************************************
148 * This global variable is allocated in the kernel_init.c file.
149 * There is one cluster_manager per cluster, with the same local address,
150 * but different content, in all clusters containing a kernel instance.
151 *****************************************************************************************/
152
153extern cluster_t cluster_manager;
154
155/******************************************************************************************
156 * This macro returns a local pointer on the local cluster manager.
157 *****************************************************************************************/
158
159#define LOCAL_CLUSTER    (&cluster_manager)
160
161/******************************************************************************************
162 * These two functions initialise the local cluster manager from information found
163 * in the local boot-info structure <info> build by the boot-loader.
164 * 1) the cluster_info_init() function is called first, to initialize the structural
165 *    constants, and cannot use the TXT0 kernel terminal.
166 * 2) the cluster_manager_init() function initialize various complex structures:
167 *    - the local DQDT nodes,
168 *    - the PPM, KHM, and KCM allocators,
169 *    - the local core descriptors,
170 *    - the local RPC FIFO,
171 *    - the process manager.
172 *    It does NOT initialise the local device descriptors.
173 *    It can use the TXT0 kernel terminal.
174 ******************************************************************************************
175 * @ info : pointer on the local boot_info_t structure build by the bootloader.
176 *****************************************************************************************/
177void    cluster_info_init( boot_info_t * info );
178error_t cluster_manager_init( boot_info_t * info );
179
180/******************************************************************************************
181 * This function checks the validity of a cluster identifier.
182 ******************************************************************************************
183 * @ cxy    : cluster identifier to be checked.
184 * @ returns true if the identified cluster does not exist.
185 *****************************************************************************************/
186bool_t cluster_is_undefined( cxy_t cxy );
187
188/******************************************************************************************
189 * This function uses the local cluster_info[][] array in cluster descriptor,
190 * and returns true when the cluster identified by the <cxy> argument is active.
191 ******************************************************************************************
192 * @ cxy   : cluster identifier.
193 * @ return true if cluster contains a kernel instance.
194 *****************************************************************************************/
195bool_t cluster_is_active( cxy_t  cxy );
196
197/******************************************************************************************
198 * This function (pseudo) randomly selects a valid cluster.
199 * It is called by the vfs_cluster_lookup() function to place a new (missing) inode.
200 * It is called by the vmm_page_allocate() function to place a distributed vseg page.
201 ******************************************************************************************
202 * @ returns the selected cluster identifier.
203 *****************************************************************************************/
204cxy_t cluster_random_select( void );
205
206/******************************************************************************************
207 * This function returns an extended pointer on the process descriptor in owner cluster
208 * from the process <pid>. This PID can be be different from the calling process PID.
209 * It can be called by any thread running in any cluster,
210 ******************************************************************************************
211 * @ pid  : process identifier.
212 * @ return extended pointer on owner process if found / XPTR_NULL if not found.
213 *****************************************************************************************/
214xptr_t cluster_get_owner_process_from_pid( pid_t pid );
215
216/******************************************************************************************
217 * This function returns an extended pointer on the reference process descriptor
218 * from the process <pid>. This PID can be be different from the calling process PID.
219 * It can be called by any thread running in any cluster,
220 ******************************************************************************************
221 * @ pid  : process identifier.
222 * @ return extended pointer on reference process if found / XPTR_NULL if not found.
223 *****************************************************************************************/
224xptr_t cluster_get_reference_process_from_pid( pid_t pid );
225
226/******************************************************************************************
227 * This function returns an extended pointer on the process descriptor copy for the
228 * process identified by <pid> in cluster defined by <cxy> argument.
229 * This PID can be be different from the calling process PID.
230 * It can be called by any thread running in any cluster,
231 ******************************************************************************************
232 * @ cxy  : target cluster identifier.
233 * @ pid  : process identifier.
234 * @ return extended pointer on reference process if found / XPTR_NULL if not found.
235 *****************************************************************************************/
236xptr_t cluster_get_process_from_pid_in_cxy( cxy_t cxy,
237                                            pid_t pid );
238
239/******************************************************************************************
240 * This function allocates a new PID in local cluster, that becomes the process owner.
241 * It registers the process descriptor extended pointer in the local processs manager
242 * pref_tbl[] array. The process descriptor itself is not modified.
243 * This function is called by the process_make_fork() function,
244 * by the process_make_exec() function, and by the process_init_create() function.
245 ******************************************************************************************
246 * @ process    : pointer on process descriptor.
247 * @ pid        : [out] allocated PID.
248 * @ return 0 if success / return -1 if no PID slot available.
249 *****************************************************************************************/
250error_t cluster_pid_alloc( struct process_s * process,
251                           pid_t            * pid );
252
253/******************************************************************************************
254 * This function removes a PID from the local process manager pref_tbl[] array.
255 * It checks that removed process is owned by the local cluster and the lpid is legal.
256 * No memory is released by this function.
257 ******************************************************************************************
258 * @ pid        : allocated PID.
259 *****************************************************************************************/
260void cluster_pid_release( pid_t  pid );
261
262/******************************************************************************************
263 * This function returns a pointer on the local process descriptor from the PID.
264 * It uses the RPC
265 * to create a local process descriptor copy if it does not exist yet.
266 ******************************************************************************************
267 * @ pid     : searched process identifier.
268 * @ returns process descriptor pointer if found / returns NULL if not found.
269 *****************************************************************************************/
270struct process_s * cluster_get_local_process_from_pid( pid_t pid );
271
272/******************************************************************************************
273 * This function registers a local process descriptor in the process manager local_list.
274 ******************************************************************************************
275 * @ process     : pointer on local process descriptor.
276 *****************************************************************************************/
277void cluster_process_local_link( struct process_s * process );
278
279/******************************************************************************************
280 * This function removes a local process descriptor from the process manager local_list.
281 ******************************************************************************************
282 * @ process     : pointer on local process descriptor.
283 *****************************************************************************************/
284void cluster_process_local_unlink( struct process_s * process );
285
286/******************************************************************************************
287 * This function registers a local process descriptor in the owner process manager
288 * copies_list, that can be in a remote cluster.
289 ******************************************************************************************
290 * @ process     : pointer on local process descriptor.
291 *****************************************************************************************/
292void cluster_process_copies_link( struct process_s * process );
293
294/******************************************************************************************
295 * This function removes a local process descriptor from the owner process manager
296 * copies_list, that can be in a remote cluster.
297 ******************************************************************************************
298 * @ process     : pointer on local process descriptor.
299 *****************************************************************************************/
300void cluster_process_copies_unlink( struct process_s * process );
301
302/******************************************************************************************
303 * This function displays on the kernel terminal TXT0 all user processes registered
304 * in the cluster defined by the <cxy> argument.
305 * It can be called by a thread running in any cluster, because is use remote accesses
306 * to scan the xlist of registered processes.
307 ******************************************************************************************
308 * @ cxy   : cluster identifier.
309 *****************************************************************************************/
310void cluster_processes_display( cxy_t cxy );
311
312/******************************************************************************************
313 * This function uses the local boot_inforeturns the core local index that has the lowest usage in local cluster.
314 *****************************************************************************************/
315lid_t cluster_select_local_core( void );
316
317             
318#endif  /* _CLUSTER_H_ */
319
Note: See TracBrowser for help on using the repository browser.