Skip to content

RFC (مؤجَّل): بنية محزومة — تخطيط مسطّح مرصوص#40

Open
SalehKadah wants to merge 1 commit into
mainfrom
rfc/packed-struct-deferred
Open

RFC (مؤجَّل): بنية محزومة — تخطيط مسطّح مرصوص#40
SalehKadah wants to merge 1 commit into
mainfrom
rfc/packed-struct-deferred

Conversation

@SalehKadah

Copy link
Copy Markdown
Contributor

ملخّص

سمة بنية محزومة (packed struct) — تُزيل الحشو بين الحقول ليطابق تخطيط البايتات
عقدًا خارجيًّا (واصفات عتاد، صيغ أسلاك، FFI). الحالة: مؤجَّل (Postponed).

لماذا التأجيل (نتيجة تحقيق تصميميّ)

كانت البدائيّة الرابعة المقترحة للّبنة 3.14 «تخزين ساكن مسمّى» (بعد @رمز/متطاير/
بايتات المدموجة، PR #225). تحقيق أثبت:

  1. بنى ص كائنات كومة حصرًا (malloc/__sad_heap) — لا تمثيل قيمة مسطّح، فسمة الرصّ
    على كائن كومة بلا أثر عمليّ.
  2. علم isPacked قائم لكن ميّت (صفر مستدعٍ يمرّر true) — توصيله بلا دلالة مسطّحة
    يُنتج كلمة SoT تَعِد بتخطيط لا يتحقّق.
  3. لا مستهلك نواة: كلّ بنية packed في C إمّا معامل أسمبليّ (sgdt/sidt، أرضيّة) أو
    مخزن تكتبه ص عبر اكتب_ذاكرة32. واصف bee_idtr أُطفئ فعلًا (نهلة 3.14ب) بـ
    عنوان_رمز+اكتب_ذاكرة32 بلا محزوم.

شروط رفع التأجيل

مستهلك حقيقيّ (FFI/صيغ أسلاك) و قرار إضافة دلالة بنى قيمة مسطّحة لـص (تغيير
معماريّ يلامس OOP/vtable/نموذج التخصيص). عندها يُنفَّذ بلصيقة بنية محزومة (عربيّ
سليم نظير متطاير).

🤖 Generated with Claude Code

سمة محزومة (packed) على بنية ص. مؤجَّل عمدًا بعد تحقيق أثبت: بنى ص كائنات
كومة (لا قيمة مسطّحة)، علم isPacked ميّت، ولا مستهلك نواة (bee_idtr يُطفَأ
بـعنوان_رمز+اكتب_ذاكرة بلا محزوم). يُرفَع التأجيل عند ظهور مستهلك FFI/صيغ
أسلاك + قرار دلالة بنى قيمة مسطّحة.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant