Modern informatikai problémák
Szótár kifejezések a gyűjteményben "Számítógépes rendszerek"
Redukciós számítástechnikai rendszerek
A redukciós számítástechnikai rendszerek olyan rendszerek, amelyeknél a számításokat adatkérés alapján kezdeményezik. A szervezet központi eleme a számítási folyamat ábrázolása grafikon formájában. A grafikon csúcsai alulról felfelé feldolgozottak, mivel a csúcsot csak akkor kell elindítani, ha az eredmény szükséges. Ezt a folyamatot nevezzük a redukciós rendszer nevének meghatározására szolgáló gráf csökkentésével.
A redukciós légi jármű matematikai alapja lambda kalkulus. és az ilyen rendszerekhez való programok írásához szükség van az úgynevezett funkcionális programozási nyelvekre (FP, Haskell stb.). A funkcionális nyelv összes bemutatott programok a kifejezési forma (itt a kifejezés a „szerelvény” műveletek), és a folyamat végrehajtása a program célja, hogy meghatározza a múlt értékeit (ezt nevezik értékelése kifejezés). Expression által végzett értékelés megismételve a szelekciós lépés és egyszerűsítése a részek a kifejezések, amely csökkenthető a komplex egyszerű (például alkifejezésre nevezett redex (expresszió csökkentésével - a csökkent expresszió), és szintén önmagában redex specifikus expressziót). Az egyszerűsítés működését csökkentésnek nevezik. A redukciós folyamat akkor fejeződik be, amikor a redukció által átalakított kifejezés már nem tartalmaz újraértelmezést. A kifejezést, amely nem tartalmaz redoxet, normális formának nevezik.
A VS csökkentésnél a számítások a művelet eredményére vonatkozó kérelem alapján készülnek.
Tegyük fel, hogy kiszámítjuk az a = (b + 1) × c -d / c kifejezést. Áramlási modellek esetében a folyamat a legtöbb belső művelettel kezdődik, nevezetesen párhuzamos számítással (b +1) és d / c-vel. Ezután végrehajtódik a szorzás (b + 1) × c, és végül a legkülső művelet a kivonás. Ezt a számítást gyakran energetikai számításnak nevezik (lelkes értékelés).
A lekérdezés-vezérelt számításokban mindez egy lekérdezéssel kezdődik az a eredményhez. amely tartalmazza a (b +1) × c és d / c kifejezések kiértékelésére irányuló kérelmet. és ezek viszont kérvényt adnak a b +1, vagyis a legbelső szint mûködésének kiszámítására. Az eredményt a bejövő kérelmek fordított sorrendjében visszakapják. Ezért a neve lusta értékelés, mivel a műveleteket csak akkor hajtják végre, ha eredményüket egy másik művelet megkívánja. A redukciós számítások természetesen konzisztensek a funkcionális programozás fogalmával, ami egyszerűsíti a programok párhuzamosítását.
Kétféle típusú redukciós rendszer ismeretes: kisbetűs és grafikonos. különbözik attól, hogy átkerül a művelethez (funkció) - a másolt adatok értékei vagy csak az adattároló területekre mutatnak.
Az alsó redukciós modellben minden egyes kérő csúcs a saját becsléséhez külön kifejezést kap a kifejezéstől. A hosszú string kifejezés rekurzíven csökkent (csökkentve) egyetlen értékre. A redukció minden lépése egy műveletet tartalmaz, amelyet a szükséges bemeneti operandusokra való hivatkozás követ. A művelet a bemeneti paraméterek kiértékelése közben felfüggesztésre kerül.
A redukciós program a redeks felismerését és a számított értékek helyettesítését tartalmazza. Így az egész program végső soron az eredményre csökken.