[runtime/iobuf/freelist] add loom model (#3692)

Author: andresilva

.github/workflows/loom.yml

@@ -0,0 +1,38 @@
+name: Loom
+
+on:
+  push:
+    branches: [ "main" ]
+  pull_request:
+  merge_group:
+
+permissions:
+  contents: read
+
+concurrency:
+  group: tests-loom-${{ github.head_ref || github.ref_name || github.run_id }}
+  cancel-in-progress: ${{ github.event_name == 'pull_request' }}
+
+env:
+  CARGO_TERM_COLOR: always
+
+jobs:
+  Tests:
+    name: "Loom Tests"
+    runs-on: ubuntu-latest
+    timeout-minutes: 60
+    steps:
+    - name: Checkout repository
+      uses: actions/checkout@08eba0b27e820071cde6df949e0beb9ba4906955 # v4
+    - name: Clear disk space
+      uses: ./.github/actions/disk
+    - name: Run setup
+      uses: ./.github/actions/setup
+      with:
+        additional-cache-key: loom
+    - name: Install just & nextest
+      uses: taiki-e/install-action@0c5db7f7f897c03b771660e91d065338615679f4 # v2.60.0
+      with:
+        tool: just@1.43.0,cargo-nextest@0.9.129
+    - name: Run loom tests
+      run: just test-loom --verbose

Cargo.lock

@@ -133,6 +133,7 @@ hashbrown = { version = "0.16.1", default-features = false, features = ["default
 io-uring = "0.7.4"
 libc = "0.2.172"
 libfuzzer-sys = "0.4.9"
+loom = "0.7.2"
 num-bigint = { version = "0.4.6", default-features = false }
 num-integer = "0.1.46"
 num-rational = { version = "0.4.2", features = ["num-bigint"] }

Cargo.toml

@@ -60,6 +60,10 @@ test-benches crate test_flags='' lint_flags='':
 test *args='':
     cargo nextest run $@
 
+# Run loom tests
+test-loom *args='':
+    cargo nextest run --release --features loom --lib {{ args }} ::loom_tests::
+
 # Test the Rust documentation
 test-docs *args='--all':
     cargo test --doc --locked $@

justfile

@@ -30,6 +30,7 @@ futures.workspace = true
 governor.workspace = true
 io-uring = { workspace = true, optional = true }
 libc.workspace = true
+loom = { workspace = true, optional = true }
 opentelemetry.workspace = true
 pin-project = { workspace = true, optional = true }
 prometheus-client.workspace = true
@@ -73,6 +74,7 @@ arbitrary = [
 ]
 bench = [ "dep:crossbeam-queue" ]
 external = [ "pin-project" ]
+loom = [ "dep:loom" ]
 test-utils = []
 iouring = [ "iouring-network", "iouring-storage" ]
 iouring-network = [ "io-uring" ]