Stefanos Kornilios Mitsis Poiitidis

We also need to have strong, uniform, consistent and easy to use primitives to leverage `Design by Contract` I've been using asserts like ```LogMan::Throw::AFmt(CTX->CodeInvalidationMutex.try_lock() == false, "CodeInvalidationMutex needs to be...

hmm, related to #1922 ?

@Sonicadvance1 put this for 2212, as a 'nice to have', does that make sense to you?

From #1752 - [ ] "This means non-tso code might run but a short while after signal return, even if shared mode has been entered." - [ ] "When rest...

From SMC work follow ups #1710 #1698 #1679 #1676

Spurious error in armv8.4 runner ``` 12/70 Test #11642: pthread_cancel.64.jit.flt ...........................***Failed 0.48 sec [Info] Migrating to shared memory mode thread_func(): started; cancellation disabled main(): sending cancellation request thread_func(): about to...

smc-mt-2.x64 intermittent failure https://github.com/FEX-Emu/FEX/runs/6857393970?check_suite_focus=true ``` Starting Iteration Generating code on thread Waiting for code to be modified Modifying code from another thread Waiting for thread to get unblocked Thread exiting...

smc-mt-2.64.host.flt intermittent failure https://github.com/FEX-Emu/FEX/runs/7045388463?check_suite_focus=true ``` Starting Iteration Generating code on thread Waiting for code to be modified Modifying code from another thread Waiting for thread to get unblocked Thread overshoot...

https://github.com/FEX-Emu/FEX/runs/8109934359?check_suite_focus=true ``` 20/83 Test #11664: pthread_cancel.64.jit.flt ...........................***Failed 0.49 sec thread_func(): started; cancellation disabled main(): sending cancellation request thread_func(): about to enable cancellation key_dtor: Thread aborted main(): thread was canceled pure...

(Updated with more details on synchronous signals, improved formatting and unity details)