├── .github ├── pull_request_template.md └── workflows │ ├── audit.yml │ ├── release.yml │ └── tests.yml ├── .gitignore ├── CHANGELOG.md ├── CODE_OF_CONDUCT.md ├── CONTRIBUTING.md ├── Cargo.toml ├── LICENSE ├── NOTICE ├── README.md ├── THIRD-PARTY ├── rustfmt.toml ├── shuttle-explorer ├── .eslintrc.json ├── .gitignore ├── .vscode │ ├── extensions.json │ ├── launch.json │ ├── settings.json │ └── tasks.json ├── .vscodeignore ├── README.md ├── esbuild.js ├── media │ ├── main.css │ ├── reset.css │ └── vscode.css ├── package-lock.json ├── package.json ├── src │ ├── backend │ │ └── main.mts │ ├── common │ │ ├── clocks.mts │ │ ├── context.mts │ │ ├── events.mts │ │ ├── filters.mts │ │ ├── hierarchy.mts │ │ ├── messages.mts │ │ ├── objects.mts │ │ ├── schedule.mts │ │ └── tasks.mts │ ├── deno.json.tmp │ ├── frontend │ │ ├── cdag.mts │ │ ├── events.mts │ │ ├── hierarchy.mts │ │ ├── main.mts │ │ ├── selection.mts │ │ ├── timeline.mts │ │ ├── ui.mts │ │ └── zoom.mts │ └── lib.mts └── tsconfig.json ├── shuttle ├── Cargo.toml ├── benches │ ├── buffer.rs │ ├── counter.rs │ ├── create.rs │ └── lock.rs ├── src │ ├── annotations │ │ └── mod.rs │ ├── current.rs │ ├── future │ │ ├── batch_semaphore.rs │ │ └── mod.rs │ ├── hint.rs │ ├── lazy_static.rs │ ├── lib.rs │ ├── rand.rs │ ├── runtime │ │ ├── execution.rs │ │ ├── failure.rs │ │ ├── mod.rs │ │ ├── runner.rs │ │ ├── storage.rs │ │ ├── task │ │ │ ├── clock.rs │ │ │ ├── labels.rs │ │ │ ├── mod.rs │ │ │ └── waker.rs │ │ └── thread │ │ │ ├── continuation.rs │ │ │ └── mod.rs │ ├── scheduler │ │ ├── annotation.rs │ │ ├── data │ │ │ ├── fixed.rs │ │ │ ├── mod.rs │ │ │ └── random.rs │ │ ├── dfs.rs │ │ ├── metrics.rs │ │ ├── mod.rs │ │ ├── pct.rs │ │ ├── random.rs │ │ ├── replay.rs │ │ ├── round_robin.rs │ │ ├── serialization.rs │ │ ├── uncontrolled_nondeterminism.rs │ │ └── urw.rs │ ├── sync │ │ ├── atomic │ │ │ ├── bool.rs │ │ │ ├── int.rs │ │ │ ├── mod.rs │ │ │ └── ptr.rs │ │ ├── barrier.rs │ │ ├── condvar.rs │ │ ├── mod.rs │ │ ├── mpsc.rs │ │ ├── mutex.rs │ │ ├── once.rs │ │ └── rwlock.rs │ └── thread.rs └── tests │ ├── advanced │ ├── abort_freedom.rs │ └── mod.rs │ ├── basic │ ├── atomic.rs │ ├── barrier.rs │ ├── clocks.rs │ ├── condvar.rs │ ├── config.rs │ ├── dfs.rs │ ├── execution.rs │ ├── labels.rs │ ├── lazy_static.rs │ ├── metrics.rs │ ├── mod.rs │ ├── mpsc.rs │ ├── mutex.rs │ ├── once.rs │ ├── panic.rs │ ├── pct.rs │ ├── portfolio.rs │ ├── replay.rs │ ├── rwlock.rs │ ├── shrink.rs │ ├── tag.rs │ ├── task.rs │ ├── thread.rs │ ├── timeout.rs │ ├── tracing.rs │ └── uncontrolled_nondeterminism.rs │ ├── data │ ├── mod.rs │ └── random.rs │ ├── demo │ ├── async_match_deadlock.rs │ ├── bounded_buffer.rs │ ├── mod.rs │ └── surw.rs │ ├── future │ ├── basic.rs │ ├── batch_semaphore.rs │ ├── channel.rs │ ├── countdown_timer.rs │ ├── mod.rs │ ├── pct.rs │ ├── streams.rs │ └── waker.rs │ ├── mod.rs │ └── ui │ ├── spawn_not_send.rs │ └── spawn_not_send.stderr └── wrappers ├── shuttle_rand_0.8 ├── Cargo.toml ├── shuttle_rand_inner │ ├── Cargo.toml │ └── src │ │ └── lib.rs └── src │ └── lib.rs └── shuttle_sync ├── Cargo.toml └── src └── lib.rs /.github/pull_request_template.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/.github/pull_request_template.md -------------------------------------------------------------------------------- /.github/workflows/audit.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/.github/workflows/audit.yml -------------------------------------------------------------------------------- /.github/workflows/release.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/.github/workflows/release.yml -------------------------------------------------------------------------------- /.github/workflows/tests.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/.github/workflows/tests.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | debug/ 2 | target/ 3 | Cargo.lock 4 | -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/CHANGELOG.md -------------------------------------------------------------------------------- /CODE_OF_CONDUCT.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/CODE_OF_CONDUCT.md -------------------------------------------------------------------------------- /CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/CONTRIBUTING.md -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/Cargo.toml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/LICENSE -------------------------------------------------------------------------------- /NOTICE: -------------------------------------------------------------------------------- 1 | Shuttle 2 | Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved. -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/README.md -------------------------------------------------------------------------------- /THIRD-PARTY: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/THIRD-PARTY -------------------------------------------------------------------------------- /rustfmt.toml: -------------------------------------------------------------------------------- 1 | max_width = 120 -------------------------------------------------------------------------------- /shuttle-explorer/.eslintrc.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle-explorer/.eslintrc.json -------------------------------------------------------------------------------- /shuttle-explorer/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle-explorer/.gitignore -------------------------------------------------------------------------------- /shuttle-explorer/.vscode/extensions.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle-explorer/.vscode/extensions.json -------------------------------------------------------------------------------- /shuttle-explorer/.vscode/launch.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle-explorer/.vscode/launch.json -------------------------------------------------------------------------------- /shuttle-explorer/.vscode/settings.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle-explorer/.vscode/settings.json -------------------------------------------------------------------------------- /shuttle-explorer/.vscode/tasks.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle-explorer/.vscode/tasks.json -------------------------------------------------------------------------------- /shuttle-explorer/.vscodeignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle-explorer/.vscodeignore -------------------------------------------------------------------------------- /shuttle-explorer/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle-explorer/README.md -------------------------------------------------------------------------------- /shuttle-explorer/esbuild.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle-explorer/esbuild.js -------------------------------------------------------------------------------- /shuttle-explorer/media/main.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle-explorer/media/main.css -------------------------------------------------------------------------------- /shuttle-explorer/media/reset.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle-explorer/media/reset.css -------------------------------------------------------------------------------- /shuttle-explorer/media/vscode.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle-explorer/media/vscode.css -------------------------------------------------------------------------------- /shuttle-explorer/package-lock.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle-explorer/package-lock.json -------------------------------------------------------------------------------- /shuttle-explorer/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle-explorer/package.json -------------------------------------------------------------------------------- /shuttle-explorer/src/backend/main.mts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle-explorer/src/backend/main.mts -------------------------------------------------------------------------------- /shuttle-explorer/src/common/clocks.mts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle-explorer/src/common/clocks.mts -------------------------------------------------------------------------------- /shuttle-explorer/src/common/context.mts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle-explorer/src/common/context.mts -------------------------------------------------------------------------------- /shuttle-explorer/src/common/events.mts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle-explorer/src/common/events.mts -------------------------------------------------------------------------------- /shuttle-explorer/src/common/filters.mts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle-explorer/src/common/filters.mts -------------------------------------------------------------------------------- /shuttle-explorer/src/common/hierarchy.mts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle-explorer/src/common/hierarchy.mts -------------------------------------------------------------------------------- /shuttle-explorer/src/common/messages.mts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle-explorer/src/common/messages.mts -------------------------------------------------------------------------------- /shuttle-explorer/src/common/objects.mts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle-explorer/src/common/objects.mts -------------------------------------------------------------------------------- /shuttle-explorer/src/common/schedule.mts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle-explorer/src/common/schedule.mts -------------------------------------------------------------------------------- /shuttle-explorer/src/common/tasks.mts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle-explorer/src/common/tasks.mts -------------------------------------------------------------------------------- /shuttle-explorer/src/deno.json.tmp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle-explorer/src/deno.json.tmp -------------------------------------------------------------------------------- /shuttle-explorer/src/frontend/cdag.mts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle-explorer/src/frontend/cdag.mts -------------------------------------------------------------------------------- /shuttle-explorer/src/frontend/events.mts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle-explorer/src/frontend/events.mts -------------------------------------------------------------------------------- /shuttle-explorer/src/frontend/hierarchy.mts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle-explorer/src/frontend/hierarchy.mts -------------------------------------------------------------------------------- /shuttle-explorer/src/frontend/main.mts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle-explorer/src/frontend/main.mts -------------------------------------------------------------------------------- /shuttle-explorer/src/frontend/selection.mts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle-explorer/src/frontend/selection.mts -------------------------------------------------------------------------------- /shuttle-explorer/src/frontend/timeline.mts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle-explorer/src/frontend/timeline.mts -------------------------------------------------------------------------------- /shuttle-explorer/src/frontend/ui.mts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle-explorer/src/frontend/ui.mts -------------------------------------------------------------------------------- /shuttle-explorer/src/frontend/zoom.mts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle-explorer/src/frontend/zoom.mts -------------------------------------------------------------------------------- /shuttle-explorer/src/lib.mts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle-explorer/src/lib.mts -------------------------------------------------------------------------------- /shuttle-explorer/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle-explorer/tsconfig.json -------------------------------------------------------------------------------- /shuttle/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/Cargo.toml -------------------------------------------------------------------------------- /shuttle/benches/buffer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/benches/buffer.rs -------------------------------------------------------------------------------- /shuttle/benches/counter.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/benches/counter.rs -------------------------------------------------------------------------------- /shuttle/benches/create.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/benches/create.rs -------------------------------------------------------------------------------- /shuttle/benches/lock.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/benches/lock.rs -------------------------------------------------------------------------------- /shuttle/src/annotations/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/src/annotations/mod.rs -------------------------------------------------------------------------------- /shuttle/src/current.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/src/current.rs -------------------------------------------------------------------------------- /shuttle/src/future/batch_semaphore.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/src/future/batch_semaphore.rs -------------------------------------------------------------------------------- /shuttle/src/future/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/src/future/mod.rs -------------------------------------------------------------------------------- /shuttle/src/hint.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/src/hint.rs -------------------------------------------------------------------------------- /shuttle/src/lazy_static.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/src/lazy_static.rs -------------------------------------------------------------------------------- /shuttle/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/src/lib.rs -------------------------------------------------------------------------------- /shuttle/src/rand.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/src/rand.rs -------------------------------------------------------------------------------- /shuttle/src/runtime/execution.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/src/runtime/execution.rs -------------------------------------------------------------------------------- /shuttle/src/runtime/failure.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/src/runtime/failure.rs -------------------------------------------------------------------------------- /shuttle/src/runtime/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/src/runtime/mod.rs -------------------------------------------------------------------------------- /shuttle/src/runtime/runner.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/src/runtime/runner.rs -------------------------------------------------------------------------------- /shuttle/src/runtime/storage.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/src/runtime/storage.rs -------------------------------------------------------------------------------- /shuttle/src/runtime/task/clock.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/src/runtime/task/clock.rs -------------------------------------------------------------------------------- /shuttle/src/runtime/task/labels.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/src/runtime/task/labels.rs -------------------------------------------------------------------------------- /shuttle/src/runtime/task/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/src/runtime/task/mod.rs -------------------------------------------------------------------------------- /shuttle/src/runtime/task/waker.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/src/runtime/task/waker.rs -------------------------------------------------------------------------------- /shuttle/src/runtime/thread/continuation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/src/runtime/thread/continuation.rs -------------------------------------------------------------------------------- /shuttle/src/runtime/thread/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/src/runtime/thread/mod.rs -------------------------------------------------------------------------------- /shuttle/src/scheduler/annotation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/src/scheduler/annotation.rs -------------------------------------------------------------------------------- /shuttle/src/scheduler/data/fixed.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/src/scheduler/data/fixed.rs -------------------------------------------------------------------------------- /shuttle/src/scheduler/data/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/src/scheduler/data/mod.rs -------------------------------------------------------------------------------- /shuttle/src/scheduler/data/random.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/src/scheduler/data/random.rs -------------------------------------------------------------------------------- /shuttle/src/scheduler/dfs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/src/scheduler/dfs.rs -------------------------------------------------------------------------------- /shuttle/src/scheduler/metrics.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/src/scheduler/metrics.rs -------------------------------------------------------------------------------- /shuttle/src/scheduler/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/src/scheduler/mod.rs -------------------------------------------------------------------------------- /shuttle/src/scheduler/pct.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/src/scheduler/pct.rs -------------------------------------------------------------------------------- /shuttle/src/scheduler/random.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/src/scheduler/random.rs -------------------------------------------------------------------------------- /shuttle/src/scheduler/replay.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/src/scheduler/replay.rs -------------------------------------------------------------------------------- /shuttle/src/scheduler/round_robin.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/src/scheduler/round_robin.rs -------------------------------------------------------------------------------- /shuttle/src/scheduler/serialization.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/src/scheduler/serialization.rs -------------------------------------------------------------------------------- /shuttle/src/scheduler/uncontrolled_nondeterminism.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/src/scheduler/uncontrolled_nondeterminism.rs -------------------------------------------------------------------------------- /shuttle/src/scheduler/urw.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/src/scheduler/urw.rs -------------------------------------------------------------------------------- /shuttle/src/sync/atomic/bool.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/src/sync/atomic/bool.rs -------------------------------------------------------------------------------- /shuttle/src/sync/atomic/int.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/src/sync/atomic/int.rs -------------------------------------------------------------------------------- /shuttle/src/sync/atomic/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/src/sync/atomic/mod.rs -------------------------------------------------------------------------------- /shuttle/src/sync/atomic/ptr.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/src/sync/atomic/ptr.rs -------------------------------------------------------------------------------- /shuttle/src/sync/barrier.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/src/sync/barrier.rs -------------------------------------------------------------------------------- /shuttle/src/sync/condvar.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/src/sync/condvar.rs -------------------------------------------------------------------------------- /shuttle/src/sync/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/src/sync/mod.rs -------------------------------------------------------------------------------- /shuttle/src/sync/mpsc.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/src/sync/mpsc.rs -------------------------------------------------------------------------------- /shuttle/src/sync/mutex.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/src/sync/mutex.rs -------------------------------------------------------------------------------- /shuttle/src/sync/once.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/src/sync/once.rs -------------------------------------------------------------------------------- /shuttle/src/sync/rwlock.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/src/sync/rwlock.rs -------------------------------------------------------------------------------- /shuttle/src/thread.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/src/thread.rs -------------------------------------------------------------------------------- /shuttle/tests/advanced/abort_freedom.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/tests/advanced/abort_freedom.rs -------------------------------------------------------------------------------- /shuttle/tests/advanced/mod.rs: -------------------------------------------------------------------------------- 1 | mod abort_freedom; 2 | -------------------------------------------------------------------------------- /shuttle/tests/basic/atomic.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/tests/basic/atomic.rs -------------------------------------------------------------------------------- /shuttle/tests/basic/barrier.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/tests/basic/barrier.rs -------------------------------------------------------------------------------- /shuttle/tests/basic/clocks.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/tests/basic/clocks.rs -------------------------------------------------------------------------------- /shuttle/tests/basic/condvar.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/tests/basic/condvar.rs -------------------------------------------------------------------------------- /shuttle/tests/basic/config.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/tests/basic/config.rs -------------------------------------------------------------------------------- /shuttle/tests/basic/dfs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/tests/basic/dfs.rs -------------------------------------------------------------------------------- /shuttle/tests/basic/execution.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/tests/basic/execution.rs -------------------------------------------------------------------------------- /shuttle/tests/basic/labels.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/tests/basic/labels.rs -------------------------------------------------------------------------------- /shuttle/tests/basic/lazy_static.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/tests/basic/lazy_static.rs -------------------------------------------------------------------------------- /shuttle/tests/basic/metrics.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/tests/basic/metrics.rs -------------------------------------------------------------------------------- /shuttle/tests/basic/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/tests/basic/mod.rs -------------------------------------------------------------------------------- /shuttle/tests/basic/mpsc.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/tests/basic/mpsc.rs -------------------------------------------------------------------------------- /shuttle/tests/basic/mutex.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/tests/basic/mutex.rs -------------------------------------------------------------------------------- /shuttle/tests/basic/once.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/tests/basic/once.rs -------------------------------------------------------------------------------- /shuttle/tests/basic/panic.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/tests/basic/panic.rs -------------------------------------------------------------------------------- /shuttle/tests/basic/pct.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/tests/basic/pct.rs -------------------------------------------------------------------------------- /shuttle/tests/basic/portfolio.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/tests/basic/portfolio.rs -------------------------------------------------------------------------------- /shuttle/tests/basic/replay.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/tests/basic/replay.rs -------------------------------------------------------------------------------- /shuttle/tests/basic/rwlock.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/tests/basic/rwlock.rs -------------------------------------------------------------------------------- /shuttle/tests/basic/shrink.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/tests/basic/shrink.rs -------------------------------------------------------------------------------- /shuttle/tests/basic/tag.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/tests/basic/tag.rs -------------------------------------------------------------------------------- /shuttle/tests/basic/task.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/tests/basic/task.rs -------------------------------------------------------------------------------- /shuttle/tests/basic/thread.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/tests/basic/thread.rs -------------------------------------------------------------------------------- /shuttle/tests/basic/timeout.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/tests/basic/timeout.rs -------------------------------------------------------------------------------- /shuttle/tests/basic/tracing.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/tests/basic/tracing.rs -------------------------------------------------------------------------------- /shuttle/tests/basic/uncontrolled_nondeterminism.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/tests/basic/uncontrolled_nondeterminism.rs -------------------------------------------------------------------------------- /shuttle/tests/data/mod.rs: -------------------------------------------------------------------------------- 1 | mod random; 2 | -------------------------------------------------------------------------------- /shuttle/tests/data/random.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/tests/data/random.rs -------------------------------------------------------------------------------- /shuttle/tests/demo/async_match_deadlock.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/tests/demo/async_match_deadlock.rs -------------------------------------------------------------------------------- /shuttle/tests/demo/bounded_buffer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/tests/demo/bounded_buffer.rs -------------------------------------------------------------------------------- /shuttle/tests/demo/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/tests/demo/mod.rs -------------------------------------------------------------------------------- /shuttle/tests/demo/surw.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/tests/demo/surw.rs -------------------------------------------------------------------------------- /shuttle/tests/future/basic.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/tests/future/basic.rs -------------------------------------------------------------------------------- /shuttle/tests/future/batch_semaphore.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/tests/future/batch_semaphore.rs -------------------------------------------------------------------------------- /shuttle/tests/future/channel.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/tests/future/channel.rs -------------------------------------------------------------------------------- /shuttle/tests/future/countdown_timer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/tests/future/countdown_timer.rs -------------------------------------------------------------------------------- /shuttle/tests/future/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/tests/future/mod.rs -------------------------------------------------------------------------------- /shuttle/tests/future/pct.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/tests/future/pct.rs -------------------------------------------------------------------------------- /shuttle/tests/future/streams.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/tests/future/streams.rs -------------------------------------------------------------------------------- /shuttle/tests/future/waker.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/tests/future/waker.rs -------------------------------------------------------------------------------- /shuttle/tests/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/tests/mod.rs -------------------------------------------------------------------------------- /shuttle/tests/ui/spawn_not_send.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/tests/ui/spawn_not_send.rs -------------------------------------------------------------------------------- /shuttle/tests/ui/spawn_not_send.stderr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/shuttle/tests/ui/spawn_not_send.stderr -------------------------------------------------------------------------------- /wrappers/shuttle_rand_0.8/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/wrappers/shuttle_rand_0.8/Cargo.toml -------------------------------------------------------------------------------- /wrappers/shuttle_rand_0.8/shuttle_rand_inner/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/wrappers/shuttle_rand_0.8/shuttle_rand_inner/Cargo.toml -------------------------------------------------------------------------------- /wrappers/shuttle_rand_0.8/shuttle_rand_inner/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/wrappers/shuttle_rand_0.8/shuttle_rand_inner/src/lib.rs -------------------------------------------------------------------------------- /wrappers/shuttle_rand_0.8/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/wrappers/shuttle_rand_0.8/src/lib.rs -------------------------------------------------------------------------------- /wrappers/shuttle_sync/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/wrappers/shuttle_sync/Cargo.toml -------------------------------------------------------------------------------- /wrappers/shuttle_sync/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/awslabs/shuttle/HEAD/wrappers/shuttle_sync/src/lib.rs --------------------------------------------------------------------------------