Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
1.2Specyfikasystemówinformatycznych
9
maszyny(np.5)orazzaproponowaćodpowiedniciąginstrukcjizawierających
symbolealfabetuistanymaszyny.Abyprzeprowadzićjakieśkonkretnemno-
żenie,musiałbyumieścićnataśmieautomatudwieodpowiedniozakodowane
liczbyiuruchomićgo;wefekciewykonaniaprogramunataśmiepozostałby
odpowiedniozakodowanywynik13.
Choćopisanawyżejkoncepcjaoddajeistotęmaszyncyfrowych,amate-
matycyudowodnili,żewszelkieprogramydziałańtakichmaszynmogązos-
taćzapisanewpostacischematówzaproponowanychprzezTuringa14,toani
sammechanizmgłowicowo-taśmowy,aniteżformakierującychniminstrukcji,
niezapewniajątakiejefektywnościdziałań,któracharakteryzujewspółcze-
snekomputery.Ważnykrokkutejżeefektywnościstanowikolejnakoncepcja
ogólna,znanaszerokopodnazwąarchitekturyvonNeumanna15.Koncepcja
ta,jakkolwiekogólna,określabliżejsposóbdziałaniamaszynycyfrowej,amó-
wiąckonkretniej,wyznaczawyraźnypodziałmaszynynablokiodpo-
wiedzialnezajejposzczególnefunkcje.Zgodniezniąkażdykomputer
cyfrowywinienzawierać:a)blokodpowiedzialnyzabezpośredniąkomunika-
cjęzotoczeniem(urządzeniawejścia/wyjścia),b)blokdoprzechowywania
danych(pamięć),c)blokkoordynującywykonywanieprogramów(jednostka
centralna).Koncepcjętęomówimyszerzejwkolejnympodrozdziale.
1.2Specyfikasystemówinformatycznych
Jużpoprzednipodrozdziałzawierałpewnerozproszoneuwagiospecyficesys-
temówinformatycznych,czyliukładówprzetwarzającychdaneautomatycz-
nieiwsposóbzalgorytmizowany.Poniżejuwagitezbierzemyirozwiniemy,
wszczególnościzaśodróżnimymaszynyinformatyczneodtradycyjnychiwy-
różnimyróżnetypytychpierwszych.
1.2.1Systemyinformatyczneamaszynytradycyjne
Filozofczyteżmetodologpragnącywyjaśnić,naczympolegaistotasystemów
informatycznych,stajeprzednieladawyzwaniem.Materiałempiryczny,do
któregomusisięodnieść,jestbowiemniezwyklebogatyiróżnorodny.Zjednej
stronyskładająsięnańzasadydziałaniasystemówjużskonstruowanych,ta-
13JakoteoretycznerozwinięciekoncepcjimaszynyTuringarozwinęłasięwinforma-
tyceteoriaautomatów.Wjejramachbadasięmożliwościiograniczeniaróżnego
rodzajumaszyncyfrowych,analizującichteoretycznemodele-począwszyodau-
tomatówskończonych,przezautomatyzestosem,ażdouniwersalnychmaszyn
Turinga.Por.[Hopcroft.Ullman,Motwani2001].
14Por.[Hopcroft.Ullman,Motwani2001].
15Jestonazbiorczymdziełemzespołupracującegowlatach1944-1946nadprototy-
pempierwszegozaawansowanegokomputeracyfrowego.Ponieważzespołemtym
kierowałJohnvonNeumann,wnazwiekoncepcjifigurujejegonazwisko.
