mc: add deadlock detection using bitstate hashing

This algorithm uses a concurrent Bloom filter, implemented in Spot.

* spot/mc/Makefile.am,
spot/mc/deadlock_bitstate.hh: implementation here
9 jobs for ta/bitstate in 46 minutes and 5 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
failed #90345
alpine-gcc

00:15:12

failed #90346
arch-clang

00:11:13

failed #90347
arch-gcc-glibcxxdebug

00:46:04

failed #90344
allowed to fail
debian-gcc-snapshot

00:06:56

failed #90342
debian-stable-gcc

00:07:32

failed #90343
debian-unstable-gcc-coverage

00:05:48

failed #90348
mingw-shared

00:07:03

failed #90349
mingw-static

00:05:33

failed #90350
armv7
raspbian

00:16:32

 
Name Stage Failure
failed
arch-gcc-glibcxxdebug Build
make[2]: Leaving directory '/builds/spot/spot/spot-2.8.2.dev/_build/sub'
make[1]: Leaving directory '/builds/spot/spot/spot-2.8.2.dev/_build/sub'
make[1]: *** [Makefile:1211: all] Error 2
make: *** [Makefile:1512: distcheck] Error 1
Uploading artifacts...
WARNING: ./spot-*/_build/sub/tests/*/*.log: no matching files
./*.log: found 1 matching files

Uploading artifacts to coordinator... ok
id=90347 responseStatus=201 Created token=3jGi3tWu
ERROR: Job failed: exit code 1
failed
raspbian Build
make[1]: Leaving directory '/mnt/data/gitlab-runner/builds/o5DHHxgA/0/spot/spot'
make: *** [Makefile:1212: all] Error 2
Uploading artifacts...
Runtime platform arch=arm os=linux pid=21527 revision=a987417a version=12.2.0
WARNING: ./spot-*/_build/sub/tests/*/*.log: no matching files
./*.log: found 1 matching files

WARNING: ./*.tar.gz: no matching files
Uploading artifacts to coordinator... ok
id=90350 responseStatus=201 Created token=CjMor-Aw
ERROR: Job failed: exit status 1
failed
alpine-gcc Build
make[2]: Leaving directory '/builds/spot/spot/spot'
make[1]: *** [Makefile:1292: all-recursive] Error 1
make[1]: Leaving directory '/builds/spot/spot'
make: *** [Makefile:1212: all] Error 2
Uploading artifacts...
WARNING: tests/*/*.log: no matching files
./*.log: found 1 matching files

Uploading artifacts to coordinator... ok
id=90345 responseStatus=201 Created token=sq314mjW
ERROR: Job failed: exit code 1
failed
arch-clang Build
make[1]: *** [Makefile:1291: all-recursive] Error 1
make: *** [Makefile:1211: all] Error 2
Running after_script
Uploading artifacts for failed job
Uploading artifacts...
WARNING: ./spot-*/_build/sub/tests/*/*.log: no matching files
./*.log: found 1 matching files

Uploading artifacts to coordinator... ok
id=90346 responseStatus=201 Created token=xD9UoLxx
ERROR: Job failed: exit code 1
failed
debian-stable-gcc Build
make: *** [Makefile:1212: all] Error 2
Running after_script
Uploading artifacts for failed job
Uploading artifacts...
WARNING: ./spot-*/_build/sub/tests/*/*.log: no matching files
./*.log: found 1 matching files

WARNING: ./*.tar.gz: no matching files
Uploading artifacts to coordinator... ok
id=90342 responseStatus=201 Created token=1k5zGsy4
ERROR: Job failed: exit code 1
failed
mingw-shared Build
make[2]: *** [Makefile:1426: all-recursive] Error 1
make[1]: Leaving directory '/builds/spot/spot'
make[1]: *** [Makefile:1292: all-recursive] Error 1
make: *** [Makefile:1212: all] Error 2
Uploading artifacts...
WARNING: tests/*/*.log: no matching files
./*.log: found 1 matching files

Uploading artifacts to coordinator... ok
id=90348 responseStatus=201 Created token=1P1TkkRy
ERROR: Job failed: exit code 1
failed
debian-gcc-snapshot Build
Uploading artifacts for failed job
Uploading artifacts...
WARNING: ./spot-*/_build/sub/tests/*/*.log: no matching files
./*.log: found 1 matching files

WARNING: doc/spot.html/: no matching files
WARNING: doc/userdoc/: no matching files
WARNING: ./*.tar.gz: no matching files
Uploading artifacts to coordinator... ok
id=90344 responseStatus=201 Created token=kz1z7sCQ
ERROR: Job failed: exit code 1
failed
debian-unstable-gcc-coverage Build
WARNING: tests/*/*.log: no matching files          
./*.log: found 1 matching files

WARNING: doc/spot.html/: no matching files
WARNING: doc/userdoc/: no matching files
WARNING: coverage/: no matching files
WARNING: ./*.tar.gz: no matching files
WARNING: spot2.info: no matching files
Uploading artifacts to coordinator... ok
id=90343 responseStatus=201 Created token=nFoytMgX
ERROR: Job failed: exit code 1
failed
mingw-static Build
make[1]: Leaving directory '/builds/spot/spot'
make[1]: *** [Makefile:1292: all-recursive] Error 1
make: *** [Makefile:1212: all] Error 2
Uploading artifacts...
WARNING: tests/*/*.log: no matching files
./*.log: found 1 matching files

WARNING: ./*.tar.gz: no matching files
Uploading artifacts to coordinator... ok
id=90349 responseStatus=201 Created token=rDed4hkV
ERROR: Job failed: exit code 1