Global GAMMA A distributed implementation of GAMMA using global computing جاما العالمية تطوير متوازي وموزع لجاما باستخدام الحوسبة العالمية

Abstract

It is commonly known that writing and debugging parallel programs is more difficult than sequential programs (using traditional imperative or functional programming languages) Gamma which is formalism for programming by multiset transformation was suggested with the idea that programs are expressed in very abstract way This makes Gamma very suitable for writing "correct" parallel programs Gamma is a specification model which is far away from a real architecture thus designing reasonably efficient implementation of the language is not straightforward The main goal of the Global GAMMA project is to develop a parallel distributed implementation of Gamma on the Internet (on a Global computing environment) which will exploit the idle time of Internetconnected computers

من المتعارف عليه أن كتابة وتصحيح البرامج المتوازية وتصحيحها أكثر صعوبة وتعقيدا من كتابة وتصحيح البرامج التسلسلية التقليدية جاما، أو النموذج المجرد العام لتحويل المجموعات المتعددة (GAMMA) هو مفهوم تم طرحه لكتابة البرامج بشكل عالي التجريد خال من تفاصيل (وتسلسل) التنفيذ لهذه البرامج هذا التجريد العالي في وصف البرامج يجعل من جاما وسيلة مناسبة لكتابة برامج متوازية صحيحة جاما، عبارة عن نموذج وصفي لا يوجد له بنية حاسبية مقابلة لتطبيقه، على عكس نموذج فون نيومان التسلسلي الذي يقابله بنية الحاسبات التقليدية، لهذا السبب فإن تصميم نموذج لتطبيق جاما ليس بالأمر السهل الهدف الرئيس لهذا المشروع هو تطوير تطبيق متوازي وموزع لجاما باستخدام الشبكة العالمية لاستغلال الوقت المهدر للحاسبات المتصلة بالإنترنت