Pramana: A Composable, Domain-Specific Backend for Empirical Networking Research

السباق بين الأفكار والإثبات

تخيل عالماً يستطيع فيه العلماء ابتكار نظريات جديدة بسرعة أكبر من قدرتهم على اختبارها. هذا هو بالضبط ما يحدث في مجال أبحاث شبكات الكمبيوتر. لعقود من الزمن، درس الباحثون كيفية انتقال البيانات عبر الإنترنت، محاولين معرفة سبب سرعة بعض الاتصالات وبطء أخرى، أو كيفية جعل مكالمات الفيديو أكثر سلاسة. ولإثبات أفكارهم، يحتاجون إلى بناء "تجارب"—وهي إعدادات خاضعة للتحكم بدقة حيث يمكنهم توليد أنواع محددة من حركة مرور الإنترنت، مثل تنافس عملية تحميل ملف ضخم مع مكالمة فيديو مباشرة، ثم قياس ما يحدث.

المشكلة تكمج في أن بناء هذه التجارب صعب وبطيء للغاية. الأمر يشبه محاولة خبز كعكة من الصفر في كل مرة تريد فيها تذوق نكهة جديدة؛ عليك خلط المكونات، ضبط الفرن، ومراقبة المؤقت، حتى لو كنت تريد فقط معرفة ما إذا كانت إضافة رشة ملح ستغير الطعم. في الماضي، كان هذا أمراً يمكن التعامل معه. ولكن الآن، مع صعود الذكاء الاصطناعي، يمكن لأجهزة الكمبيوتر ابتكار آلاف الأفكار الجديدة للشبكات في طرفة عين. ومع ذلك، فإن البشر (والأدوات) اللازمين لاختبار تلك الأفكار فعلياً لا يزالون عالقين في العالم اليدوي البطيء لإعداد الكابلات وتكوين الخوادم. وهذا يخلق تراكمًا هائلاً من الأفكار العبقرية التي لا يمكن إثباتها لأن "مطبخ الاختبار" بطيء للغاية. الورقة البحثية التي ستطالعها تعالج هذه العقبة تحديداً، وتقترح طريقة جديدة لتحويل فكرة بسيطة إلى تجربة معقدة دون عناء.

"الوصفة السحرية" لتجارب الإنترنت

قام مؤلفو هذه الورقة، وهم فريق من الباحثين من جامعات مثل جامعة كاليفورنيا في سانتا باربرا وجامعة الهند التقنية (IIT) دلهي، ببناء أداة جديدة تسمى Pramana (والتي تعني "الدليل" باللغة السنسكريتية). فكر في "برامانا" (Pramana) ككتاب "وصفات" ذكي وقابل للتركيب لتجارب الإنترنت.

في الأيام الخوالي، إذا أراد باحث اختبار فكرة جديدة، كان عليه البدء من الصفر. كان عليه إعداد رابط إنترنت وهمي يدوياً، وتثبيت برامج محددة، وتوليد حركة المرور، وتسجيل النتائج. وإذا أراد اختبار فكرة مختلفة قليلاً، كان عليه القيام بمعظم ذلك العمل مرة أخرى. كان الأمر يشبه ضرورة بناء محرك سيارة جديد في كل مرة تريد فيها اختبار نوع مختلف من الوقود.

يغير "برامانا" قواعد اللعبة من خلال تقديم "خصر نحيف" (thin waist) في منتصف العملية. تخيل مطبخ مطعم؛ في الأعلى، لديك الطاهي (الباحث) الذي يريد فقط أن يقول: "أريد برجر حاراً مع جانب من البطاطس المقلية". وفي الأسفل، لديك الأفران والشوايات والمقالي الفعلية (أنظمة الكمبيوتر ومنصات الاختبار المختلفة حيث تجرى التجربة). وفي المنتصف، لديك توصيف النية (Intent Specification). هذه هي بطاقة الوصفة السحرية.

بدلاً من أن يعرف الطاهي كيفية تشغيل الشواية، أو درجة حرارة الفرن، أو كيفية تقطيع البصل، فإنه يكتفي بكتابة ماذا يريد (النية) وأين يريد صنعها (الركيزة/Substrate). يقوم نظام "برامانا" بعد ذلك بأخذ هذا الطلب البسيط ويحدد تلقائياً كيف يجعل ذلك يحدث باستخدام الأدوات المتاحة. إنه يفكك التجربة إلى ثلاثة أجزاء مستقلة:

1. النية: ما هي البيانات التي نحتاجها؟ (مثلاً: "مكالمة فيديو تتصارع مع تحميل ملف كبير").
2. الركيزة (Substrate): أين نشغلها؟ (مثلاً: "على جهاز كمبيوتر محمول"، "في السحابة"، أو "على منصة اختبار جامعية").
3. الآلية: كيف نقوم بذلك فعلياً؟ (هذا هو الجزء الصعب الذي يتعامل معه "برامانا" تلقائياً).

"مجموعة النوايا" والإثبات

لإثبات نجاح فكرتهم، لم يكتفِ الباحثون بالتخمين. بل قاموا بعملية بحث واسعة في 66 ورقة بحثية منشورة من العقد الماضي. قرأوا مئات التجارب ودوّنوا "النية" لكل منها—وهي البيانات المحددة التي كان الباحثون يحاولون توليدها. انتهى بهم المطاف بقائمة تضم 255 نية بحثية مختلفة.

ثم طرحوا سؤالاً بسيطاً: هل تستطيع الأدوات الموجودة حالياً التعامل مع هذه الطلبات الـ 255؟ كانت الإجابة "لا" قاطعة. فأفضل الأدوات المتخصصة الحالية لم تستطع التعامل إلا مع حوالي 13% فقط من هذه الطلبات. على سبيل المثال، قد تكون إحدى الأدوات ممتازة في محاكاة اتصال إنترنت بطيء ولكنها سيئة جداً في تشغيل تطبيق مكالمة فيديو حقيقي. وأداة أخرى قد تكون جيدة في تشغيل التطبيقات ولكنها لا تستطيع محاكاة الاتصال البطيء. لقد كانت جميعها أدوات ذات قدرة واحدة محدودة.

أما "برامانا"، فقد صُمم ليكون "مترجماً عالمياً". قام الباحثون ببناء نسخة إثبات مفهوم من "برامانا" واختبروها مقابل قائمة النوايا الـ 255 الخاصة بهم. وعلى الرغم من أنه لا يزال عملاً قيد التطوير، فقد تمكن "برامانا" من تلبية 34% من الطلبات. قد لا يبدو هذا الرقم بنسبة 100%، ولكنه أفضل بمرتين من أفضل أداة متاحة حالياً.

لماذا هذا مهم: تجربة الـ "2.7 ثانية"

الجزء الأكثر إثارة في الورقة البحثية هو مقدار الوقت الذي توفره. اختبر الباحثون "برامانا" باستخدام مثال من العالم الحقيقي: دراسة حاولت تحديد نوع خوارزمية التحكم في حركة مرور الإنترنت المستخدمة. بالطريقة القديمة، كان إعداد التجربة لاختبار جميع السيناريوهات المختلفة سيستغرق من الباحث أسابيع من العمل اليدوي.

مع "برامانا"، يكتب الباحث فكرته ببساطة باستخدام اللغة الطبيعية. يقوم النظام بتحويلها إلى مواصفات، وتجري التجربة. وجد الباحثون أن الوقت "النشط" الذي قضاه الباحث كان 2.7 ثانية فقط لتجميع النية. أما بقية العملية—توليد البيانات، وتشغيل الاختبارات، وجمع النتائج—فقد حدثت تلقائياً في الخلفية.

ولمعرفة ما إذا كان هذا يساعد الناس حقاً، أجروا دراسة مع 46 طالباً. وعندما سُئلوا عن مقدار الجهد الذي سيتطلبه إعادة إنشاء نفس النتائج بدون "برامانا"، قال 89% من الطلاب إن الأمر كان سيتطلب ضعف الجهد على الأقل.

الطريق نحو المستقبل

الباحثون واضحون جداً بشأن ماهية "برامانا" وما ليس عليه. فهم يعترفون بأن نسختهم الحالية تغطي فقط حوالي ثلث التجارب الممكنة (رقم 34%). هم لا يدعون أنهم حلوا كل شيء بعد. بدلاً من ذلك، هم يقدمون خارطة طريق واضحة. لقد حددوا الـ 168 تجربة المتبقية التي لا تزال معطلة حالياً، ووجدوا أنها تتركز في الغالب في 35 ميزة محددة تحتاج إلى الإضافة.

إنهم يجادلون بأن هذه المهمة هي وظيفة المجتمع العلمي بأكمله. تماماً كما بُني الإنترنت نفسه على "خصر نحيف" من البروتوكولات القياسية التي تسمح للأجهزة المختلفة بالتواصل مع بعضها البعض، يريد "برامانا" أن يكون "خصراً نحيفاً" للبحث العلمي. من خلال فصل "ماذا" (الفكرة) عن "كيف" (التفاصيل التقنية الفوضوية)، يأملون في جعل أبحاث الشبكات متاحة للجميع. وهذا يعني أنه بدلاً من أن تقتصر القدرة على اختبار الأفكار الجديدة على عدد قليل من المختبرات الكبيرة ذات الميزانيات الضخمة، يمكن لأي شخص لديه فرضية جيدة استخدام هذا النظام لتوليد الأدلة التي يحتاجها.

في عالم يولد فيه الذكاء الاصطناعي أفكاراً جديدة بسرعة أكبر من أي وقت مضى، يقدم "برامانا" وسيلة لمواكبة هذا التسارع. إنه يحول العملية البطيئة والمؤلمة لبناء تجربة إلى شيء بسيط مثل كتابة وصفة، مما يضمن أن فيض الأفكار الجديدة يمكن أخيراً اختبارها، وإثباتها، وتحويلها إلى تقدم علمي حقيقي.