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
As ends and buffer are separately stored, their relative positions can significantly drift away when a lot of strings are interned.
To fix this, their memory should be manually managed as a single growable allocation with two sections (for ends and contents).
This requires a rewrite and likely unsafe code but it would also fix this issue and remove the need to read from both pointers (instead it would be just one).
The text was updated successfully, but these errors were encountered:
As
ends
andbuffer
are separately stored, their relative positions can significantly drift away when a lot of strings are interned.To fix this, their memory should be manually managed as a single growable allocation with two sections (for ends and contents).
This requires a rewrite and likely unsafe code but it would also fix this issue and remove the need to read from both pointers (instead it would be just one).
The text was updated successfully, but these errors were encountered: