mirror of
https://github.com/XRPLF/rippled.git
synced 2026-09-26 23:19:07 +00:00
a91b2f4e25
tsan.supp turned lock-order checking off wholesale: deadlock:pthread_create, deadlock:pthread_rwlock_rdlock and deadlock:boost::asio name locking primitives rather than source files, so between them they covered every std::shared_mutex read lock and any inversion reached through a strand or a thread start, and detect_deadlocks defaults to true. Seven more named source files, among them ValidatorList.cpp, ValidatorSite.cpp and Manifest.cpp. Drop all ten, because the job cannot fail a build, so a suppression here costs a finding and buys nothing. The Manifest.cpp line alone was hiding a two-thread deadlock between ManifestCache::save() and the validator list, which a run without it reported 52 times on the shutdown path. Also repoint eight patterns at files that moved into libxrpl and the gtest tree, and empty sanitizer-ignorelist.txt of 24 entries that never matched anything, either through suppression syntax a clang ignorelist never consults or through a glob with no leading star. Both rules are now written down in docs/build/sanitizers.md. Add ubuntu-clang-debug-amd64-tsan to the Linux matrix, in a config of its own so TSan stays on clang and Debug, and give the matrix a third tier so it runs at night rather than on every labelled pull request. A Linux config may now declare "extended", which holds it out of both the minimal and the full matrix; generate.py emits those configs only for --extended, which the workflow passes on a schedule or a manual run. The name says which matrix a config belongs to, like "minimal", rather than naming a trigger, because the trigger set already grew from the schedule to manual runs and a config property outlives that. It avoids "maximal", which reads as a synonym for the full matrix it is meant to be larger than. It is a whole hour of runner time, which is too much to spend per pull request, and it reports nothing back anyway, because the workflow appends exitcode=0 to TSAN_OPTIONS. That belongs in the workflow rather than in runtime-tsan-options.txt, which the documented local command also reads and which must keep failing on a finding. Cap the test jobs at 4 under TSan, which is measured rather than chosen. One per core is 30 on the current runner and twice starved it until it lost contact with the server; 12 was killed by the OOM killer with code 137 before a single suite finished; 4 completes the suite. The machine has 32 cores and no swap, so nothing absorbs the peak, and the runner is one pod among several on a node, so the ceiling is not ours alone. Check that a build carries the instrumentation it asked for, by the __asan, __tsan and __ubsan symbols in the binary, since instrumented code references its runtime however that runtime is linked. The version string is checked too, but cannot stand alone, because cmake sets the SANITIZERS macro separately from the flags. Widen the voidstar step for this rather than add a second one, and add ASAN_ENABLED, TSAN_ENABLED and UBSAN_ENABLED so a step needing one sanitizer does not parse the list. Define XRPL_ASAN, XRPL_TSAN and XRPL_UBSAN so a test can skip when its sanitizer is inactive, and drop the -Dcoverage_test_parallelism example from BUILD.md, which neither cmake nor conanfile.py defines.
118 lines
2.9 KiB
JSON
118 lines
2.9 KiB
JSON
{
|
|
"image_tag": "sha-060957e",
|
|
"configs": {
|
|
"ubuntu": [
|
|
{
|
|
"compiler": ["gcc"],
|
|
"build_type": ["Debug"],
|
|
"arch": ["amd64"],
|
|
"minimal": true,
|
|
"suffix": "coverage",
|
|
"extra_cmake_args": "-DUNIT_TEST_REFERENCE_FEE=500 -Dcoverage=ON -Dcoverage_format=xml -DCODE_COVERAGE_VERBOSE=ON -DCMAKE_C_FLAGS=-O0 -DCMAKE_CXX_FLAGS=-O0"
|
|
},
|
|
{
|
|
"compiler": ["clang"],
|
|
"build_type": ["Release"],
|
|
"arch": ["amd64"],
|
|
"minimal": true,
|
|
"benchmark": true
|
|
},
|
|
|
|
{
|
|
"compiler": ["gcc"],
|
|
"build_type": ["Release"],
|
|
"arch": ["amd64"],
|
|
"minimal": false
|
|
},
|
|
{
|
|
"compiler": ["gcc", "clang"],
|
|
"build_type": ["Debug", "Release"],
|
|
"arch": ["arm64"],
|
|
"minimal": false
|
|
},
|
|
|
|
{
|
|
"compiler": ["gcc", "clang"],
|
|
"build_type": ["Debug", "Release"],
|
|
"arch": ["amd64"],
|
|
"minimal": false,
|
|
"sanitizers": ["address", "undefinedbehavior"]
|
|
},
|
|
{
|
|
"compiler": ["clang"],
|
|
"build_type": ["Debug"],
|
|
"arch": ["amd64"],
|
|
"minimal": false,
|
|
"extended": true,
|
|
"sanitizers": ["thread"]
|
|
},
|
|
|
|
{
|
|
"compiler": ["clang"],
|
|
"build_type": ["Debug"],
|
|
"arch": ["amd64"],
|
|
"minimal": false,
|
|
"suffix": "voidstar",
|
|
"extra_cmake_args": "-Dvoidstar=ON"
|
|
},
|
|
{
|
|
"compiler": ["clang"],
|
|
"build_type": ["Release"],
|
|
"arch": ["amd64"],
|
|
"minimal": false,
|
|
"suffix": "reffee",
|
|
"extra_cmake_args": "-DUNIT_TEST_REFERENCE_FEE=1000"
|
|
},
|
|
{
|
|
"compiler": ["gcc"],
|
|
"build_type": ["Debug"],
|
|
"arch": ["amd64"],
|
|
"minimal": false,
|
|
"suffix": "unity",
|
|
"extra_cmake_args": "-Dunity=ON"
|
|
}
|
|
],
|
|
|
|
"debian": [
|
|
{
|
|
"compiler": ["gcc"],
|
|
"build_type": ["Release"],
|
|
"arch": ["amd64"],
|
|
"minimal": false,
|
|
"extra_cmake_args": "-Dvalidator_keys=ON",
|
|
"package": {
|
|
"type": "deb",
|
|
"image": "ghcr.io/xrplf/xrpld/packaging-debian:sha-49cdc10"
|
|
}
|
|
},
|
|
{
|
|
"compiler": ["gcc"],
|
|
"build_type": ["Release"],
|
|
"arch": ["amd64"],
|
|
"minimal": false,
|
|
"suffix": "assert",
|
|
"extra_cmake_args": "-Dvalidator_keys=ON -Dassert=ON",
|
|
"package": {
|
|
"type": "deb",
|
|
"image": "ghcr.io/xrplf/xrpld/packaging-debian:sha-49cdc10",
|
|
"variant": "assert"
|
|
}
|
|
}
|
|
],
|
|
|
|
"rhel": [
|
|
{
|
|
"compiler": ["gcc"],
|
|
"build_type": ["Release"],
|
|
"arch": ["amd64"],
|
|
"minimal": false,
|
|
"extra_cmake_args": "-Dvalidator_keys=ON",
|
|
"package": {
|
|
"type": "rpm",
|
|
"image": "ghcr.io/xrplf/xrpld/packaging-rhel:sha-49cdc10"
|
|
}
|
|
}
|
|
]
|
|
}
|
|
}
|