A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
[mc] Fix: MC_random always starts from 0
[simgrid.git]
/
src
/
mc
/
mc_checkpoint.c
2015-03-20
Gabriel Corona
[mc] Do not take NULL to mean 'the current address...
blob
|
commitdiff
|
raw
2015-03-17
Gabriel Corona
[mc] Read smpi_loaded_page from MCed in MC_process_init()
blob
|
commitdiff
|
raw
|
diff to current
2015-03-17
Gabriel Corona
[mc] Read smpi_privatisation_regions from MCed in MC_re...
blob
|
commitdiff
|
raw
|
diff to current
2015-03-17
Gabriel Corona
[mc] mc_checkpoint.c, remove some TODOs
blob
|
commitdiff
|
raw
|
diff to current
2015-03-16
Gabriel Corona
[mc] Read smpi_process_count() from remote process
blob
|
commitdiff
|
raw
|
diff to current
2015-03-10
Gabriel Corona
Merge branch 'master' into mc-process
blob
|
commitdiff
|
raw
|
diff to current
2015-03-09
Gabriel Corona
[mc] Read host name from remote process
blob
|
commitdiff
|
raw
|
diff to current
2015-03-06
Gabriel Corona
[mc] Cross-process access to smx_process and simcall
blob
|
commitdiff
|
raw
|
diff to current
2015-02-18
Arnaud Legrand
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2015-02-12
Gabriel Corona
Merge master into mc-process
blob
|
commitdiff
|
raw
|
diff to current
2015-02-12
Gabriel Corona
[mc] Make an option for file descriptor snapshot (off...
blob
|
commitdiff
|
raw
|
diff to current
2015-02-06
Gabriel Corona
(wip) Move the MCed public API in the same file
blob
|
commitdiff
|
raw
|
diff to current
2015-02-06
Gabriel Corona
[mc] Implement remote support for MC_ignore
blob
|
commitdiff
|
raw
|
diff to current
2015-01-30
Gabriel Corona
[mc] Remote unwinding support
blob
|
commitdiff
|
raw
|
diff to current
2015-01-23
Gabriel Corona
[mc] Make a copy of the libunwind context when snapshot...
blob
|
commitdiff
|
raw
|
diff to current
2014-12-19
Gabriel Corona
[mc] Add some FIXMEs for cross-process support
blob
|
commitdiff
|
raw
|
diff to current
2014-12-19
Gabriel Corona
[mc] Cross-process support for MC_ignore
blob
|
commitdiff
|
raw
|
diff to current
2014-12-19
Gabriel Corona
[mc] Implements privatization support for MC_process_read
blob
|
commitdiff
|
raw
|
diff to current
2014-12-19
Gabriel Corona
[mc] Abstract the process and a snapshot types with...
blob
|
commitdiff
|
raw
|
diff to current
2014-12-12
Gabriel Corona
[mc] Support for reading heap state from another process
blob
|
commitdiff
|
raw
|
diff to current
2014-12-11
Gabriel Corona
[mc] Access memory from another process
blob
|
commitdiff
|
raw
|
diff to current
2014-12-10
Marion Guthmuller
fix dot output with file descriptor checkpoint/restore
blob
|
commitdiff
|
raw
|
diff to current
2014-12-09
Gabriel Corona
[mm] Allow to disable the mm based `malloc` at runtime
blob
|
commitdiff
|
raw
|
diff to current
2014-12-08
Gabriel Corona
[mc] Multiple .so support for region snapshots
blob
|
commitdiff
|
raw
|
diff to current
2014-12-08
Adrien Lebre
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2014-12-04
Gabriel Corona
[mc] Move process info in a new s_mc_process_t structure
blob
|
commitdiff
|
raw
|
diff to current
2014-12-04
Gabriel Corona
Merge branch 'master'
blob
|
commitdiff
|
raw
|
diff to current
2014-12-04
Gabriel Corona
[mc] Remove useless header #includes
blob
|
commitdiff
|
raw
|
diff to current
2014-11-28
Adrien Lebre
merge msg_vm.c - adrien (please note that there is...
blob
|
commitdiff
|
raw
|
diff to current
2014-11-28
Augustin Degomme
remove potential bug / clang warning
blob
|
commitdiff
|
raw
|
diff to current
2014-11-21
Gabriel Corona
Merge branch 'xp'
blob
|
commitdiff
|
raw
|
diff to current
2014-11-18
Gabriel Corona
Infrastructure for statically defined tracepoints
blob
|
commitdiff
|
raw
|
diff to current
2014-11-07
Gabriel Corona
[mc] Add useless parends to remove WTF warning-which...
blob
|
commitdiff
|
raw
|
diff to current
2014-11-07
Gabriel Corona
[mc] Don't fork another process in the hop spot, MC_get...
blob
|
commitdiff
|
raw
|
diff to current
2014-11-06
Gabriel Corona
[mc] Add MC_dump_stacks
blob
|
commitdiff
|
raw
|
diff to current
2014-11-04
Gabriel Corona
[mc] Fix FD checkpoint/restore
blob
|
commitdiff
|
raw
|
diff to current
2014-11-04
Marion Guthmuller
model-checker : comment debug printf
blob
|
commitdiff
|
raw
|
diff to current
2014-11-04
Marion Guthmuller
model-checker : save and restore file descriptors
blob
|
commitdiff
|
raw
|
diff to current
2014-11-02
Martin Quinson
rename all SIMIX_pre_* to simcall_HANDLER_*
blob
|
commitdiff
|
raw
|
diff to current
2014-10-31
Gabriel Corona
[mc] Make MC_resolve_subtype() and MC_resolve_subtype...
blob
|
commitdiff
|
raw
|
diff to current
2014-10-22
etortilopez
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2014-10-17
Gabriel Corona
[smpi+mc] When restoring a snapshot, always remap the...
blob
|
commitdiff
|
raw
|
diff to current
2014-10-15
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
blob
|
commitdiff
|
raw
|
diff to current
2014-10-13
Lucas Mello Schnorr
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2014-10-13
Gabriel Corona
[mc] Prepare support for register location in DWARF...
blob
|
commitdiff
|
raw
|
diff to current
2014-10-09
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
blob
|
commitdiff
|
raw
|
diff to current
2014-10-09
Adrien Lebre
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2014-10-09
Gabriel Corona
[mc] Give the real type of mc_heap/std_heap (xbt_mheap_...
blob
|
commitdiff
|
raw
|
diff to current
2014-09-05
Gabriel Corona
[smpi] Change parallel arrays into array of structs
blob
|
commitdiff
|
raw
|
diff to current
2014-09-05
Gabriel Corona
[smpi] Use SMPI namespace for some public variables...
blob
|
commitdiff
|
raw
|
diff to current
2014-08-28
Adrien Lebre
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2014-08-26
Gabriel Corona
[mc] Better condition for switching privatized data...
blob
|
commitdiff
|
raw
|
diff to current
2014-08-26
Gabriel Corona
[mc] Fix MC_snapshot_add_region() to forward correctly...
blob
|
commitdiff
|
raw
|
diff to current
2014-08-26
Gabriel Corona
[mc] Fix broken MC_region_destroy()
blob
|
commitdiff
|
raw
|
diff to current
2014-07-28
Adrien Lebre
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2014-07-25
Gabriel Corona
[mc] Make state/snapshot comparison work with SMPI...
blob
|
commitdiff
|
raw
|
diff to current
2014-07-25
Gabriel Corona
Merge branch 'mc'
blob
|
commitdiff
|
raw
|
diff to current
2014-07-25
Gabriel Corona
[mc] Split mc_region_new_dense out of MC_region_new
blob
|
commitdiff
|
raw
|
diff to current
2014-07-24
Gabriel Corona
Merge remote-tracking branch 'origin/mc-fastsnapshot...
blob
|
commitdiff
|
raw
|
diff to current
2014-07-21
Gabriel Corona
[mc] Do not handle mc_model_checker->parent_snapshot...
blob
|
commitdiff
|
raw
|
diff to current
2014-07-10
Gabriel Corona
[mc] Add unit test for mc_snapshot
blob
|
commitdiff
|
raw
|
diff to current
2014-07-08
Gabriel Corona
Merge branch 'mc-fix' into mc-fastsnapshot
blob
|
commitdiff
|
raw
|
diff to current
2014-06-27
Gabriel Corona
Merge branch 'mc'
blob
|
commitdiff
|
raw
|
diff to current
2014-06-27
Gabriel Corona
Merge branch 'mc-fastsnapshot' into mc
blob
|
commitdiff
|
raw
|
diff to current
2014-06-26
Gabriel Corona
[mc] Forgot to decrease the page refcounts when freeing...
blob
|
commitdiff
|
raw
|
diff to current
2014-06-24
Gabriel Corona
[mc] Add support of privatized global variables in...
blob
|
commitdiff
|
raw
|
diff to current
2014-06-20
Gabriel Corona
[mc] Reset the softdirty bits *before* restoring the...
blob
|
commitdiff
|
raw
|
diff to current
2014-06-19
Gabriel Corona
[mc] Config to disable soft-dirty page tracking --cfg...
blob
|
commitdiff
|
raw
|
diff to current
2014-06-16
Gabriel Corona
[mc] Remove useless parts in mmalloc_compare_heap,...
blob
|
commitdiff
|
raw
|
diff to current
2014-06-16
Gabriel Corona
[mc] Partial integration of per-page snapshot address...
blob
|
commitdiff
|
raw
|
diff to current
2014-06-16
Gabriel Corona
[mc] Simplify s_mc_snapshot_stack
blob
|
commitdiff
|
raw
|
diff to current
2014-06-13
Gabriel Corona
[mc] Page-level sparse snapshot: work-in-progress,...
blob
|
commitdiff
|
raw
|
diff to current
2014-06-13
Gabriel Corona
[mc] In MC_ignore, keep the zeroed data out of the...
blob
|
commitdiff
|
raw
|
diff to current
2014-06-04
Marion Guthmuller
model-checker : compare the pid of enabled processes...
blob
|
commitdiff
|
raw
|
diff to current
2014-05-30
Marion Guthmuller
model-checker : cleanups, refactoring and apply indent...
blob
|
commitdiff
|
raw
|
diff to current
2014-05-26
Gabriel Corona
Merge branch 'master' into mc
blob
|
commitdiff
|
raw
|
diff to current
2014-05-16
Gabriel Corona
Merge branch 'mc_without_ksm' into mc
blob
|
commitdiff
|
raw
|
diff to current
2014-05-16
Gabriel Corona
[mc] Avoid memsetting twice
blob
|
commitdiff
|
raw
|
diff to current
2014-05-08
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
blob
|
commitdiff
|
raw
|
diff to current
2014-04-30
Marion Guthmuller
model-checker : disable mprotect on snapshots
blob
|
commitdiff
|
raw
|
diff to current
2014-04-30
Marion Guthmuller
model-checker : remove KSM work -> doesn't work currently
blob
|
commitdiff
|
raw
|
diff to current
2014-04-25
Stéphane Castelli
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2014-04-24
Gabriel Corona
[mc] Check error in MAP_FAILED
blob
|
commitdiff
|
raw
|
diff to current
2014-04-24
Gabriel Corona
[mc] mprotect the region *after* zero-ing ignored parts:
blob
|
commitdiff
|
raw
|
diff to current
2014-04-24
Gabriel Corona
Merge "mc"
blob
|
commitdiff
|
raw
|
diff to current
2014-04-24
Gabriel Corona
[mc] Fix DW_AT_start_scope handling in mc_checkpoint
blob
|
commitdiff
|
raw
|
diff to current
2014-04-22
Stéphane Castelli
Merge branch 'smpi-topo'
blob
|
commitdiff
|
raw
|
diff to current
2014-04-15
Stéphane Castelli
Added some work in the creation of links in the fat...
blob
|
commitdiff
|
raw
|
diff to current
2014-04-14
Gabriel Corona
[mc] Protect snapshots against write
blob
|
commitdiff
|
raw
|
diff to current
2014-04-14
Gabriel Corona
[mc] Only enable KSM on snapshots and not on main memory
blob
|
commitdiff
|
raw
|
diff to current
2014-04-08
Gabriel Corona
Merge remote-tracking branch 'origin/mc'
blob
|
commitdiff
|
raw
|
diff to current
2014-04-05
Marion Guthmuller
model-checker : privatization_regions in snapshot may...
blob
|
commitdiff
|
raw
|
diff to current
2014-04-04
Gabriel Corona
Merge branch 'mc'
blob
|
commitdiff
|
raw
|
diff to current
2014-04-04
Gabriel Corona
[mc] Fix MC_free_snapshot (NP reading NULL snapshot...
blob
|
commitdiff
|
raw
|
diff to current
2014-04-04
Gabriel Corona
[mc] Make snapshots compatible with SMPI privatization...
blob
|
commitdiff
|
raw
|
diff to current
2014-04-01
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2014-03-31
Martin Quinson
Revert "Remove XBT_INFO call"
blob
|
commitdiff
|
raw
|
diff to current
2014-03-31
Pierre Veyre
Remove XBT_INFO call
blob
|
commitdiff
|
raw
|
diff to current
2014-03-31
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2014-03-27
Gabriel Corona
[mc] Correctly handle the end of the stack unwinding
blob
|
commitdiff
|
raw
|
diff to current
next