Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
simgrid.git
5 months agomc: kill model-check/ksm option. Was not activated because not very useful
Martin Quinson [Wed, 15 May 2019 23:03:28 +0000 (01:03 +0200)]
mc: kill model-check/ksm option. Was not activated because not very useful

It's probably a pity, but I need to simplify this code to get the
grasp back.

5 months agosay mmap is not ready for privatization in SunOS.
Augustin Degomme [Wed, 15 May 2019 23:51:00 +0000 (01:51 +0200)]
say mmap is not ready for privatization in SunOS.
Would need memory_map to handle /proc/pid/map file https://docs.oracle.com/cd/E19253-01/816-5174/proc-4/index.html

5 months agofix mess with quotes
Augustin Degomme [Wed, 15 May 2019 23:43:13 +0000 (01:43 +0200)]
fix mess with quotes

5 months agomc: simplification: do not repeat information in parameters
Martin Quinson [Wed, 15 May 2019 22:18:32 +0000 (00:18 +0200)]
mc: simplification: do not repeat information in parameters

5 months agomc: Kill a C type and use the C++ one
Martin Quinson [Wed, 15 May 2019 21:43:39 +0000 (23:43 +0200)]
mc: Kill a C type and use the C++ one

+cosmetics

5 months agocmake: do not build the documentation by default
Martin Quinson [Wed, 15 May 2019 19:33:59 +0000 (21:33 +0200)]
cmake: do not build the documentation by default

5 months agomc/compare: reduce the scope of some variables
Martin Quinson [Wed, 15 May 2019 13:58:18 +0000 (15:58 +0200)]
mc/compare: reduce the scope of some variables

5 months agoRemove option 'model-check/record': paths are recorded in any cases
Martin Quinson [Wed, 15 May 2019 12:49:34 +0000 (14:49 +0200)]
Remove option 'model-check/record': paths are recorded in any cases

5 months ago[mc] enable model-check/record by default, and cosmetics
Martin Quinson [Tue, 14 May 2019 20:44:41 +0000 (22:44 +0200)]
[mc] enable model-check/record by default, and cosmetics

5 months agoFix new/delete mismatch.
Arnaud Giersch [Wed, 15 May 2019 07:55:33 +0000 (09:55 +0200)]
Fix new/delete mismatch.

5 months agoGet rid of "local" keyword for sh.
Arnaud Giersch [Tue, 14 May 2019 15:16:22 +0000 (17:16 +0200)]
Get rid of "local" keyword for sh.

It's not specified by POSIX and not available on Solaris.
Simply use "local_" prefix for local variables.

For more information, see
https://stackoverflow.com/questions/18597697/posix-compliant-way-to-scope-variables-to-a-function-in-a-shell-script

5 months agoFix PMPI_Error_string.
Arnaud Giersch [Tue, 14 May 2019 13:23:18 +0000 (15:23 +0200)]
Fix PMPI_Error_string.

MPI_MAX_ERROR_STRING was wrongly used for higher error code.
Use snprintf and ensure the string is properly null terminated.

5 months agoSpecialize return types.
Arnaud Giersch [Tue, 14 May 2019 09:43:21 +0000 (11:43 +0200)]
Specialize return types.

5 months agoSnake case.
Arnaud Giersch [Tue, 14 May 2019 09:21:01 +0000 (11:21 +0200)]
Snake case.

5 months agoAdd "override" specifier.
Arnaud Giersch [Tue, 14 May 2019 09:12:19 +0000 (11:12 +0200)]
Add "override" specifier.

5 months agowarnings-=2
Augustin Degomme [Tue, 14 May 2019 14:21:44 +0000 (16:21 +0200)]
warnings-=2

5 months agoreplace useless strncpy by a memcpy
Augustin Degomme [Tue, 14 May 2019 13:44:48 +0000 (15:44 +0200)]
replace useless strncpy by a memcpy

5 months ago[doc] fix another doxygen friendliness issue
Millian Poquet [Tue, 14 May 2019 12:59:00 +0000 (14:59 +0200)]
[doc] fix another doxygen friendliness issue

5 months ago[doc] fix links (URL, internal ref + duplication)
Millian Poquet [Tue, 14 May 2019 12:54:28 +0000 (14:54 +0200)]
[doc] fix links (URL, internal ref + duplication)

5 months ago[doc] trailing space cosmetics
Millian Poquet [Tue, 14 May 2019 12:52:02 +0000 (14:52 +0200)]
[doc] trailing space cosmetics

5 months ago[doc] fix warnings, cosmetics
Millian Poquet [Tue, 14 May 2019 12:30:43 +0000 (14:30 +0200)]
[doc] fix warnings, cosmetics

5 months ago[doc] fix warnings, cosmetics
Millian Poquet [Tue, 14 May 2019 12:09:14 +0000 (14:09 +0200)]
[doc] fix warnings, cosmetics

5 months agofix some errors and warnings in the doc generation
Martin Quinson [Tue, 14 May 2019 11:59:38 +0000 (13:59 +0200)]
fix some errors and warnings in the doc generation

5 months agolet's pretend that sunOS supports privatization (no idea)
Augustin Degomme [Tue, 14 May 2019 10:16:51 +0000 (12:16 +0200)]
let's pretend that sunOS supports privatization (no idea)

5 months agoA first example with MC and S4U together
Martin Quinson [Tue, 14 May 2019 10:15:50 +0000 (12:15 +0200)]
A first example with MC and S4U together

5 months agodocker: fix the build of images for simgrid stable
Martin Quinson [Mon, 13 May 2019 10:24:36 +0000 (12:24 +0200)]
docker: fix the build of images for simgrid stable

5 months agodocker: remove useless packages from tuto-mc
Martin Quinson [Mon, 13 May 2019 10:24:13 +0000 (12:24 +0200)]
docker: remove useless packages from tuto-mc

5 months agoa dockerfile for a wanna be MC tutorial
Martin Quinson [Mon, 13 May 2019 08:24:37 +0000 (10:24 +0200)]
a dockerfile for a wanna be MC tutorial

5 months agosonar: silence a rule on python code
Martin Quinson [Mon, 13 May 2019 08:06:48 +0000 (10:06 +0200)]
sonar: silence a rule on python code

5 months agomake sure that xbt/memory_map can be used out of simgrid
Martin Quinson [Sun, 12 May 2019 23:03:23 +0000 (01:03 +0200)]
make sure that xbt/memory_map can be used out of simgrid

This may be useful for future MC evolutions.

5 months agoadd sorting to project description
Augustin Degomme [Tue, 14 May 2019 10:03:01 +0000 (12:03 +0200)]
add sorting to project description

5 months agoapparently sunos illumos make/dmake does not like make -jx syntax
Augustin Degomme [Tue, 14 May 2019 10:02:37 +0000 (12:02 +0200)]
apparently sunos illumos make/dmake does not like make -jx syntax

5 months ago--quiet long version is not supported on sunos
Augustin Degomme [Tue, 14 May 2019 09:46:48 +0000 (11:46 +0200)]
--quiet long version is not supported on sunos

5 months agoOn some systems, sqrt(int) is not defined properly. On others its just implemented...
Augustin Degomme [Mon, 13 May 2019 08:26:16 +0000 (10:26 +0200)]
On some systems, sqrt(int) is not defined properly. On others its just implemented with a conversion to double.

5 months agoadd some debug messages to MPI_Testany
Augustin Degomme [Mon, 13 May 2019 08:25:39 +0000 (10:25 +0200)]
add some debug messages to MPI_Testany

5 months agobefore matching message sent with MPI_ANY_SOURCE, check that sending process is valid...
Augustin Degomme [Thu, 9 May 2019 23:38:02 +0000 (01:38 +0200)]
before matching message sent with MPI_ANY_SOURCE, check that sending process is valid in our local communicator.

5 months agoDon't use positive tags for internal messages.
Augustin Degomme [Thu, 9 May 2019 23:37:23 +0000 (01:37 +0200)]
Don't use positive tags for internal messages.
They could interfere with receives posted with MPI_ANY_TAG in user's code

5 months ago[mc] do not ignore MC_ASSERT in replay mode
Millian Poquet [Tue, 14 May 2019 09:43:25 +0000 (11:43 +0200)]
[mc] do not ignore MC_ASSERT in replay mode

5 months agoEnable some more test with memcheck, but with disabled leak-check.
Arnaud Giersch [Thu, 9 May 2019 08:29:46 +0000 (10:29 +0200)]
Enable some more test with memcheck, but with disabled leak-check.

There are lots of unfree'd objects on assertion failure, but we want other
kinds of memory error to be checked anyway.

5 months agoTesh files: kill obsolete variables SG_TEST_EXENV and EXEEXT.
Arnaud Giersch [Thu, 9 May 2019 07:18:35 +0000 (09:18 +0200)]
Tesh files: kill obsolete variables SG_TEST_EXENV and EXEEXT.

5 months agoUse "exec" so that failures are correclty reported upstream.
Arnaud Giersch [Tue, 7 May 2019 21:46:59 +0000 (23:46 +0200)]
Use "exec" so that failures are correclty reported upstream.

5 months agoEnsure the task is correctly destroyed when the host turns off during execute.
Arnaud Giersch [Tue, 7 May 2019 20:18:30 +0000 (22:18 +0200)]
Ensure the task is correctly destroyed when the host turns off during execute.

5 months agoMissing explicit.
Arnaud Giersch [Mon, 6 May 2019 14:23:20 +0000 (16:23 +0200)]
Missing explicit.

5 months agoTypos.
Arnaud Giersch [Mon, 6 May 2019 14:14:50 +0000 (16:14 +0200)]
Typos.

5 months agoKill useless hack (and its union).
Arnaud Giersch [Mon, 6 May 2019 09:57:17 +0000 (11:57 +0200)]
Kill useless hack (and its union).

5 months agoUse aligned storage and remove usage of union.
Arnaud Giersch [Mon, 6 May 2019 09:41:39 +0000 (11:41 +0200)]
Use aligned storage and remove usage of union.

I'm not sure about potential UB, but it should not be worse than before.

5 months agoFix a FIXME.
Arnaud Giersch [Mon, 6 May 2019 09:12:16 +0000 (11:12 +0200)]
Fix a FIXME.

5 months agoKill unused static function.
Arnaud Giersch [Sun, 5 May 2019 20:57:46 +0000 (22:57 +0200)]
Kill unused static function.

5 months ago[sonar] Remove void* from function parameters.
Arnaud Giersch [Sun, 5 May 2019 20:12:39 +0000 (22:12 +0200)]
[sonar] Remove void* from function parameters.

5 months agoChange two dynars (maybe more).
Arnaud Giersch [Sat, 4 May 2019 20:02:53 +0000 (22:02 +0200)]
Change two dynars (maybe more).

5 months agocontinue the devel of the future 3.23 release
Martin Quinson [Mon, 6 May 2019 09:57:28 +0000 (11:57 +0200)]
continue the devel of the future 3.23 release

5 months agoon the way for 3.22.2 v3.22.2
Martin Quinson [Mon, 6 May 2019 08:47:31 +0000 (10:47 +0200)]
on the way for 3.22.2

5 months agoinclude a header we use
Martin Quinson [Sat, 20 Apr 2019 21:25:33 +0000 (23:25 +0200)]
include a header we use

5 months ago[sonar] Catch a more specific exception.
Arnaud Giersch [Fri, 3 May 2019 20:26:32 +0000 (22:26 +0200)]
[sonar] Catch a more specific exception.

5 months agoMore Sonar smells around "noreturn".
Arnaud Giersch [Fri, 3 May 2019 15:37:02 +0000 (17:37 +0200)]
More Sonar smells around "noreturn".

Missing attribute, and remove dead code.

5 months ago[sonar] Rename shadowing local variables.
Arnaud Giersch [Fri, 3 May 2019 12:23:19 +0000 (14:23 +0200)]
[sonar] Rename shadowing local variables.

5 months ago[sonar] Extract assignments from expressions.
Arnaud Giersch [Fri, 3 May 2019 12:18:43 +0000 (14:18 +0200)]
[sonar] Extract assignments from expressions.

5 months ago[sonar] Extract nested conditionals.
Arnaud Giersch [Fri, 3 May 2019 12:14:01 +0000 (14:14 +0200)]
[sonar] Extract nested conditionals.

5 months ago[sonar] Assert that pointer is not null.
Arnaud Giersch [Fri, 3 May 2019 12:10:18 +0000 (14:10 +0200)]
[sonar] Assert that pointer is not null.

5 months agoRename fields to follow coding syle and unshadow from local parameters.
Arnaud Giersch [Fri, 3 May 2019 10:41:01 +0000 (12:41 +0200)]
Rename fields to follow coding syle and unshadow from local parameters.

5 months agoKill never implemented option "model-check/snapshot_fds".
Arnaud Giersch [Fri, 3 May 2019 10:15:47 +0000 (12:15 +0200)]
Kill never implemented option "model-check/snapshot_fds".

5 months agoChange condition for infinite loops (make sonar believe that function can return).
Arnaud Giersch [Fri, 3 May 2019 09:48:16 +0000 (11:48 +0200)]
Change condition for infinite loops (make sonar believe that function can return).

5 months ago[sonar] Add attribute "noreturn" to non-returning functions.
Arnaud Giersch [Fri, 3 May 2019 09:44:35 +0000 (11:44 +0200)]
[sonar] Add attribute "noreturn" to non-returning functions.

5 months ago[sonar] Don't name unused exceptions.
Arnaud Giersch [Fri, 3 May 2019 09:12:49 +0000 (11:12 +0200)]
[sonar] Don't name unused exceptions.

5 months agoplease sonar by handling properly pointers in unimplemented fortran bindings.
Augustin Degomme [Fri, 3 May 2019 11:56:25 +0000 (13:56 +0200)]
please sonar by handling properly pointers in unimplemented fortran bindings.

5 months agoUpdate URLs (FG #1).
Arnaud Giersch [Thu, 25 Apr 2019 15:56:47 +0000 (17:56 +0200)]
Update URLs (FG #1).

NOTE:
* still missing: pls_ns3.html
* old style (lower case): platform.html

5 months agoget out before dereferencing null pointer in this case
Augustin Degomme [Wed, 1 May 2019 12:51:11 +0000 (14:51 +0200)]
get out before dereferencing null pointer in this case

5 months agoforgot to push test for write_at_all and read_at_all
Augustin Degomme [Wed, 1 May 2019 12:44:50 +0000 (14:44 +0200)]
forgot to push test for write_at_all and read_at_all

5 months agocleanup split_type to avoid leaks.
Augustin Degomme [Tue, 30 Apr 2019 12:27:18 +0000 (14:27 +0200)]
cleanup split_type to avoid leaks.

5 months agocleanup dup_with_info to avoid leaking in some cases
Augustin Degomme [Tue, 30 Apr 2019 12:26:38 +0000 (14:26 +0200)]
cleanup dup_with_info to avoid leaking in some cases

5 months ago[sonar] Use unsigned char* for smpi buffers.
Arnaud Giersch [Mon, 29 Apr 2019 19:36:48 +0000 (21:36 +0200)]
[sonar] Use unsigned char* for smpi buffers.

5 months agoChange malloc/free to new/delete.
Arnaud Giersch [Mon, 18 Mar 2019 15:10:01 +0000 (16:10 +0100)]
Change malloc/free to new/delete.

5 months agoUse C++ memory operators for smpi buffers.
Arnaud Giersch [Wed, 6 Mar 2019 22:07:09 +0000 (23:07 +0100)]
Use C++ memory operators for smpi buffers.

NOTE: there is a problem with the current implementation. When a resize() happen,
the previous pointer may be invalid, even if it is still in use.

5 months agoConst for MPI_Type_struct and MPI_Type_hindexed.
Arnaud Giersch [Mon, 29 Apr 2019 12:51:26 +0000 (14:51 +0200)]
Const for MPI_Type_struct and MPI_Type_hindexed.

5 months agoConstify third parameter of smpi::Op::apply, and save a few const_casts.
Arnaud Giersch [Mon, 29 Apr 2019 12:12:06 +0000 (14:12 +0200)]
Constify third parameter of smpi::Op::apply, and save a few const_casts.

5 months agoRemove another bunch of const_casts.
Arnaud Giersch [Mon, 29 Apr 2019 09:14:19 +0000 (11:14 +0200)]
Remove another bunch of const_casts.

5 months agoRename some variables for consistency.
Arnaud Giersch [Mon, 29 Apr 2019 09:01:11 +0000 (11:01 +0200)]
Rename some variables for consistency.

5 months agoGet rid of const_casts in pmpi_coll.
Arnaud Giersch [Mon, 29 Apr 2019 08:28:39 +0000 (10:28 +0200)]
Get rid of const_casts in pmpi_coll.

5 months agoMPI_Address gets const too.
Arnaud Giersch [Sat, 27 Apr 2019 12:53:01 +0000 (14:53 +0200)]
MPI_Address gets const too.

5 months agoRegenerated.
Arnaud Giersch [Sat, 27 Apr 2019 12:14:11 +0000 (14:14 +0200)]
Regenerated.

5 months agochangelog
Augustin Degomme [Fri, 26 Apr 2019 21:36:10 +0000 (23:36 +0200)]
changelog

5 months agoMPI_Comm_dup_with_info
Augustin Degomme [Fri, 26 Apr 2019 21:27:57 +0000 (23:27 +0200)]
MPI_Comm_dup_with_info

5 months agomove some calls out of the unimplemented zone
Augustin Degomme [Fri, 26 Apr 2019 21:27:04 +0000 (23:27 +0200)]
move some calls out of the unimplemented zone

5 months agosome forgotten consts
Augustin Degomme [Fri, 26 Apr 2019 15:01:57 +0000 (17:01 +0200)]
some forgotten consts

5 months ago(painfully) constify colls.
Augustin Degomme [Fri, 26 Apr 2019 14:13:56 +0000 (16:13 +0200)]
(painfully) constify colls.

5 months agoconstify MPI_Win*
Augustin Degomme [Fri, 26 Apr 2019 12:42:57 +0000 (14:42 +0200)]
constify MPI_Win*

5 months agoconstify MPI_Request*
Augustin Degomme [Fri, 26 Apr 2019 12:32:04 +0000 (14:32 +0200)]
constify MPI_Request*

5 months agoconstify MPI_Datatype*
Augustin Degomme [Fri, 26 Apr 2019 11:46:14 +0000 (13:46 +0200)]
constify MPI_Datatype*

5 months agoconstify MPI_Topo*
Augustin Degomme [Fri, 26 Apr 2019 11:17:21 +0000 (13:17 +0200)]
constify MPI_Topo*

5 months agoconstify MPI_File*
Augustin Degomme [Fri, 26 Apr 2019 10:15:27 +0000 (12:15 +0200)]
constify MPI_File*

5 months agoconstify MPI_Group*
Augustin Degomme [Fri, 26 Apr 2019 10:15:14 +0000 (12:15 +0200)]
constify MPI_Group*

5 months agoMerge branch 'master' of https://framagit.org/simgrid/simgrid
Frederic Suter [Fri, 26 Apr 2019 12:24:56 +0000 (14:24 +0200)]
Merge branch 'master' of https://framagit.org/simgrid/simgrid

5 months agokill some dead code
Frederic Suter [Fri, 26 Apr 2019 12:22:58 +0000 (14:22 +0200)]
kill some dead code

5 months agoMPI3 changed MPI interface to use const everywhere it could.
degomme [Fri, 26 Apr 2019 09:30:56 +0000 (11:30 +0200)]
MPI3 changed MPI interface to use const everywhere it could.
Start with MPI_Info_*

5 months agoadd some unimplemented signatures.
degomme [Fri, 26 Apr 2019 09:04:27 +0000 (11:04 +0200)]
add some unimplemented signatures.

5 months agoFix again FG #11 (mixing daemonize and auto-restart).
Arnaud Giersch [Thu, 25 Apr 2019 06:18:29 +0000 (08:18 +0200)]
Fix again FG #11 (mixing daemonize and auto-restart).

Main changes:
* don't modify (clean) the on_exit vector on cleanup, but detach its shared_ptr instead;
* define ActorImpl::undaemonize() for daemon cleanup, and use it instead of using an
  on_exit callback (ensures that it is not added multiple times);
* complete test 'tesh-s4u-actor-autorestart' with an auto-restarting daemon.

5 months agoUnused function parameters.
Arnaud Giersch [Thu, 25 Apr 2019 06:12:46 +0000 (08:12 +0200)]
Unused function parameters.

5 months agoCheck result of lseek.
Arnaud Giersch [Wed, 24 Apr 2019 20:50:48 +0000 (22:50 +0200)]
Check result of lseek.

5 months agoFile "sampi.h" is already included here.
Arnaud Giersch [Wed, 24 Apr 2019 20:39:35 +0000 (22:39 +0200)]
File "sampi.h" is already included here.

5 months agoField seems unused since 10 years at least.
Arnaud Giersch [Wed, 24 Apr 2019 20:32:43 +0000 (22:32 +0200)]
Field seems unused since 10 years at least.