פתרון גודל לוגי ואחסון מוקצה

הגודל הלוגי נקבע באמצעות set_len, בעוד שהקצאת בלוקים תלויה בטווחים שנכתבו ובמדיניות filesystem. העתקה של אפסים דרך read ו־write יכולה להקצות מקום גם במקום שבו המקור השתמש בחור. כלי שמשמר חורים צריך לזהות את הטווחים המתאימים ולהשתמש בחוזה שמאפשר לייצג אותם ביעד.

הבאפר המיושר ייבנה עם Layout::from_size_align אחרי בדיקת גודל ויישור, ויישמר בטיפוס ששומר את אותו Layout עד dealloc. האורך וה־offset של הפעולה ייבדקו בנפרד, משום שיישור כתובת הבאפר אינו מוכיח את התאמתם.

במקרה של חוסר תמיכה נחליט אם לחזור למסלול רגיל עם דיווח מפורש או להחזיר שגיאה. מסלול רגיל עם סנכרון ומסלול ישיר עם אותו סנכרון הם בסיס להשוואה של עלות caching; מסלול שמאשר מוקדם יותר אינו אותה התחייבות.