Žinių pagrindai

Fischer, Lynch ir Paterson įrodo, kad deterministinis konsensuso protokolas jų visiškai asinchroniniame pranešimų perdavimo modelyje gali turėti leidžiamą vykdymą be sprendimo, kai įvyksta ne daugiau kaip vienas sustojimo gedimas.

Raft naudoja numeruotomis kadencijomis grindžiamus lyderio rinkimus, daugumos balsavimą ir žurnalų atitiktį būsenų mašinai replikuoti esant mazgų sustojimo gedimams.

Linearizuojamo objekto veikimą galima aprašyti nuoseklia operacijų seka, kurioje kiekviena užbaigta operacija atrodo įsigaliojanti tarp jos iškvietimo ir atsakymo, išlaikant laike nepersidengiančių operacijų pirmumo tvarką realiuoju laiku.

Gilberto ir Lynch asinchroniniame skaitymo ir rašymo modelyje realizacija negali užtikrinti ir atominio nuoseklumo, ir kiekvienos užklausos užbaigimo pateikiant atsakymą kiekviename nesugedusiame mazge, kai tinklas gali būti skaidomas bet kaip.

Sinchroniniame Bizantijos generolų modelyje su žodiniais pranešimais, kai yra ne daugiau kaip f klaidingai veikiančių dalyvių, susitarimui reikia bent 3f+1 dalyvių; siuntėjai turi būti atpažįstami, o pristatymas – patikimas, tačiau nėra perduodamos nesuklastojamų parašų grandinės.

Interpretuojant skaičių kaip turintį ženklą, vyriausiajam bitui priskiriamas neigiamas svoris.

Baitų tvarka nusako, koks reikšmingumas priskiriamas paeiliui saugomiems oktetams.

UTF-8 koduoja skaliarines reikšmes kintamu oktetų skaičiumi.

Tekstų lygybė ir simbolių skaičius priklauso nuo nurodyto atvaizdavimo būdo ir susitarimo.

IP adresai nurodo tinklo paskirties vietas; IP negarantuoja pristatymo.

UDP perduoda adresuotus pranešimus, nesuteikdamas patikimo srauto pristatymo.

DNS paskirsto išteklių įrašus su nurodytais tipais per deleguotą vardų hierarchiją.

Po apribotos nusistovėjimo delsos kombinacinės grandinės išvestis priklauso nuo dabartinių galiojančių įvesčių.

Loginiai elementai apskaičiuoja Bulio funkcijas, kurių teisingumo vertės yra 0 ir 1.

Nuosekliosios grandinės išlaiko būseną, todėl vien dabartiniai įėjimo signalai nenulemia jų veikimo.

Atmintyje saugomos instrukcijos valdo skaičiavimą per apibrėžtą aparatinės ir programinės įrangos sąsają.

Vardai nurodo reikšmes per vykdymo aplinką.

Pasirinkimas ir kartojimas lemia, kurie programos sakiniai vykdomi.

Kvietimas susieja argumentus su vietiniais parametrų susiejimais.

Savęs kvietimai paprastina uždavinį, artindami jį prie atvejo, kuriuo skaičiavimas baigiamas.

Tipai aprašo reikšmes ir leidžiamas operacijas; patikros atliekamos skirtingais etapais.

Operacinė sistema valdo programos vykdymą kaip procesą.

Proceso matoma adresų erdvė skiriasi nuo išdėstymo fizinėje atmintyje.

Failų turinys, katalogų vardai ir ilgalaikis saugojimas atlieka skirtingus vaidmenis.