tokio-rs/loom issues and pull requests

#360 - Fix doc link typo in hint.rs

Pull Request - State: open - Opened by teor2345 5 days ago

#359 - Explore execution path with multi-thread

Issue - State: open - Opened by mox692 about 1 month ago

#358 - Document what effect hints have on loom

Pull Request - State: open - Opened by udoprog about 1 month ago
Labels: enhancement

#357 - Fix typo

Pull Request - State: closed - Opened by mox692 about 1 month ago

#356 - Implement `wait_while` for condvar

Pull Request - State: open - Opened by LucasSte about 1 month ago - 1 comment

#355 - Add `checkpoint` feature flag in the docs example

Pull Request - State: closed - Opened by mox692 about 1 month ago

#354 - feat: implement into_inner for loom Arc

Pull Request - State: open - Opened by wenym1 about 2 months ago

#353 - Support const-initialization in loom::thread_local!

Pull Request - State: closed - Opened by Wuelle about 2 months ago - 1 comment

#352 - Suggested test setup causes cargo warnings

Issue - State: open - Opened by Wuelle about 2 months ago - 2 comments

#351 - Detect simultaneous borrow and drop of UnsafeCell

Pull Request - State: open - Opened by e00E 2 months ago

#350 - Panic when accessing loom exectution state from spawned thread during unwinding

Issue - State: closed - Opened by e00E 2 months ago - 4 comments

#349 - Loom does not consider dropping UnsafeCell to be a write

Issue - State: open - Opened by e00E 2 months ago - 3 comments

#348 - Prepare v0.7.2 release

Pull Request - State: closed - Opened by Darksonn 2 months ago

#347 - `loom::LocalKey` does not support specialized implementations for `LocalKey<Cell<T>>` or `LocalKey<RefCell<T>>`

Issue - State: open - Opened by anko 2 months ago

#346 - `loom::thread_local` does not support const-initialization

Issue - State: open - Opened by anko 2 months ago

#345 - [feature request] Configure stack size of default thread

Issue - State: open - Opened by brunowonka 2 months ago

#344 - Fix typo

Pull Request - State: closed - Opened by taiki-e 3 months ago

#343 - Disable default features of tracing

Pull Request - State: closed - Opened by taiki-e 3 months ago

#342 - Fix dead code warning

Pull Request - State: closed - Opened by mox692 3 months ago - 1 comment

#341 - feat: add loom::cell::Cell::into_inner

Pull Request - State: closed - Opened by jbr 3 months ago

#340 - Use core instead of std in lazy_static! macro

Pull Request - State: closed - Opened by peterthejohnston 3 months ago

#339 - Allow `Mutex` to work with `?Sized` types

Pull Request - State: closed - Opened by Phantomical 3 months ago - 1 comment

#338 - Update generator to 0.8.1

Pull Request - State: closed - Opened by fornwall 4 months ago - 5 comments

#337 - Upgrade generator to 0.8

Issue - State: closed - Opened by Borber 4 months ago

#336 - trying to implement partial order sampling based concurrency testing

Pull Request - State: closed - Opened by siddhantsharma301 6 months ago

#335 - Update loom version in docs

Pull Request - State: closed - Opened by taiki-e 6 months ago

#334 - Update CI config

Pull Request - State: closed - Opened by taiki-e 6 months ago

#333 - Missing SyncUnsafeCell

Issue - State: open - Opened by Pr0methean 6 months ago - 1 comment

#332 - Bump MSRV to 1.65

Pull Request - State: closed - Opened by jv-garcia 6 months ago - 2 comments

#331 - panicked at 'called `Option::unwrap()`

Issue - State: closed - Opened by GlenDC 10 months ago - 4 comments

#330 - Add lock_arc API to loom Mutex

Issue - State: open - Opened by culldanx 10 months ago

#329 - Prepare v0.7.1 release

Pull Request - State: closed - Opened by taiki-e 11 months ago - 1 comment

#328 - Remove unnecessary casts

Pull Request - State: closed - Opened by taiki-e 11 months ago

#327 - Add Atomic*::into_inner

Pull Request - State: closed - Opened by taiki-e 11 months ago

#326 - Use #[doc = concat!()] in atomic integer docs

Pull Request - State: closed - Opened by taiki-e 11 months ago

#325 - Implement AsRef and Borrow for Arc

Pull Request - State: closed - Opened by notgull 11 months ago

#324 - prepare v0.7.0 release

Pull Request - State: closed - Opened by carllerche 11 months ago

#323 - Enable user pruning of exploration branches

Pull Request - State: closed - Opened by carllerche 11 months ago

#322 - Add get_mut() to Mutex and RwLock

Pull Request - State: closed - Opened by akonradi 11 months ago

#321 - Bump MSRV to 1.63

Pull Request - State: closed - Opened by NobodyXu 11 months ago - 1 comment

#320 - Is it possible for `loom::sync::Mutex::new` to be const available?

Issue - State: closed - Opened by NobodyXu 11 months ago - 7 comments

#319 - prepare v0.6.1 release

Pull Request - State: closed - Opened by carllerche 11 months ago

#318 - ensure fn passed to generator completes

Pull Request - State: closed - Opened by carllerche 11 months ago

#317 - `repr(transparent)` for `UnsafeCell`

Issue - State: open - Opened by wyfo 12 months ago

#316 - Panic at loom-0.6.0/src/rt/scheduler.rs:134:48

Issue - State: open - Opened by sporksmith 12 months ago

#315 - Prepare v0.6.0 release

Pull Request - State: closed - Opened by carllerche about 1 year ago

#314 - Increase max threads to 5

Pull Request - State: closed - Opened by carllerche about 1 year ago

#313 - Bump MSRV to 1.60.0

Pull Request - State: closed - Opened by akonradi about 1 year ago

#312 - Add support for scoped threads

Pull Request - State: open - Opened by akonradi about 1 year ago - 7 comments

#311 - Support setting model thread stack size

Pull Request - State: closed - Opened by akonradi about 1 year ago

#310 - Make thread stack size configurable

Pull Request - State: closed - Opened by akonradi about 1 year ago - 1 comment

#309 - Stack size of spawned threads is not configurable

Issue - State: closed - Opened by akonradi about 1 year ago - 2 comments

#308 - Provide a method for spawning scoped threads

Issue - State: open - Opened by akonradi about 1 year ago

#307 - Constructing a !Sized UnsafeCell

Issue - State: closed - Opened by DzenanJupic about 1 year ago - 4 comments

#306 - Implement atomic-await

Issue - State: open - Opened by krtab over 1 year ago

#305 - Add assertion that picked thread is runnable

Pull Request - State: open - Opened by adrianheine over 1 year ago

#304 - Avoid double panic when queued_spawn is dropped

Pull Request - State: open - Opened by adrianheine over 1 year ago - 1 comment

#303 - Document for debugging a test case

Issue - State: open - Opened by scw00 over 1 year ago

#302 - Loom panics

Issue - State: open - Opened by terrarier2111 over 1 year ago - 6 comments

#301 - Using `Notify` reports deadlock, while a hand-rolled event does not

Issue - State: open - Opened by DemiMarie over 1 year ago

#300 - Fix for corner case where `RwLock` could be acquired in write mode while write locked

Pull Request - State: closed - Opened by Pointerbender over 1 year ago - 3 comments

#299 - Add a mock MaybeUninit

Issue - State: open - Opened by jschwe over 1 year ago - 4 comments

#298 - What to do when loom::AtomicUsize do not implement as_mut_ptr()

Issue - State: open - Opened by BowenXiao1999 over 1 year ago - 7 comments

#297 - Fix drop order of tls and statics and avoid double panics on deadlock

Pull Request - State: open - Opened by Pointerbender over 1 year ago - 3 comments

#296 - Bump MSRV to 1.59

Pull Request - State: closed - Opened by alexkeizer over 1 year ago - 1 comment

#295 - Atomic operations on part of an atomic integer?

Issue - State: closed - Opened by sporksmith over 1 year ago - 3 comments

#294 - cell::MutPtr isn't Send

Issue - State: closed - Opened by sporksmith over 1 year ago - 2 comments

#293 - cell::MutPtr doesn't provide a way to directly get an immutable reference

Issue - State: open - Opened by sporksmith over 1 year ago

#292 - Track which reference belongs to which store

Pull Request - State: open - Opened by alexkeizer over 1 year ago - 2 comments

#291 - panicked while panicking in loom::sync::arc::Arc::drop after deadlock in code under test

Issue - State: open - Opened by sporksmith over 1 year ago - 6 comments

#290 - Internal Panic: Index Out of Bounds

Issue - State: open - Opened by jswrenn over 1 year ago - 3 comments

#289 - A mutual exclusion test on peterson's algorithm

Issue - State: open - Opened by zpzigi754 almost 2 years ago - 1 comment

#288 - Remove tests/spec.rs from crate, which appears to be CC-BY-SA and GFDL

Issue - State: closed - Opened by erickt almost 2 years ago - 1 comment

#287 - Use #[doc(no_inline)] on re-exports

Pull Request - State: closed - Opened by taiki-e almost 2 years ago

#286 - Upgrade tracing subscriber and check minimum dependency versions in CI

Pull Request - State: closed - Opened by faern almost 2 years ago - 1 comment

#285 - Update actions/checkout action to v3 in release.yml

Pull Request - State: closed - Opened by taiki-e almost 2 years ago

#284 - Any interest in a way to check that a state is possible?

Issue - State: open - Opened by hgoldstein95 almost 2 years ago

#283 - unexpected object stored at reference

Issue - State: open - Opened by kvark about 2 years ago - 2 comments

#282 - loom does not respect modification order

Issue - State: open - Opened by ibraheemdev about 2 years ago - 2 comments

#281 - SIGSEGV in Arc::ref_dec on drop

Issue - State: open - Opened by kvark about 2 years ago

#280 - Add a link to Discord room

Pull Request - State: closed - Opened by kvark about 2 years ago

#279 - List accessors even without locations

Pull Request - State: open - Opened by kvark about 2 years ago

#278 - Unclear "Concurrent write accesses" with UnsafeCell

Issue - State: open - Opened by kvark about 2 years ago

#277 - UnsafeCell::get_mut() is different from std

Issue - State: open - Opened by kvark about 2 years ago - 5 comments

#276 - Missing UnsafeCell::raw_get

Issue - State: open - Opened by kvark about 2 years ago - 1 comment

#275 - Loom threads cause a panic inside panic in raw_yield

Issue - State: closed - Opened by kvark about 2 years ago - 1 comment

#274 - chore: prepare to release v0.5.6

Pull Request - State: closed - Opened by hawkw about 2 years ago

#273 - docs: fix broken rustdoc links

Pull Request - State: closed - Opened by hawkw about 2 years ago

#272 - Add UnsafeCell::into_inner for parity with std

Pull Request - State: closed - Opened by matklad about 2 years ago - 3 comments

#271 - per-test checkpoint files

Issue - State: open - Opened by hawkw about 2 years ago - 1 comment

#270 - arc: re-enable `Arc::strong_count`

Pull Request - State: closed - Opened by hawkw about 2 years ago - 4 comments

#269 - chore: prepare loom v0.5.5

Pull Request - State: closed - Opened by hawkw about 2 years ago - 1 comment

#268 - ci: automatically publish GitHub releases

Pull Request - State: closed - Opened by hawkw about 2 years ago

#267 - add a `tracing` span for the current model's iteration

Pull Request - State: closed - Opened by hawkw about 2 years ago

#266 - improve `LOOM_LOG` tracing

Pull Request - State: closed - Opened by hawkw about 2 years ago

#265 - add additional location tracking to `Arc`, `alloc`, and `mpsc`

Pull Request - State: closed - Opened by hawkw about 2 years ago

#264 - Update actions/checkout action to v3

Pull Request - State: closed - Opened by taiki-e about 2 years ago

#263 - Add equivalent of once_cell::sync::Lazy (or std::lazy::SyncLazy)

Issue - State: open - Opened by taiki-e about 2 years ago

#262 - Implement Arc::try_unwrap

Pull Request - State: closed - Opened by kvark about 2 years ago - 2 comments

#261 - Implement Arc::try_unwrap()

Issue - State: closed - Opened by kvark about 2 years ago

GitHub / tokio-rs/loom issues and pull requests