هناك حاجة إلى الحوسبة عالية الأداء لحل المزيد والمزيد من المهام - مثل معالجة الصور أو تطبيقات التعلم العميق المختلفة على الشبكات العصبية - حيث تحتاج إلى معالجة كميات هائلة من البيانات ، والقيام بذلك بسرعة كافية ، وإلا فقد يستغرق الأمر قدرًا لا يصدق من زمن. من المعتقد على نطاق واسع أنه عند إجراء مثل هذه العمليات ، لا مفر من التوصل إلى حل وسط بين السرعة والموثوقية. وفقًا لهذا التفكير ، إذا كانت السرعة أولوية ، فمن المحتمل أن تتأثر الموثوقية والعكس صحيح.
ومع ذلك ، فإن مجموعة من الباحثين مقرها أساسًا في معهد ماساتشوستس للتكنولوجيا (MIT) يتحدون هذه الفكرة ، بحجة أنه يمكنك بالفعل الحصول على كل شيء. وفقًا لأماندا ليو ، طالبة الدراسات العليا في السنة الثانية في مختبر علوم الكمبيوتر والذكاء الاصطناعي (CSAIL) التابع لمعهد ماساتشوستس للتكنولوجيا ، بلغة برمجة جديدة كتبها خصيصًا للحوسبة عالية الأداء ، "لا يتعين على السرعة والصحة التنافس. على العكس من ذلك ، يمكنهم أن يتعاونوا معًا ، جنبًا إلى جنب ، في البرامج التي نكتبها ". تحدثت ليو وفريقها عن إمكانات لغة التنسور التي تم إنشاؤها حديثًا (ATL) الشهر الماضي في مؤتمر مبادئ لغات البرمجة في فيلادلفيا.
يقول ليو: "كل شيء في لغتنا يهدف إلى الحصول على رقم واحد أو موتر." الموترات ، بدورها ، هي تعميم للمتجهات والمصفوفات. في حين أن المتجهات هي كائنات أحادية البعد (غالبًا ما يتم تمثيلها بأسهم فردية) والمصفوفات عبارة عن مصفوفات ثنائية الأبعاد مألوفة من الأرقام ، فإن الموترات عبارة عن مصفوفات ذات أبعاد n يمكن أن تتخذ شكل مصفوفة 3 × 3 × 3 ، على سبيل المثال ، أو حتى أبعاد أعلى (أو منخفضة).
يتمثل جوهر خوارزمية الكمبيوتر أو البرنامج في بدء عملية حسابية معينة. ولكن يمكن أن يكون هناك العديد من الطرق المختلفة لكتابة هذا البرنامج - "مجموعة متنوعة ومدهشة من تطبيقات الكود المختلفة" ، كما كتب ليو والمؤلفون المشاركون في ورقتهم - بعضها أسرع بشكل ملحوظ من البعض الآخر. تشرح أن السبب المنطقي الرئيسي وراء ATL هو: "نظرًا لأن الحوسبة عالية الأداء تتطلب موارد كثيرة ، فأنت تريد أن تكون قادرًا على تعديل البرامج أو إعادة كتابتها بالشكل الأمثل لتسريع الأمور. غالبًا ما تبدأ بالبرنامج الأسهل في الكتابة ، ولكن قد لا تكون هذه هي الطريقة الأسرع لتشغيله ، لذلك لا تزال بحاجة إلى إجراء المزيد من التعديلات ".
تعتمد لغة الأوامر الجديدة على لغة Coq الحالية ، والتي تتضمن مساعد إثبات. مساعد الإثبات ، بدوره ، لديه القدرة على إثبات بياناته رياضيًا بدقة. Coq لها خاصية أخرى جعلتها جذابة لمجموعة MIT: البرامج المكتوبة بهذه اللغة ، أو التكيف معها ، تنتهي دائمًا ولا يمكن تشغيلها إلى أجل غير مسمى في حلقات لا نهائية.
الآن هي لغة الموتر الأولى والوحيدة حتى الآن مع تحسينات تم التحقق منها رسميًا. ومع ذلك ، يحذر فريق معهد ماساتشوستس للتكنولوجيا من أن ATL لا يزال مجرد نموذج أولي - وإن كان نموذجًا واعدًا - تم اختباره على عدد من البرامج الصغيرة.
اقرأ أيضا: