Merge branch 'main' into ebclfsa_integration_demo

Author: opajonk

.bazelrc

@@ -12,19 +12,40 @@
 # *******************************************************************************
 
 # use mw/log stub implementation by default
-common --@score-baselibs//score/mw/log/detail/flags:KUse_Stub_Implementation_Only=False
-common --@score-baselibs//score/mw/log/flags:KRemote_Logging=False
-common --@score-baselibs//score/json:base_library=nlohmann
+common --@score_baselibs//score/mw/log/detail/flags:KUse_Stub_Implementation_Only=False
+common --@score_baselibs//score/mw/log/flags:KRemote_Logging=False
+common --@score_baselibs//score/json:base_library=nlohmann
 common --//score/mw/com/flags:tracing_library=stub
 common --extra_toolchains=@gcc_toolchain//:aarch64_gcc_13
 build --incompatible_strict_action_env
-test --test_tag_filters=-manual
+test --test_output=errors
+build --experimental_retain_test_configuration_across_testonly #https://github.com/bazelbuild/bazel/issues/6842
 
 # unshare /dev/shm and /tmp
 test --sandbox_tmpfs_path=/dev/shm
 test --sandbox_tmpfs_path=/tmp
 
+# Tests require to be run in a sandbox. Otherwise some will be flaky.
+test --nosandbox_default_allow_network
+
 build:aarch64 --platforms=@score_toolchains_gcc//platforms:aarch64-linux
 
 common --registry=https://raw.githubusercontent.com/eclipse-score/bazel_registry/refs/heads/main/
 common --registry=https://bcr.bazel.build
+
+# With this instrumentation filter for our two main components, we ensure that `bazel coverage //...` is yielding the correct results
+coverage --instrumentation_filter="^//score/message_passing[/:],^//score/mw/com[/:],-//score/mw/com/performance_benchmarks[/:],-//score/mw/.*/test[/:]".
+coverage --experimental_generate_llvm_lcov
+coverage --experimental_use_llvm_covmap
+coverage --combined_report=lcov
+coverage --coverage_report_generator=@bazel_tools//tools/test/CoverageOutputGenerator/java/com/google/devtools/coverageoutputgenerator:Main
+coverage --extra_toolchains=@llvm_toolchain//:cc-toolchain-x86_64-linux
+coverage --test_env=COVERAGE_GCOV_OPTIONS=-bcu
+# TODO set toolchain feature once possible
+# These compile time options are required to cover abnormal termination cases. In GCC one can use `__gcc_dump()`, but this does not work with LLVM
+# LLVM provided these compile-time options in combination with a specific profile setting which is enabled in bazel via `LLVM_PROFILE_CONTINUOUS_MODE`
+coverage --test_env=LLVM_PROFILE_CONTINUOUS_MODE=1
+coverage --cxxopt -mllvm
+coverage --cxxopt -runtime-counter-relocation
+
+import quality/sanitizer/sanitizer.bazelrc

.clang-format

@@ -0,0 +1,50 @@
+---
+BasedOnStyle: Google
+AccessModifierOffset: -2
+AllowAllParametersOfDeclarationOnNextLine: false
+AllowShortBlocksOnASingleLine: Empty
+AllowShortCaseLabelsOnASingleLine: false
+AllowShortEnumsOnASingleLine: false
+# Empty is required in AllowShortFunctionsOnASingleLine over Inline because Inline contradicts with AUTOSAR rule A7-1-7
+# Such rule is no longer existing in MISRA C++:2023, once we are fully migrated to MISRA C++:2023, switching to Inline
+# could be reconsidered
+AllowShortFunctionsOnASingleLine: Empty
+AllowShortIfStatementsOnASingleLine: Never
+AllowShortLambdasOnASingleLine: Empty
+AllowShortLoopsOnASingleLine: false
+BinPackArguments: false
+BinPackParameters: false
+BraceWrapping:
+  AfterCaseLabel: true
+  AfterClass: true
+  AfterControlStatement: Always
+  AfterEnum: true
+  AfterFunction: true
+  AfterNamespace: true
+  AfterObjCDeclaration: true
+  AfterStruct: true
+  AfterUnion: true
+  BeforeCatch: true
+  BeforeElse: true
+  IndentBraces: false
+BreakBeforeBraces: Custom
+ColumnLimit: 120
+DerivePointerAlignment: false
+IncludeBlocks: Preserve
+IncludeCategories:
+  - Regex: '^(<|")(assert|complex|ctype|errno|fenv|float|inttypes|iso646|limits|locale|math|setjmp|signal|stdalign|stdargh|stdatomic|stdbool|stddef|stdint|stdio|stdlib|stdnoreturn|string|tgmath|threads|time|uchar|wchar|wctype)\.h(>|")$'
+    Priority: 2
+  - Regex: '^(<|")(cstdlib|csignal|csetjmp|cstdarg|typeinfo|typeindex|type_traits|bitset|functional|utility|ctime|chrono|cstddef|initializer_list|tuple|any|optional|variant|new|memory|scoped_allocator|memory_resource|climits|cfloat|cstdint|cinttypes|limits|exception|stdexcept|cassert|system_error|cerrno|cctype|cwctype|cstring|cwchar|cuchar|string|string_view|array|vector|deque|list|forward_list|set|map|unordered_set|unordered_map|stack|queue|algorithm|execution|teratorslibrary|iterator|cmath|complex|valarray|random|numeric|ratio|cfenv|iosfwd|ios|istream|ostream|iostream|fstream|sstream|strstream|iomanip|streambuf|cstdio|locale|clocale|codecvt|regex|atomic|thread|mutex|shared_mutex|future|condition_variable|filesystem|ciso646|ccomplex|ctgmath|cstdalign|cstdbool)(>|")$'
+    Priority: 3
+  - Regex: '^(<|").*(>|")$'
+    Priority: 1
+IndentWidth: 4
+InsertNewlineAtEOF: true
+KeepEmptyLinesAtTheStartOfBlocks: true
+QualifierAlignment: Left
+CommentPragmas: '^.*A2Lfactory:'
+---
+# Make sure language specific settings are below the generic settings to be compatible to all languages.
+Language: Cpp
+Standard: c++17
+...

.devcontainer/alt_container_docker_on_windows/devcontainer.json

@@ -1,5 +1,7 @@
 {
     "name": "eclipse-s-core",
     "image": "ghcr.io/eclipse-score/devcontainer:latest",
-    "postStartCommand": "ssh-keygen -f '/home/vscode/.ssh/known_hosts' -R '[localhost]:2222' || true"
+    "runArgs": [
+        "--privileged"
+    ]
 }

.devcontainer/devcontainer.json

@@ -22,7 +22,8 @@ on:
     types: [checks_requested]
 jobs:
     build_and_test_gcc_host_gcc12:
-      runs-on: ubuntu-24.04
+      # Starting with Ubuntu 24.04 apparmor breaks Bazels linux-sandbox: https://github.com/bazelbuild/bazel/issues/24081
+      runs-on: ubuntu-22.04
       steps:
         - uses: bazel-contrib/[email protected]
           with:

.github/workflows/build_and_test_host_gcc.yml

@@ -1,6 +1,7 @@
 bazel-*
 MODULE.bazel.lock
 user.bazelrc
+.clwb_aspects
 
 # Compilation databases for code completion in IDEs
 .cache/*

.gitignore

@@ -10,3 +10,23 @@
 #
 # SPDX-License-Identifier: Apache-2.0
 # *******************************************************************************
+
+load("@aspect_rules_lint//format:defs.bzl", "format_multirun", "format_test")
+
+exports_files([
+    "wait_free_stack_fix.patch",
+])
+
+format_multirun(
+    name = "format",
+    cc = "@clang_format//:executable",
+    starlark = "@buildifier_prebuilt//:buildifier",
+)
+
+format_test(
+    name = "format_test",
+    cc = "@clang_format//:executable",
+    no_sandbox = True,
+    starlark = "@buildifier_prebuilt//:buildifier",
+    workspace = "//:LICENSE",
+)

BUILD

@@ -1,5 +1,5 @@
 # *******************************************************************************
-# Copyright (c) 2024 Contributors to the Eclipse Foundation
+# Copyright (c) 2024-2025 Contributors to the Eclipse Foundation
 #
 # See the NOTICE file(s) distributed with this work for additional
 # information regarding copyright ownership.
@@ -12,7 +12,6 @@
 # *******************************************************************************
 module(name = "communication")
 
-
 bazel_dep(name = "platforms", version = "0.0.11")
 bazel_dep(name = "score_toolchains_gcc", version = "0.4", dev_dependency=True)
 git_override(
@@ -21,7 +20,11 @@ git_override(
    commit = "fb009e490b9b8f28805d587f50d0bf6d885f3414",
 )
 
-gcc = use_extension("@score_toolchains_gcc//extentions:gcc.bzl", "gcc", dev_dependency=True)
+gcc = use_extension(
+    "@score_toolchains_gcc//extentions:gcc.bzl",
+    "gcc",
+    dev_dependency = True,
+)
 gcc.toolchain(
     url = "https://linux.elektrobit.com/tmp/score/fastdev-sdk-ubuntu-ebcl-deb-qemu-arm64.tar.xz",
     sha256 = "cf8d277a2b95bbdad3e177c488fa77d01723510690a911218ef33747574d78fe",
@@ -36,66 +39,134 @@ gcc.extra_features(
     ],
 )
 gcc.warning_flags(
-    minimal_warnings = ["-Wall", "-Wno-error=deprecated-declarations"],
-    strict_warnings = ["-Wextra", "-Wpedantic"],
+    minimal_warnings = [
+        "-Wall",
+        "-Wno-error=deprecated-declarations",
+    ],
+    strict_warnings = [
+        "-Wextra",
+        "-Wpedantic",
+    ],
     treat_warnings_as_errors = ["-Werror"],
 )
-
 use_repo(gcc, "gcc_toolchain", "gcc_toolchain_gcc")
 
-bazel_dep(name = "googletest", version = "1.15.0")
-bazel_dep(name = "google_benchmark", version = "1.9.1")
-
-bazel_dep(name = "rules_rust", version = "0.61.0")
-
-crate = use_extension("@rules_rust//crate_universe:extensions.bzl", "crate")
+bazel_dep(name = "toolchains_llvm", version = "1.5.0", dev_dependency = True)
 
-crate.spec(package = "futures", version = "0.3.31")
-crate.spec(package = "libc", version = "0.2.155")
-crate.spec(package = "clap", version = "4.5.4", features = ["derive"])
+llvm = use_extension(
+    "@toolchains_llvm//toolchain/extensions:llvm.bzl",
+    "llvm",
+    dev_dependency = True,
+)
+llvm.toolchain(
+    compile_flags = {"": [
+        "-march=nehalem",
+        "-ffp-model=strict",
+        # Security
+        "-U_FORTIFY_SOURCE",  # https://github.com/google/sanitizers/issues/247
+        "-fstack-protector",
+        "-fno-omit-frame-pointer",
+        # Diagnostics
+        "-fcolor-diagnostics",
+        "-Wno-deprecated-declarations",
+        "-Wno-error=self-assign-overloaded",
+        "-Wthread-safety",
+    ]},
+    cxx_standard = {"": "c++17"},
+    link_libs = {"": [
+        "-lrt",
+    ]},
+    llvm_version = "16.0.0",
+    stdlib = {"": "dynamic-stdc++"},
+)
+use_repo(llvm, "llvm_toolchain")
 
-crate.from_specs(name = "crate_index")
-use_repo(crate, "crate_index")
+# We use here a pre-compiled fully static and hermetic clang_format binary
+# and not the one provided by llvm_toolchain, because the one from llvm_toolchain is not fully hermetic (and different version for now)
+download_file = use_repo_rule("@download_utils//download/file:defs.bzl", "download_file")
 
-bazel_dep(name = "rules_boost", repo_name = "com_github_nelhage_rules_boost")
-archive_override(
-    module_name = "rules_boost",
-    urls = ["https://github.com/nelhage/rules_boost/archive/refs/heads/master.tar.gz"],
-    strip_prefix = "rules_boost-master",
+download_file(
+    name = "clang_format",
+    executable = True,
+    output = "executable",
+    urls = ["https://github.com/muttleyxd/clang-tools-static-binaries/releases/download/master-2da3e7b/clang-format-19_linux-amd64"],
 )
-bazel_dep(name = "boost.program_options", version = "1.87.0")
-
 
+bazel_dep(name = "aspect_rules_lint", version = "1.10.2")
+bazel_dep(name = "googletest", version = "1.15.0")
+bazel_dep(name = "google_benchmark", version = "1.9.1")
+bazel_dep(name = "rules_rust", version = "0.61.0")
+bazel_dep(name = "buildifier_prebuilt", version = "6.3.3")
+bazel_dep(name = "score_crates", version = "0.0.2", repo_name = "crate_index")
+bazel_dep(name = "boost.program_options", version = "1.87.0")
 bazel_dep(name = "download_utils", version = "1.0.1")
+
 download_archive = use_repo_rule("@download_utils//download/archive:defs.bzl", "download_archive")
+
 download_archive(
     name = "json_schema_validator",
-    urls = ["https://github.com/pboettch/json-schema-validator/archive/refs/tags/2.1.0.tar.gz"],
     build = "//third_party/json_schema_validator:json_schema_validator.BUILD",
     strip_prefix = "json-schema-validator-2.1.0",
+    urls = ["https://github.com/pboettch/json-schema-validator/archive/refs/tags/2.1.0.tar.gz"],
+)
+
+download_archive(
+    name = "jsonschema",
+    build = "//third_party/jsonschema:jsonschema.BUILD",
+    strip_prefix = "jsonschema-4.23.0",
+    urls = ["https://github.com/python-jsonschema/jsonschema/archive/refs/tags/v4.23.0.tar.gz"],
 )
 
 bazel_dep(name = "nlohmann_json", version = "3.11.3")
 bazel_dep(name = "bazel_skylib", version = "1.7.1")
-
-bazel_dep(name = "score-baselibs", version = "0.0.0")
+bazel_dep(name = "rules_doxygen", version = "2.5.0")
+bazel_dep(name = "score_baselibs", version = "0.2.0")
 git_override(
-    module_name = "score-baselibs",
+    module_name = "score_baselibs",
+    commit = "e9dc2036cbdee3dce0ce51543eb34ea405326f7c",
+    patch_strip = 1,
+    patches = [
+        "//:wait_free_stack_fix.patch",
+    ],
     remote = "https://github.com/Elektrobit/eclipse-score_baselibs.git",
-    commit = "8fad3bceb53dc5d6120cc190b51b8b04a3f8d31f",
 )
 
-# Python 3.12 toolchain for Bazel
+# Doxygen extension for documentation generation
+doxygen_extension = use_extension("@rules_doxygen//:extensions.bzl", "doxygen_extension")
+use_repo(doxygen_extension, "doxygen")
+
+# Python 3.12 toolchain for Bazel (required for LOBSTER/TRLC dependencies)
 bazel_dep(name = "rules_python", version = "0.32.0")
+
 python = use_extension("@rules_python//python/extensions:python.bzl", "python")
 python.toolchain(
     python_version = "3.12",
 )
 
+# Python pip dependencies for traceability tools
+pip = use_extension("@rules_python//python/extensions:pip.bzl", "pip")
+pip.parse(
+    hub_name = "communication_pip",
+    python_version = "3.12",
+    requirements_lock = "//third_party/python:requirements.txt",
+)
+use_repo(pip, "communication_pip")
+
 # TRLC dependency for requirements traceability
 bazel_dep(name = "trlc", version = "0.0.0")
 git_override(
     module_name = "trlc",
-    remote = "https://github.com/bmw-software-engineering/trlc.git",
     commit = "650b51a47264a4f232b3341f473527710fc32669",  # trlc-2.0.2 release
+    remote = "https://github.com/bmw-software-engineering/trlc.git",
+)
+
+lobster_ext = use_extension("//third_party/lobster:lobster.bzl", "lobster_ext")
+use_repo(lobster_ext, "lobster")
+
+# Use lobster's upstream requirements.txt directly for this module's Python hub
+pip.parse(
+    hub_name = "lobster_dependencies",
+    python_version = "3.12",
+    requirements_lock = "@lobster//:requirements.txt",
 )
+use_repo(pip, "lobster_dependencies")