1 /* platf_interface.h - Internal interface to the SimGrid platforms */
3 /* Copyright (c) 2004-2007, 2009-2015. The SimGrid Team.
4 * All rights reserved. */
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. */
9 #ifndef SG_PLATF_INTERFACE_H
10 #define SG_PLATF_INTERFACE_H
14 #include "simgrid/platf.h" /* public interface */
15 #include "xbt/RngStream.h"
17 #include <simgrid/forward.h>
21 /* Module management functions */
22 XBT_PUBLIC(void) sg_platf_init(void);
23 XBT_PUBLIC(void) sg_platf_exit(void);
25 /** \brief Pick the right models for CPU, net and host, and call their model_init_preparse
27 * Must be called within parsing/creating the environment (after the <config>s, if any, and before <AS> or friends such as <cluster>)
29 XBT_PUBLIC(void) surf_config_models_setup(void);
31 /* RngStream management functions */
32 XBT_PUBLIC(void) sg_platf_rng_stream_init(unsigned long seed[6]);
33 XBT_PUBLIC(RngStream) sg_platf_rng_stream_get(const char* id);
37 #endif /* SG_PLATF_INTERFACE_H */