Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
simgrid.git
6 years ago[mc] Remove useless question in assert
Gabriel Corona [Tue, 1 Jul 2014 09:36:46 +0000 (11:36 +0200)]
[mc] Remove useless question in assert

6 years agoPath relative to xml directory works
Paul Bédaride [Tue, 1 Jul 2014 09:28:50 +0000 (11:28 +0200)]
Path relative to xml directory works

6 years agoXml platform cleaning examples/msg/ns3
Paul Bédaride [Mon, 30 Jun 2014 14:14:18 +0000 (16:14 +0200)]
Xml platform cleaning examples/msg/ns3

6 years agoFix ns3
Paul Bédaride [Mon, 30 Jun 2014 12:06:38 +0000 (14:06 +0200)]
Fix ns3

6 years agoXml platform cleaning example/scala
Paul Bédaride [Mon, 30 Jun 2014 11:48:39 +0000 (13:48 +0200)]
Xml platform cleaning example/scala

6 years agoRevert commit ed3e911d for better performances
Paul Bédaride [Mon, 30 Jun 2014 08:33:22 +0000 (10:33 +0200)]
Revert commit ed3e911d for better performances

6 years agoFix xmls for lua examples
Paul Bédaride [Wed, 25 Jun 2014 09:58:51 +0000 (11:58 +0200)]
Fix xmls for lua examples

6 years agoXml platform cleaning
Paul Bédaride [Tue, 24 Jun 2014 13:06:00 +0000 (15:06 +0200)]
Xml platform cleaning

6 years agoAdd difftool option to tesh to help updating tesh files
Paul Bédaride [Tue, 17 Jun 2014 12:56:26 +0000 (14:56 +0200)]
Add difftool option to tesh to help updating tesh files

6 years agoWcloberred is unknown for clang...
Augustin Degomme [Fri, 27 Jun 2014 15:42:34 +0000 (17:42 +0200)]
Wcloberred is unknown for clang...
Leave it, but avoid failing the build by setting -Wno-unknown-warning-option

6 years agoAdd other warning flags for cpp
Augustin Degomme [Fri, 27 Jun 2014 14:57:16 +0000 (16:57 +0200)]
Add other warning flags for cpp

6 years agoas linking may be done through c++, add flags to remove some old/new warnings to...
Augustin Degomme [Fri, 27 Jun 2014 14:20:34 +0000 (16:20 +0200)]
as linking may be done through c++, add flags to remove some old/new warnings to cxx flags.

6 years agoremove warnings in mpich c tests
Augustin Degomme [Fri, 27 Jun 2014 12:50:14 +0000 (14:50 +0200)]
remove warnings in mpich c tests

6 years agomodel-checker : fix visited states reduction with comm determinism verification
Marion Guthmuller [Fri, 27 Jun 2014 12:09:21 +0000 (14:09 +0200)]
model-checker : fix visited states reduction with comm determinism verification

6 years agomodel-checker : if no inttypes found in c++
Marion Guthmuller [Fri, 27 Jun 2014 11:56:49 +0000 (13:56 +0200)]
model-checker : if no inttypes found in c++

6 years agoAdd missing dist files
Gabriel Corona [Fri, 27 Jun 2014 11:51:24 +0000 (13:51 +0200)]
Add missing dist files

6 years agoMerge branch 'mc'
Gabriel Corona [Fri, 27 Jun 2014 10:41:21 +0000 (12:41 +0200)]
Merge branch 'mc'

Conflicts:
src/mc/mc_global.c

6 years agoadd some tests about the smpi robustness to PEBKAC
Martin Quinson [Fri, 27 Jun 2014 09:30:41 +0000 (11:30 +0200)]
add some tests about the smpi robustness to PEBKAC

6 years agomake it easier to write tesh files by removing the full path to scripts from logs
Martin Quinson [Fri, 27 Jun 2014 09:18:57 +0000 (11:18 +0200)]
make it easier to write tesh files by removing the full path to scripts from logs

6 years agoignore some generated files
Martin Quinson [Fri, 27 Jun 2014 08:03:23 +0000 (10:03 +0200)]
ignore some generated files

6 years agoProperly fix the case where the user provides an empty hostfile
Martin Quinson [Fri, 27 Jun 2014 08:02:16 +0000 (10:02 +0200)]
Properly fix the case where the user provides an empty hostfile

6 years ago[mc] Do not optimize src/xbt/dynar.c
Gabriel Corona [Fri, 27 Jun 2014 09:05:34 +0000 (11:05 +0200)]
[mc] Do not optimize src/xbt/dynar.c

For some reason, it breaks state comparison after the merge.

6 years agoAdd an option to get the compiler version, change the manpages accordingly
Stéphane Castelli [Fri, 27 Jun 2014 08:51:33 +0000 (10:51 +0200)]
Add an option to get the compiler version, change the manpages accordingly

6 years agoSome minor corrections on the documentation
Stéphane Castelli [Mon, 23 Jun 2014 07:58:22 +0000 (09:58 +0200)]
Some minor corrections on the documentation

6 years agoMerge branch 'mc-fastsnapshot' into mc
Gabriel Corona [Fri, 27 Jun 2014 08:20:15 +0000 (10:20 +0200)]
Merge branch 'mc-fastsnapshot' into mc

Conflicts:
src/mc/mc_visited.c

6 years agodividing by 0 is not always the best possible choice, even if the user shoulnt give...
Martin Quinson [Fri, 27 Jun 2014 06:53:09 +0000 (08:53 +0200)]
dividing by 0 is not always the best possible choice, even if the user shoulnt give empty hostfiles

6 years agoMerge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Martin Quinson [Fri, 27 Jun 2014 06:48:26 +0000 (08:48 +0200)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid

6 years agoChange the wonderful magic value of the max number of simcall parameters.
Augustin Degomme [Thu, 26 Jun 2014 16:31:37 +0000 (18:31 +0200)]
Change the wonderful magic value of the max number of simcall parameters.
Fixes build on ci with better compilers than mine.

6 years agomodel-checker : minor fix in comments
Marion Guthmuller [Thu, 26 Jun 2014 15:50:45 +0000 (17:50 +0200)]
model-checker : minor fix in comments

6 years agomodel-checker : update tesh
Marion Guthmuller [Thu, 26 Jun 2014 15:49:52 +0000 (17:49 +0200)]
model-checker : update tesh

6 years agomodel-checker : visited states reduction available with comm determinism verification
Marion Guthmuller [Thu, 26 Jun 2014 15:49:25 +0000 (17:49 +0200)]
model-checker : visited states reduction available with comm determinism verification

6 years agoJSURF_JAVA_GENERATED_SRC is already included in JMSG_JAVA_SRC
Augustin Degomme [Thu, 26 Jun 2014 15:09:30 +0000 (17:09 +0200)]
JSURF_JAVA_GENERATED_SRC is already included in JMSG_JAVA_SRC
Some architectures complain and fail build if duplicated files are found

6 years agoStart the remote send as soon as possible in MPI_Get
Augustin Degomme [Thu, 26 Jun 2014 13:48:26 +0000 (15:48 +0200)]
Start the remote send as soon as possible in MPI_Get
It used to be done only when synchronisation calls were issued, as it needed to be done sender's side

6 years agoUse source of a MPI_Request as sender for SMPI messages.
Augustin Degomme [Thu, 26 Jun 2014 13:47:32 +0000 (15:47 +0200)]
Use source of a MPI_Request as sender for SMPI messages.
make the SMPI messages use the sender process registered in the request perform the send, even if is not the same as self

6 years agoChange send/isend simcalls to add a new parameter : src.
Augustin Degomme [Thu, 26 Jun 2014 13:43:13 +0000 (15:43 +0200)]
Change send/isend simcalls to add a new parameter : src.
It is set everywhere it is used to SIMIX_process_self, so it should not change anything except for SMPI
This allows a process to ask for an immediate send from another process without any action from the sender's side
This is needed to simulate MPI_Get, where the receivers asynchronously triggers a send from another process (handled by the MPI library in another thread or directly through RMA)

6 years ago[mc] Inline mc_snapshot_read_region()
Gabriel Corona [Thu, 26 Jun 2014 12:35:40 +0000 (14:35 +0200)]
[mc] Inline mc_snapshot_read_region()

6 years ago[mc] Inline mc_translate_address() and mc_translate_address_region()
Gabriel Corona [Thu, 26 Jun 2014 12:10:38 +0000 (14:10 +0200)]
[mc] Inline mc_translate_address() and mc_translate_address_region()

6 years ago[mc] Forgot to decrease the page refcounts when freeing a snapshot
Gabriel Corona [Thu, 26 Jun 2014 10:12:16 +0000 (12:12 +0200)]
[mc] Forgot to decrease the page refcounts when freeing a snapshot

6 years agodon't build mtest static lib if mpich3 tests are not enabled
Augustin Degomme [Wed, 25 Jun 2014 07:56:49 +0000 (09:56 +0200)]
don't build mtest static lib if mpich3 tests are not enabled

6 years agochange path where to look for an include file
Augustin Degomme [Tue, 24 Jun 2014 14:52:16 +0000 (16:52 +0200)]
change path where to look for an include file

6 years agoactivate tests for Accumulation with complex datatypes
Augustin Degomme [Tue, 24 Jun 2014 14:42:56 +0000 (16:42 +0200)]
activate tests for Accumulation with complex datatypes

6 years agoChange the way MPI_Accumulate works with serialization, to handle complex datatypes.
Augustin Degomme [Tue, 24 Jun 2014 14:41:49 +0000 (16:41 +0200)]
Change the way MPI_Accumulate works with serialization, to handle complex datatypes.

6 years ago[mc] Add support of privatized global variables in per-page snapshot
Gabriel Corona [Tue, 24 Jun 2014 12:51:10 +0000 (14:51 +0200)]
[mc] Add support of privatized global variables in per-page snapshot

Not very useful because state comparison does not work with SMPI
privatisation yet.

6 years ago[mc] Avoid loosing meaningful bits ot pair.p2 when hashing pointer pair
Gabriel Corona [Tue, 24 Jun 2014 11:29:28 +0000 (13:29 +0200)]
[mc] Avoid loosing meaningful bits ot pair.p2 when hashing pointer pair

6 years ago[mc] Use an unordered_set for compared_pointers instead of a dynarr
Gabriel Corona [Tue, 24 Jun 2014 08:34:51 +0000 (10:34 +0200)]
[mc] Use an unordered_set for compared_pointers instead of a dynarr

It has a better algorithmic complexity.

At the same time, avoid using TLS which is not implemented with
destructor-enabled data structures before C++11.

6 years ago[mc] Remove declaration of mc_read_pagemap() in mc_page_store.cpp
Gabriel Corona [Tue, 24 Jun 2014 07:23:20 +0000 (09:23 +0200)]
[mc] Remove declaration of mc_read_pagemap() in mc_page_store.cpp

It is now in mc_page_snapshot.cpp.

6 years ago[mc] Optimise more files
Gabriel Corona [Tue, 24 Jun 2014 07:13:41 +0000 (09:13 +0200)]
[mc] Optimise more files

6 years agoSwitch to the right version of cmakefiles for mpich3 tests.
degomme [Mon, 23 Jun 2014 17:19:24 +0000 (19:19 +0200)]
Switch to the right version of cmakefiles for mpich3 tests.

6 years agoremove warning
Augustin Degomme [Mon, 23 Jun 2014 16:11:21 +0000 (18:11 +0200)]
remove warning

6 years agoremove now useless functions
Augustin Degomme [Mon, 23 Jun 2014 15:56:11 +0000 (17:56 +0200)]
remove now useless functions

6 years agoremove now useless comments
Augustin Degomme [Mon, 23 Jun 2014 15:50:26 +0000 (17:50 +0200)]
remove now useless comments

6 years agoadd MPICH3 rma tests (15 out of 88 should be passing now)
Augustin Degomme [Mon, 23 Jun 2014 15:39:40 +0000 (17:39 +0200)]
add MPICH3 rma tests (15 out of 88 should be passing now)

6 years agoFirst steps for implemtation of MPI Onesided Operations :
Augustin Degomme [Mon, 23 Jun 2014 15:30:01 +0000 (17:30 +0200)]
First steps for implemtation of MPI Onesided Operations :
Support for MPI_Win structures, MPI_Put, MPI_Get, MPI_Accumulate, MPI_Win_Fence

6 years ago[mc] Always inline mc_page_store_get_page (C version of page_store->get_page())
Gabriel Corona [Mon, 23 Jun 2014 10:02:49 +0000 (12:02 +0200)]
[mc] Always inline mc_page_store_get_page (C version of page_store->get_page())

6 years agomodel-checker : clarify comments
Marion Guthmuller [Wed, 4 Jun 2014 15:41:09 +0000 (17:41 +0200)]
model-checker : clarify comments

6 years ago[mc] Move method definition out of class declaratio and force inline
Gabriel Corona [Mon, 23 Jun 2014 08:30:57 +0000 (10:30 +0200)]
[mc] Move method definition out of class declaratio and force inline

6 years agoFix java tests : this dynar may be empty, don't try to iterate on it
degomme [Sat, 21 Jun 2014 11:41:51 +0000 (13:41 +0200)]
Fix java tests : this dynar may be empty, don't try to iterate on it

6 years agoRemove call to concurrent-rw test
Pierre Veyre [Fri, 20 Jun 2014 15:01:27 +0000 (17:01 +0200)]
Remove call to concurrent-rw test

6 years ago[mc] Reset the softdirty bits *before* restoring the ignored bytes (not after)
Gabriel Corona [Fri, 20 Jun 2014 14:09:12 +0000 (16:09 +0200)]
[mc] Reset the softdirty bits *before* restoring the ignored bytes (not after)

We want to know what has changed since the last per-page snapshot: we
have to reset the soft dirty bits just after the per-page restoration.

6 years agoRemove storage.xml example file
Pierre Veyre [Fri, 20 Jun 2014 13:37:29 +0000 (15:37 +0200)]
Remove storage.xml example file

6 years ago[mc] Try to use optimisation with some part of the MC
Gabriel Corona [Fri, 20 Jun 2014 13:31:04 +0000 (15:31 +0200)]
[mc] Try to use optimisation with some part of the MC

6 years agoInitiate java bindings for MSG storage API
Pierre Veyre [Fri, 20 Jun 2014 13:30:27 +0000 (15:30 +0200)]
Initiate java bindings for MSG storage API

6 years agoAdd new tesh suite for msg-storage
Pierre Veyre [Mon, 2 Jun 2014 07:34:10 +0000 (09:34 +0200)]
Add new tesh suite for msg-storage

6 years ago[mc] Always inline 'inline' functions
Gabriel Corona [Fri, 20 Jun 2014 12:02:05 +0000 (14:02 +0200)]
[mc] Always inline 'inline' functions

The MC is usually compiled without optimisation as they tend to
confuse the state comparison. But we *really* want to inline functions
declared 'inline'.

6 years agoremove documentation of non-existing date parameter
suter [Fri, 20 Jun 2014 09:05:07 +0000 (11:05 +0200)]
remove documentation of non-existing date parameter

6 years agoprevent warining for undocumented (because internal) enum members when
suter [Fri, 20 Jun 2014 09:04:20 +0000 (11:04 +0200)]
prevent warining for undocumented (because internal) enum members when
making doc

6 years agodoc is whining +indent
suter [Fri, 20 Jun 2014 08:24:59 +0000 (10:24 +0200)]
doc is whining +indent

6 years agodon't do the call if an error is caught before
Augustin Degomme [Fri, 20 Jun 2014 09:04:42 +0000 (11:04 +0200)]
don't do the call if an error is caught before

6 years agoRemove benchmarking calls from cart_create
Augustin Degomme [Fri, 20 Jun 2014 08:58:43 +0000 (10:58 +0200)]
Remove benchmarking calls from cart_create

6 years agoSmall fixes to the documentation
Stéphane Castelli [Fri, 20 Jun 2014 08:32:44 +0000 (10:32 +0200)]
Small fixes to the documentation

6 years agoRemove some unbreakable spaces breaking the pdf generation
Stéphane Castelli [Thu, 19 Jun 2014 07:49:14 +0000 (09:49 +0200)]
Remove some unbreakable spaces breaking the pdf generation

6 years ago[mc] Fix compilation warnings/errors when optimizing
Gabriel Corona [Fri, 20 Jun 2014 08:33:27 +0000 (10:33 +0200)]
[mc] Fix compilation warnings/errors when optimizing

6 years ago[mc] Documentation of mc_page_snapshot
Gabriel Corona [Thu, 19 Jun 2014 14:07:55 +0000 (16:07 +0200)]
[mc] Documentation of mc_page_snapshot

6 years ago[mc] Config to disable soft-dirty page tracking --cfg=model-check/soft-dirty:yes
Gabriel Corona [Thu, 19 Jun 2014 13:49:21 +0000 (15:49 +0200)]
[mc] Config to disable soft-dirty page tracking --cfg=model-check/soft-dirty:yes

It is here mostly to test the effect on soft-dirty page tracking on
the performance of the simulator. It might be removed in the future
once we will be certain that soft-dirty page tracking does not have a
significant negative impact on some workloads.

6 years ago[mc] Avoid big alloca in mc_snapshot_region_memcp and mc_snapshot_memcp
Gabriel Corona [Thu, 19 Jun 2014 13:33:12 +0000 (15:33 +0200)]
[mc] Avoid big alloca in mc_snapshot_region_memcp and mc_snapshot_memcp

Be more stack friendly.

6 years ago[mc] Poor man's TCO in compare_heap_area_with_type()
Gabriel Corona [Thu, 19 Jun 2014 13:17:58 +0000 (15:17 +0200)]
[mc] Poor man's TCO in compare_heap_area_with_type()

This is slightly more friendly for the stack.

6 years ago[mc] Do not allocate pagemap buffer on the heap
Gabriel Corona [Thu, 19 Jun 2014 13:13:42 +0000 (15:13 +0200)]
[mc] Do not allocate pagemap buffer on the heap

This won't work very well with small stacks.

6 years ago[mc] pread_whole must restart in cas of EINTR, not EAGAIN
Gabriel Corona [Thu, 19 Jun 2014 12:47:41 +0000 (14:47 +0200)]
[mc] pread_whole must restart in cas of EINTR, not EAGAIN

This probably won't happen with this file anyway.

6 years ago[mc] Documentation about per-page snapshots
Gabriel Corona [Thu, 19 Jun 2014 12:46:16 +0000 (14:46 +0200)]
[mc] Documentation about per-page snapshots

6 years ago[mc] Add some documentation
Gabriel Corona [Thu, 19 Jun 2014 12:06:15 +0000 (14:06 +0200)]
[mc] Add some documentation

6 years ago[mc] Avoid region lookup when we know we are in the heap
Gabriel Corona [Thu, 19 Jun 2014 11:09:09 +0000 (13:09 +0200)]
[mc] Avoid region lookup when we know we are in the heap

6 years ago[mc] Fix bug mc_snapshot_read_fragmented
Gabriel Corona [Thu, 19 Jun 2014 10:43:22 +0000 (12:43 +0200)]
[mc] Fix bug mc_snapshot_read_fragmented

Return the correct address.

6 years ago[mc] Replace test-and-die with assert
Gabriel Corona [Thu, 19 Jun 2014 10:27:31 +0000 (12:27 +0200)]
[mc] Replace test-and-die with assert

6 years ago[mc] Avoid looking up region in mc_diff (we are in the heap)
Gabriel Corona [Thu, 19 Jun 2014 10:24:09 +0000 (12:24 +0200)]
[mc] Avoid looking up region in mc_diff (we are in the heap)

6 years ago[mc] Fix mc_snapshot_read_fragmented
Gabriel Corona [Thu, 19 Jun 2014 10:03:34 +0000 (12:03 +0200)]
[mc] Fix mc_snapshot_read_fragmented

6 years ago[mc] Remove heap{base,info}{1,2} field in struct s_mc_diff (not meaningful in per...
Gabriel Corona [Thu, 19 Jun 2014 09:51:00 +0000 (11:51 +0200)]
[mc] Remove heap{base,info}{1,2} field in struct s_mc_diff (not meaningful in per-page snapashots)

6 years ago[mc] Fix inverted test on page soft-dirtiness
Gabriel Corona [Thu, 19 Jun 2014 07:53:24 +0000 (09:53 +0200)]
[mc] Fix inverted test on page soft-dirtiness

6 years agoMerge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Martin Quinson [Wed, 18 Jun 2014 16:08:32 +0000 (18:08 +0200)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid

6 years agoMerge branch 'v3_11_x'
Paul Bédaride [Wed, 18 Jun 2014 16:02:29 +0000 (18:02 +0200)]
Merge branch 'v3_11_x'

Conflicts:
examples/msg/properties/msg_prop.c
examples/simdag/properties/sd_prop.c

6 years agoMerge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Martin Quinson [Wed, 18 Jun 2014 15:29:41 +0000 (17:29 +0200)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid

6 years agoadd rule to use gcc-ar and gcc-ranlib instead of ar and ranlib for gcc >=4.9
Augustin Degomme [Wed, 18 Jun 2014 15:28:28 +0000 (17:28 +0200)]
add rule to use gcc-ar and gcc-ranlib instead of ar and ranlib for gcc >=4.9
see https://gcc.gnu.org/gcc-4.9/changes.html for explanations

6 years agoRevert "try to have all these mpich temporary libs sent to the right folder while...
Augustin Degomme [Wed, 18 Jun 2014 15:26:10 +0000 (17:26 +0200)]
Revert "try to have all these mpich temporary libs sent to the right folder while building"

This reverts commit 3f8e8c0e3b6c8faab8c96a8875bff2eaebbe3e99.

6 years agoImprove Packet level simulation documentation v3_11_x
Paul Bédaride [Wed, 18 Jun 2014 15:05:33 +0000 (17:05 +0200)]
Improve Packet level simulation documentation

6 years agoFix bug with const in java bindings
Paul Bédaride [Wed, 18 Jun 2014 14:13:35 +0000 (16:13 +0200)]
Fix bug with const in java bindings

6 years agotry to have all these mpich temporary libs sent to the right folder while building
Augustin Degomme [Wed, 18 Jun 2014 15:00:41 +0000 (17:00 +0200)]
try to have all these mpich temporary libs sent to the right folder while building

6 years agoUpdate tesh files after commit 2c2afb4d73ea196ea97ca46bc89dd512451222db (untested).
Arnaud Giersch [Wed, 18 Jun 2014 10:30:19 +0000 (12:30 +0200)]
Update tesh files after commit 2c2afb4d73ea196ea97ca46bc89dd512451222db (untested).

6 years ago[mc] Do not use offsetof() in mc_snapshot_get_heap_end
Gabriel Corona [Tue, 17 Jun 2014 14:44:42 +0000 (16:44 +0200)]
[mc] Do not use offsetof() in mc_snapshot_get_heap_end

We don't need this. It's much clearer like this.

6 years ago[mc] Fix mc_snapshot_get_heap_end() for per-page snapshots
Gabriel Corona [Tue, 17 Jun 2014 14:40:25 +0000 (16:40 +0200)]
[mc] Fix mc_snapshot_get_heap_end() for per-page snapshots

6 years ago[mc] Fix mc_translate_address_region() for per-page snapshots
Gabriel Corona [Tue, 17 Jun 2014 14:19:28 +0000 (16:19 +0200)]
[mc] Fix mc_translate_address_region() for per-page snapshots

It was completely broken :/

6 years ago[mc] Remove mc_untranslate_address() and mc_member_snapshot_resolve()
Gabriel Corona [Tue, 17 Jun 2014 13:52:32 +0000 (15:52 +0200)]
[mc] Remove mc_untranslate_address() and mc_member_snapshot_resolve()

Those were working in the snapshot address space so we do not use them
anymore (it is not very useful to work in the snapshot space when the
snapshot space is broken in pages).

We work in the process address space instead (mc_member_resolve).