السيزال

SISAL ( التدفقات والتكرار في لغة التعيين الفردي ) هي لغة برمجة وظيفية للأغراض العامة ذات تعيين فردي مع دلالات صارمة ، وتوازي ضمني ، ومعالجة فعالة للمصفوفات .

تُخرج لغة SISAL مخطط تدفق البيانات بصيغة الوسيط 1 (IF1). وهي مشتقة من لغة الخوارزميات الموجهة نحو القيمة (VAL)، التي صممها جاك دينيس ، وتضيف إليها التكرار والتدفقات المحدودة. تتميز ببنية نحوية شبيهة بلغة باسكال ، وقد صُممت لتكون لغة برمجة عالية المستوى شائعة الاستخدام للبرامج العددية على مجموعة متنوعة من المعالجات المتعددة . ^{[ 1 ]}

تم تعريف لغة SISAL في عام 1983 من قبل جيمس ماكجرو وآخرين، في جامعة مانشستر ، ومختبر لورانس ليفرمور الوطني (LLNL)، وجامعة ولاية كولورادو، وشركة ديجيتال إكويبمنت (DEC). وتم تنقيحها في عام 1985، وتم إصدار أول تطبيق مُجمّع لها في عام 1986. وتتفوق SISAL في أدائها على لغة C ، وتنافس لغة Fortran ، وفقًا لبعض المصادر، ^{[ 2 ]} بالإضافة إلى كفاءتها العالية في المعالجة المتوازية التلقائية.

جاء اسم SISAL من البحث عن "sal" للدلالة على "لغة التعيين الفردي" من قاموس Unix /usr/dict/words.

توجد إصدارات لـ Cray X-MP و Y-MP و 2 ؛ Sequent و Encore Alliant و DEC VAX-11/784 وهياكل تدفق البيانات و KSR1 و Inmos Transputers والمصفوفات الانقباضية .

إن متطلبات لغة التوازي الدقيق يتم تلبيتها بشكل أفضل باستخدام لغة برمجة تدفق البيانات مقارنة بلغة برمجة النظام .

إنّ SISAL أكثر من مجرد لغة لتدفق البيانات والتحليل الدقيق. إنها مجموعة أدوات تحوّل لغة تدفق البيانات النصية المقروءة إلى صيغة بيانية (تُسمى IF1 - الصيغة الوسيطة 1). وشمل جزء من مشروع SISAL أيضًا تحويل هذه الصيغة البيانية إلى كود C قابل للتنفيذ. ^{[ 3 ]}

شهدت لغة SISAL انتعاشاً قصيراً في عام 2010 عندما قام فريق من طلاب المرحلة الجامعية الأولى في معهد ورسستر للفنون التطبيقية بدراسة إمكانية تطبيق واجهة خلفية للتوازي الدقيق للغة SISAL. ^{[ 3 ]}

في عام 2018، تم تحديث SISAL باستخدام بناء الجملة القائم على المسافة البادئة، والوظائف من الدرجة الأولى، وتعبيرات لامدا، والإغلاقات، والدلالات الكسولة ضمن مشروع SISAL-IS. ^{[ 4 ]}

• صفحة مشروع SISAL للبرمجة المتوازية على موقع SourceForge.net