[SERVER-77824] Optimize RecordId copy/move Created: 05/Jun/23  Updated: 18/Dec/23

Status: In Progress
Project: Core Server
Component/s: None
Affects Version/s: 7.0.0-rc0
Fix Version/s: None

Type: Improvement Priority: Major - P3
Reporter: Geert Bosch Assignee: Geert Bosch
Resolution: Unresolved Votes: 0
Labels: None
Remaining Estimate: Not Specified
Time Spent: Not Specified
Original Estimate: Not Specified

Sprint: Execution Team 2023-06-12, Execution NAMR Team 2023-06-26
Participants:

 Description   

I saw the RecordId copy constructor show up in some profiles and decided to optimize it.

On the way I made some mistakes not caught by the unittest, so there are some additions there as well.



 Comments   
Comment by Louis Williams [ 28/Nov/23 ]

geert.bosch@mongodb.com I think SERVER-83282 may have made these changes unnecessary. Should we close this out?

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