Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
simgrid.git
4 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

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

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

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

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

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

4 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

4 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

4 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

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

4 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)

4 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

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

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

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

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

4 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

4 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)

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

4 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

4 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()

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

[skip ci]

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

4 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

4 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

4 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

4 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...

4 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)

4 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.

4 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

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

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

4 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.

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

4 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

4 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

4 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

4 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

4 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.

4 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)

4 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)

4 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)

4 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

4 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

4 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++

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

4 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

4 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

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

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

4 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

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

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

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

4 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)

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

4 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

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

4 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

4 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

4 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

4 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.

4 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

4 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

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

4 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

4 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)

4 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

4 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

4 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

4 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

4 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.

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

4 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

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

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

4 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 :(

4 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

4 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)

4 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

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

4 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

4 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

4 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

4 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

4 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

4 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

4 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

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

4 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

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

4 years agofix the dlopen privatization (fix #157)
Martin Quinson [Thu, 20 Apr 2017 10:57:46 +0000 (12:57 +0200)]
fix the dlopen privatization (fix #157)

Thanks to @Ezibenroc for the report and the patch

4 years agorename option smpi/privatize-global-variables to smpi/privatization
Martin Quinson [Thu, 20 Apr 2017 10:27:48 +0000 (12:27 +0200)]
rename option smpi/privatize-global-variables to smpi/privatization

4 years agofix typos in cmake, preventing include paths from being correctly added
degomme [Thu, 20 Apr 2017 08:54:34 +0000 (10:54 +0200)]
fix typos in cmake, preventing include paths from being correctly added

4 years agoimprove the documentation of smpi/privatize-global-variables
Martin Quinson [Wed, 19 Apr 2017 08:07:48 +0000 (10:07 +0200)]
improve the documentation of smpi/privatize-global-variables

4 years agoplease sonar a tiny bit
Martin Quinson [Tue, 18 Apr 2017 13:41:19 +0000 (15:41 +0200)]
please sonar a tiny bit

4 years agoSMPI cleanups: rename a symbol and remove unused parameters
Martin Quinson [Mon, 17 Apr 2017 07:27:33 +0000 (09:27 +0200)]
SMPI cleanups: rename a symbol and remove unused parameters

4 years agoignore newly activated mpich tests
Martin Quinson [Mon, 17 Apr 2017 07:27:06 +0000 (09:27 +0200)]
ignore newly activated mpich tests

4 years agosmall sonar-inspired cleanups
Martin Quinson [Mon, 17 Apr 2017 07:25:10 +0000 (09:25 +0200)]
small sonar-inspired cleanups

4 years agoplease sonar and cosmetics
Martin Quinson [Sun, 16 Apr 2017 20:33:33 +0000 (22:33 +0200)]
please sonar and cosmetics