Arnaud Giersch [Sun, 7 Mar 2021 21:45:32 +0000 (22:45 +0100)]
Typo.
Arnaud Giersch [Sun, 7 Mar 2021 13:58:09 +0000 (14:58 +0100)]
Useless braces.
Arnaud Giersch [Sun, 7 Mar 2021 14:36:25 +0000 (15:36 +0100)]
Add 'explicit'.
Arnaud Giersch [Mon, 8 Mar 2021 20:49:33 +0000 (21:49 +0100)]
Remove useless declaration of default destructor.
Remove public destructors defined '=default' at declaration, unless
they are virtual and the enclosing class is derived somewhere.
Frederic Suter [Mon, 8 Mar 2021 17:24:05 +0000 (18:24 +0100)]
new example with ptasks on multi-core hosts
Frederic Suter [Mon, 8 Mar 2021 16:08:13 +0000 (17:08 +0100)]
continue to fluentify Cpu creation. Fix FG37 on the way
Martin Quinson [Mon, 8 Mar 2021 13:57:21 +0000 (14:57 +0100)]
MAIS C'ETAIT SUR, EN FAIT ! C'ETAIT SUR !
fix make distcheck, as usual.
Martin Quinson [Mon, 8 Mar 2021 13:49:55 +0000 (14:49 +0100)]
MC: Extend the random-bug example to test what's going on when the app is segfaulting
Martin Quinson [Mon, 8 Mar 2021 13:11:54 +0000 (14:11 +0100)]
Use default parameter value instead of having an overload just for that
Martin Quinson [Sun, 7 Mar 2021 22:42:47 +0000 (23:42 +0100)]
doc: further cosmetics in the TOC and in the pages' URLs
Martin Quinson [Sun, 7 Mar 2021 22:33:39 +0000 (23:33 +0100)]
doc: put every info related to models on the same page
The summary contains too many top level entries.
Martin Quinson [Sun, 7 Mar 2021 22:21:00 +0000 (23:21 +0100)]
doc: suppress more useless warnings
Martin Quinson [Sun, 7 Mar 2021 22:20:43 +0000 (23:20 +0100)]
Doc: Move the blurb about the default TCP model to the right location
Augustin Degomme [Mon, 8 Mar 2021 08:10:52 +0000 (09:10 +0100)]
move MPI_COMM_WORLD to smpi_comm.cpp.
It's better here.
Augustin Degomme [Mon, 8 Mar 2021 08:10:07 +0000 (09:10 +0100)]
generalize previous change to other MPI predefined globals.
Except MPI_COMM_WORLD because of its specificities (has to be a variable)
Augustin Degomme [Mon, 8 Mar 2021 07:25:12 +0000 (08:25 +0100)]
sonar is right here
Augustin Degomme [Mon, 8 Mar 2021 00:05:00 +0000 (01:05 +0100)]
change the way MPI datatypes are declared.
Our previous solution did not let everything seen as const, and it was preventing some codes to compile (initializer element is not constant).
This allows to compile https://github.com/open-mpi/mpi-test-suite.git without changint the code (will be added in proxy apps) in tst_types.c
todo : other types (op and co)
Augustin Degomme [Sun, 7 Mar 2021 19:38:24 +0000 (20:38 +0100)]
debug message --
Augustin Degomme [Sun, 7 Mar 2021 17:36:40 +0000 (18:36 +0100)]
Use flags to handle cancellation instead of a tri-state int
Augustin Degomme [Sun, 7 Mar 2021 17:10:58 +0000 (18:10 +0100)]
Change handling of MPI_PROC_NULL as a src or a dest.
We used to just skip the requests, but it was not possible to set status->MPI_SOURCE later in this case.
Augustin Degomme [Sun, 7 Mar 2021 13:03:21 +0000 (14:03 +0100)]
That was a stupid optimization.
Processes can be reordered, so count is not a guarantee here at all.
Arnaud Giersch [Sun, 7 Mar 2021 12:58:45 +0000 (13:58 +0100)]
Regenerate.
Arnaud Giersch [Sat, 6 Mar 2021 21:19:02 +0000 (22:19 +0100)]
Kill superfluous macros.
Arnaud Giersch [Sat, 6 Mar 2021 17:06:08 +0000 (18:06 +0100)]
Zero-initialize struct to avoid valgrind warnings.
Arnaud Giersch [Sat, 6 Mar 2021 13:02:02 +0000 (14:02 +0100)]
Inline trivial function.
Arnaud Giersch [Fri, 5 Mar 2021 13:20:05 +0000 (14:20 +0100)]
Update .mailmap.
Arnaud Giersch [Fri, 5 Mar 2021 10:33:18 +0000 (11:33 +0100)]
At most one resource allocation per statement (sonar).
Martin Quinson [Sat, 6 Mar 2021 22:14:23 +0000 (23:14 +0100)]
MC: untangle dependencies
Martin Quinson [Sat, 6 Mar 2021 22:03:37 +0000 (23:03 +0100)]
MC: more symmetry between WAITANY and TESTANY in dependency
No idea why TESTANY was doing specific cases on the first iteration,
nor even why it worked this way. But it was preventing the next commit
from occurring.
Martin Quinson [Sat, 6 Mar 2021 20:57:56 +0000 (21:57 +0100)]
MC: untangle the dependency code a tiny bit
Martin Quinson [Sat, 6 Mar 2021 13:27:04 +0000 (14:27 +0100)]
MC: inline a function, kill a file
Augustin Degomme [Sat, 6 Mar 2021 14:10:14 +0000 (15:10 +0100)]
Add multiple unimplemented calls in smpi.h
List gathered from mpi4py configuration tool
Augustin Degomme [Sat, 6 Mar 2021 13:37:14 +0000 (14:37 +0100)]
Implement MPI_Aint_add and MPI_Aint_diff
Augustin Degomme [Sat, 6 Mar 2021 13:36:26 +0000 (14:36 +0100)]
"Implement" MPI_Type_get_extent_x, MPI_Type_get_true_extent_x, and MPI_Status_set_elements_x
Martin Quinson [Fri, 5 Mar 2021 23:30:55 +0000 (00:30 +0100)]
doc: add an hint on platform calibration, and various fixes
Martin Quinson [Fri, 5 Mar 2021 23:00:30 +0000 (00:00 +0100)]
simgrid-mc also needs debugging symbols, so let's hint about it
Martin Quinson [Fri, 5 Mar 2021 22:43:41 +0000 (23:43 +0100)]
doc: fix a borken link
Martin Quinson [Fri, 5 Mar 2021 22:03:36 +0000 (23:03 +0100)]
Add a section presenting an overview of SimGrid design goals
Frederic Suter [Fri, 5 Mar 2021 15:24:53 +0000 (16:24 +0100)]
clang ... override ... again
Frederic Suter [Fri, 5 Mar 2021 13:56:43 +0000 (14:56 +0100)]
Remove constraint from LinkImpl ctor
Frederic Suter [Fri, 5 Mar 2021 11:31:01 +0000 (12:31 +0100)]
add boolean state to resources and protect set_core_count
Martin Quinson [Fri, 5 Mar 2021 00:18:21 +0000 (01:18 +0100)]
fix pip builds
Martin Quinson [Thu, 4 Mar 2021 23:30:47 +0000 (00:30 +0100)]
mc: rename Inspector to Observer
Martin Quinson [Thu, 4 Mar 2021 23:15:40 +0000 (00:15 +0100)]
Simplify mc::api a bit
No need to expose a call to test whether there is a deadlock and a
call to react to deadlocks. Have the first call react by itself to
this situation.
Martin Quinson [Thu, 4 Mar 2021 23:53:24 +0000 (00:53 +0100)]
cosmetics
Arnaud Giersch [Thu, 4 Mar 2021 15:31:31 +0000 (16:31 +0100)]
Try to use more common PAPI events for testing.
Also fix the grep RE to not match the command line at the beginning of the file.
Arnaud Giersch [Thu, 4 Mar 2021 15:20:26 +0000 (16:20 +0100)]
Don't crash on empty PAPI event set.
Arnaud Giersch [Thu, 4 Mar 2021 15:14:16 +0000 (16:14 +0100)]
Cosmetics
Frederic Suter [Wed, 3 Mar 2021 21:44:33 +0000 (22:44 +0100)]
use CRTP dor resources
Frederic Suter [Wed, 3 Mar 2021 20:18:52 +0000 (21:18 +0100)]
remove model from Link constructors
Augustin Degomme [Wed, 3 Mar 2021 19:25:17 +0000 (20:25 +0100)]
Add a test for PAPI
next step : try to activate it on jenkins (for coverage, obviously)
Augustin Degomme [Wed, 3 Mar 2021 19:22:09 +0000 (20:22 +0100)]
PAPI tracing was broken with latest instr changes.
Expected because it's not tested.
Arnaud Giersch [Wed, 3 Mar 2021 14:40:35 +0000 (15:40 +0100)]
Modernize simcall mutex_unlock.
Arnaud Giersch [Wed, 3 Mar 2021 16:46:30 +0000 (17:46 +0100)]
Make SimcallInspector::dot_label and to_string pure virtual again.
It was wronly removed in commit
99b0a6c6788a22a446be3519233dd524a44f1ffd.
Arnaud Giersch [Wed, 3 Mar 2021 14:23:41 +0000 (15:23 +0100)]
Fix mem leak.
Arnaud Giersch [Wed, 3 Mar 2021 09:51:29 +0000 (10:51 +0100)]
Pointer to const.
Arnaud Giersch [Wed, 3 Mar 2021 09:47:45 +0000 (10:47 +0100)]
std::runtime error takes a const&.
Augustin Degomme [Wed, 3 Mar 2021 11:55:21 +0000 (12:55 +0100)]
These tests were missing mpi_finalize call (hence some leaks).
Augustin Degomme [Wed, 3 Mar 2021 11:54:48 +0000 (12:54 +0100)]
change message a bit
Augustin Degomme [Wed, 3 Mar 2021 11:54:33 +0000 (12:54 +0100)]
mpi_comm_self was cleaned after mpi finalization during actor deletion, which was annoying (after leaks check).
Have it done at MPI_Finalize level.
Augustin Degomme [Tue, 2 Mar 2021 22:36:56 +0000 (23:36 +0100)]
Add simple example using smpi_execute_* calls inside MPI code to simulate computation.
This could double as a basic MPI example, as we are missing one, I think.
Augustin Degomme [Tue, 2 Mar 2021 15:00:07 +0000 (16:00 +0100)]
add errhandlers support for mpi_comm_world
As this communicator is actually shared, every process was overriding the errhandler, leading to using the same for every process, and leaking the others.
Augustin Degomme [Tue, 2 Mar 2021 14:58:38 +0000 (15:58 +0100)]
add leak checking for info and errhandlers
Arnaud Giersch [Tue, 2 Mar 2021 19:54:07 +0000 (20:54 +0100)]
Rename mc_base.h -> .hpp (it's C++ only anyway).
Arnaud Giersch [Tue, 2 Mar 2021 15:24:04 +0000 (16:24 +0100)]
Const for methods.
Arnaud Giersch [Tue, 2 Mar 2021 15:20:54 +0000 (16:20 +0100)]
Cosmetic rename.
get_actor_string -> get_actor_dot_label
get_actor_string2 -> get_actor_string
Frederic Suter [Tue, 2 Mar 2021 00:30:45 +0000 (01:30 +0100)]
Simplify namespaces
Frederic Suter [Mon, 1 Mar 2021 23:54:36 +0000 (00:54 +0100)]
cleanups
Frederic Suter [Mon, 1 Mar 2021 23:25:28 +0000 (00:25 +0100)]
cosmetics
Frederic Suter [Mon, 1 Mar 2021 22:49:48 +0000 (23:49 +0100)]
add core_count setter
Arnaud Giersch [Tue, 2 Mar 2021 15:13:45 +0000 (16:13 +0100)]
Auto + std::make_unique.
Arnaud Giersch [Tue, 2 Mar 2021 14:57:09 +0000 (15:57 +0100)]
Uncomment.
Arnaud Giersch [Tue, 2 Mar 2021 14:26:06 +0000 (15:26 +0100)]
Reduce code duplication.
Arnaud Giersch [Tue, 2 Mar 2021 13:58:47 +0000 (14:58 +0100)]
Protect against buffer overflow.
Arnaud Giersch [Tue, 2 Mar 2021 13:45:21 +0000 (14:45 +0100)]
Make Transition::textual a std::string.
Arnaud Giersch [Fri, 26 Feb 2021 20:01:53 +0000 (21:01 +0100)]
Restore Rvalue references for xbt::Exception.
This was lost in commit
1361e008419329de33e4c92a6ad96621d40a9c40
and I don't remember any reason for that.
Exceptions are always built with temporaries, an d moving them should avoid
unnecessary copies.
Arnaud Giersch [Tue, 2 Mar 2021 10:52:21 +0000 (11:52 +0100)]
Uncomment debug message.
Arnaud Giersch [Tue, 2 Mar 2021 10:30:59 +0000 (11:30 +0100)]
Make field private (fixme--).
Arnaud Giersch [Tue, 2 Mar 2021 10:09:32 +0000 (11:09 +0100)]
Use std::copy.
Arnaud Giersch [Tue, 2 Mar 2021 09:41:28 +0000 (10:41 +0100)]
Type bool for boolean values.
Arnaud Giersch [Mon, 1 Mar 2021 22:36:32 +0000 (23:36 +0100)]
Remove some useless nested code blocks.
Arnaud Giersch [Mon, 1 Mar 2021 20:37:02 +0000 (21:37 +0100)]
Using C++ strings.
Arnaud Giersch [Mon, 1 Mar 2021 16:21:04 +0000 (17:21 +0100)]
Use xbt::string for MC hostnames.
Arnaud Giersch [Mon, 1 Mar 2021 14:37:49 +0000 (15:37 +0100)]
Kill useless function.
Arnaud Giersch [Mon, 1 Mar 2021 14:31:09 +0000 (15:31 +0100)]
Use defined type alias.
Arnaud Giersch [Mon, 1 Mar 2021 12:07:29 +0000 (13:07 +0100)]
Fix code generation (broken call to inspector_->is_pending), and reindent.
Frederic Suter [Mon, 1 Mar 2021 14:19:44 +0000 (15:19 +0100)]
fix ns3
Frederic Suter [Mon, 1 Mar 2021 13:14:55 +0000 (14:14 +0100)]
Consider Link latency as an optional parameter
Frederic Suter [Mon, 1 Mar 2021 09:34:58 +0000 (10:34 +0100)]
more fluent version
Frederic Suter [Mon, 1 Mar 2021 09:24:24 +0000 (10:24 +0100)]
Rollback a little in programmatic description of disks
- add Required fields (w.r.t. the DTD) to the create_disk method
- leave the setters to enable changes of mind or dynamic stuff between
create and seal (TODO: add a state and some asserts)
- Resources always have a name so add it in the ctor
Arnaud Giersch [Mon, 1 Mar 2021 10:23:03 +0000 (11:23 +0100)]
Fix usage string.
Arnaud Giersch [Mon, 1 Mar 2021 09:47:19 +0000 (10:47 +0100)]
Deprecated simcall_mc_random.
Maybe this can be dropped immediately?.
Arnaud Giersch [Fri, 26 Feb 2021 14:23:07 +0000 (15:23 +0100)]
Make global variables 'const'.
Arnaud Giersch [Fri, 26 Feb 2021 13:55:09 +0000 (14:55 +0100)]
A few less global variables.
Martin Quinson [Mon, 1 Mar 2021 00:59:12 +0000 (01:59 +0100)]
Don't require MC dependencies when building w/o MC
Martin Quinson [Mon, 1 Mar 2021 00:46:38 +0000 (01:46 +0100)]
Fix non-MC builds
Martin Quinson [Mon, 1 Mar 2021 00:31:41 +0000 (01:31 +0100)]
Fix make distcheck :-(
Martin Quinson [Mon, 1 Mar 2021 00:30:18 +0000 (01:30 +0100)]
Missing file
Martin Quinson [Mon, 1 Mar 2021 00:24:41 +0000 (01:24 +0100)]
remove a workaround for a bug removed in previous commit
Inspector::to_string() was sometimes called for simcalls w/o inspectors.
Martin Quinson [Sun, 28 Feb 2021 23:38:00 +0000 (00:38 +0100)]
Set the textual representation of a transition before executing it
This way it will correctly be set if the App aborts or fails during that execution.
Also, don't use the execution path that is reserved to simcalls with
observers `mc_model_checker->simcall_to_string()` in any case.
Prefer the path that works with old simcalls too `Api::request_to_string()`