unix/thread: properly use pthread_t for thread IDs

rust-lang / miri

An interpreter for Rust's mid-level intermediate representation

Apache License 2.0

4.16k stars 318 forks source link

Closed RalfJung closed 2 months ago

RalfJung commented 2 months ago

This makes basic concurrency work on Solarish.

RalfJung commented 2 months ago

@bors r+

bors commented 2 months ago

:pushpin: Commit f09547cef7b4bbd6d2bdb9ff2cb48bcfc66fb42c has been approved by RalfJung

It is now in the queue for this repository.

bors commented 2 months ago

:hourglass: Testing commit f09547cef7b4bbd6d2bdb9ff2cb48bcfc66fb42c with merge 958a24e88fc542b20a2c6ad032b1c84a1d71bc43...

bors commented 2 months ago

:sunny: Test successful - checks-actions Approved by: RalfJung Pushing 958a24e88fc542b20a2c6ad032b1c84a1d71bc43 to master...