Implement basic support for concurrency (Linux only).

Add a warning that Miri does not check for data-races.

Update to support the updated API.

Add a test for thread locals.

Fix the problem of sending pointed to thread local statics. Add a reg… …

…ression test.

Move pthread_create and related shims to a separate file.

Report that we do not support foreign thread local statics.

Fix comments in TLS.

Store the thread name.

Rustfmt the test.

Fix pthread_self.

Rebase on PR 1157.

Rename ThreadSet to ThreadManager.

Small refactoring in pthread sync: extract common functionallity to s… …

…eparate functions.

Generate fresh allocation ids for thread locals in eval_maybe_thread_… …

…local_static_const.

Generate thread local allocations in eval_maybe_thread_local_static_c… …

…onst.

Address some of the reviewers comments.

Rename eval_maybe_thread_local_static_const to adjust_global_const.

Add a missing newline in the test.

Fix imports.

Make an assert message consistent with other asserts.

Fix typo in a comment.

Cleanup the implementation of adjust_global_const.

Add a missing newline.

Rename threads to thread to match the Rust standard library.

Fix support for MacOS.

Add a comment explaining global destructors on MacOS.

Implement thread::yield_now.

Add concurrency tests.

Update a comment in README about what concurrency checks we support.

Rename MacOS set global dtor function.

Move prctl to Linux specific shims.

Change the warning message.

Improve prctl, add a test.

Many small changes to thread management.

Improve concurrency tests.

Fix how a pthread_create function argument is constructed.

Add more concurrency tests.

Track if a thread was already joined.

Clarify comments about TLS destructor handling in Windows, add a test… …

… for TLS destructors.

Small style fix.

Print the thread name in Debug.

Fix merge error.

Make the main thread detached.

Fix the test annotation.

Clarify test comments.

Check prctl argument types and fix the test.

Clarify FIXME.

Make multiple threads to try to join a thread while it is still running.

Ignore prctl test on MacOS because it does not support it.

Add an explanatory comment to the test.

Change the test not to rely on internals.

Unify TLS dtors; move stepping outside.

Move copying of the thread name to the client side.

Improve Debug formatting of the thread name.

Added a test that joining main is UB.

Improve comments.

Delete a duplicate test.

Move prctl test to the same file as other libc tests.

Rename global tls dtor to thread dtor.

Many small changes to clean up code.

Improve style and comments.

Make sure to remove thread local data only if we have destructor.

Use DLL_THREAD_DETACH when calling windows TLS destructor.

Change representation and conversion of ThreadId and BlockSetId.

Improve comments and code clarity.

Add a FIXME.

Merge dtors_running and last_dtor_key fields.

Add a test for joining in a destructor.

Improve comments.

Make From implementations non-failing.

Delete remaining tls entries after all destructors completed.

Fix MacOS and Windows builds.

Improve code readability and comments.

Use Entry API in set_dtors_running.

Fix a regression in Windows dtors.

Fix prctl SET_NAME and GET_NAME behaviour.