Category: литература

Улыбка

Второй блин Сеймура Крея

Приобрёл я на днях древнюю книжечку, описывающую компьютер CDC 1604.



И книжка, и сам компьютер уникальны во многих отношениях. Утверждается, что сия книжка - первый в истории учебник программирования (1964 год). Машина 1604 - первая разработка молодой фирмы CDC (1960 год), и один из первых транзисторных компьютеров вообще. Руководил работой тогда еще молодой и не очень известный инженер Сеймур Крей. Для Крея это был второй проект, после ERA 1103.

Выглядела машина CDC 1604 вполне внушительно:



Collapse )

В книжке обнаружилась разрезанная на три части перфокарта, в качестве закладки. Лёня spamsink провёл расследование и выяснил, что такие карты применялись в то время для автоматизации приёма экзаменов и зачётов. Подробности читайте на StackExchange.




В 1968 году Советский Союз приобрёл машину CDC 1604, к тому времени уже снятую с производства. Компьютер был установлен в Дубне, в Объединённом институте ядерных исследований, рядом с новенькой БЭСМ-6. В поставке с машиной шёл компилятор с Фортрана, причём с исходными текстами. Команда программистов ОИЯИ под руководством Николая Николаевича Говоруна воодушевилась этими текстами и поставила задачу написать такой же компилятор для БЭСМ-6. Заодно пришлось сделать ассемблер, загрузчик, поддержку библиотек, да и всю остальную операционную систему, которая получила логичное название "Дубна". История красочно изложена в статье "Говорун и его команда".

Я собственно и добыл книжку, чтобы разобраться, насколько CDC 1604 повлияла на мониторную систему Дубна. Как выяснилось, не очень. Никаких общих черт между входными языками CDC и мониторной системы Дубна я не обнаружил.

Cross-post from: http://vak.dreamwidth.org/440642.html

Улыбка

Вычисление элементарных функций

Копаясь в исходных текстах операционной системы "Дубна" для БЭСМ-6, я набрёл на любопытную ссылку в комментариях:
          MACRO50:,NAME,
COCTABЛEHA A.И.CAЛTЫKOBЫM (OИЯИ)
C YЧACTИEM Л.Г.KAMИHCKOГO (ИФBЭ)
C BEPCИЯ 15.01.1975
C  KOЭФФИЦИEHTЫ ПOЛИHOMOB BЗЯTЫ
C  KHИГИ 'COMPUTER APPROXIMATIONS'
C  (ABTOPЫ J.F.HART И ДP., ИЗД-BO
C  JOHN WILEY AND SONS,NEW YORK,1968)
Это начало фрагмента, реализующего элементарные функции sqrt(), sin(), cos(), atan(), asin(), log(), exp(). Эта книжка, точнее её репринт 1978 года, до сих пор присутствует на Амазоне, причём по цене аж $96, что для издания 40-летней давности несколько удивительно. Я пошёл и взял книжку в библиотеке. Позже обнаружил её в сети в формате DJVU.



Cross-post from: http://vak.dreamwidth.org/440498.html

Улыбка

Новогодние притчи от Бориса Гребенщикова

(перепост http://aerostatica.ru/2017/01/01/607-novogodnie-pritchi/)

Здравствуйте!
Поздравляю всех нас с Новым Годом! Пусть он принесет всем нам мир и свет, силы и вдохновение, чтобы мы могли нести мир и свет другим людям. А чтобы отдохнуть после без сомнения насыщенной новогодней ночи, что может быть лучше, чем неторопливые размышления над старинными притчами?



Однажды один человек нашел истину.
Увидев это, силы Хаоса пришли в панику.
Сторожевой бесенок прибежал к главному Бесу и закричал:
- Караул! Наше дело пропало.
Главный спокойно сказал:
- Что-то случилось?
Впечатлительный юный бес продолжал кричать:
- Ты здесь сидишь, а там один человек нашел истину. Само наше существование под угрозой!
Старший сказал:
- Сядь и не волнуйся так. Мои специалисты уже этим занимаются.
Юный не понял:
- Я только что оттуда, и там нет никаких бесов.
Тогда старый Дьявол объяснил:
- А мы там и не нужны. Там мои люди: ученые, философы, психологи, священники. Они все организуют как надо, а как только они это сделают, с истиной будет покончено. Нам совершенно не о чем беспокоиться. Они окружат этого человека, не будут никого к нему подпускать, начнут интерпретировать его слова, и в этой интерпретации истина потеряется. Так было всегда, так будет всегда, и нам совершенно не о чем беспокоиться.

Улыбка

Фортран для БЭСМ-6 это сила

Сижу в центре кремниевой долины и программирую на фортране для БЭСМ-6. На дворе 2016 год, а вот поди ж ты, возникла настоятельная потребность. Нужно извлечь с диска некий бинарный образ и преобразовать в текстовый HEX файл. Надо сказать, Фортран-ГДР отличный инструмент для подобных задач. Мониторная система Дубна, симулятор ОС Диспак, книжки Мазного и Салтыкова-Макаренко под рукой. Решение выглядит так: hexdump.b6

История вопроса следующая. Есть процессор микро-БЭСМ, и для него есть тест системы команд. Тест написан на языке ассемблера, а сам ассемблер имеется в исходных текстах для БЭСМ-6. К ассебмлеру также прилагается линкер. Всё это запускается под мониторной системой "Дубна" на симуляторе ОС Диспак. На самом деле написана эта кросс-система была под ОС Дубна, и пользуется некоторыми её особенностями, поэтому пришлось на скорую руку привинтить несколько дубненских экстракодов к симулятору Диспака. Но это всё мелочи. В конце концов ассемблер с линкером заработали и на диске получился двоичный образ теста, размером около 24 килобайт. Как его извлечь оттуда? Тем более, что хранится он под управлением некой "библиотеки виртуальной памяти", и формат хранения не описан. Но есть API, набор фортрановских вызовов. Не вопрос: пишем програмулину и получаем нужный результат. Теперь можно смело запускать тест на симуляторе Verilog.
Улыбка

Bit-Slice Design: Controllers and ALUs

Чудная книжка: объясняет в деталях, как работают секционные процессоры серии К1804 (Am2900). Досталась мне за $0.01 на Амазоне. Неясных мест почти не осталось, можно начинать восстанавливать схему процессора микро-БЭСМ.



Заметьте забавную наклеечку в правом верхнем углу. Раньше книжка принадлежала профессору Гарольду Картеру из университета Цинцинатти.

Улыбка

Yosys: свободный софт для Verilog-синтеза

Основной сайт проекта: http://www.clifford.at/yosys/
Исходники на Гитхабе: https://github.com/cliffordwolf/yosys
Краткое введение: http://www.clifford.at/yosys/files/yosys-austrochip2013.pdf
Полное описание: http://www.clifford.at/yosys/files/yosys_manual.pdf

Характеристики:
• Обрабатывает практически любой синтезируемый дизайн на языке Verilog-2005.
Преобразует Verilog в BLIF / EDIF / BTOR / SMT-LIB / упрощённый RTL Verilog / и т.п.
Встроенные формальные методы проверки свойств и эквивалентности.
Отображение на стандартные библиотеки ASIC (в формате Liberty).
Отображение на Xilinx 7 серии и Lattice iCE40 FPGA.
Улыбка

Откуда пошло название группы "Вопли Видоплясова"

- Так он стихи напечатать хочет, дядюшка?
- Печатать, братец. Это уж решено - на мой счет, и будет выставлено на заглавном листе: крепостной человек такого-то, а в предисловии Фоме от автора благодарность за образование. Посвящено Фоме. Фома сам предисловие пишет. Ну, так представь себе, если на заглавном-то листе будет написано: "Сочинения Видоплясова"...
- "Вопли Видоплясова-с", - поправил Видоплясов.
- Ну, вот видишь, еще и вопли! Ну, что за фамилия Видоплясов? Даже деликатность чувств возмущает; так и Фома говорил.

(Федор Достоевский, "Село Степанчиково и его обитатели")
Улыбка

Ван Тассел борозды не портит

Купил на распродаже оригинал классической книжки Ван Тассела "Program Style, Design, Efficiency, Debugging, and Testing", сижу штудирую, вспоминаю молодость. Русским переводом я зачитывался тридцать лет назад, на втором курсе института. Похоже что книжка нифига не потеряла актуальность. Не уверен, что с тех пор появилось что-нибудь настолько же полезное и доходчивое по теме.



Для примеров используются языки программирования Кобол, Фортран, PL/I и Algol W. Все эти языки умерли, конечно, но это совсем не мешает. Излагаемые идеи легко переносятся на любые современные языки, от Java до Haskell.

Чтиво нифига не скучное. Даже среди задачек, предлагаемых к каждой главе, находится масса перлов. Например, к первой главе про стиль программирования:

45. Напишите программу-стихотворение.

46. Напишите программу пятистопным ямбом.