Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Add option enable_modele-checking.
[simgrid.git] / src / gras / Virtu / virtu_sg.h
1 /* virtu_sg - specific GRAS implementation for simulator                    */
2
3 /* Copyright (c) 2004, 2005, 2006, 2007, 2009, 2010. The SimGrid Team.
4  * All rights reserved.                                                     */
5
6 /* This program is free software; you can redistribute it and/or modify it
7  * under the terms of the license (GNU LGPL) which comes with this package. */
8
9 #ifndef VIRTU_SG_H
10 #define VIRTU_SG_H
11
12 #include "gras/Virtu/virtu_private.h"
13 #include "xbt/dynar.h"
14 #include "simix/simix.h"        /* SimGrid header */
15 #include "gras/Transport/transport_private.h"
16
17 typedef struct {
18   int port;                     /* list of ports used by a server socket */
19   int meas;                     /* (boolean) the channel is for measurements or for messages */
20   smx_process_t process;
21   gras_socket_t socket;
22 } gras_sg_portrec_t;
23
24 /* Data for each host */
25 typedef struct {
26   int refcount;
27
28   xbt_dynar_t ports;
29
30 } gras_hostdata_t;
31
32 /* data for each socket (FIXME: find a better location for that)*/
33 typedef struct {
34   smx_process_t from_process;
35   smx_process_t to_process;
36
37   smx_host_t to_host;           /* Who's on other side */
38
39   smx_cond_t cond;
40   smx_mutex_t mutex;
41   gras_socket_t to_socket;
42 } gras_trp_sg_sock_data_t;
43
44
45 void *gras_libdata_by_name_from_remote(const char *name, smx_process_t p);
46 /* The same function by id would be really dangerous.
47  * 
48  * Indeed, it would rely on the fact that all process register libdatas in
49  * the same order, which is wrong if they init amok modules in different
50  * order.
51  */
52
53 #endif /* VIRTU_SG_H */