You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
And because keep forgetting why I created this ticket, it has at least two merits:
Adding extra padding reduces the need to append new values to the end of the values file because we have some leeway to work with. This also reduces empty pockets in the values file. I can explain more about this if anyone cares.
This will probably reduce the number of page faults we get when trying to access values.
Values stored in the values file should be padded with extra space (at least 4k) to reduce page faults. This will also allow some headroom on updates.
The text was updated successfully, but these errors were encountered: