This pull request introduces several improvements to in-place update logic, overflow detection, and memory management in the storage engine. The most significant changes are improved overflow handling in arithmetic operations, more precise management of record size information, and safer transfer of pending operation data. These changes enhance performance and correctness, especially in hot code paths, while also simplifying and clarifying the codebase.

Arithmetic overflow handling and in-place update logic:

• Replaced checked arithmetic and exception handling in TryInPlaceUpdateNumber with a branchless signed overflow detection technique, eliminating expensive try/catch blocks and improving performance on the hot path. Now, overflows are detected using bitwise operations, and errors are flagged directly without exceptions. [1] [2] [3]

Record size and memory management:

• Refactored InPlaceUpdaterWorker to declare RecordSizeInfo locally within each relevant switch case, removing the previously shared sizeInfo2 variable and clarifying where size information is needed. Added explicit calls to AssertOptionalsIfSet after size changes to ensure internal consistency. [1] [2] [3] [4] [5] [6] [7] [8] [9] [10]

Pending operation and output transfer:

• Updated CompletedOutputIterator and CompletedOutput to transfer data from the pending IO slot rather than the pending context, ensuring that all relevant fields are moved and cleared properly. This change improves the safety and correctness of asynchronous IO handling. [1] [2]

Scan and IO preparation logic:

• Refactored ConditionalScanPush and PrepareIOForConditionalScan to pass and use the key hash explicitly, and to set scan-specific payloads on the pending operation slot, improving clarity and correctness in scan operations. [1] [2] [3]

Async IO context cleanup:

• Changed the async IO context return logic to reset both basePendingContext and slot fields, ensuring no stale references remain in pooled contexts.

Fixes LocalMemoryDevice merge error:

• An earlier merge of LocalMemoryDevice lost some changes; these have been restored.