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
model-checker : sort ignore list and dichotomic search
[simgrid.git]
/
src
/
mc
/
mc_global.c
diff --git
a/src/mc/mc_global.c
b/src/mc/mc_global.c
index
0d58509
..
d91af14
100644
(file)
--- a/
src/mc/mc_global.c
+++ b/
src/mc/mc_global.c
@@
-646,11
+646,22
@@
void MC_ignore_init(){
}
void MC_ignore(void *address, size_t size){
}
void MC_ignore(void *address, size_t size){
+
MC_SET_RAW_MEM;
MC_SET_RAW_MEM;
+
mc_ignore_region_t region = NULL;
region = xbt_new0(s_mc_ignore_region_t, 1);
region->address = address;
region->size = size;
mc_ignore_region_t region = NULL;
region = xbt_new0(s_mc_ignore_region_t, 1);
region->address = address;
region->size = size;
- xbt_dynar_push(mmalloc_ignore, ®ion);
+
+ unsigned int cursor = 0;
+ mc_ignore_region_t current_region;
+ xbt_dynar_foreach(mmalloc_ignore, cursor, current_region){
+ if(current_region->address > address)
+ break;
+ }
+
+ xbt_dynar_insert_at(mmalloc_ignore, cursor, ®ion);
+
MC_UNSET_RAW_MEM;
}
MC_UNSET_RAW_MEM;
}