Do not copy the root page if there is only one root page
Created by pmeunier on October 13, 2024
OXJ5MJBFPGBTS7KX4HAEYLXQOT4ETFR2KNG6FACXZDTJKEUBC7MAC Dependencies
In channels
main
Change contents
Replacement in sanakirja/src/environment/muttxn.rs at line 185 [3.80166]
std::ptr::copy_nonoverlapping(page_ptr.add(8), next_page_ptr.add(8), PAGE_SIZE - 8);// Iff n_roots == 1 when creating the environment, the two pointers are equal.if page_ptr != next_page_ptr {std::ptr::copy_nonoverlapping(page_ptr.add(8), next_page_ptr.add(8), PAGE_SIZE - 8);}