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
Revert "please cmake, could you tell us your compiler arguments?"
[simgrid.git]
/
src
/
mc
/
mc_unw.h
diff --git
a/src/mc/mc_unw.h
b/src/mc/mc_unw.h
index
8e87c84
..
7928d0b
100644
(file)
--- a/
src/mc/mc_unw.h
+++ b/
src/mc/mc_unw.h
@@
-5,8
+5,8
@@
/* 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
+17,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).
*
@@
-48,7
+48,7
@@
extern 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.
@@
-60,17
+60,14
@@
extern XBT_INTERNAL unw_accessors_t mc_unw_accessors;
/** A `libunwind` context
*/
typedef struct s_mc_unw_context {
/** A `libunwind` context
*/
typedef struct s_mc_unw_context {
-
mc_address_space_t
address_space;
-
mc_process_t
process;
+
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 */
XBT_INTERNAL int mc_unw_init_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);
-
-/** Destroys (but not not `free`) a context */
-XBT_INTERNAL int mc_unw_destroy_context(mc_unw_context_t context);
+ mc_unw_context_t context, simgrid::mc::Process* process, unw_context_t* c);
// ***** Libunwind cursor
// ***** Libunwind cursor