[SERVER-72071] Implement TicketQueue Mechanism with Futex in TLA+ Created: 13/Dec/22  Updated: 29/Oct/23  Resolved: 16/Jan/23

Status: Closed
Project: Core Server
Component/s: None
Affects Version/s: None
Fix Version/s: 6.3.0-rc0

Type: Task Priority: Major - P3
Reporter: Haley Connelly Assignee: Jordi Olivares Provencio
Resolution: Fixed Votes: 0
Labels: None
Remaining Estimate: Not Specified
Time Spent: Not Specified
Original Estimate: Not Specified

Issue Links:
Related
related to SERVER-72067 Implement TicketQueue mechanism with ... Closed
Backwards Compatibility: Fully Compatible
Sprint: Execution Team 2022-12-26, Execution Team 2023-01-09, Execution Team 2023-01-23
Participants:

 Comments   
Comment by Githook User [ 16/Jan/23 ]

Author:

{'name': 'Jordi Olivares Provencio', 'email': 'jordi.olivares-provencio@mongodb.com', 'username': 'jordiolivares'}

Message: SERVER-72071 Implement PriorityTicketHolder with TicketBroker in PlusCal
Branch: master
https://github.com/mongodb/mongo/commit/3335554ec9d348fcd1e0f20c44e7313a855e6f20

Generated at Thu Feb 08 06:20:44 UTC 2024 using Jira 9.7.1#970001-sha1:2222b88b221c4928ef0de3161136cc90c8356a66.