Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
simgrid.git
2 years agofix the trace file parsing (state_file and avail_file)
Martin Quinson [Sat, 13 May 2017 20:24:31 +0000 (22:24 +0200)]
fix the trace file parsing (state_file and avail_file)

2 years agoAllow the unit tests to setup the logs
Martin Quinson [Fri, 12 May 2017 20:48:44 +0000 (22:48 +0200)]
Allow the unit tests to setup the logs

2 years agomissing public header
Martin Quinson [Fri, 12 May 2017 20:47:42 +0000 (22:47 +0200)]
missing public header

2 years agoMerge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Martin Quinson [Fri, 12 May 2017 13:27:05 +0000 (15:27 +0200)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid

2 years agothese models want to please Sonar
Frederic Suter [Thu, 11 May 2017 11:22:59 +0000 (13:22 +0200)]
these models want to please Sonar

2 years agorename constants
Frederic Suter [Thu, 11 May 2017 10:00:04 +0000 (12:00 +0200)]
rename constants

2 years agoremove unused constants
Frederic Suter [Thu, 11 May 2017 09:53:38 +0000 (11:53 +0200)]
remove unused constants

2 years agochasing minor smells
Frederic Suter [Thu, 11 May 2017 09:46:53 +0000 (11:46 +0200)]
chasing minor smells

2 years agouniformization
Frederic Suter [Wed, 10 May 2017 11:20:10 +0000 (13:20 +0200)]
uniformization

2 years agokill useless code
Frederic Suter [Wed, 10 May 2017 10:58:04 +0000 (12:58 +0200)]
kill useless code

2 years agono xbt_lib in java world + leak plug
Frederic Suter [Wed, 10 May 2017 09:03:08 +0000 (11:03 +0200)]
no xbt_lib in java world + leak plug

2 years agofurther fiddling with the platform documentation [no ci]
Martin Quinson [Tue, 9 May 2017 23:49:51 +0000 (01:49 +0200)]
further fiddling with the platform documentation [no ci]

2 years agodoc: rewrite the introductory example of platform
Martin Quinson [Tue, 9 May 2017 22:03:10 +0000 (00:03 +0200)]
doc: rewrite the introductory example of platform

2 years agodoc: rewrite the introductory example of platform
Martin Quinson [Tue, 9 May 2017 21:58:36 +0000 (23:58 +0200)]
doc: rewrite the introductory example of platform

2 years agodoc: rewrite the introductory example of platform
Martin Quinson [Tue, 9 May 2017 21:55:17 +0000 (23:55 +0200)]
doc: rewrite the introductory example of platform

2 years agoavoid division by 0 in ptask maxmin solve. Fix #165
Frederic Suter [Tue, 9 May 2017 12:04:22 +0000 (14:04 +0200)]
avoid division by 0 in ptask maxmin solve. Fix #165

2 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Frederic Suter [Tue, 9 May 2017 07:22:49 +0000 (09:22 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

2 years agodo not load internal_config.h from mc.h
Martin Quinson [Mon, 8 May 2017 21:45:48 +0000 (23:45 +0200)]
do not load internal_config.h from mc.h

2 years agogrmbl
Martin Quinson [Mon, 8 May 2017 21:17:57 +0000 (23:17 +0200)]
grmbl

2 years agostop forbidding semaphores and cond variables in model-checked code
Martin Quinson [Mon, 8 May 2017 21:07:31 +0000 (23:07 +0200)]
stop forbidding semaphores and cond variables in model-checked code

It may work, or it may deadlock the exploration when exploring a
branch where the synchronization cannot be acquired, not quite sure.
(fix #149)

2 years agoFurther cleanups in SMPI includes
Martin Quinson [Sun, 7 May 2017 20:58:40 +0000 (22:58 +0200)]
Further cleanups in SMPI includes

private.h is not loaded by any .h/.hpp anymore. Only by .cpp files

2 years agofurther empty smpi/private.h
Martin Quinson [Sun, 7 May 2017 20:27:31 +0000 (22:27 +0200)]
further empty smpi/private.h

2 years agoreduce the amount of includes
Martin Quinson [Sun, 7 May 2017 19:23:14 +0000 (21:23 +0200)]
reduce the amount of includes

2 years agofix jedule builds
Martin Quinson [Sun, 7 May 2017 06:35:33 +0000 (08:35 +0200)]
fix jedule builds

2 years agoAPI improvement in s4u
Martin Quinson [Sat, 6 May 2017 21:31:04 +0000 (23:31 +0200)]
API improvement in s4u

2 years agolet's use a sensible API for the MSG_zone functions
Martin Quinson [Sat, 6 May 2017 21:24:01 +0000 (23:24 +0200)]
let's use a sensible API for the MSG_zone functions

2 years agorename all MSG_zone_* functions (backward compatible)
Martin Quinson [Sat, 6 May 2017 21:08:02 +0000 (23:08 +0200)]
rename all MSG_zone_* functions (backward compatible)

2 years agofix a java test
Martin Quinson [Fri, 5 May 2017 20:58:55 +0000 (22:58 +0200)]
fix a java test

2 years agoupdate the deployment documentation after the XML update
Martin Quinson [Fri, 5 May 2017 20:42:15 +0000 (22:42 +0200)]
update the deployment documentation after the XML update

2 years agoNew functions: s4u::Actor::property() and s4u::Actor::setProperty()
Martin Quinson [Fri, 5 May 2017 20:40:50 +0000 (22:40 +0200)]
New functions: s4u::Actor::property() and s4u::Actor::setProperty()

2 years agoignore new binaries
Martin Quinson [Fri, 5 May 2017 20:21:14 +0000 (22:21 +0200)]
ignore new binaries

[skip ci]

2 years agodocument the XML change
Martin Quinson [Fri, 5 May 2017 20:18:36 +0000 (22:18 +0200)]
document the XML change

2 years agoUpdate all our XML files + next XML version will be 4.1, not 5
Martin Quinson [Fri, 5 May 2017 20:13:55 +0000 (22:13 +0200)]
Update all our XML files + next XML version will be 4.1, not 5

2 years agointroduce a few synonyms in XML to allow the use of the new names
Martin Quinson [Fri, 5 May 2017 15:19:41 +0000 (17:19 +0200)]
introduce a few synonyms in XML to allow the use of the new names

2 years agoI like sed, but sed does not like me
Martin Quinson [Fri, 5 May 2017 13:15:29 +0000 (15:15 +0200)]
I like sed, but sed does not like me

2 years agofinish the conversion of public MACRO names, in the cmake infrastructure
Martin Quinson [Fri, 5 May 2017 12:58:50 +0000 (14:58 +0200)]
finish the conversion of public MACRO names, in the cmake infrastructure

Sorry for being a bummer...

2 years agoprefix all macro defined in public simgrid_config.h with 'SIMGRID_'
Martin Quinson [Fri, 5 May 2017 10:07:59 +0000 (12:07 +0200)]
prefix all macro defined in public simgrid_config.h with 'SIMGRID_'

(fix #162)

2 years agohide a (grave) warning in the tests
Martin Quinson [Fri, 5 May 2017 09:21:22 +0000 (11:21 +0200)]
hide a (grave) warning in the tests

FYI, the hidden message is:
[simix_context/WARNING] mmap broken on FreeBSD, but dlopen+thread broken too. Switching to dlopen+raw contexts.

Removing the warning would help the tests, but could really harm some users.

2 years agoportability cheating: avoid the configurations that are known to be broken
Martin Quinson [Fri, 5 May 2017 06:31:03 +0000 (08:31 +0200)]
portability cheating: avoid the configurations that are known to be broken

2 years agoshell typo
Martin Quinson [Fri, 5 May 2017 06:30:09 +0000 (08:30 +0200)]
shell typo

2 years agoMore doc [skip ci]
Martin Quinson [Thu, 4 May 2017 10:40:28 +0000 (12:40 +0200)]
More doc [skip ci]

2 years agocircle: cosmetics
Martin Quinson [Thu, 4 May 2017 07:37:59 +0000 (09:37 +0200)]
circle: cosmetics

We cannot go in parallel because it must be on separate containers, so
make -j cannot be used.

2 years agogive circleci a spin
Martin Quinson [Wed, 3 May 2017 16:17:39 +0000 (18:17 +0200)]
give circleci a spin

2 years agoMerge branch 'master' of github.com:simgrid/simgrid
Martin Quinson [Wed, 3 May 2017 16:04:52 +0000 (18:04 +0200)]
Merge branch 'master' of github.com:simgrid/simgrid

2 years agotry to fix #161 on Mac OSX too
Martin Quinson [Wed, 3 May 2017 16:04:18 +0000 (18:04 +0200)]
try to fix #161 on Mac OSX too

2 years agoMerge pull request #164 from sthibaul/smpi_user_data
Martin Quinson [Wed, 3 May 2017 15:53:50 +0000 (17:53 +0200)]
Merge pull request #164 from sthibaul/smpi_user_data

restore smpi_process_get_user_data and smpi_process_set_user_data

2 years agorestore smpi_process_get_user_data and smpi_process_set_user_data
Samuel Thibault [Tue, 2 May 2017 14:35:14 +0000 (16:35 +0200)]
restore smpi_process_get_user_data and smpi_process_set_user_data

2 years agoRevert "kill useless code"
Samuel Thibault [Wed, 3 May 2017 13:17:49 +0000 (15:17 +0200)]
Revert "kill useless code"

This reverts commit 51b60f41f037171a411e084cc07f276a800800f5.

2 years agoAdd (too?) simple test for privatization.
degomme [Wed, 3 May 2017 08:14:34 +0000 (10:14 +0200)]
Add (too?) simple test for privatization.
Tests mmap if present, and dlopen every time (it should work on all systems)

2 years agoNew option: smpi/keep-temps to not cleanup temp files
Martin Quinson [Wed, 3 May 2017 00:10:34 +0000 (02:10 +0200)]
New option: smpi/keep-temps to not cleanup temp files

(fix #160)

2 years agosmpicc: fail on undefined symbols (fix #161)
Martin Quinson [Tue, 2 May 2017 23:39:54 +0000 (01:39 +0200)]
smpicc: fail on undefined symbols (fix #161)

2 years agoMake the logs more robust to user's stupidity
Martin Quinson [Tue, 2 May 2017 12:13:09 +0000 (14:13 +0200)]
Make the logs more robust to user's stupidity

2 years ago[SMPI] Remove include from smpi_deployment.cpp
Christian Heinrich [Tue, 2 May 2017 10:46:32 +0000 (12:46 +0200)]
[SMPI] Remove include from smpi_deployment.cpp

2 years ago[SMPI] Ported smpi_deployment.cpp to C++
Christian Heinrich [Tue, 2 May 2017 09:08:55 +0000 (11:08 +0200)]
[SMPI] Ported smpi_deployment.cpp to C++

2 years ago[SMPI] Alignment cosmetics
Christian Heinrich [Fri, 28 Apr 2017 12:01:50 +0000 (14:01 +0200)]
[SMPI] Alignment cosmetics

2 years ago[SMPI] Add errno and strerror to SMPI memory error msg
Christian Heinrich [Wed, 26 Apr 2017 11:27:56 +0000 (13:27 +0200)]
[SMPI] Add errno and strerror to SMPI memory error msg

2 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Frederic Suter [Tue, 2 May 2017 08:07:16 +0000 (10:07 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

2 years agoFix the execution with NS3
Martin Quinson [Mon, 1 May 2017 20:54:36 +0000 (22:54 +0200)]
Fix the execution with NS3

2 years agofix NS3 and lua builds
Martin Quinson [Mon, 1 May 2017 14:25:58 +0000 (16:25 +0200)]
fix NS3 and lua builds

2 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Frederic Suter [Mon, 1 May 2017 12:19:09 +0000 (14:19 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

2 years agodoc: finish the deployment page (?)
Martin Quinson [Mon, 1 May 2017 09:28:26 +0000 (11:28 +0200)]
doc: finish the deployment page (?)

2 years agoFix java builds
Martin Quinson [Mon, 1 May 2017 07:42:56 +0000 (09:42 +0200)]
Fix java builds

2 years agofix make dist
Martin Quinson [Mon, 1 May 2017 06:54:57 +0000 (08:54 +0200)]
fix make dist

2 years agouppercase the s4u header files (+cleanups)
Martin Quinson [Sun, 30 Apr 2017 21:14:07 +0000 (23:14 +0200)]
uppercase the s4u header files (+cleanups)

2 years agokill dead code
Martin Quinson [Sun, 30 Apr 2017 20:21:39 +0000 (22:21 +0200)]
kill dead code

2 years agoreduce the amount of static_cast in smx_network
Martin Quinson [Sun, 30 Apr 2017 20:14:50 +0000 (22:14 +0200)]
reduce the amount of static_cast in smx_network

2 years agofix some doxygen errors
Martin Quinson [Sat, 29 Apr 2017 22:00:21 +0000 (00:00 +0200)]
fix some doxygen errors

2 years agoHide a gcc attribute that drives doxygen nuts
Martin Quinson [Sat, 29 Apr 2017 21:42:06 +0000 (23:42 +0200)]
Hide a gcc attribute that drives doxygen nuts

2 years agodoc improvements: mainly intro of platf and deployment
Martin Quinson [Sat, 29 Apr 2017 21:38:38 +0000 (23:38 +0200)]
doc improvements: mainly intro of platf and deployment

2 years agocommit the script I use to compile simgrid
Martin Quinson [Fri, 28 Apr 2017 08:09:29 +0000 (10:09 +0200)]
commit the script I use to compile simgrid

2 years agoimprove a tiny bit the doc introduction
Martin Quinson [Thu, 27 Apr 2017 20:10:08 +0000 (22:10 +0200)]
improve a tiny bit the doc introduction

I wish I will find the time to improve it further soon.

2 years agoStrengthen the memory ordering order on that refcounting to work around a bug
Martin Quinson [Wed, 26 Apr 2017 14:50:57 +0000 (16:50 +0200)]
Strengthen the memory ordering order on that refcounting to work around a bug

2 years agocomment++ on that code that I barely understand but exhibits bugs
Martin Quinson [Wed, 26 Apr 2017 11:56:10 +0000 (13:56 +0200)]
comment++ on that code that I barely understand but exhibits bugs

2 years agothis is now useless
Frederic Suter [Wed, 26 Apr 2017 07:16:17 +0000 (09:16 +0200)]
this is now useless

2 years agosort logically the fields of ActorImpl
Martin Quinson [Mon, 24 Apr 2017 23:29:07 +0000 (01:29 +0200)]
sort logically the fields of ActorImpl

2 years agointroduce type aid_t for Actor's ID (ie, PID)
Martin Quinson [Mon, 24 Apr 2017 23:24:09 +0000 (01:24 +0200)]
introduce type aid_t for Actor's ID (ie, PID)

2 years agoone xbt_lib less in storage
Frederic Suter [Mon, 24 Apr 2017 20:07:38 +0000 (22:07 +0200)]
one xbt_lib less in storage
still clumsy

2 years agosimplify way files are handled by MSG
Frederic Suter [Mon, 24 Apr 2017 15:45:16 +0000 (17:45 +0200)]
simplify way files are handled by MSG

2 years agotry to use more standard, less obscure synchro for refcounting
Martin Quinson [Mon, 24 Apr 2017 13:43:33 +0000 (15:43 +0200)]
try to use  more standard, less obscure synchro for refcounting

2 years agoxbt_strbuff to std::string in cpp files
Frederic Suter [Mon, 24 Apr 2017 13:17:06 +0000 (15:17 +0200)]
xbt_strbuff to std::string in cpp files

2 years agoNew function xbt_replay_action_get(): Retrieve the function previously associated...
Martin Quinson [Mon, 24 Apr 2017 12:46:28 +0000 (14:46 +0200)]
New function xbt_replay_action_get(): Retrieve the function previously associated to an event type.

2 years agofix my late sunday commit
Martin Quinson [Mon, 24 Apr 2017 06:35:13 +0000 (08:35 +0200)]
fix my late sunday commit

2 years agoreduce the verbosity of that message
Martin Quinson [Sun, 23 Apr 2017 20:56:35 +0000 (22:56 +0200)]
reduce the verbosity of that message

2 years ago32bits I hate you.
Martin Quinson [Sat, 22 Apr 2017 19:25:06 +0000 (21:25 +0200)]
32bits I hate you.

2 years agodamn 32bits
Martin Quinson [Sat, 22 Apr 2017 13:25:00 +0000 (15:25 +0200)]
damn 32bits

2 years agotry to avoid that others fall into the trap where I was yesterday
Martin Quinson [Sat, 22 Apr 2017 07:32:32 +0000 (09:32 +0200)]
try to avoid that others fall into the trap where I was yesterday

not quite sucessfull: the failure occures before main :(

2 years agocheck that the sendfile worked correctly or die verbosely if not
Martin Quinson [Fri, 21 Apr 2017 16:20:24 +0000 (18:20 +0200)]
check that the sendfile worked correctly or die verbosely if not

2 years agoinline a function (to please sonar)
Martin Quinson [Fri, 21 Apr 2017 13:20:50 +0000 (15:20 +0200)]
inline a function (to please sonar)

2 years agomore informative msg when the dlopen of mmap priv fails
Martin Quinson [Thu, 20 Apr 2017 22:34:58 +0000 (00:34 +0200)]
more informative msg when the dlopen of mmap priv fails

as it appears to be the case on freebsd

2 years agoplease sonar a tiny bit
Martin Quinson [Thu, 20 Apr 2017 14:45:41 +0000 (16:45 +0200)]
please sonar a tiny bit

2 years agodon't suppose anythin on privatization when threads/ucontextes are not found
Martin Quinson [Thu, 20 Apr 2017 14:44:29 +0000 (16:44 +0200)]
don't suppose anythin on privatization when threads/ucontextes are not found

2 years agofix a broken condition in the tests
Martin Quinson [Thu, 20 Apr 2017 13:45:29 +0000 (15:45 +0200)]
fix a broken condition in the tests

2 years agodlopen: give one fdin per thread to avoid stupid races resulting in empty copied...
Martin Quinson [Thu, 20 Apr 2017 13:43:58 +0000 (15:43 +0200)]
dlopen: give one fdin per thread to avoid stupid races resulting in empty copied files

2 years agodocument the dlopen thing in the changelog
Martin Quinson [Thu, 20 Apr 2017 13:43:01 +0000 (15:43 +0200)]
document the dlopen thing in the changelog

2 years agoI cannot even use xbt_die correctly anymore, bummer
Martin Quinson [Thu, 20 Apr 2017 12:52:59 +0000 (14:52 +0200)]
I cannot even use xbt_die correctly anymore, bummer

2 years agoEven more informative error messages when dlopen fails
Martin Quinson [Thu, 20 Apr 2017 12:40:27 +0000 (14:40 +0200)]
Even more informative error messages when dlopen fails

2 years agobe more verbose when dlopen fails
Martin Quinson [Thu, 20 Apr 2017 12:35:52 +0000 (14:35 +0200)]
be more verbose when dlopen fails

2 years agotypo --
degomme [Thu, 20 Apr 2017 12:30:32 +0000 (14:30 +0200)]
typo --

2 years agomissed these spots while renaming an option
Martin Quinson [Thu, 20 Apr 2017 11:01:47 +0000 (13:01 +0200)]
missed these spots while renaming an option

2 years agotest dlopen privatization too
Martin Quinson [Thu, 20 Apr 2017 11:00:04 +0000 (13:00 +0200)]
test dlopen privatization too