Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : get hash of local and global variables which are not pointers
[simgrid.git] / include / simgrid / platf_generator.h
1
2 /* platf_generator.h - Public interface to the SimGrid platforms generator  */
3
4 /* Copyright (c) 2004-2012. The SimGrid Team. 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 SG_PLATF_GEN_H
10 #define SG_PLATF_GEN_H
11
12 #include "xbt.h"
13 #include "xbt/graph.h" //Only for platf_graph_get()
14 #include "platf.h"
15
16 typedef enum {
17   ROUTER,
18   HOST,
19   CLUSTER
20 } e_platf_node_kind;
21
22 typedef struct s_context_node_t {
23   unsigned long id;
24   double x, y;
25   int degree;
26   e_platf_node_kind kind;
27   int connect_checked;
28   union {
29     s_sg_platf_host_cbarg_t host_parameters;
30     s_sg_platf_cluster_cbarg_t cluster_parameters;
31     char* router_id;
32   };
33 } s_context_node_t, *context_node_t;
34
35 typedef struct s_context_edge_t {
36   unsigned long id;
37   double length;
38   int labeled;
39   s_sg_platf_link_cbarg_t link_parameters;
40 } s_context_edge_t, *context_edge_t;
41
42 typedef void (*platf_promoter_cb_t) (context_node_t);
43 typedef void (*platf_labeler_cb_t) (context_edge_t);
44
45 XBT_PUBLIC(void) platf_random_seed(unsigned long seed[6]);
46
47 XBT_PUBLIC(void) platf_graph_uniform(unsigned long node_count);
48 XBT_PUBLIC(void) platf_graph_heavytailed(unsigned long node_count);
49
50 XBT_PUBLIC(void) platf_graph_interconnect_star(void);
51 XBT_PUBLIC(void) platf_graph_interconnect_line(void);
52 XBT_PUBLIC(void) platf_graph_interconnect_ring(void);
53 XBT_PUBLIC(void) platf_graph_interconnect_clique(void);
54 XBT_PUBLIC(void) platf_graph_interconnect_uniform(double alpha);
55 XBT_PUBLIC(void) platf_graph_interconnect_exponential(double alpha);
56 XBT_PUBLIC(void) platf_graph_interconnect_zegura(double alpha, double beta, double r);
57 XBT_PUBLIC(void) platf_graph_interconnect_waxman(double alpha, double beta);
58 XBT_PUBLIC(void) platf_graph_interconnect_barabasi(void);
59
60 XBT_PUBLIC(int) platf_graph_is_connected(void);
61
62 XBT_PUBLIC(void) platf_graph_clear_links(void);
63
64 XBT_PUBLIC(void) platf_graph_promote_to_host(context_node_t node, sg_platf_host_cbarg_t parameters);
65 XBT_PUBLIC(void) platf_graph_promote_to_cluster(context_node_t node, sg_platf_cluster_cbarg_t parameters);
66
67 XBT_PUBLIC(void) platf_graph_link_label(context_edge_t edge, sg_platf_link_cbarg_t parameters);
68
69 XBT_PUBLIC(void) platf_graph_promoter(platf_promoter_cb_t promoter_callback);
70 XBT_PUBLIC(void) platf_graph_labeler(platf_labeler_cb_t labeler_callback);
71
72 XBT_PUBLIC(void) platf_do_promote(void);
73 XBT_PUBLIC(void) platf_do_label(void);
74
75 XBT_PUBLIC(void) platf_generate(void);
76
77 // WARNING : Only for debbugging ; should be removed when platform
78 // generation works correctly
79 XBT_PUBLIC(xbt_graph_t) platf_graph_get(void);
80
81 #endif              /* SG_PLATF_GEN_H */
82