EDVAC туралы алғашқы есеп жобасы - Википедия - First Draft of a Report on the EDVAC

The EDVAC туралы есептің алғашқы жобасы (әдетте қысқартылған Бірінші жоба) болып табылады толық емес 101 беттік құжат жазылған Джон фон Нейман және 1945 жылы 30 маусымда таратылды Герман Голдстайн, құпиялылық бойынша қауіпсіздік офицері ENIAC жоба. Онда компьютерлік бағдарламаның сақталған-бағдарламалық тұжырымдамасын қолданатын логикалық дизайнының алғашқы жарияланған сипаттамасы бар, ол даулы ретінде белгілі болды фон Нейман сәулеті.

Тарих

Титулдық парақ Бірінші жоба, тиесілі көшірме Сэмюэль Александр, кім дамытты SEAC компьютері есеп негізінде.

Фон Нейман есепті пойызбен келе жатқанда қолмен жазды Лос-Аламос, Нью-Мексико және қолмен жазылған жазбаларды почта арқылы жіберді Филадельфия. Голдстайнда есеп теріліп, қайталанған. Есепке алынған күн 30 маусымда болса, оның 24 данасы Бірінші жоба -мен тығыз байланысты адамдарға таратылды EDVAC жоба бес күн бұрын 25 маусымда. Есепке деген қызығушылық оның бүкіл әлемге таралуына себеп болды; Морис Уилкс туралы Кембридж университеті баяндаманың мазмұнына деген толқуын оның сапарға шығуға түрткі болғандығын келтірді АҚШ үшін Мур мектебінің дәрістері 1946 жылдың жазында.

Конспект

Фон Нейман «өте жоғары жылдамдықты автоматты цифрлық есептеу жүйесінің» егжей-тегжейлі дизайнын сипаттайды. Ол оны алты негізгі бөлімге бөледі: орталық арифметикалық бөлім, ОА, басқарудың орталық бөлігі, СС, жады, М, кіріс, I, шығу, О және (жай) сыртқы жад, R, мысалы. перфокарталар, Телетайп лентасы, немесе магнит сымы немесе болат таспа.

ОА қосу, азайту, көбейту, бөлу және квадрат түбірді орындайды. Логарифмдер мен тригонометриялық функциялар сияқты басқа математикалық операцияларды орындау керек үстелге қарау және интерполяция, мүмкін биквадраттық. Ол көбейтуді және бөлуді логарифм кестелерімен жасауға болатындығын, бірақ кестелерді жеткілікті кіші ұстау үшін интерполяция қажет болатынын және бұл өз кезегінде көбейтуді қажет ететіндігін, мүмкін аз дәлдікпен айтатындығын атап өтті.

Сандар ұсынылуы керек екілік жазба. Ол 27 екілік цифрды бағалайды (ол «терминін қолданған жоқ»бит, «ойлап тапты Клод Шеннон 1948 ж.) жеткілікті болар еді (ондық бөлшектің 8 дәлдігін береді), бірақ сандарды бұйрықтардан ажырату үшін белгі битімен және битпен 30 биттік сандарды дөңгелектейді, нәтижесінде ол 32 биттік сөзді а деп атайды кіші цикл. Екі қосымша азайтуды жеңілдететін арифметиканы қолдану керек. Көбейту және бөлу үшін ол екілік нүктені белгі битінен кейін орналастыруды ұсынады, яғни барлық сандар −1 мен +1 аралығында болады деп есептеледі, сондықтан есептеу есептерін сәйкесінше масштабтау керек.

Тізбек дизайны

Вакуумдық түтіктер орнына қолданылуы керек реле түтіктердің қабілеттілігінің арқасында реле үшін 10 миллисекундқа қарсы бір микросекундта жұмыс істейді.

Фон Нейман (5.6 сек.) Компьютерді мүмкіндігінше қарапайым етіп, операцияларды қабаттастыру арқылы өнімділікті жақсартуға тырыспауды ұсынады. Арифметикалық амалдар бір уақытта бір екілік цифрмен орындалуы керек. Ол екі бинарлы цифрды бір микросекундты алады деп есептейді, сондықтан 30 биттік көбейту 30-ға жуықтайды2 микросекундтар немесе шамамен бір миллисекунд, сол кездегі кез-келген есептеу құрылғысынан әлдеқайда жылдам.

Фон Нейманның дизайны ол «Е элементтері» деп атайтын биологиялық негізге сүйене отырып жасалған нейрон модель ретінде,[1][2] бірақ бір немесе екі вакуумдық түтіктер арқылы жасауға болатын цифрлық құрылғылар. Қазіргі тілмен айтқанда, оның қарапайым E элементі екі кіріс болып табылады ЖӘНЕ қақпа бір кірісті төңкергенде (ингибирлеу кірісі). Кірістері көбірек болатын E элементтері шекті мәнге ие және оң кіріс сигналдарының саны шекті деңгейге жеткенде немесе одан асқан кезде шығуды шығарады, тек (тек) ингибирлеу сызығы импульстелмеген жағдайда. Ол көп кірістері бар E элементтерін қарапайым нұсқадан құрастыруға болатындығын айтады, бірақ оларды вакуумдық түтік тізбектері ретінде салуды ұсынады, өйткені аз түтіктер қажет болады.

Осы Е элементтерінен күрделі функционалды блоктар салынуы керек. Ол осы Е элементтерін қосу, азайту, көбейту, бөлу және квадрат түбірге арналған тізбектерді, сондай-ақ екі күй жады блогын және басқару тізбектерін құру үшін қалай пайдалану керектігін көрсетеді. Ол қолданбайды Логикалық логика терминология.

Тізбектер а-дан алынған жүйенің негізгі сағатымен синхронды болуы керек вакуумдық түтік осцилляторы, мүмкін басқарылатын кристалл. Оның логикалық сызбаларында бірліктің кідірісін білдіретін көрсеткі бар белгі бар, өйткені синхронды дизайнда уақыттың кешігуін ескеру керек. Ол бір микросекундта электр импульсі 300 метр қозғалатындығын, сондықтан сағат жылдамдығы анағұрлым жоғары болғанға дейін, мысалы. 108 секундына цикл (100 МГц), сымның ұзындығы мәселе болмайды.

Қателерді анықтау және түзету қажеттілігі туралы айтылады, бірақ әзірленбеген.

Жад дизайны

Негізгі дизайн тұжырымдамасы тұжырымдалған және кейінірек аталған Фон Нейман сәулеті, бұл сандарды (деректерді) және бұйрықтарды (нұсқауларды) қамтитын біртектес жад.

«Құрылғы айтарлықтай есте сақтауды қажет етеді. Бұл жадтың әр түрлі бөліктері өзінің табиғаты мен мақсатына қарай біршама ерекшеленетін функцияларды орындауы керек сияқты болғанымен, барлық жадыны бір мүше ретінде қарастырып, оны иеленуге азғырады. жоғарыда аталған әртүрлі функциялар үшін мүмкіндігінше ауыстырылатын бөлшектер. « (Сек. 2.5)

«CC-ге келіп түсетін тапсырыстар М-дан, яғни сандық материал сақталатын жерден келеді.» (Сек. 14.0)

Фон Нейман математикалық есептердің бірнеше кластары негізінде қажетті жад көлемін бағалайды, соның ішінде қарапайым және дербес дифференциалдық теңдеулер, сұрыптау және ықтималдық тәжірибелері. Олардың ішінде екі өлшемді және уақытты ішінара дифференциалдық теңдеулер ең көп есте сақтауды қажет етеді, ал үш өлшемді қосу уақыты сол кезде қол жетімді технологияны қолданып жасауға болатыннан тыс болады. Ол есте сақтау жүйенің ең үлкен бөлімшесі болады деп тұжырымдайды және ол дизайнның мақсаты ретінде 32 биттің 8 192 минор циклін (сөзін) ұсынады, ал 2048 кіші цикл әлі де пайдалы болып табылады. Ол бағдарламаны сақтау үшін бірнеше жүздеген циклдар жеткілікті деп есептейді.

Ол жылдам есте сақтаудың екі түрін ұсынады, кідіріс сызығы және Иконоскоп түтік. Әрбір кіші циклды бірлік ретінде қарастыру керек (сөздерді адресациялау, сек. 12.8). Нұсқауды жадының басқа нүктесіне ауыстыру үшін арнайы нұсқаулықпен (яғни секіру нұсқаулығы) ретімен орындау керек.

Кешігу сызығының жадындағы екілік цифрлар сызық арқылы өтіп, басынан бастап беріледі. Кідіріс сызығындағы деректерге қол жеткізу уақыт бойынша айыппұл салады, ал қажетті деректердің қайтадан пайда болуын күтеді. Осы уақыт мәселелерін талдағаннан кейін ол кешіктіру желісінің жадын 256 кідіріс сызығының «мүшелеріне» (DLAs) ұйымдастыруды ұсынады, олардың әрқайсысы 1024 бит немесе 32 кіші цикл деп аталады, негізгі цикл. Жадқа қол жеткізу алдымен DLA (8 бит), содан кейін DLA ішіндегі кіші циклды (5 бит) таңдайды, барлығы 13 адрестік бит.

Иконоскоп жады үшін ол түтік бетіндегі әрбір сканерлеу нүктесі конденсатор екенін және конденсатор бір бит сақтай алатындығын біледі. Өте жоғары дәлдіктегі сканерлеу қажет болады, ал жад қысқа уақытқа созылады, мүмкін бір секундтың ішінде, сондықтан оны мезгіл-мезгіл қайта ашып отыру қажет болады (сергітілді ).

Тапсырыстар (нұсқаулар)

14.1 сек Нойман сек-қа тапсырыс беретін форматты ұсынады, оны ол код деп атайды. Тапсырыстың түрлеріне негізгі арифметикалық амалдар, CA мен M арасындағы минималды циклдарды жылжыту (қазіргі кездегі сөздер жүктемесі және сақтау), тапсырыс (с), алдыңғы операцияның белгісі негізінде екі санның бірін таңдайды, енгізу және шығару және басқа жерге есте сақтау орнына СС беру (секіру). Ол әр түрлі тапсырыс түрлеріне қажетті биттердің санын анықтайды, ұсынады жедел тапсырыстар Мұндағы келесі сөз операнд болып табылады және болашақта мекен-жайды көбірек шешуге мүмкіндік беру үшін қосалқы биттерді тапсырыс форматында қалдырудың қажеттілігі, сондай-ақ басқа да анықталмаған мақсаттар талқыланады. Шағын циклде бірнеше тапсырысты сақтау мүмкіндігі талқыланады, бұл тәсілге онша құлшыныс білдірмейді. Тапсырыстар кестесі ұсынылған, бірақ бірінші жобаға енгізу және шығару нұсқауларын талқылау енгізілмеген.

Даулар

Алдын ала есеп беруді басылым ретінде қарау (заңды мағынада) фракциялар арасындағы ащы жазаның қайнар көзі болды. EDVAC екі себеп бойынша дизайн тобы.[3] Біріншіден, жарияланым EDVAC патенттелуіне жол бермейтін көпшілікке жария ету болды; екіншіден, EDVAC дизайн тобының кейбіреулері сақталған бағдарлама тұжырымдамасы кездесулерден тыс дамыды деп сендірді Пенсильвания университеті Келіңіздер Мур электротехника мектебі фон Нейманның консультант ретінде қызмет етуінен бұрын және бұл жұмыстың көп бөлігі Бірінші жоба талқыланған ұғымдарды формальды тілге аударудан артық болған жоқ логика онда фон Нейман еркін сөйлейтін. Демек, фон Нейман мен Голдстиннің басқаларды авторлар тізіміне енбеуі Бірінші жоба несиені тек фон Нейманға жатқызуға әкелді. (Қараңыз Матай әсері және Стиглер заңы.)

Сондай-ақ қараңыз

Әдебиеттер тізімі

  1. ^ Фон Нейман бұл модельге несие береді Уоррен Маккуллох және Уолтер Питтс, Жүйке әрекетіне имманентті идеялардың логикалық есебі, Бұқа. Математика. Биофизика, т. 5 (1943), 115-133 бб
  2. ^ Фон Нейман Маккуллохпен және Питтспен тығыз жұмыс істеген. Қараңыз Логикамен әлемді құтқаруға тырысқан адам, Аманда Гефтер, Наутилус, 21 шығарылым, 4 ақпан, 2015 ж
  3. ^ Мой, Уильям Т. (қаңтар 1996), ENIAC: Армия демеушілігі, Америка Құрама Штаттарының армиясының зерттеу зертханасы, мұрағатталған түпнұсқа 2013-03-05, алынды 2012-11-26

Библиография

Сыртқы сілтемелер