Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Remove the stateful model-checking from the archive. It's not working anymore
[simgrid.git] / teshsuite / xbt / mmalloc / mmalloc_test.cpp
diff --git a/teshsuite/xbt/mmalloc/mmalloc_test.cpp b/teshsuite/xbt/mmalloc/mmalloc_test.cpp
deleted file mode 100644 (file)
index 847ff6c..0000000
+++ /dev/null
@@ -1,116 +0,0 @@
-/* Copyright (c) 2012-2019. The SimGrid Team. 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. */
-
-#include "simgrid/Exception.hpp"
-#include "xbt.h"
-#include "xbt/mmalloc.h"
-
-#include <cassert>
-#include <cstdio>
-#include <cstdlib>
-#include <cstring>
-#include <fcntl.h>
-#include <sys/stat.h>
-#include <unistd.h>
-
-XBT_LOG_NEW_DEFAULT_CATEGORY(test,"this test");
-
-constexpr int BUFFSIZE = 204800;
-constexpr int TESTSIZE = 100;
-
-#define size_of_block(i) (((i % 50)+1)* 100)
-
-static void check_block(const void* s, int c, int n)
-{
-  const unsigned char* p = static_cast<const unsigned char*>(s);
-  unsigned char b        = static_cast<unsigned char>(c);
-  for (int i = 0; i < n; i++)
-    if (p[i] != b)
-      xbt_die("value mismatch: %p[%d] = %#hhx, expected %#hhx", p, i, p[i], b);
-}
-
-int main(int argc, char**argv)
-{
-  xbt_mheap_t heapA = nullptr;
-  void *pointers[TESTSIZE];
-  xbt_init(&argc,argv);
-
-  XBT_INFO("Allocating a new heap");
-  unsigned long mask = ~((unsigned long)xbt_pagesize - 1);
-  void *addr = (void*)(((unsigned long)sbrk(0) + BUFFSIZE) & mask);
-  heapA = xbt_mheap_new(-1, addr);
-  if (heapA == NULL) {
-    perror("attach 1 failed");
-    fprintf(stderr, "bye\n");
-    exit(1);
-  }
-
-  XBT_INFO("HeapA allocated");
-
-  int i;
-  int size;
-  for (i = 0; i < TESTSIZE; i++) {
-    size = size_of_block(i);
-    pointers[i] = mmalloc(heapA, size);
-    XBT_INFO("%d bytes allocated with offset %zx", size, (size_t)((char*)pointers[i] - (char*)heapA));
-  }
-  XBT_INFO("All blocks were correctly allocated. Free every second block");
-  for (i = 0; i < TESTSIZE; i+=2) {
-    mfree(heapA, pointers[i]);
-  }
-  XBT_INFO("Memset every second block to zero (yeah, they are not currently allocated :)");
-  for (i = 0; i < TESTSIZE; i+=2) {
-    size = size_of_block(i);
-    memset(pointers[i],0, size);
-  }
-  XBT_INFO("Re-allocate every second block");
-  for (i = 0; i < TESTSIZE; i+=2) {
-    size = size_of_block(i);
-    pointers[i] = mmalloc(heapA, size);
-  }
-
-  XBT_INFO("free all blocks (each one twice, to check that double free are correctly catched)");
-  for (i = 0; i < TESTSIZE; i++) {
-    bool gotit = false;
-    mfree(heapA, pointers[i]);
-    try {
-      mfree(heapA, pointers[i]);
-    } catch(xbt_ex& e) {
-      gotit = true;
-    }
-    if (not gotit)
-      xbt_die("FAIL: A double-free went undetected (for size:%d)",size_of_block(i));
-  }
-
-  XBT_INFO("free again all blocks (to really check that double free are correctly catched)");
-  for (i = 0; i < TESTSIZE; i++) {
-    bool gotit = false;
-    try {
-      mfree(heapA, pointers[i]);
-    } catch(xbt_ex& e) {
-      gotit = true;
-    }
-    if (not gotit)
-      xbt_die("FAIL: A double-free went undetected (for size:%d)",size_of_block(i));
-  }
-
-  XBT_INFO("Let's try different codepaths for mrealloc");
-  for (i = 0; i < TESTSIZE; i++) {
-    const std::vector<std::pair<int, int>> requests = {
-        {size_of_block(i) / 2, 0x77}, {size_of_block(i) * 2, 0xaa}, {1, 0xc0}, {0, 0}};
-    pointers[i] = nullptr;
-    for (unsigned k = 0; k < requests.size(); ++k) {
-      size        = requests[k].first;
-      pointers[i] = mrealloc(heapA, pointers[i], size);
-      if (k > 0)
-        check_block(pointers[i], requests[k - 1].second, std::min(size, requests[k - 1].first));
-      if (size > 0)
-        memset(pointers[i], requests[k].second, size);
-    }
-  }
-
-  XBT_INFO("Damnit, I cannot break mmalloc this time. That's SO disappointing.");
-  return 0;
-}