feat(maitake-sync): mutex-traits integration
#1375
Workflow file for this run
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: CI | |
| on: | |
| pull_request: | |
| workflow_dispatch: | |
| push: | |
| branches: ["main"] | |
| env: | |
| # disable incremental compilation. | |
| # | |
| # incremental compilation is useful as part of an edit-build-test-edit cycle, | |
| # as it lets the compiler avoid recompiling code that hasn't changed. however, | |
| # on CI, we're not making small edits; we're almost always building the entire | |
| # project from scratch. thus, incremental compilation on CI actually | |
| # introduces *additional* overhead to support making future builds | |
| # faster...but no future builds will ever occur in any given CI environment. | |
| # | |
| # see https://matklad.github.io/2021/09/04/fast-rust-builds.html#ci-workflow | |
| # for details. | |
| CARGO_INCREMENTAL: 0 | |
| # allow more retries for network requests in cargo (downloading crates) and | |
| # rustup (installing toolchains). this should help to reduce flaky CI failures | |
| # from transient network timeouts or other issues. | |
| CARGO_NET_RETRY: 10 | |
| RUSTUP_MAX_RETRIES: 10 | |
| # don't emit giant backtraces in the CI logs. | |
| RUST_BACKTRACE: short | |
| # loom config | |
| LOOM_LOG: "mycelium=trace,cordyceps=trace,maitake=trace,debug" | |
| jobs: | |
| changed_paths: | |
| continue-on-error: true # Uncomment once integration is finished | |
| runs-on: ubuntu-latest | |
| # Map a step output to a job output | |
| outputs: | |
| should_skip: ${{ steps.skip_check.outputs.should_skip }} | |
| paths_result: ${{ steps.skip_check.outputs.paths_result }} | |
| steps: | |
| - id: skip_check | |
| uses: fkirc/skip-duplicate-actions@master | |
| with: | |
| do_not_skip: '["workflow_dispatch", "push"]' | |
| paths_ignore: '["**/README.md"]' | |
| paths_filter: | | |
| cordyceps: | |
| paths: | |
| - 'cordyceps/**/*.rs' | |
| - 'cordyceps/Cargo.toml' | |
| - '.github/workflows/ci.yml' | |
| - 'justfile' | |
| util: | |
| paths: | |
| - 'util/**/*.rs' | |
| - 'util/Cargo.toml' | |
| - '.github/workflows/ci.yml' | |
| - 'justfile' | |
| maitake: | |
| paths: | |
| - 'maitake/**/*.rs' | |
| - 'maitake-sync/**/*.rs' | |
| - 'maitake-sync/Cargo.toml' | |
| - 'maitake/Cargo.toml' | |
| - '.github/workflows/ci.yml' | |
| - 'justfile' | |
| # run `cargo check` with the host target triple. | |
| check-host: | |
| name: cargo check (host) | |
| needs: changed_paths | |
| if: needs.changed_paths.outputs.should_skip != 'true' | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: install rust toolchain | |
| run: rustup show | |
| - uses: olix0r/cargo-action-fmt@ee1ef42932e44794821dab57ef1bf7a73df8b21f | |
| - uses: actions/checkout@v4 | |
| - name: run cargo check (debug) | |
| run: | | |
| cargo check \ | |
| --workspace \ | |
| --all-features \ | |
| --quiet \ | |
| --message-format=json | | |
| cargo-action-fmt | |
| - name: run cargo check (release) | |
| run: | | |
| cargo check \ | |
| --release \ | |
| --workspace \ | |
| --all-features \ | |
| --quiet \ | |
| --message-format=json | | |
| cargo-action-fmt | |
| # check code style with `rustfmt` | |
| rustfmt: | |
| needs: changed_paths | |
| if: needs.changed_paths.outputs.should_skip != 'true' | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: install rust toolchain | |
| run: rustup show | |
| - uses: actions/checkout@v4 | |
| - uses: olix0r/cargo-action-fmt@ee1ef42932e44794821dab57ef1bf7a73df8b21f | |
| - name: run rustfmt | |
| run: cargo fmt --check --message-format=json | cargo-action-fmt | |
| # are there any annoying clippy lints we ought to clean up? | |
| clippy: | |
| needs: changed_paths | |
| if: needs.changed_paths.outputs.should_skip != 'true' | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: install rust toolchain | |
| run: rustup show | |
| - uses: actions/checkout@v4 | |
| - name: install Just | |
| uses: extractions/setup-just@v1 | |
| env: | |
| GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
| - uses: olix0r/cargo-action-fmt@ee1ef42932e44794821dab57ef1bf7a73df8b21f | |
| - name: cargo clippy | |
| run: just clippy | |
| # run host tests | |
| # | |
| # many crates in mycelium have tests that run on the host platform and are | |
| # compiled with the host's target triple. this allows the tests to use the | |
| # Rust standard library, enabling the use of testing libraries like `proptest` | |
| # and `loom`. | |
| # | |
| # it's also faster to run these tests without building a kernel image and | |
| # spinning up a QEMU VM, so host tests are preferred for tests that doesn't | |
| # *need* to be tested in a mycelium VM. | |
| test-host: | |
| runs-on: ubuntu-latest | |
| name: cargo test (host) | |
| needs: changed_paths | |
| if: needs.changed_paths.outputs.should_skip != 'true' | |
| steps: | |
| - name: install rust toolchain | |
| run: rustup show | |
| - uses: actions/checkout@v4 | |
| - name: install Just | |
| uses: extractions/setup-just@v1 | |
| env: | |
| GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
| - name: install nextest | |
| uses: taiki-e/install-action@nextest | |
| - name: cargo nextest run | |
| run: just test-host | |
| # build a bootable image for the `x86_64-mycelium` target. | |
| build-x64: | |
| name: build boot image (x86_64) | |
| runs-on: ubuntu-latest | |
| needs: changed_paths | |
| if: needs.changed_paths.outputs.should_skip != 'true' | |
| steps: | |
| - name: install rust toolchain | |
| run: rustup show | |
| - uses: actions/checkout@v4 | |
| - name: x86_64 boot image | |
| run: cargo build-x64 | |
| # run kernel tests in QEMU for the `x86_64-mycelium` target. | |
| test-x64: | |
| name: cargo test (cross x64) | |
| runs-on: ubuntu-latest | |
| needs: changed_paths | |
| if: needs.changed_paths.outputs.should_skip != 'true' | |
| steps: | |
| - name: install rust toolchain | |
| run: rustup show | |
| - uses: actions/checkout@v4 | |
| # install QEMU | |
| - name: install qemu | |
| run: | | |
| sudo apt-get update | |
| sudo apt-get install qemu-system-x86 | |
| # run kernel tests in QEMU | |
| - name: run tests | |
| run: cargo test-x64 | |
| # check that RustDoc builds | |
| docs: | |
| needs: changed_paths | |
| if: needs.changed_paths.outputs.should_skip != 'true' | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: install rust toolchain | |
| run: rustup show | |
| - uses: actions/checkout@v4 | |
| - uses: olix0r/cargo-action-fmt@ee1ef42932e44794821dab57ef1bf7a73df8b21f | |
| - name: install Just | |
| uses: extractions/setup-just@v1 | |
| env: | |
| GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
| - name: run rustdoc | |
| run: just check-docs | |
| ### cordyceps ### | |
| # run loom tests | |
| cordyceps_loom: | |
| needs: changed_paths | |
| if: needs.changed_paths.outputs.should_skip != 'true' || !fromJSON(needs.changed_paths.outputs.paths_result).cordyceps.should_skip | |
| runs-on: ubuntu-latest | |
| name: Loom tests (cordyceps) | |
| steps: | |
| - name: install rust toolchain | |
| run: rustup show | |
| - uses: actions/checkout@v4 | |
| - name: install Just | |
| uses: extractions/setup-just@v1 | |
| env: | |
| GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
| - name: install nextest | |
| uses: taiki-e/install-action@nextest | |
| - name: run loom tests | |
| run: just loom cordyceps | |
| # run miri tests | |
| cordyceps_miri: | |
| needs: changed_paths | |
| if: needs.changed_paths.outputs.should_skip != 'true' || !fromJSON(needs.changed_paths.outputs.paths_result).cordyceps.should_skip | |
| runs-on: ubuntu-latest | |
| name: Miri tests (codyceps) | |
| steps: | |
| - name: install rust toolchain | |
| run: rustup show | |
| - uses: actions/checkout@v4 | |
| - name: install Just | |
| uses: extractions/setup-just@v1 | |
| env: | |
| GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
| - name: install nextest | |
| uses: taiki-e/install-action@nextest | |
| - name: run Miri tests | |
| run: just miri cordyceps | |
| ### maitake ### | |
| # test with `--no-default-features` | |
| maitake_no_default_features: | |
| needs: changed_paths | |
| if: needs.changed_paths.outputs.should_skip != 'true' || !fromJSON(needs.changed_paths.outputs.paths_result).maitake.should_skip | |
| runs-on: ubuntu-latest | |
| name: Tests (maitake, no-default-features) | |
| steps: | |
| - name: install rust toolchain | |
| run: rustup show | |
| - uses: actions/checkout@v4 | |
| - name: run tests | |
| # don't run doctests with `no-default-features`, as some of them | |
| # require liballoc. | |
| run: cargo test -p maitake --no-default-features --tests --lib | |
| # run loom tests | |
| maitake_loom: | |
| needs: changed_paths | |
| if: needs.changed_paths.outputs.should_skip != 'true' || !fromJSON(needs.changed_paths.outputs.paths_result).maitake.should_skip | |
| runs-on: ubuntu-latest | |
| name: Loom tests (maitake) | |
| steps: | |
| - name: install rust toolchain | |
| run: rustup show | |
| - uses: actions/checkout@v4 | |
| - name: install Just | |
| uses: extractions/setup-just@v1 | |
| env: | |
| GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
| - name: install nextest | |
| uses: taiki-e/install-action@nextest | |
| - name: run loom tests (maitake) | |
| run: just loom maitake | |
| - name: run loom tests (maitake-sync) | |
| run: just loom maitake-sync | |
| ### mycelium-util ### | |
| # run loom tests | |
| util_loom: | |
| needs: changed_paths | |
| if: needs.changed_paths.outputs.should_skip != 'true' || !fromJSON(needs.changed_paths.outputs.paths_result).util.should_skip | |
| runs-on: ubuntu-latest | |
| name: Loom tests (mycelium-util) | |
| steps: | |
| - name: install rust toolchain | |
| run: rustup show | |
| - uses: actions/checkout@v4 | |
| - name: install Just | |
| uses: extractions/setup-just@v1 | |
| env: | |
| GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
| - name: install nextest | |
| uses: taiki-e/install-action@nextest | |
| - name: run loom tests | |
| run: just loom mycelium-util |