A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
[mc] Move heap_ignore to Process
[simgrid.git]
/
src
/
mc
/
mc_unw.h
diff --git
a/src/mc/mc_unw.h
b/src/mc/mc_unw.h
index
38287f1
..
53982a0
100644
(file)
--- a/
src/mc/mc_unw.h
+++ b/
src/mc/mc_unw.h
@@
-1,12
+1,11
@@
/* Copyright (c) 2015. The SimGrid Team.
/* Copyright (c) 2015. The SimGrid Team.
-
-/ * All rights reserved. */
+ * All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
* under the terms of the license (GNU LGPL) which comes with this package. */
/* This program is free software; you can redistribute it and/or modify it
* under the terms of the license (GNU LGPL) which comes with this package. */
-#ifndef MC_UNW_H
-#define MC_UNW_H
+#ifndef
SIMGRID_
MC_UNW_H
+#define
SIMGRID_
MC_UNW_H
/** \file
* Libunwind implementation for the model-checker
/** \file
* Libunwind implementation for the model-checker
@@
-17,7
+16,7
@@
*
* This component implements the libunwind API for he model-checker:
*
*
* This component implements the libunwind API for he model-checker:
*
- * * reading memory from a
mc_address_space_t
;
+ * * reading memory from a
simgrid::mc::AddressSpace*
;
*
* * reading stack registers from a saved snapshot (context).
*
*
* * reading stack registers from a saved snapshot (context).
*
@@
-27,7
+26,9
@@
* much here.
*/
* much here.
*/
-#include "mc_process.h"
+#include <xbt/base.h>
+
+#include "src/mc/Process.hpp"
SG_BEGIN_DECL()
SG_BEGIN_DECL()
@@
-44,35
+45,35
@@
SG_BEGIN_DECL()
*
* It works with `void*` contexts allocated with `_UPT_create(pid)`.
*/
*
* It works with `void*` contexts allocated with `_UPT_create(pid)`.
*/
-extern unw_accessors_t mc_unw_vmread_accessors;
+extern
XBT_PRIVATE
unw_accessors_t mc_unw_vmread_accessors;
/** Virtual table for our `libunwind` implementation
*
/** Virtual table for our `libunwind` implementation
*
- * Stack unwinding on a `
mc_process_t
` (for memory, unwinding information)
+ * Stack unwinding on a `
simgrid::mc::Process*
` (for memory, unwinding information)
* and `ucontext_t` (for processor registers).
*
* It works with the `s_mc_unw_context_t` context.
*/
* and `ucontext_t` (for processor registers).
*
* It works with the `s_mc_unw_context_t` context.
*/
-extern XBT_
INTERNAL
unw_accessors_t mc_unw_accessors;
+extern XBT_
PRIVATE
unw_accessors_t mc_unw_accessors;
// ***** Libunwind context
/** A `libunwind` context
*/
// ***** Libunwind context
/** A `libunwind` context
*/
-typedef struct s_mc_unw_context {
-
mc_address_space_t
address_space;
-
mc_process_t
process;
+typedef struct
XBT_PRIVATE
s_mc_unw_context {
+
simgrid::mc::AddressSpace*
address_space;
+
simgrid::mc::Process*
process;
unw_context_t context;
} s_mc_unw_context_t, *mc_unw_context_t;
/** Initialises an already allocated context */
unw_context_t context;
} s_mc_unw_context_t, *mc_unw_context_t;
/** Initialises an already allocated context */
-XBT_
INTERNAL
int mc_unw_init_context(
- mc_unw_context_t context,
mc_process_t
process, unw_context_t* c);
+XBT_
PRIVATE
int mc_unw_init_context(
+ mc_unw_context_t context,
simgrid::mc::Process*
process, unw_context_t* c);
// ***** Libunwind cursor
/** Initialises a `libunwind` cursor */
// ***** Libunwind cursor
/** Initialises a `libunwind` cursor */
-XBT_
INTERNAL
int mc_unw_init_cursor(unw_cursor_t *cursor, mc_unw_context_t context);
+XBT_
PRIVATE
int mc_unw_init_cursor(unw_cursor_t *cursor, mc_unw_context_t context);
SG_END_DECL()
SG_END_DECL()