![[Jenkins]](/simgrid/static/8efe374a/images/svgs/logo.svg){kind=logo}
Failed
projectroot.teshsuite.mc.mc_mini_philosophers_semaphores_deadlock (from CTest)
Failing for the past 25 builds
(Since Unstable
)
Stacktrace
Ignore all cruft seen on SimGrid's continuous integration servers Test suite '/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/teshsuite/mc/mcmini/philosophers_semaphores_deadlock.tesh' [Tesh/INFO] setenv libdir=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib [Tesh/INFO] setenv bindir=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc [philosophers_semaphores_deadlock.tesh:5] /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/../../bin/simgrid-mc --cfg=model-check/setenv:LD_PRELOAD=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib/libsthread.so /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/mcmini/mcmini-philosophers_semaphores_deadlock 3 0 Output of <philosophers_semaphores_deadlock.tesh:5> mismatch: --- expected +++ obtained @@ -1,27 +1,3 @@ -[0.000000] [mc_dfs/INFO] Start a DFS exploration. Reduction is: dpor. -[0.000000] [mc_global/INFO] ************************** -[0.000000] [mc_global/INFO] *** DEADLOCK DETECTED *** -[0.000000] [mc_global/INFO] ************************** -[0.000000] [ker_engine/INFO] 4 actors are still active, awaiting something. Here is their status: -[0.000000] [ker_engine/INFO] - pid 1 (main thread@Lilibeth) simcall ActorJoin(pid:2) -[0.000000] [ker_engine/INFO] - pid 2 (thread 1@Lilibeth) simcall MUTEX_WAIT(mutex_id:1 owner:3) -[0.000000] [ker_engine/INFO] - pid 3 (thread 2@Lilibeth) simcall MUTEX_WAIT(mutex_id:2 owner:4) -[0.000000] [ker_engine/INFO] - pid 4 (thread 3@Lilibeth) simcall MUTEX_WAIT(mutex_id:0 owner:2) -[0.000000] [mc_global/INFO] Counter-example execution trace: -[0.000000] [mc_global/INFO] Actor 2 in simcall SEM_ASYNC_LOCK(semaphore: 0, capacity: 2) -[0.000000] [mc_global/INFO] Actor 2 in simcall SEM_WAIT(semaphore: 0, capacity: 2, granted: yes) -[0.000000] [mc_global/INFO] Actor 2 in simcall MUTEX_ASYNC_LOCK(mutex: 0, owner: 2) -[0.000000] [mc_global/INFO] Actor 2 in simcall MUTEX_WAIT(mutex: 0, owner: 2) -[0.000000] [mc_global/INFO] Actor 3 in simcall SEM_ASYNC_LOCK(semaphore: 0, capacity: 1) -[0.000000] [mc_global/INFO] Actor 3 in simcall SEM_WAIT(semaphore: 0, capacity: 1, granted: yes) -[0.000000] [mc_global/INFO] Actor 3 in simcall MUTEX_ASYNC_LOCK(mutex: 1, owner: 3) -[0.000000] [mc_global/INFO] Actor 2 in simcall MUTEX_ASYNC_LOCK(mutex: 1, owner: 3) -[0.000000] [mc_global/INFO] Actor 3 in simcall MUTEX_WAIT(mutex: 1, owner: 3) -[0.000000] [mc_global/INFO] Actor 4 in simcall SEM_ASYNC_LOCK(semaphore: 0, capacity: 0) -[0.000000] [mc_global/INFO] Actor 4 in simcall SEM_WAIT(semaphore: 0, capacity: 0, granted: yes) -[0.000000] [mc_global/INFO] Actor 4 in simcall MUTEX_ASYNC_LOCK(mutex: 2, owner: 4) -[0.000000] [mc_global/INFO] Actor 3 in simcall MUTEX_ASYNC_LOCK(mutex: 2, owner: 4) -[0.000000] [mc_global/INFO] Actor 4 in simcall MUTEX_WAIT(mutex: 2, owner: 4) -[0.000000] [mc_global/INFO] Actor 4 in simcall MUTEX_ASYNC_LOCK(mutex: 0, owner: 2) -[0.000000] [mc_Session/INFO] You can debug the problem (and see the whole details) by rerunning out of simgrid-mc with --cfg=model-check/replay:'2;2;2;2;3;3;3;2;3;4;4;4;3;4;4' -[0.000000] [mc_dfs/INFO] DFS exploration ended. 517 unique states visited; 30 explored traces (399 transition replays, 916 states visited overall) +[0.000000] /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/src/mc/remote/Channel.cpp:68: [root/CRITICAL] Channel::receive failure: Connection reset by peer +Backtrace (displayed in actor maestro): +(backtrace not set -- did you install Boost.Stacktrace?) Test suite `philosophers_semaphores_deadlock.tesh': NOK (<philosophers_semaphores_deadlock.tesh:5> output mismatch) In addition, <philosophers_semaphores_deadlock.tesh:5> got signal SIGIOT. [philosophers_semaphores_deadlock.tesh:35] /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/../../bin/simgrid-mc --cfg=model-check/exploration-algo:BFS --cfg=model-check/setenv:LD_PRELOAD=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib/libsthread.so /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/mcmini/mcmini-philosophers_semaphores_deadlock 3 0 Output of <philosophers_semaphores_deadlock.tesh:35> mismatch: --- expected +++ obtained @@ -1,28 +1,4 @@ [0.000000] [xbt_cfg/INFO] Configuration change: Set 'model-check/exploration-algo' to 'BFS' -[0.000000] [mc_bfs/INFO] Start a BFS exploration. Reduction is: dpor. -[0.000000] [mc_global/INFO] ************************** -[0.000000] [mc_global/INFO] *** DEADLOCK DETECTED *** -[0.000000] [mc_global/INFO] ************************** -[0.000000] [ker_engine/INFO] 4 actors are still active, awaiting something. Here is their status: -[0.000000] [ker_engine/INFO] - pid 1 (main thread@Lilibeth) simcall ActorJoin(pid:2) -[0.000000] [ker_engine/INFO] - pid 2 (thread 1@Lilibeth) simcall MUTEX_WAIT(mutex_id:1 owner:3) -[0.000000] [ker_engine/INFO] - pid 3 (thread 2@Lilibeth) simcall MUTEX_WAIT(mutex_id:2 owner:4) -[0.000000] [ker_engine/INFO] - pid 4 (thread 3@Lilibeth) simcall MUTEX_WAIT(mutex_id:0 owner:2) -[0.000000] [mc_global/INFO] Counter-example execution trace: -[0.000000] [mc_global/INFO] Actor 2 in simcall SEM_ASYNC_LOCK(semaphore: 0, capacity: 2) -[0.000000] [mc_global/INFO] Actor 2 in simcall SEM_WAIT(semaphore: 0, capacity: 2, granted: yes) -[0.000000] [mc_global/INFO] Actor 2 in simcall MUTEX_ASYNC_LOCK(mutex: 0, owner: 2) -[0.000000] [mc_global/INFO] Actor 2 in simcall MUTEX_WAIT(mutex: 0, owner: 2) -[0.000000] [mc_global/INFO] Actor 3 in simcall SEM_ASYNC_LOCK(semaphore: 0, capacity: 1) -[0.000000] [mc_global/INFO] Actor 3 in simcall SEM_WAIT(semaphore: 0, capacity: 1, granted: yes) -[0.000000] [mc_global/INFO] Actor 3 in simcall MUTEX_ASYNC_LOCK(mutex: 1, owner: 3) -[0.000000] [mc_global/INFO] Actor 2 in simcall MUTEX_ASYNC_LOCK(mutex: 1, owner: 3) -[0.000000] [mc_global/INFO] Actor 3 in simcall MUTEX_WAIT(mutex: 1, owner: 3) -[0.000000] [mc_global/INFO] Actor 4 in simcall SEM_ASYNC_LOCK(semaphore: 0, capacity: 0) -[0.000000] [mc_global/INFO] Actor 4 in simcall SEM_WAIT(semaphore: 0, capacity: 0, granted: yes) -[0.000000] [mc_global/INFO] Actor 4 in simcall MUTEX_ASYNC_LOCK(mutex: 2, owner: 4) -[0.000000] [mc_global/INFO] Actor 3 in simcall MUTEX_ASYNC_LOCK(mutex: 2, owner: 4) -[0.000000] [mc_global/INFO] Actor 4 in simcall MUTEX_WAIT(mutex: 2, owner: 4) -[0.000000] [mc_global/INFO] Actor 4 in simcall MUTEX_ASYNC_LOCK(mutex: 0, owner: 2) -[0.000000] [mc_Session/INFO] You can debug the problem (and see the whole details) by rerunning out of simgrid-mc with --cfg=model-check/replay:'2;2;2;2;3;3;3;2;3;4;4;4;3;4;4' -[0.000000] [mc_bfs/INFO] BFS exploration ended. 517 unique states visited; 30 explored traces (399 transition replays, 916 states visited overall) +[0.000000] /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/src/mc/remote/Channel.cpp:68: [root/CRITICAL] Channel::receive failure: Connection reset by peer +Backtrace (displayed in actor maestro): +(backtrace not set -- did you install Boost.Stacktrace?) Test suite `philosophers_semaphores_deadlock.tesh': NOK (<philosophers_semaphores_deadlock.tesh:35> output mismatch) In addition, <philosophers_semaphores_deadlock.tesh:35> got signal SIGIOT.
Standard Output
Ignore all cruft seen on SimGrid's continuous integration servers Test suite '/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/teshsuite/mc/mcmini/philosophers_semaphores_deadlock.tesh' [Tesh/INFO] setenv libdir=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib [Tesh/INFO] setenv bindir=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc [philosophers_semaphores_deadlock.tesh:5] /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/../../bin/simgrid-mc --cfg=model-check/setenv:LD_PRELOAD=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib/libsthread.so /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/mcmini/mcmini-philosophers_semaphores_deadlock 3 0 Output of <philosophers_semaphores_deadlock.tesh:5> mismatch: --- expected +++ obtained @@ -1,27 +1,3 @@ -[0.000000] [mc_dfs/INFO] Start a DFS exploration. Reduction is: dpor. -[0.000000] [mc_global/INFO] ************************** -[0.000000] [mc_global/INFO] *** DEADLOCK DETECTED *** -[0.000000] [mc_global/INFO] ************************** -[0.000000] [ker_engine/INFO] 4 actors are still active, awaiting something. Here is their status: -[0.000000] [ker_engine/INFO] - pid 1 (main thread@Lilibeth) simcall ActorJoin(pid:2) -[0.000000] [ker_engine/INFO] - pid 2 (thread 1@Lilibeth) simcall MUTEX_WAIT(mutex_id:1 owner:3) -[0.000000] [ker_engine/INFO] - pid 3 (thread 2@Lilibeth) simcall MUTEX_WAIT(mutex_id:2 owner:4) -[0.000000] [ker_engine/INFO] - pid 4 (thread 3@Lilibeth) simcall MUTEX_WAIT(mutex_id:0 owner:2) -[0.000000] [mc_global/INFO] Counter-example execution trace: -[0.000000] [mc_global/INFO] Actor 2 in simcall SEM_ASYNC_LOCK(semaphore: 0, capacity: 2) -[0.000000] [mc_global/INFO] Actor 2 in simcall SEM_WAIT(semaphore: 0, capacity: 2, granted: yes) -[0.000000] [mc_global/INFO] Actor 2 in simcall MUTEX_ASYNC_LOCK(mutex: 0, owner: 2) -[0.000000] [mc_global/INFO] Actor 2 in simcall MUTEX_WAIT(mutex: 0, owner: 2) -[0.000000] [mc_global/INFO] Actor 3 in simcall SEM_ASYNC_LOCK(semaphore: 0, capacity: 1) -[0.000000] [mc_global/INFO] Actor 3 in simcall SEM_WAIT(semaphore: 0, capacity: 1, granted: yes) -[0.000000] [mc_global/INFO] Actor 3 in simcall MUTEX_ASYNC_LOCK(mutex: 1, owner: 3) -[0.000000] [mc_global/INFO] Actor 2 in simcall MUTEX_ASYNC_LOCK(mutex: 1, owner: 3) -[0.000000] [mc_global/INFO] Actor 3 in simcall MUTEX_WAIT(mutex: 1, owner: 3) -[0.000000] [mc_global/INFO] Actor 4 in simcall SEM_ASYNC_LOCK(semaphore: 0, capacity: 0) -[0.000000] [mc_global/INFO] Actor 4 in simcall SEM_WAIT(semaphore: 0, capacity: 0, granted: yes) -[0.000000] [mc_global/INFO] Actor 4 in simcall MUTEX_ASYNC_LOCK(mutex: 2, owner: 4) -[0.000000] [mc_global/INFO] Actor 3 in simcall MUTEX_ASYNC_LOCK(mutex: 2, owner: 4) -[0.000000] [mc_global/INFO] Actor 4 in simcall MUTEX_WAIT(mutex: 2, owner: 4) -[0.000000] [mc_global/INFO] Actor 4 in simcall MUTEX_ASYNC_LOCK(mutex: 0, owner: 2) -[0.000000] [mc_Session/INFO] You can debug the problem (and see the whole details) by rerunning out of simgrid-mc with --cfg=model-check/replay:'2;2;2;2;3;3;3;2;3;4;4;4;3;4;4' -[0.000000] [mc_dfs/INFO] DFS exploration ended. 517 unique states visited; 30 explored traces (399 transition replays, 916 states visited overall) +[0.000000] /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/src/mc/remote/Channel.cpp:68: [root/CRITICAL] Channel::receive failure: Connection reset by peer +Backtrace (displayed in actor maestro): +(backtrace not set -- did you install Boost.Stacktrace?) Test suite `philosophers_semaphores_deadlock.tesh': NOK (<philosophers_semaphores_deadlock.tesh:5> output mismatch) In addition, <philosophers_semaphores_deadlock.tesh:5> got signal SIGIOT. [philosophers_semaphores_deadlock.tesh:35] /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/../../bin/simgrid-mc --cfg=model-check/exploration-algo:BFS --cfg=model-check/setenv:LD_PRELOAD=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib/libsthread.so /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/mcmini/mcmini-philosophers_semaphores_deadlock 3 0 Output of <philosophers_semaphores_deadlock.tesh:35> mismatch: --- expected +++ obtained @@ -1,28 +1,4 @@ [0.000000] [xbt_cfg/INFO] Configuration change: Set 'model-check/exploration-algo' to 'BFS' -[0.000000] [mc_bfs/INFO] Start a BFS exploration. Reduction is: dpor. -[0.000000] [mc_global/INFO] ************************** -[0.000000] [mc_global/INFO] *** DEADLOCK DETECTED *** -[0.000000] [mc_global/INFO] ************************** -[0.000000] [ker_engine/INFO] 4 actors are still active, awaiting something. Here is their status: -[0.000000] [ker_engine/INFO] - pid 1 (main thread@Lilibeth) simcall ActorJoin(pid:2) -[0.000000] [ker_engine/INFO] - pid 2 (thread 1@Lilibeth) simcall MUTEX_WAIT(mutex_id:1 owner:3) -[0.000000] -[0.000000 [ker_engine/INFO] - pid 3 (thread 2@Lilibeth) simcall MUTEX_WAIT(mutex_id:2 owner:4) -[0.000000] [ker_engine/INFO] - pid 4 (thread 3@Lilibeth) simcall MUTEX_WAIT(mutex_id:0 owner:2) -[0.000000] [mc_global/INFO] Counter-example execution trace: -[0.000000] [mc_global/INFO] Actor 2 in simcall SEM_ASYNC_LOCK(semaphore: 0, capacity: 2) -[0.000000] [mc_global/INFO] Actor 2 in simcall SEM_WAIT(semaphore: 0, capacity: 2, granted: yes) -[0.000000] [mc_global/INFO] Actor 2 in simcall MUTEX_ASYNC_LOCK(mutex: 0, owner: 2) -[0.000000] [mc_global/INFO] Actor 2 in simcall MUTEX_WAIT(mutex: 0, owner: 2) -[0.000000] [mc_global/INFO] Actor 3 in simcall SEM_ASYNC_LOCK(semaphore: 0, capacity: 1) -[0.000000] [mc_global/INFO] Actor 3 in simcall SEM_WAIT(semaphore: 0, capacity: 1, granted: yes) -[0.000000] [mc_global/INFO] Actor 3 in simcall MUTEX_ASYNC_LOCK(mutex: 1, owner: 3) -[0.000000] [mc_global/INFO] Actor 2 in simcall MUTEX_ASYNC_LOCK(mutex: 1, owner: 3) -[0.000000] [mc_global/INFO] Actor 3 in simcall MUTEX_WAIT(mutex: 1, owner: 3) -[0.000000] [mc_global/INFO] Actor 4 in simcall SEM_ASYNC_LOCK(semaphore: 0, capacity: 0) -[0.000000] [mc_global/INFO] Actor 4 in simcall SEM_WAIT(semaphore: 0, capacity: 0, granted: yes) -[0.000000] [mc_global/INFO] Actor 4 in simcall MUTEX_ASYNC_LOCK(mutex: 2, owner: 4) -[0.000000] [mc_global/INFO] Actor 3 in simcall MUTEX_ASYNC_LOCK(mutex: 2, owner: 4) -[0.000000] [mc_global/INFO] Actor 4 in simcall MUTEX_WAIT(mutex: 2, owner: 4) -[0.000000] [mc_global/INFO] Actor 4 in simcall MUTEX_ASYNC_LOCK(mutex: 0, owner: 2) -[0.000000] [mc_Session/INFO] You can debug the problem (and see the whole details) by rerunning out of simgrid-mc with --cfg=model-check/replay:'2;2;2;2;3;3;3;2;3;4;4;4;3;4;4' -[0.000000] [mc_bfs/INFO] BFS exploration ended. 517 unique states visited; 30 explored traces (399 transition replays, 916 states visited overall) +[0.000000] /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/src/mc/remote/Channel.cpp:68: [root/CRITICAL] Channel::receive failure: Connection reset by peer +Backtrace (displayed in actor maestro): +(backtrace not set -- did you install Boost.Stacktrace?) Test suite `philosophers_semaphores_deadlock.tesh': NOK (<philosophers_semaphores_deadlock.tesh:35> output mismatch) In addition, <philosophers_semaphores_deadlock.tesh:35> got signal SIGIOT.