ملخص تقني: نقل ذاكرة التخزين المؤقت لـ KV عبر النماذج في عائلات النماذج اللغوية الكبيرة (LLM)
1. صياغة المشكلة
يعتمد تشغيل النماذج اللغوية الكبيرة (LLM) في بيئات الإنتاج بشكل متزايد على تنسيق متعدد النماذج من أجل التدرج بين التكلفة والجودة، والتبديل أثناء المحادثة، والتوجيه. غالبًا ما تقوم سير العمل هذه بالتبديل بين أعضاء مختلفين الأحجام من نفس عائلة النماذج (على سبيل المثال، من Qwen3 14B إلى 32B). وبينما تشترك هذه النماذج في الخيارات المعمارية الأساسية وبيانات التدريب المسبق، إلا أنها تختلف في الحجم، وعدد الطبقات، ووصفات التدريب.
العائق الرئيسي في مثل هذه سير العمل هو تكلفة التعبئة المسبقة (prefill cost). ففي كل مرة يتم فيها تسليم سياق محادثة من نموذج مصدر إلى نموذج مستهدف، يجب على النموذج المستهدف إعادة معالجة السياق المتراكم بالكامل لملء ذاكرة التخزين المؤقت لمفاتيح وقيم (KV) الخاصة به. وتتوسع عملية المرور الأمامي (forward pass) هذه مع حجم النموذج وطول النص (prompt). الحلول الحالية مثل "التخزين المؤقت للبواقي" (prefix caching) تعمل فقط ضمن نموذج واحد، بينما تتطلب الأساليب السابقة عبر النماذج (مثل الـ neural fusers أو الـ latent adapters) تدريبًا يعتمد على التدرج (gradient-based training) أو قيودًا معمارية صارمة (مثل تساوي عدد الطبقات).
تقترح هذه الورقة نقل ذاكرة التخزين المؤقت لـ KV عبر النماذج، وهي طريقة لإعادة استخدام ذاكرة التخزين المؤقت لـ KV التي تم تعبئتها مسبقًا في النموذج المصدر مباشرة في النموذج المستهدف، مما يتخطى مرحلة التعبئة المسبقة للنموذج المستهدف بالكامل. الهدف هو إيجاد دالة f:CS→C^T بحيث ينتج النموذج المستهدف عند فك التشفير (decoding) من الذاكرة المخططة C^T مخرجات مكافئة لفك التشفير من ذاكرته الأصلية CT.
2. المنهجية
يفترض المؤلفون أن العلاقات بين الـ KV عبر النماذج تمتلك بنية خطية جوهرية، مما يسمح بوجود رسم خرائط (mapping) مغلق الصيغة وخالٍ من التدرج. يعمل الإطار المقترح على أزواج "الـ KV المتطابقة" (matched-KV)، حيث يتشارك النموذج المصدر والمستهدف نفس عدد رؤوس الـ KV وأبعاد كل رأس، حتى لو اختلف إجمالي عدد الطبقات أو أحجام المعلمات.
تم تصميم "الرّسام" (mapper) بثلاثة مكونات أساسية:
أ. الانحدار المتعدد (Ridge Regression) لكل رأس
بدلاً من الشبكة العصبية العالمية، تستخدم الطريقة رسم خرائط خطي مستقل لكل طبقة ورأس في النموذج المستهدف.
- المدخلات: ميزات KV المجمعة من مجموعة فرعية مختارة من طبقات المصدر.
- المخرجات: نواقل المفتاح (Key - K) والقيمة (Value - V) المتوقعة للنموذج المستهدف.
- التحسين: يتم حل الأوزان عبر الانحدار المتعدد (ridge regression) (الحل المغلق) على مجموعة معايرة صغيرة (500 تسلسل، طول كل منها 1,024 توكن من FineWeb-Edu). تم استخدام تنظيم Ridge (λ=0.01) للتعامل مع الطبيعة شبه المنفردة (near-singular) لمصفوفة الميزات عندما تكون طبقات المصدر مرتبطة ببعضها.
ب. اختيار المصدر عبر الطبقات
بما أن النماذج المصدر والمستهدف يمتلكان أعماقًا مختلفة (LS=LT)، يجب على الطريقة تحديد أي طبقات المصدر تساهم في كل طبقة مستهدفة.
- استراتيجية الاختيار: لكل طبقة مستهدفة، يتم اختيار أفضل k من طبقات المصدر بناءً على قدرتها التنبؤية (التي تُقاس بمتوسط R2 للرؤوس على مجموعة معايرة).
- الآلية: يتم دمج ميزات KV من هذه الـ k طبقة من الأعلى لتشكيل المدخلات للانحدار المتعدد. يُظهر التحليل التجريبي أن المعلومات المتكاملة موزعة عبر طبقات متعددة من المصدر؛ حيث لا تكفي طبقة واحدة، لكن الأداء يصل إلى حالة التشبع بسرعة (على سبيل المثال، k=6 يستوعب معظم التباين لـ $k=all$).
ج. رسم خرائط مساحة المحتوى (RoPE Factoring)
تستخدم النماذج اللغوية الكبيرة القياسية تضمينات الموضع الدوارة (RoPE)، والتي تطبق دورات تعتمد على الموضع على المفاتيح.
- المشكلة: إن ملاءمة (fitting) الرّسام مباشرة على المفاتيح المدورة يربط الأوزان بتوزيع الموضع المحدد الذي شوهد أثناء المعايرة، مما يحد من القدرة على النقل لمسافات سياقية مختلفة.
- الحل: تقوم الطريقة بإزالة RoPE من مفاتيح المصدر قبل الرسم، ثم تعيد تطبيق RoPE الخاص بالنموذج المستهدف بعد الرسم.
- Kstripped=Ksource⋅RΘs−1
- K^target=(Kstripped⋅W+b)⋅RΘt
- هذا يفصل الدوران الموضعي عن المحتوى الدلالي، مما يجعل الملاءمة الخطية مستقلة عن الموضع وقابلة لإعادة الاستخدام عبر أطوال السياق المختلفة (حتى 32 ألف توكن).
د. الامتداد غير الخطي (MLP)
بالنسب لمجموعات الأزواج التي تفشل فيها ملاءمة Ridge الخطية في الاحتفاظ بدقة كافية، يقترح المؤلفون بديلاً يتم وضعه مكانياً باستخدام طبقة "Perceptron متعددة الطبقات" (MLP) صغيرة. يقوم هذا الـ MLP بإعادة توزيع الخطأ المتبقي بعيداً عن الفضاءات الفرعية الحساسة للانتباه (attention-sensitive subspaces)، مما يستعيد الأداء في الأزواج الصعبة.
3. المساهمات الرئيسية
- إطار عمل للملاءمة مغلق الصيغة: إطار عمل يعتمد على الانحدار المتعدد لكل رأس، وهو خالٍ من التدرج، ويسمح بنقل KV عبر النماذج دون الحاجة للتدريب. يعتمد على اختيار أفضل k من طبقات المصدر ورسم خرائط المحتوى المجرد من RoPE.
- التحقق من عائلات متعددة: التحقق عبر ثلاث عائلات نماذج (Qwen3, Lba 3.1, Ministral 3) وستة أزواج متطابقة الـ KV.
- الاستعادة غير الخطية: إثبات أن MLP خفيف الوزن يمكنه استعادة الأداء في الأزواج "الصعبة" حيث تفشل الملاءمة الخطية، وتحديداً من خلال إعادة توزيع الخطأ بعيداً عن الأبعاد الحساسة للانتباه.
- مقياس تشخيصي: تحديد أن تشابه جيب التمام لمخرجات الانتباه (attention-output cosine similarity) هو متنبئ أفضل للحفاظ على الأداء في المهام اللاحقة مقارنة بمقاييس إعادة البناء القياسية (R2). أظهر المؤلفون ارتباط بيرسون قدره r=+0.57 بين تشابه جيب التمام لمخرجات الانتباه والحفاظ على أداء HellaSwag، مقارنة بـ r=−0.20 لـ R2.
4. النتائج التجريبية
تم تقييم الإطار على ستة أزواج متطابقة الـ KV عبر ثلاث عائلات باستخدام خمسة اختبارات دقة (ARC-C, HellaSwag, WinoGrande, MMLU, GSM8K) ودرجة تعقيد (perplexity) لـ WikiText-2.
- الاحتفاظ بالدقة:
- الفئة الأولى (النجاح): حافظت أربعة أزواج (Qwen3 14B→32B, 8B→32B; Llama 3.1 8B→70B; Ministral 3B→8B) على 73–98% من دقة النموذج المستهدف المستقل.
- الفئة الثانية (الفشل): انخفضت دقة زوجين (Ministral 3B→14B, 8B→14B) بشكل كبير (42–44% احتفاظ). ومع ذلك، فإن استبدال الملاءمة الخطية بـ MLP استعاد الاحتفاظ بـ HellaSwag بمقدار +24.3 إلى +36.8 نقطة مئوية، مما رفع هذه الأزواج إلى ما فوق 90%.
- زمن الاستجابة (Latency):
- يعمل الرّسام (mapper) بسرعة أسرع بـ 2.7 إلى 25 ضعفاً من إعادة التعبئة المسبقة للنموذج المستهدف.
- تظهر أكبر معدلات التسريع في عمليات النقل من الصغير إلى الكبير وفي أطوال السياق الطويلة (على سبيل المثال، تسريع بمقدار 25 ضعفاً عند 32 ألف توكن لـ Qwen3 14B→32B).
- الاستقرار في تعدد الدورات:
- في سيناريوهات التسليم متعدد الدورات (CoQA)، يظل الانحراف (drift) صغيراً. انحراف (صغير-إلى-كبير) يتسع بمقدار 1.7 نقطة مئوية فقط عبر 10 دورات؛ بينما ينمو انحراف (كبير-إلى-صغير) خطياً بمعدل 0.33 نقطة مئية لكل دورة، مما يشير إلى الاستقرار في جلسات العمل النموذجية.
- كفاءة المعايرة:
- يتطلب الرّام معايرة 500 تسلسل فقط.
- يستغرق التوفيق (fitting) حوالي 47–87 دقيقة لكل زوج على عقدة واحدة من نوع 8×H100، دون تدريب يعتمد على التدرج.
5. الأهمية والادعاءات
تدعي الورقة أن نقل ذاكرة التخزين المؤقت لـ KV عبر النماذج داخل عائلة واحدة من الـ LLM يسمح بـ ملاءمة مغلقة الصيغة وخالية من التدريب. يجادل المؤلفون بأن العلاقة بين الـ KV عبر النماذج هي علاقة خطية إلى حد كبير، مما يتحدى الافتراض بأن الملاءمات العصبية المعقدة ضرورية لمثل هذه الانتقالات.
تكمن أهمية هذا العمل في:
- العملية: يتيح التدرج بين التكلفة والجودة والتبديل أثناء المحادثة دون التكلفة الباهظة لإعادة التعبئة المسبقة، مما يجعل التنسيق الديناميكي للنماذج ممكناً في بيئات الإنتاج.
- التحول في التقييم: تشير النتائج إلى أن معايير تقييم الملاءمات عبر النماذج يجب أن تتحول من مقاييس إعادة البناء الخام (R2) إلى التشخيصات الواعية للفضاءات الفرعية (مثل تشابه جيب التمام لمخرجات الانتباه)، حيث أن الأخيرة تتنبأ بشكل أفضل بأداء المهام اللاحقة.
- إعادة توزيع الخطأ: يسلط العمل الضوء على أن فشل النقل غالباً ما يكون بسبب مكان وقوع الخطأ (في الفضاءات الفرعية الحساسة للانتباه) وليس بسبب مقدار الخطأ، مما يحفز أهداف التوافق مع الانتباه في المستقبل.
يظل المؤلفون متواضعين بشأن القيود، مشيرين إلى أن النهج مقيد حالياً ضمن عائلات النماذج ذات الانتباه الكامل (full-attention) والكثيفة والمتطابقة في تكوينات الـ KV، وأن المعايرة تتم على مجال واحد (FineWeb-Edu). وقد تركوا مسألة النقل عبر العائلات المختلفة وظروف الـ KV غير المتطابقة كأبحاث مفتوحة للمستقبل.