MIT-in Tədqiqatçıları Aydın və Modul Proqram Təminatı üçün Yeni Model Təklif Edir

Böyük Dil Modelləri (BDM-lər) ilə kod yazmaq proqramlaşdırma sahəsində böyük vədlər versə də, bu həm də mövcud proqram təminatının köhnə problemlərini üzə çıxarır. Məsələn, hazırkı kod çox vaxt qarışıq olur, təhlükəsiz şəkildə dəyişdirilməsi çətindir və sistemin daxilində nə baş verdiyi bəzən anlaşılmaz qalır. MIT-nin Kompüter Elmləri və Süni İntellekt Laboratoriyasının (CSAIL) tədqiqatçıları bu çətinlikləri aradan qaldırmaq üçün daha modul bir yol irəli sürüblər. Onlar proqram təminatını iki əsas hissəyə ayırırlar: "konseptlər" və "sinxronizasiyalar". Konseptlər sistemin hər biri tək bir işi yaxşı yerinə yetirmək üçün nəzərdə tutulmuş ayrı-ayrı parçalarıdır, sinxronizasiyalar isə bu hissələrin necə birləşəcəyini dəqiq təsvir edən aydın qaydalardır. Bu yeni yanaşma nəticəsində yaranan proqram təminatı daha şəffaf, asan başa düşülən və oxunaqlı olur.

Tədqiqat qrupu, o cümlədən MIT professoru Daniel Cekson və doktorant Eaqon Menq, bu yanaşmanı Sinqapurda keçirilən Splash Konfransında təqdim etdikləri “Gördüyün, Etdiyidir: Aydın Proqram Təminatı üçün Struktur Qəlibi” adlı məqalələrində ətraflı izah ediblər. Onlar qeyd edirlər ki, müasir sistemlərdəki əsas problem "funksiyanın parçalanması"dır. Bir funksiya, məsələn, "paylaş" düyməsi, heç vaxt tamamilə öz-özlüyündə mövcud olmur. Onun funksionallığı paylaşma, bildirişlər və istifadəçi identifikasiyası ilə məşğul olan bir neçə xidmətə səpələnir. Bu parçalar kodun fərqli yerlərinə səpələnsə də, diqqətlə uyğunlaşdırılmalıdır və hər hansı bir dəyişiklik sistemin başqa yerlərində arzuolunmaz nəticələrə səbəb ola bilər. Ceksonun sözlərinə görə, bu, proqram təminatının etibarlılığına ciddi maneə yaradır, çünki siz bir funksiyanın işini anlamaq istədikdə, onu bir neçə fərqli yerdə axtarmalı olursunuz.

Təklif edilən konseptlər və sinxronizasiyalar bu problemi həll etmək məqsədi daşıyır. Konsept bir-birinə bağlı funksionallığı (məsələn, bəyənmə və ya izləmə) onun vəziyyəti və görə biləcəyi hərəkətlərlə birləşdirir. Sinxronizasiyalar isə bu konseptlərin hansı şəkildə qarşılıqlı əlaqədə olduğunu yüksək səviyyədə təsvir edir. Mürəkkəb, aşağı səviyyəli inteqrasiya kodu yazmaq əvəzinə, tərtibatçılar kiçik, domenə xas bir dildən (DSL) istifadə edərək əlaqələri birbaşa ifadə edirlər. Bu dildə qaydalar sadə və aydındır: bir konseptdəki hərəkət digərini işə sala bilər, beləcə bir parçadakı dəyişiklik digəri ilə sinxronlaşdırılır. Bu, sistemi həm insanlar üçün başa düşülən edir, həm də Böyük Dil Modelləri kimi alətlərin proqramı daha düzgün yaratmasını asanlaşdırır. Sinxronizasiyalar aydın və bəyan edici olduğundan, onlar analiz edilə, yoxlanıla və BDM tərəfindən yaradıla bilər ki, bu da süni intellekt köməkçilərinin gizli yan təsirlər yaratmadan yeni funksiyalar təklif etməsinə yol açır.

Tədqiqatçılar apardıqları nümunə araşdırmasında bəyənmə, şərh yazma və paylaşma kimi funksiyaları hər biri bir konseptə təyin ediblər. Əks halda, bu funksiyalar bir çox xidmətə səpələnəcəkdi. Konseptlər və sinxronizasiyalar metodundan istifadə edərək, hər bir funksiya mərkəzləşdirilmiş və aydın oldu. Üstəlik, bu sinxronizasiyalar səhvlərin idarə edilməsi və ya məlumatların daimi saxlanması kimi ümumi məsələləri də nəzərə ala bilir. Bu detalları hər xidmətdə təkrarlamaq əvəzinə, sinxronizasiya bütün sistemdə ardıcıllığı təmin edərək, onları bir dəfə həll edir. Cekson gələcəkdə "konsept kataloqları"nın - yaxşı sınaqdan keçmiş konseptlər kitabxanalarının - yaradılması ilə proqramlaşdırmanın mədəniyyətinin dəyişəcəyinə inanır. O, tətbiqin inkişafının sıfırdan kod yazmaqdan daha çox, uyğun konseptləri seçmək və onların arasındakı sinxronizasiyaları yazmaqdan ibarət olacağını düşünür. Bu yanaşma, Virciniya Universitetindən dosent Kevin Sallivanın dediyi kimi, proqram dizaynının nəzəriyyəsi və təcrübəsi üçün yeni və mühüm bir istiqamət daşıyır. Tədqiqatçıların ümidi budur ki, onların işi süni intellekt dövründə proqram arxitekturasına dair düşüncə tərzinə təsir edəcək və proqramın niyyətlərini daha şəffaf edəcək.