Sardsüsteem: Piiratud väljendusvõime, mis põhineb hästi (suspended) kuni teise täitmine jõuab mingi Genereeritud C programmid ei ole alati valitud punktini efektiivsed arvutusmudelil: 38 Ei sobi hajusrakendustele · Peavad olema efektiivsed · Spetsifitseerida saab ainult valitud süsteeme Kontrolli-põhine sünkroniseerimine Ei ole programmilisi konstruktsioone Loodud mingi spetsiifilise ülesande jaoks. · Formaalne analüüs on võimalik Andmete põhine sünkroniseerimine Ei või...
ITK 2007, Kalev Pihl Sissejuhatus informaatikasse 13 Uued vaated programmeerimisele •Superkompuutreid tehakse järjest vähem, kuna nad enam ei vasta teaduse nõuetele •Programmeerimine peab järjestikuse ja paralleelse töötlemise mudeli maha jätma ja võtma kasutusele paralleelse ja jagatud mudeli •Uus mudel peab sobima nii mitme tuumaga protsessorite eriti väiksele latentsusele kui ka jagatud arvutuste eriti suurele latentsusele •RPC tuleb asendada millegi asünkroonse, veakindla ja latentsustundetuga •Võiks arvata, et selleks tuleks ka teadusmaailma tarbeks tekitada uued programmeerimiskeeled •Mittedetermineeritud algoritmid võivad osutuda tavapäraseks ITK 2007, Kalev Pihl Sissejuhatus informaatikasse 14 Andmete semantika •Info tulva suurenedes on tekkimas nn Datamart tüüpi andmestikud, mida läheb rohkem vaja •See aga eeldab kirjeldust Datamart andmete kohta, mis peab olema kergelt loetav •Kuidas aga teha kindlaks mitmendat korda
annaabi.ee 
