Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
document my ongoing changes. Not everything of it were implemented yet, but nothing...
[simgrid.git] / ChangeLog
index b3b166f..e26c8e2 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -67,6 +67,16 @@ SimGrid (3.7) NOT RELEASED; urgency=low
     create homogeneous dictionaries, where all the elements share the
     same free function. Non homogeneous dictionnaries will be
     deprecated in the next release.
+  * mmalloc module: 
+    - cleanups and simplifications to make it maintainable again
+    - exotic features (such as memalign and valloc) were removed
+    - The metadata were extended and improved so that the
+      model-checker becomes able to explore and inspect the heaps.
+    - This may induce a performance drop when enable_model-checking is
+      ON in cmake (even if it's not used in the simulation), but it is
+      necessary at this point to get MC working. 
+      
+      Turn model-checking OFF if simulation performance matters to you.
 
   -- $date Da SimGrid team <simgrid-devel@lists.gforge.inria.fr>