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
Reindent.
[simgrid.git]
/
src
/
mc
/
RegionSnapshot.cpp
diff --git
a/src/mc/RegionSnapshot.cpp
b/src/mc/RegionSnapshot.cpp
index
7884740
..
445daed
100644
(file)
--- a/
src/mc/RegionSnapshot.cpp
+++ b/
src/mc/RegionSnapshot.cpp
@@
-1,4
+1,4
@@
-/* Copyright (c) 2007-201
5
. The SimGrid Team.
+/* Copyright (c) 2007-201
7
. The SimGrid Team.
* All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
* All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
@@
-12,7
+12,7
@@
#endif
#include "mc/mc.h"
#endif
#include "mc/mc.h"
-#include "src/mc/mc_snapshot.h"
+#include "src/mc/mc_snapshot.h
pp
"
#include "src/mc/ChunkedData.hpp"
#include "src/mc/RegionSnapshot.hpp"
#include "src/mc/ChunkedData.hpp"
#include "src/mc/RegionSnapshot.hpp"
@@
-81,8
+81,8
@@
RegionSnapshot dense_region(
void *start_addr, void* permanent_addr, size_t size)
{
// When KSM support is enables, we allocate memory using mmap:
void *start_addr, void* permanent_addr, size_t size)
{
// When KSM support is enables, we allocate memory using mmap:
- // * we don't want to advise bits of the heap as mergable
;
- // * mmap gives data aligned on page boundaries which is merge friendly
.
+ // * we don't want to advise bits of the heap as mergable
+ // * mmap gives data aligned on page boundaries which is merge friendly
simgrid::mc::Buffer data;
if (_sg_mc_ksm)
data = Buffer::mmap(size);
simgrid::mc::Buffer data;
if (_sg_mc_ksm)
data = Buffer::mmap(size);
@@
-128,7
+128,7
@@
RegionSnapshot region(
RegionSnapshot sparse_region(RegionType region_type,
void *start_addr, void* permanent_addr, size_t size)
{
RegionSnapshot sparse_region(RegionType region_type,
void *start_addr, void* permanent_addr, size_t size)
{
- simgrid::mc::
Process
* process = &mc_model_checker->process();
+ simgrid::mc::
RemoteClient
* process = &mc_model_checker->process();
assert(process != nullptr);
xbt_assert((((uintptr_t)start_addr) & (xbt_pagesize-1)) == 0,
assert(process != nullptr);
xbt_assert((((uintptr_t)start_addr) & (xbt_pagesize-1)) == 0,
@@
-145,6
+145,6
@@
RegionSnapshot sparse_region(RegionType region_type,
region.page_data(std::move(page_data));
return region;
}
region.page_data(std::move(page_data));
return region;
}
-
+
}
}
}
}