1 /* Copyright (c) 2015-2019. The SimGrid Team. All rights reserved. */
3 /* This program is free software; you can redistribute it and/or modify it
4 * under the terms of the license (GNU LGPL) which comes with this package. */
6 #include "src/include/catch.hpp"
17 #include "src/mc/sosp/PageStore.hpp"
19 #define BOOST_CHECK_MESSAGE(a, b) \
23 using simgrid::mc::PageStore;
25 /***********************************/
26 // a class to hold the variable used in the test cases
29 static std::size_t pagesize;
30 static std::unique_ptr<PageStore> store;
32 static size_t pageno[4];
35 // member functions used by the test suite(s)
37 static void store_page_once();
38 static void store_same_page();
39 static void store_new_page();
40 static void unref_pages();
41 static void reallocate_page();
43 static void new_content(void* data, std::size_t size);
46 // static member datat initialization
47 std::size_t helper_tests::pagesize = 0;
48 std::unique_ptr<PageStore> helper_tests::store = nullptr;
49 void* helper_tests::data = nullptr;
50 size_t helper_tests::pageno[4] = {0, 0, 0, 0};
51 int helper_tests::value = 0;
53 void helper_tests::Init()
55 pagesize = (size_t)getpagesize();
56 store = std::unique_ptr<PageStore>(new simgrid::mc::PageStore(50));
57 data = mmap(nullptr, getpagesize(), PROT_READ | PROT_WRITE, MAP_PRIVATE | MAP_ANONYMOUS, -1, 0);
58 BOOST_CHECK_MESSAGE(store->size() == 0, "Bad size");
61 void helper_tests::store_page_once()
63 new_content(data, pagesize);
64 pageno[0] = store->store_page(data);
65 REQUIRE(store->get_ref(pageno[0]) == 1);
66 const void* copy = store->get_page(pageno[0]);
67 BOOST_CHECK_MESSAGE(::memcmp(data, copy, pagesize) == 0, "Page data should be the same");
68 REQUIRE(store->size() == 1);
71 void helper_tests::store_same_page()
73 pageno[1] = store->store_page(data);
74 BOOST_CHECK_MESSAGE(pageno[0] == pageno[1], "Page should be the same");
75 REQUIRE(store->get_ref(pageno[0]) == 2);
76 REQUIRE(store->size() == 1);
79 void helper_tests::store_new_page()
81 new_content(data, pagesize);
82 pageno[2] = store->store_page(data);
83 BOOST_CHECK_MESSAGE(pageno[0] != pageno[2], "New page should be different");
84 REQUIRE(store->size() == 2);
87 void helper_tests::unref_pages()
89 store->unref_page(pageno[0]);
90 BOOST_CHECK_MESSAGE(store->get_ref(pageno[0]) == 1, "Bad refcount");
91 REQUIRE(store->size() == 2);
92 store->unref_page(pageno[1]);
93 REQUIRE(store->size() == 1);
96 void helper_tests::reallocate_page()
98 new_content(data, pagesize);
99 pageno[3] = store->store_page(data);
100 BOOST_CHECK_MESSAGE(pageno[0] == pageno[3], "Page was not reused");
101 REQUIRE(store->get_ref(pageno[3]) == 1);
102 REQUIRE(store->size() == 2);
105 void helper_tests::new_content(void* data, std::size_t size)
108 ::memset(data, value, size);
111 TEST_CASE("MC page store, used during checkpoint", "MC::PageStore")
113 helper_tests::Init();
114 INFO("Store page once");
115 helper_tests::store_page_once();
117 INFO("Store the same page");
118 helper_tests::store_same_page();
120 INFO("Store a new page");
121 helper_tests::store_new_page();
124 helper_tests::unref_pages();
126 INFO("Reallocate pages");
127 helper_tests::reallocate_page();