Repository navigation

Fix `thread` `park`/`unpark` synchronization - #54174

Merged

bors merged 3 commits into

rust-lang:masterfrom

Sep 19, 2018

Merged

Fix `thread` `park`/`unpark` synchronization#54174
bors merged 3 commits into
rust-lang:masterfrom
parched:park

Commits on Sep 12, 2018
- Fix `thread` `park`/`unpark` synchronization
  James Duley
  committed
  204d960
Commits on Sep 14, 2018
- Add comments and assertion to `park`/`unpark`
  James Duley
  committed
  f8a78bd
Commits on Sep 18, 2018
- Expand synchronization comments in `park`/`unpark`
  James Duley
  committed
  a3b8705