SharedMutex improve

[MBkkt]

Purpose

• Make unlock_shared fully wait-free
• Avoid computing writers size twice
• Inline list implementation to keep less instruction in lock critical section

Related Information

• Design document: ...
• Bench PR: ...

Testing

• This change is a trivial rework or code cleanup without any test coverage.
• This change is already covered by existing tests.
• This PR adds tests that were used to verify all changes.
• There are tests in an external testing repository: ...

[coveralls]

Pull Request Test Coverage Report for Build 7109904397

• 30 of 30 (100.0%) changed or added relevant lines in 1 file are covered.
• No unchanged relevant lines lost coverage.
• Overall coverage remained the same at 100.0%

---

Totals
Change from base Build 6956551694:	0.0%
Covered Lines:	1741
Relevant Lines:	1741

---

💛 - Coveralls

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Comparison is base (b0acd8f) 100.00% compared to head (d5ee098) 100.00%.

Additional details and impacted files

@@            Coverage Diff            @@
##              main      #244   +/-   ##
=========================================
  Coverage   100.00%   100.00%           
=========================================
  Files           73        73           
  Lines         1730      1741   +11     
=========================================
+ Hits          1730      1741   +11     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.