kozyraki / stamp Goto Github PK

I've recently used the benchmark suite in a scientific work and for this I ran the labyrinth benchmark in the configurations given in the original STAMP paper [0], using the tl2 framework.
I found that the labyrinth application sometimes yields incorrect results, causing the program to crash:

[felix@python]: ./labyrinth -t 4 -i inputs/random-x32-y32-z3-n96.txt
TL2 system ready: GV=GV4
Maze dimensions = 32 x 32 x 3
Paths to route  = 96
Paths routed    = 60
Elapsed time    = 0.008575 seconds
labyrinth: labyrinth.c:248: main: Assertion `status == TRUE' failed.
[1]    21897 abort (core dumped)  ./labyrinth -t 4 -i inputs/random-x32-y32-z3-n96.txt

Is this a known issue? Unfortunately, I have not been able to allocate time to trace the bug, but I wanted to let others know that this exists, so that others won't be surprised by this.

[0] Minh, Chi Cao, et al. "STAMP: Stanford transactional applications for multi-processing." 2008 IEEE International Symposium on Workload Characterization. IEEE, 2008.

I have found that the intruder application sometimes crashes unexpectedly while running the benchmark itself. The issue seems to be rooted within or closely related to a transaction as the memory management error only happens sporadically. To reproduce it for this issue I ran the intruder++ set in a loop. The output is not very telling, sadly:

TL2 system ready: GV=GV4
Percent attack  = 10
Max data length = 128
Num flow        = 262144
Random seed     = 1
Num attack      = 29395
Segmentation fault
reproduce_crash.sh: line 7: 23396 Aborted                 (core dumped) ./intruder -t8 -a10 -l128 -n262144 -s1

Hello all,

I am running into an assertion error when I run the labryrinth benchmark with the input file recommended for simulated runs:

./labyrinth -i inputs/random-x32-y32-z3-n96.txt
labyrinth: maze.c:224: maze_read: Assertion `status == TRUE' failed.
Aborted (core dumped)

Haven't gone through the source code in detail, but it looks like the list insertion isn't happening correctly.

Note that this is the sequential flavor of labyrinth which has been built via

make -f Makefile.seq