Dicționar de termeni în colecția "Sisteme informatice"
Sisteme de calcul de reducere
Sistemele de calcul de reducere sunt sisteme în care se inițiază calcule pe baza unei solicitări de date. În centrul acestei organizații este reprezentarea procesului de calcul sub forma unui grafic. Vârfurile graficului sunt procesate de jos în sus, deoarece vârful este lansat numai atunci când rezultatul său este necesar. Acest proces se numește reducerea graficului, care determină numele sistemului de reducere.
Baza matematică a aeronavelor de reducere este calculul lambda. și pentru scrierea programelor pentru astfel de sisteme, sunt necesare așa-numitele limbi de programare funcționale (FP, Haskell, etc.). În limbaj funcțional toate programele prezentate sub formă de exprimare (de aici expresia este „adunare“ a operațiunilor), precum și procesul de punere în aplicare a programului este de a determina valorile trecutului (aceasta se numește evaluarea expresiei). Evaluarea expresiei realizată prin repetarea etapei de selecție și simplificând părți ale expresiilor, care pot fi reduse de la complex la simplu (de exemplu subexpression numit REDEX (de la Exprimare Redus - expresie redusă), și este, de asemenea, ea însăși Redex expresie specifică). Funcționarea simplificării se numește reducere. Procesul de reducere este finalizat atunci când expresia transformată de reducere nu mai conține o redefinire. O expresie care nu conține un redox se numește o formă normală.
În reducerea VS, calculele sunt efectuate la cerere pentru rezultatul operației.
Să presupunem că se calculează expresia a = (b + 1) × c -d / c. În cazul modelelor streaming, procesul începe cu cele mai multe operații interne, și anume cu calcul paralel (b +1) și d / c. Apoi se efectuează operația de multiplicare (b + 1) × c și, în cele din urmă, operația cea mai externă este scăderea. Acest tip de calcul este deseori numit calcul energetic (evaluare dornică).
În calculele bazate pe interogări, totul începe cu o interogare a rezultatului a. care include o cerere de evaluare a expresiilor (b +1) × c și d / c. și aceștia, la rândul lor, formează o cerere de a calcula b +1, adică funcționarea celui mai interior nivel. Rezultatul este returnat în ordinea inversă față de cererile primite. Prin urmare, numele de evaluare leneș, deoarece operațiunile sunt efectuate numai atunci când rezultatul lor este cerut de o altă operație. Calculul de reducere este în mod firesc în concordanță cu conceptul de programare funcțională, care simplifică paralelizarea programelor.
Sunt cunoscute două tipuri de modele de sisteme de reducere: litere mici și grafice. care diferă prin faptul că este transferat la funcția (funcția) - valorile de date copiate sau numai indicii către zonele de stocare a datelor.
În modelul de reducere inferior, fiecare vertex solicitant primește o copie separată a expresiei pentru propria estimare. O expresie lungă de șir este redusă (redusă) recursiv la o singură valoare. Fiecare pas al reducerii conține o operație, urmată de o referință la operanzii de intrare necesari. Operația este suspendată în timp ce parametrii de intrare sunt evaluați.
Programul de reducere constă în recunoașterea creditorilor și apoi înlocuirea acestora cu valorile calculate. Astfel, întregul program este în cele din urmă redus la rezultat.