Ehsan Azimi [Mon, 23 Nov 2020 12:56:36 +0000 (13:56 +0100)]
mc_api::get_pattern_comm_rdv()
mc_api::get_pattern_comm_addr()
mc_api::get_pattern_comm_src_proc()
mc_api::get_pattern_comm_data()
mc_api::get_actor_host_name()
The above functions are defined in mc_api and being used in comm_dete checker
Ehsan Azimi [Fri, 20 Nov 2020 17:32:31 +0000 (18:32 +0100)]
get_pattern_comm_rdv() defined in mc_api and used in CommDet checker
Ehsan Azimi [Fri, 20 Nov 2020 16:44:05 +0000 (17:44 +0100)]
Merge branch 'master' of github.com:simgrid/simgrid into dev_8
Ehsan Azimi [Fri, 20 Nov 2020 16:39:58 +0000 (17:39 +0100)]
mc_pattern.hpp created
Augustin Degomme [Thu, 19 Nov 2020 17:41:01 +0000 (18:41 +0100)]
one day, I'll add a test for this feature
Arnaud Giersch [Thu, 19 Nov 2020 12:53:48 +0000 (13:53 +0100)]
Define NUM_SIMCALLS apart from the enum.
Ehsan Azimi [Thu, 19 Nov 2020 12:18:18 +0000 (13:18 +0100)]
CommunicationDeterminismChecker::log_state() uses APIs of mc_api
Ehsan Azimi [Thu, 19 Nov 2020 12:06:13 +0000 (13:06 +0100)]
CommunicationDeterminismChecker::restoreState() uses APIs of mc_api
Arnaud Giersch [Thu, 19 Nov 2020 11:58:26 +0000 (12:58 +0100)]
Don't call function inside xbt_assert which may be disabled.
Ehsan Azimi [Thu, 19 Nov 2020 11:22:48 +0000 (12:22 +0100)]
Merge branch 'master' of github.com:simgrid/simgrid into dev_7
Arnaud Giersch [Thu, 19 Nov 2020 08:35:48 +0000 (09:35 +0100)]
Variables captured by copy are constant and cannot be std::move'd.
Try to fix with C++14 generalized lambda capture and 'mutable' specifier.
Arnaud Giersch [Thu, 19 Nov 2020 08:34:33 +0000 (09:34 +0100)]
More useless std::move.
Arnaud Giersch [Thu, 19 Nov 2020 07:44:47 +0000 (08:44 +0100)]
Cosmetics.
Arnaud Giersch [Thu, 19 Nov 2020 07:41:12 +0000 (08:41 +0100)]
Constify some sg_vm_t.
Augustin Degomme [Thu, 19 Nov 2020 09:59:21 +0000 (10:59 +0100)]
this message does no harm
Augustin Degomme [Thu, 19 Nov 2020 09:40:56 +0000 (10:40 +0100)]
Revert "attempt to avoid ugly sed in privatize-libs. May break."
This reverts commit
c8cd61907048eff98533558f3aa7393cb6cfd424.
Arnaud Giersch [Wed, 18 Nov 2020 23:01:48 +0000 (00:01 +0100)]
Revert "Intel icc doesn't like attribute [[deprecated]] with "using"."
This reverts commit
b38bb1786983cd04c54ec57dc21d3f8a061e5f74.
Arnaud Giersch [Wed, 18 Nov 2020 23:00:36 +0000 (00:00 +0100)]
Icc: ignore #2651: attribute does not apply to any entity
See
https://community.intel.com/t5/Intel-C-Compiler/Bug-report-Spurious-2651-warning-for-deprecating-a-quot-using/td-p/
1144317
Also write numbers in order.
Arnaud Giersch [Wed, 18 Nov 2020 22:51:02 +0000 (23:51 +0100)]
Useless std::move.
Arnaud Giersch [Wed, 18 Nov 2020 22:29:04 +0000 (23:29 +0100)]
Use inherited constructors for derived exceptions.
Arnaud Giersch [Wed, 18 Nov 2020 22:15:52 +0000 (23:15 +0100)]
Use 'using-declarations' to inherit constructors.
Arnaud Giersch [Wed, 18 Nov 2020 20:08:35 +0000 (21:08 +0100)]
Enum class for Paje event types.
Arnaud Giersch [Wed, 18 Nov 2020 17:23:52 +0000 (18:23 +0100)]
Enum class in examples/s4u/dht-chord/.
Arnaud Giersch [Wed, 18 Nov 2020 17:04:03 +0000 (18:04 +0100)]
Enum class in examples/s4u/app-bittorrent/.
Arnaud Giersch [Wed, 18 Nov 2020 16:58:40 +0000 (17:58 +0100)]
Enum class in teshsuite/mc/random-bug/.
Arnaud Giersch [Wed, 18 Nov 2020 21:14:57 +0000 (22:14 +0100)]
Fix function name in doc.
Ehsan Azimi [Wed, 18 Nov 2020 18:04:10 +0000 (19:04 +0100)]
Merge branch 'master' of github.com:simgrid/simgrid
Ehsan Azimi [Wed, 18 Nov 2020 17:58:44 +0000 (18:58 +0100)]
CommunicationDeterminismChecker::real_run() uses APIs of mc_api
Arnaud Giersch [Wed, 18 Nov 2020 16:45:21 +0000 (17:45 +0100)]
Intel icc doesn't like attribute [[deprecated]] with "using".
Ehsan Azimi [Wed, 18 Nov 2020 16:25:39 +0000 (17:25 +0100)]
prepare() and run() call APIs of mc_api
Arnaud Giersch [Wed, 18 Nov 2020 15:11:29 +0000 (16:11 +0100)]
Prefer "using" to "typedef".
Arnaud Giersch [Wed, 18 Nov 2020 14:06:09 +0000 (15:06 +0100)]
More const.
Arnaud Giersch [Wed, 18 Nov 2020 13:44:58 +0000 (14:44 +0100)]
Use =default.
Arnaud Giersch [Wed, 18 Nov 2020 13:43:05 +0000 (14:43 +0100)]
More const pointers.
Arnaud Giersch [Wed, 18 Nov 2020 13:27:35 +0000 (14:27 +0100)]
Kill dead code.
Arnaud Giersch [Wed, 18 Nov 2020 13:25:34 +0000 (14:25 +0100)]
Const Disk*.
Arnaud Giersch [Wed, 18 Nov 2020 12:00:11 +0000 (13:00 +0100)]
Please Sonar (even if there was no bug).
Arnaud Giersch [Wed, 18 Nov 2020 09:52:00 +0000 (10:52 +0100)]
Remove redundant "staitc" in anonymous namespaces.
Ehsan Azimi [Wed, 18 Nov 2020 12:51:31 +0000 (13:51 +0100)]
In VisitedState class, get_remote_heap_bytes() from mc_api is called
Augustin Degomme [Wed, 18 Nov 2020 09:23:06 +0000 (10:23 +0100)]
again..
Augustin Degomme [Tue, 17 Nov 2020 23:28:01 +0000 (00:28 +0100)]
et ça continue, encore et encore...
Augustin Degomme [Tue, 17 Nov 2020 22:14:21 +0000 (23:14 +0100)]
attempt to avoid ugly sed in privatize-libs. May break.
Augustin Degomme [Tue, 17 Nov 2020 22:13:34 +0000 (23:13 +0100)]
move dlopen tmp files to tmp dir instead of executable dir, which could be not writeable.
todo :
- check portability
- move also smpirun tmp files there id this works.
Augustin Degomme [Tue, 17 Nov 2020 16:53:00 +0000 (17:53 +0100)]
one more lib to exclude ... we should really get rid of this in MC, no?
Ehsan Azimi [Tue, 17 Nov 2020 16:02:51 +0000 (17:02 +0100)]
mc_api::mc_state_choose_request() updated
Ehsan Azimi [Mon, 16 Nov 2020 17:57:34 +0000 (18:57 +0100)]
copy_incomplete_comm_pattern() and copy_index_comm_pattern() in mc_api
Ehsan Azimi [Mon, 16 Nov 2020 17:40:34 +0000 (18:40 +0100)]
get_maxpid() and take_snapshot() in mc_api
Ehsan Azimi [Mon, 16 Nov 2020 17:16:17 +0000 (18:16 +0100)]
Merge branch 'master' of github.com:simgrid/simgrid
Arnaud Giersch [Wed, 11 Nov 2020 21:22:25 +0000 (22:22 +0100)]
Prefer class initializer for id_.
Arnaud Giersch [Wed, 11 Nov 2020 20:51:26 +0000 (21:51 +0100)]
Cosmetics.
Arnaud Giersch [Wed, 11 Nov 2020 14:21:41 +0000 (15:21 +0100)]
Avoid nested try-catch blocks.
Arnaud Giersch [Wed, 11 Nov 2020 14:16:04 +0000 (15:16 +0100)]
Reduce scope for variable.
Augustin Degomme [Mon, 9 Nov 2020 15:23:45 +0000 (16:23 +0100)]
exclude lib for mc on freebsd
Martin Quinson [Sat, 7 Nov 2020 21:25:56 +0000 (22:25 +0100)]
Document recent bug fix
Matthieu Simonin [Sat, 7 Nov 2020 21:23:25 +0000 (22:23 +0100)]
python: force pybind11 discovery (#353)
Fix #352
Martin Quinson [Thu, 5 Nov 2020 07:00:28 +0000 (08:00 +0100)]
Fix the bug number, bummer
Martin Quinson [Wed, 4 Nov 2020 20:51:30 +0000 (21:51 +0100)]
bug fixed
Ehsan Azimi [Fri, 30 Oct 2020 12:21:05 +0000 (13:21 +0100)]
Merge branch 'master' of github.com:simgrid/simgrid
Arnaud Giersch [Thu, 29 Oct 2020 20:43:20 +0000 (21:43 +0100)]
Make code simpler.
Arnaud Giersch [Thu, 29 Oct 2020 21:40:52 +0000 (22:40 +0100)]
Define xbt::string::copy().
Arnaud Giersch [Thu, 29 Oct 2020 21:40:30 +0000 (22:40 +0100)]
Move declarations.
Arnaud Giersch [Thu, 29 Oct 2020 16:38:51 +0000 (17:38 +0100)]
More functions to declare "const".
Ehsan Azimi [Thu, 29 Oct 2020 09:38:55 +0000 (10:38 +0100)]
Merge branch 'master' of github.com:simgrid/simgrid
Arnaud Giersch [Wed, 28 Oct 2020 17:03:57 +0000 (18:03 +0100)]
Use xbt_die instead of xbt_assert(false).
Arnaud Giersch [Wed, 28 Oct 2020 17:01:03 +0000 (18:01 +0100)]
s/atof/stod/.
Arnaud Giersch [Wed, 28 Oct 2020 16:56:36 +0000 (17:56 +0100)]
[sonar] global variable--
Arnaud Giersch [Wed, 28 Oct 2020 16:32:40 +0000 (17:32 +0100)]
Prefer enum class over legacy enum.
Arnaud Giersch [Wed, 28 Oct 2020 16:13:43 +0000 (17:13 +0100)]
Kill unused operator<<.
Moreover, the output format doesn't match the input format expected in Profile::from_string.
Ehsan Azimi [Wed, 28 Oct 2020 12:52:14 +0000 (13:52 +0100)]
Merge branch 'master' of github.com:simgrid/simgrid
Arnaud Giersch [Wed, 28 Oct 2020 10:52:35 +0000 (11:52 +0100)]
One more std::string.
Arnaud Giersch [Wed, 28 Oct 2020 10:32:40 +0000 (11:32 +0100)]
Don't keep port number 65535 apart.
Arnaud Giersch [Wed, 28 Oct 2020 10:02:02 +0000 (11:02 +0100)]
Avoid null pointer dereferencing.
Arnaud Giersch [Tue, 27 Oct 2020 23:28:49 +0000 (00:28 +0100)]
posix_fallocate does not exist on OSX, use ftruncate instead.
Martin Quinson [Tue, 27 Oct 2020 23:24:27 +0000 (00:24 +0100)]
Add a test for GH#345
Arnaud Giersch [Tue, 27 Oct 2020 22:00:37 +0000 (23:00 +0100)]
Kill redundant F2C::f2c_lookup.
Arnaud Giersch [Tue, 27 Oct 2020 22:03:19 +0000 (23:03 +0100)]
Make trivial functions inline.
Arnaud Giersch [Tue, 27 Oct 2020 21:50:15 +0000 (22:50 +0100)]
Finally use plain ints for f2c keys.
Arnaud Giersch [Tue, 27 Oct 2020 21:42:34 +0000 (22:42 +0100)]
Use std::string for f2c keys.
Arnaud Giersch [Tue, 27 Oct 2020 17:04:08 +0000 (18:04 +0100)]
Closed bug.
Arnaud Giersch [Mon, 26 Oct 2020 23:20:01 +0000 (00:20 +0100)]
Use std::vector.
Arnaud Giersch [Mon, 26 Oct 2020 23:14:05 +0000 (00:14 +0100)]
Use posix_fallocate to set file size.
Martin Quinson [Tue, 27 Oct 2020 22:41:57 +0000 (23:41 +0100)]
ns3 does not accept 0 as a port_number so don't let it nicely overleap
Martin Quinson [Tue, 27 Oct 2020 22:31:12 +0000 (23:31 +0100)]
ns3: Fix a debug message (s/socket/flow/)
Martin Quinson [Tue, 27 Oct 2020 22:09:14 +0000 (23:09 +0100)]
Accept very large port numbers, as ns-3 don't forbid them
Ehsan Azimi [Tue, 27 Oct 2020 12:17:37 +0000 (13:17 +0100)]
mc_assert() deleted
Ehsan Azimi [Tue, 27 Oct 2020 12:08:59 +0000 (13:08 +0100)]
SafetyChecker::run() uses mc_api
Ehsan Azimi [Tue, 27 Oct 2020 11:18:13 +0000 (12:18 +0100)]
SafetyChecker::check_non_termination() uses mc_api
Ehsan Azimi [Tue, 27 Oct 2020 11:01:04 +0000 (12:01 +0100)]
SafetyChecker::get_textual_trace() uses mc_api
Ehsan Azimi [Tue, 27 Oct 2020 10:10:09 +0000 (11:10 +0100)]
SafetyChecker::log_state() calls APIs of mc_api
Ehsan Azimi [Mon, 26 Oct 2020 15:45:19 +0000 (16:45 +0100)]
SafetyChecker::backtrack() calls mc_api functions
Ehsan Azimi [Mon, 26 Oct 2020 14:53:45 +0000 (15:53 +0100)]
SafetyChecker::restore_state() calls mc_api functions
Ehsan Azimi [Mon, 26 Oct 2020 14:45:18 +0000 (15:45 +0100)]
mc_api class introduced, SafetyChecher's constructor and main() in simgrid_mc.cpp call mc_api's functions
Arnaud Giersch [Mon, 26 Oct 2020 10:58:32 +0000 (11:58 +0100)]
Correctly set result for simcall_cond_wait_timeout.
Arnaud Giersch [Mon, 26 Oct 2020 10:41:46 +0000 (11:41 +0100)]
Use std::vector.
Arnaud Giersch [Mon, 26 Oct 2020 09:04:11 +0000 (10:04 +0100)]
Use std::array.
Arnaud Giersch [Mon, 26 Oct 2020 08:14:53 +0000 (09:14 +0100)]
Update, using std::string.
Arnaud Giersch [Sun, 25 Oct 2020 13:55:01 +0000 (14:55 +0100)]
Fix UBSan warning.
smpi_datatype.cpp:360:15: runtime error: null pointer passed as argument 2, which is declared to never be null
Arnaud Giersch [Sat, 24 Oct 2020 21:25:58 +0000 (23:25 +0200)]
Use std::vector instead of C-style array.
Arnaud Giersch [Sat, 24 Oct 2020 20:54:12 +0000 (22:54 +0200)]
Make cast explicit.
Arnaud Giersch [Sat, 24 Oct 2020 20:11:15 +0000 (22:11 +0200)]
Kill dead code (condition is always true).