X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/2e3c0670f37a0c37487fc75c73956290dc086c50..41626f8a47c96f54fa3b1ee61a90fb0af699dcbc:/src/mc/mc_address_space.h

diff --git a/src/mc/mc_address_space.h b/src/mc/mc_address_space.h
index a154676dc2..a8724bc35a 100644
--- a/src/mc/mc_address_space.h
+++ b/src/mc/mc_address_space.h
@@ -43,22 +43,31 @@ typedef enum e_adress_space_read_flags {
 typedef struct s_mc_address_space s_mc_address_space_t, *mc_address_space_t;
 typedef struct s_mc_address_space_class s_mc_address_space_class_t, *mc_address_space_class_t;
 
+/** Abstract base class for an address space
+ *
+ *  This is the base class for all virtual address spaces (process, snapshot).
+ *  It uses dynamic dispatch based on a vtable (`address_space_class`).
+ */
+struct s_mc_address_space {
+  const s_mc_address_space_class_t* address_space_class;
+};
+
+/** Class object (vtable) for the virtual address spaces
+ */
 struct s_mc_address_space_class {
   const void* (*read)(
     mc_address_space_t address_space, e_adress_space_read_flags_t flags,
     void* target, const void* addr, size_t size,
     int process_index);
-};
-
-/** Base class for an address space (process and snapshot)
- */
-struct s_mc_address_space {
-  mc_address_space_class_t address_space_class;
+  mc_process_t (*get_process)(mc_address_space_t address_space);
 };
 
 // ***** Virtual/non-final methods
 
-/** Read data from the given address space */
+/** Read data from the given address space
+ *
+ *  Dynamic dispatch.
+ */
 static inline __attribute__((always_inline))
 const void* MC_address_space_read(
   mc_address_space_t address_space, e_adress_space_read_flags_t flags,
@@ -70,4 +79,11 @@ const void* MC_address_space_read(
     process_index);
 }
 
+static inline __attribute__((always_inline))
+const void* MC_address_space_get_process(mc_address_space_t address_space)
+{
+  return address_space->address_space_class->get_process(address_space);
+}
+
+
 #endif