 Samuel Thibault
|
6aedd5d9a5
From Lionel: modular sched: factorize send_can_push_to_parents mechanism
|
преди 8 години |
|
Samuel Thibault
|
989d6e9dce
From Lionel: worker component: correctly take pipeline_len into account when computing extimated end
|
преди 8 години |
|
Samuel Thibault
|
50efb007d3
from Lionel: sched modular prio: take predicted transfer into account for expected end time
|
преди 8 години |
|
Samuel Thibault
|
26a2ac8bef
from Lionel: MCT: place the computation of expected end times in critical section, to avoid race issues in decisions
|
преди 8 години |
|
Samuel Thibault
|
ac9a282ebc
from Lionel: sched modular mct: take into account the non-overlapped transfer time in ending time, but count the whole transfer time in fitness.
|
преди 8 години |
|
Samuel Thibault
|
7f623b6344
from Lionel: modular sched: factorize and explicit the pump mechanism
|
преди 8 години |
|
Samuel Thibault
|
4970485adf
Make the libstarpu build check coherency between prototypes of internal inlines and external interface
|
преди 8 години |
|
Samuel Thibault
|
12a7cc6c1e
Avoid exposing the task list implementation, which leads to conflicts and confusions, and we won't want to do the same for prio_lists anyway. Use the internal inlines to provide an external symbol instead
|
преди 8 години |
 Corentin Salingue
|
14a4f5c7d3
port r21087 from NUMA : use starpu_free_flags instead of free
|
преди 8 години |
|
Samuel Thibault
|
09b0cfdd22
Fix tmp path order :)
|
преди 8 години |
 Nathalie Furmento
|
9559b6d56a
tests/main/mkdtemp.c: also try variables TEMP and TMP, not only TMPDIR
|
преди 8 години |
|
Nathalie Furmento
|
90d4183d31
tests/main/mkdtemp.c: use variable TMPDIR instead of hard-coding value /tmp
|
преди 8 години |
|
Samuel Thibault
|
ec72b21232
Also try TEMP and TMP environment variables, not only TMPDIR
|
преди 8 години |
|
Samuel Thibault
|
c1b913a2b2
Try to redruce on the state of an empty list
|
преди 8 години |
|
Samuel Thibault
|
05bfe97196
clearer macro names, add iterations
|
преди 8 години |
 Olivier Aumage
|
950d269178
use assumed-size instead of assumed-shape arrays for native fortran API, for better backward compatibility
|
преди 8 години |
|
Samuel Thibault
|
3fff4c9f5f
commit missing changes
|
преди 8 години |
|
Samuel Thibault
|
defd69333a
generalize running model-checking tests
|
преди 8 години |
|
Samuel Thibault
|
00042d3039
Fix build from starpu with old simgrid: BUILDING_STARPU is only for the lib
|
преди 8 години |
|
Samuel Thibault
|
b83f2454f2
Add copyright
|
преди 8 години |
|
Samuel Thibault
|
d56020e400
Allow to use several lists to check that the model-checker discovers that's independent
|
преди 8 години |
|
Samuel Thibault
|
6379d50511
Fix detection of simgrid-mc tool
|
преди 8 години |
|
Samuel Thibault
|
b5d53106f7
Fix build with old simgrids
|
преди 8 години |
|
Samuel Thibault
|
85ab8748c5
do not enable mpi checks by default when simgrid support is enabled, since it requires static linking which is too expensive for being a default
|
преди 8 години |
|
Samuel Thibault
|
e15ca34bbb
Add --enable-simgrid-mc to selectively enable the model checker
|
преди 8 години |
|
Nathalie Furmento
|
444461c75a
doc: improve name for chapitre title
|
преди 8 години |
|
Samuel Thibault
|
bf08b7ae24
document how to play with model checker
|
преди 8 години |
|
Samuel Thibault
|
6383fe8b36
Test a reasonably large case
|
преди 8 години |
|
Samuel Thibault
|
d8991796b2
Run model checking during make check
|
преди 8 години |
|
Samuel Thibault
|
e9056e542d
make it possible to run mpi cholesky in simgrid mode
|
преди 8 години |
