О русском ассемблере

Краткая история появления пробной версии русского ассемблера

Это была работа «под заказ». Но до, ни после создание подобного транслятора меня не интересовало. Дело было так.

Один великовозрастный недросль хотел получить диплом вуза. Да вот незадача: надо написать дипломную работу. Эта задача ещё осложнялась тем, что этот оболтус, в отличие от своих однокурсников, не стажировался на партнёрских предприятиях. Однокурсники совершенствовали навыки программирования на практических задачах и подбирали для себя темы дипломных проектов, а вот у нашего героя на уме было одно: любоффь и предстоящая свадьба. Вот и получилось: «лето красное пропела, оглянуться не успела...».

Ну и как нередко бывает в жизни, понадобились звонок другу и помощь из зала. Все глаза уставились на меня в надежде, что я не дам пропасть будущему специалисту, что надо оказать помощь прямо сейчас, а вот в будущем он сам возьмётся за ум. Просто у него сейчас мозги ещё не окрепли. Но в будущем это обязательно произойдёт. Потом так и случилось, он повзрослел и стал востребованным специалистом. Задним числом это оправдывает меня :)

Началась подборка темы дипломного проекта. Если однокурсники брали темы у руководителей стажировки, то в нашем случае тему было взять неоткуда. Что мог предложить я? Что-то по теме компиляторов. Чтобы написать какой-то компилятор для какого-то языка, пусть и простейшего, нужно время, которого оставалось мало. Русификацию Си/C++ предложить уже не мог, потому что сразу стало бы ясно, что работа «позаимствована». Легко проверяемо Гуглом. Значит, нужна уникальность. Нашлась неосвоенная ниша — язык ассемблера. Тем более, что в узком кругу уже поднималась тема русского ассемблера. Но если раньше меня эта тема не вдохновляла особо, то теперь деваться было некуда. В институте тему утвердили, начал «въезжать» в неё.

Язык ассемблера выглядит для непосвящённого человека как результат работы бредогенератора. Да и для посвящённого не всё прозрачно. Чтобы читать программу «с листа», нужен многолетний опыт. Хотелось бы этот язык очеловечить. Ведь что толку от замены абракадабр на латинице на абракадабры на кириллице?. К тому же нет общепринятых сокращений русских названий команд. Их нет в учебниках, они не ищутся поисковыми системами.

Поначалу хотелось как можнно больше команд заменить не русскими аббревиатурами, а некими «иероглифами», понятными всему населению планеты — последовательностями спецсимволов. Но такой язык очень быстро превращался в BrainF*ck: длинный забор из ключков и палочек ничуть не способствует быстрому пониманию сути текста. Пришлось ограничиться базовыми операциями в надежде на правило «20 на 80». Что надо 20% наиболее употребляемых операций заменить на понятные и легкозапоминаемые спецсимволы. А лучше, если их вообще запоминать не надо, чтоб они были знакомы из школьной арифметики. И они должны, по идее, занять 80% текста. Вот что получилось в итоге, текст из реальной программы на русском ассемблере:

\\ указатель на строку в - [EBP+08H]
Длина строки  ПРОЦ НАЧАЛО
	БАЗА }; БАЗА = СТЕК
	И }
	И = АДР32 (БАЗА+8)
	Б ^ Б
Метка1:
	АДР8 (И) ? 0
	== Метка2
	++ Б; ++ И
	--> Метка1
Метка2:
	И {; БАЗА {
	<-- 4
Длина строки  ПРОЦ КОНЕЦ

Конечно, не все согласятся, что это лучший вариант замены, укажут на субъективность вкусов. Но под каждой заменой есть аргументированное обоснование. Впрочем, в этом проекте есть возможность полностью сменить синтаксис на свой собственный вариант. С одной стороны, это гибко. С другой — отсутствие стандарта всё же не есть хорошо.

Тема так же обсуждалась на форуме.

P.S. Не могу найти у себя переписку с одним разработчиком, который рассказывал, как они мучались с русским ассемблером под какую-то отечественную систему команд отечественной архитектуры. И как они вздохнули, когда ассемблер был переделан на английские абревиатуры команд. На это только и ответил, что ассемблеры, по-видимому, делятся не только на русские и нерусские, но и на хорошие и плохие. Так что не всё так однозначно.

Если подумать на перспективу

И ещё вопрос: нужен ли он — русский ассемблер? Мне кажется, что если есть другая интересная или нужная работа, то лучше выбрать её. За 8 прошедших лет никто (ни один человек!) не заинтересовался ни моими исходниками, ни исполняемым модулем. Конечно, это может говорить о том, что это только мой ассемблер никому не нужен. Зато другой с гениально подобранными заменами аббревиатур на латинице точно взлетит! Увы, но сильно сомневаюсь.

Кстати, для генерации бинарного кода ассемблер не нужен. Дмитрий Караваев в своём компиляторе PL/1 и Андрей Хохлов в компиляторе Context генерируют бинарный код напрямую. Это не говоря о более известных компиляторах. И ещё кстати. Компилятор Дмитрия Караваева — не только для языка PL/1, но и для языка ассемблера x86/x86-64, то есть два в одном. Идентификаторы там можно записывать кириллицей. Русских обозначений команд не имеется, но задачу «суверенного» компилятора он по крайней мере решает.

Если кто-то решится делать русский ассемблер, то делать его надо в связке с русским дизассемблером и русским отладчиком. А то ведь сгенерируем машинный код, а как потом его расшифровать, сделать обратное преобразование?

Если же делать «универсальный ассемблер», который в чём-то конкурировал бы с LLVM, то надо не допустить ошибок этого проекта. Например, «Low Level» на деле оказывается не таким уж и «low». Если взять наиболее популярные архитектуры процессоров (x86, ARM, MIPS), то во всех есть такие низкоруровневые средства, как стек, регистры и флаги. Но в LLVM они отсутствуют. До такого низкого уровня из LLVM «не достучаться»: нет прямых средств для управления стеком, регистрами и флагами. Знатоки LLVM советуют пользоваться в таких случаях ассемблерными вставками под каждую платформу. Что само по себе дискредитирует LLVM как кроссплатформенный инструмент.

Есть интересное предложение по развитию С++, которое подразумевает прямое использование флага процессора:

Герб Саттер (Herb Sutter) в P709 описал новый механизм передачи исключений. Идейно, функция возвращает std::expected, однако вместо отдельного дискриминатора типа bool, который вместе с выравниванием будет занимать до 8 байт на стеке, этот бит информации передаётся каким-то более быстрым способом, например, в Carry Flag.

Функции, которые не трогают CF (таких большинство), получат возможность использовать статические исключения бесплатно — и в случае обычного возврата, и в случае проброса исключения! Функции, которые вынуждены будут его сохранять и восстанавливать, получат минимальный оверхед, и это всё равно будет быстрее, чем std::expected и любые обычные коды ошибок.

Представить это новшество в GCC или в компиляторе Microsoft совсем нетрудно: в них можно напрямую обратиться к флагу CF. Элементарно, Ватсон! Но вот как это будет делаться в компиляторе Clang, которые работает поверх LLVM? Будут пилить на низком уровне по каждую платформу в отдельности, только бы не дать доступ к «лишним подробностям».

В советское время тоже были проекты «универсального ассемблера»: языки АЛМО, Сигма, Эпсилон и другие. Возможно, там что-то можно найти что-то интересное.

Выводы

Идея универсалього ассемблера или универсального промежуточного представления хороша тем, что поволит экономить на генерации кода под конкретную платформу.

Разработчикам языков достаточно написать компилятор своего языка в универсальное промежуточное представление — и он заработает на M платформах. Разработчикам архитектур достаточно написать компилятор с универсального промежуточного представления в коды своей системы команд — и на этой платформе будет компилироваться N языков. Вместо написания M*N компиляторов достаточно написать N компиляторов в промежуточное представление и M компиляторов с него в машинный код.

Опубликовано: 2022.11.27, последняя правка: 2022.11.29    00:15

✅  2022/11/28 23:22, MihalNik          #0 

За 8 прошедших лет никто (ни один человек!) не заинтересовался ни моими исходниками, ни исполняемым модулем. Конечно, это может говорить о том, что это только мой ассемблер никому не нужен.

Разработчикам языков достаточно написать компилятор своего языка в универсальное промежуточное представление — и он заработает на M платформах.

✅  2022/11/29 12:30, Gudleifr          #1 

• язык ассемблера должен наглядно описывать команды и структуры машинного языка. Чего стоят 8 полей типов данных в 386-м!? А его шлюзы!? Сравните, насколько отличается элегантнейший FORTH-ассемблер для 8080 от моего 386-го монстра;
• язык ассемблера должен быть способным создавать наглядные описания интерфейсов к используемым ОС. Сравните, как мне пришлось плясать с бубном для удовлетворения требований WinAPI. Сюда же — конструкций ЯВУ

✅  2022/11/29 14:06, Автор сайта          #2 

Вы его, наверное, давно общепринятым способом никуда вроде гитхаба и не выкладывали

Ручными запросами на исходники люди в принципе редко занимаются, а в данном случае это не этично.

Тем более неизвестно, на чем он написан, качество исходников, функциональность

Сейчас чаще всего это C или JS

байки о совместимости и переносимости — это просто байки.

язык ассемблера должен наглядно описывать команды и структуры машинного языка.

✅  2022/11/29 14:35, Gudleifr          #3 

Худо-бедно, но есть кроссплатформенные JVM, LLVM, Qt. Есть Wine под Linux. Не всё гладко, но нерешённых проблем не много (в процентах)

Современные архитектуры процессоров сильно похожи друг на друга. Найти «наибольший общий делитель» будет нетрудно.

✅  2022/11/29 20:52, MihalNik          #4 

Есть в сети место сосредоточения любителей ассемблера — форум ОС «Колибри». Русификация ассемблера не то, чтобы вызвала маленький интерес. Он оказался вообще нулевым.

✅  2022/11/29 22:59, Автор сайта          #5 

А геном человека отличается от генома обезьяны на 1%.

А какой мне прок в программе, рисующей окошки на экране 2000*1000 десктопа, на моем карманном Win CE с разрешением 320*200?

Но ОС — это совсем другое дело

✅  2022/11/29 23:02, MihalNik          #6 

В том то и дело, что не другое. «Колибри» написана на ассемблере, на форуме общаются её разработчики, они же программисты на ассемблере.

✅  2022/11/30 00:15, Gudleifr          #7 

А за счёт гибкой методики управился за 6, а седьмой отдыхал

Работа с файлами...

✅  2022/11/30 01:06, Бурановский дедушка          #8 

✅  2022/11/30 12:05, Gudleifr          #9 

Apple много раз перепрыгивала с одного процессора на другой

✅  2022/12/01 12:53, Автор сайта          #10 

Колибри ОС написана другим ассемблером

✅  2022/12/01 18:26, Бурановский дедушка          #11 

Т.е. переписывала свои ОС заново

✅  2022/12/01 18:29, Gudleifr          #12 

В остальных случаях просто допиливали по мелочам

✅  2022/12/01 21:01, void          #13 

В советское время тоже были проекты «универсального ассемблера»: языки АЛМО, Сигма, Эпсилон и другие. Возможно, там что-то можно найти что-то интересное.

P.S. Не могу найти у себя переписку с одним разработчиком, который рассказывал, как они мучались с русским ассемблером под какую-то отечественную систему команд отечественной архитектуры. И как они вздохнули, когда ассемблер был переделан на английские абревиатуры команд. На это только и ответил, что ассемблеры, по-видимому, делятся не только на русские и нерусские, но и на хорошие и плохие. Так что не всё так однозначно.

Конечно, не все согласятся, что это лучший вариант замены, укажут на субъективность вкусов. Но под каждой заменой есть аргументированное обоснование. Впрочем, в этом проекте есть возможность полностью сменить синтаксис на свой собственный вариант. С одной стороны, это гибко. С другой — отсутствие стандарта всё же не есть хорошо.

• высокоуровневый ассемблер (или достаточно высокоуровневый язык в качестве микрокода, автокода, ассемблера наподобие PL/S, PL360)
• русскоязычный ассемблер

Высокоуровневый ассемблер

• AlgolW на PL360 и соответственно PL360, Euler;
• проект MULTICS, где PL/1 использовался в качестве системного языка вместо ассемблера;
• проект OS/360, где в том же качестве использовался собственный диалект PL/S;
• проект CP/M, где в том же качестве использовался PL/M.
• HLA = High Level Assembly by Randall Hyde и книга "Art Of Assembly" про 64-битный ассемблер, судя по форуму автора — книга пишется сейчас.
• https://artofasm.randallhyde.com/ про 32-битный ассемблер и собственно HLA — книга, компилятор HLA в ассемблер и исходники есть на
  https://www.randallhyde.com/AssemblyLanguage/www.artofasm.com/index.html
  HLA — это буквально "высокоуровневый ассемблер"под x86-32, с синтаксисом вроде Паскаля, с семантикой С++ (есть аналоги STL, ООП GUI-библиотека, классы и исключения).
• Есть довольно высокоуровневый язык макросов через функции времени компиляции, СTFE Compile-Time Function Execution. Шаблоны и ООП-система реализованы через такие макросы. Но всё-таки это ассемблер: команды ассемблера синтаксически записываются как вызов функций наподобие mov(ax,bx); но вычисление выражений показывает всю низкоуровневость языка, простой калькулятор выражений фактически не реализован.
  
  На мой взгляд, высокоуровневость языка определяется именно способом типизации выражений, а вовсе не синтаксисом. То есть высокоуровневым можно назвать тот язык, который "абстрагирует от несущественного" (например, синтаксиса). То есть в котором при вычислении выражения все элементарные значения и их элементарные типы являются first-class objects, как например в языке Kernel диалекте Схемы с семантикой vau-expressions, от автора John Schutt. Всё остальное, например синтаксис языка, — дело наживное, если у вас достаточно развитый макроязык. Например, возьмём в качестве такого языка-носителя для реализации более высокоуровневого языка-гостя язык Форт. Компилирующие слова Форта могут использоваться для реализации синтаксических макросов. Есть реализации ассемблера x86-32 на стандартном переносимом Форте.
• Есть реализации простых компиляторов, вроде перевода "Let's Build a Compiler" by Jack Crenshaw https://compilers.iecc.com/crenshaw/ про реализацию простого компилятора Паскаля на Паскале и его более поздний сиквел http://home.iae.nl/users/mhx/crenshaw/tiny.html про реализацию компилятора Паскаля на Форте. Вторая реализация на Форте, на мой взгляд, стала ещё проще и нагляднее, а не просто компактнее.
• На сайте Taygeta есть Forth Scientific Library: https://www.taygeta.com/fsl/scilib.html Среди прочих численных методов там реализован парсер выражений и их трансляция в стандартный Форт. То есть Форт с такой библиотекой используется по сути как Фортран.
• Форт можно использовать как переносимый ассемблер: https://github.com/rigidus/rigidus.ru/blob/master/org/doc/paf.org Форт получается даже гибче чем Фортран и ассемблер:
  1) синтаксис можно изменять
  2) можно встраивать куски кода на любом языке: высокоуровневом, низкоуровневом или Форте
  3) можно компилировать/ассемблировать/дизассемблировать отдельные слова и динамически смотреть, что получается (то есть, использовать Форт в качестве PL/1 монитора, например).
• Компиляторный тулчейн PL/I-KT Дмитрия Караваева, кстати, в этом смысле тоже довольно интересный. Основная заслуга — гибкость расширения, заложенную первоначальной архитектурой, — принадлежит автору тулчейна Гари Килдэллу, автору CP/M, PL/M и этого компилятора PL/1 под CP/M, DOS и DR DOS. В тулчейне есть собственно компилятор, линкер и библиотекарь OMF формата и ассемблер RASM. Ассемблер реализован достаточно гибко и расширяемо. Настолько гибко, что это позволило Дмитрию Караваеву относительно просто портировать его на x86-64. Что делает этот тулчейн вполне самодостаточным. Впрочем, Дмитрий Караваев и сам довольно сильно переработал исходный компилятор: поддержка русского языка, физических размерностей, портирование под Win64, подключение стандартных C библиотек Windows, например DirectX.
  
  Хотя OMF формат удалось приспособить для поддержки 64-битного кода, я подозреваю, что дальнейшее развитие компилятора и тулчейна ограничено именно старым линкером. Например, в языке D Волтера Брайта и его изначальном компиляторном тулчейне DMD = Digital Mars D использовался линкер OPTILINK, точно так же как и в Zortech C++ / Symantec C++ / Digital Mars C++. В дальнейшем это привело к ряду проблем. Например, во время D v1.0 был 3D-движок, написанный на CTFE конструкциях языка D. Так там некоторые примеры не компилировались — происходило переполнение системных таблиц, и напрямую упирались в ограничения формата OMF и старого линкера OPTILINK.
  
  В PL/I-KT, возможно, ровно такие же проблемы могут возникнуть при достаточно больших программах (впрочем, без метапрограммирования в стиле CTFE этого достигнуть значительно сложнее). Если уважаемый Дмитрий Караваев когда-нибудь соберётся делать порт PL/I-KT под Linux, например, то линкер придётся довольно значительно переписывать для кодогенерации ELF формата exe и .so библиотек. Впрочем, возможно это будет всё-таки проще, чем использовать монстров вроде GCC или LLVM.

✅  2022/12/01 21:02, void          #14 

✅  2022/12/01 21:04, void          #15 

✅  2022/12/01 21:32, void          #16 

Идея универсалього ассемблера или универсального промежуточного представления хороша тем, что поволит экономить на генерации кода под конкретную платформу.

✅  2022/12/03 14:24, kt          #17 

MOV EAX,10

MOV EAX,X1+X2

X1 EQU 4
X2 EQU 6

для генерации бинарного кода ассемблер не нужен

Кто нынче пишет на ассемблере?

✅  2022/12/03 14:51, Gudleifr          #18 

✅  2022/12/03 22:25, Автор сайта          #19 

На мой субъективный взгляд никакого «языка ассемблера» вообще не существует.

Если вы знаете систему команд — вы автоматически знаете и ассемблер.

для генерации бинарного кода ассемблер не нужен

— нет нужен, иначе как проверять результаты работы транслятора. Неважно это ассемблер или дисассемблер: читать то все равно приходится команды в виде текста.

ради бога, генерируйте в своих трансляторах код для любых LLVM. Только не называйте это ассемблером.

✅  2022/12/03 22:30, Gudleifr          #20 

Дональд Кнут в своих трудах описывал алгоритмы на своём собственном выдуманном ассемблере. То есть системы команд у него не было, а язык ассемблера был

«обобщённый ассемблер»... Наверно, близко по смыслу термину «машинно-ориентированный язык»

✅  2022/12/03 23:10, Автор сайта          #21 

✅  2022/12/03 23:30, Gudleifr          #22 

Какой двоичный код у команда «загрузить значение из памяти в регистр»? Какая длина у этой команды?

✅  2022/12/04 09:05, kt          #23 

Более того, у системы команд x86 два основных ассемблера (синтаксиса)

если вы знаете команды, запомнить несколько правил их записи не представляет труда.

Ну так для этого вполне сгодится сторонний дизассемблер.

✅  2022/12/04 10:55, Автор сайта          #24 

Коды — от 08 до 23. Длина — 5 "байтов" и знак.

чтобы использовать дисассемблер все равно нужно знать команды — т.е. с моей точки зрения знать ассемблер

Кажется, в ЭВМ "Наири" микрокод (автокод) и далее ассемблер был даже армянским, а не русским.

На мой вгзляд, высокоуровневость языка определяется именно способом типизации выражений, а вовсе не синтаксисом. То есть высокоуровневым можно назвать тот язык, который "абстрагирует от несущественного" (например, синтаксиса). То есть в котором при вычислении выражения все элементарные значения и их элементарные типы являются first-class objects

Хотя OMF формат удалось приспособить для поддержки 64-битного кода, я подозреваю, что дальнейшее развитие компилятора и тулчейна ограничено именно старым линкером.

В PL/I-KT, возможно, ровно такие же проблемы могут возникнуть при достаточно больших программах (впрочем, без метапрограммирования в стиле CTFE этого достигнуть значительно сложнее). Если уважаемый Дмитрий Караваев когда-нибудь соберётся делать порт PL/I-KT под Linux, например, то линкер придётся довольно значительно переписывать для кодогенерации ELF формата exe и .so библиотек.

Идея универсалього ассемблера или универсального промежуточного представления хороша тем, что поволит экономить на генерации кода под конкретную платформу.

Здесь возникает вопрос: а насколько хорошо оптимизировать код позволяет это самое универсальное промежуточное представление?

В LLVM и QBE (а также компиляторе А. Недори) используется представление SSA.

✅  2022/12/04 12:37, Gudleifr          #25 

Идея универсалього ассемблера или универсального промежуточного представления хороша тем, что позволит

✅  2022/12/04 13:22, kt          #26 

когда-нибудь соберётся делать порт PL/I-KT под Linux, например, то линкер придётся довольно значительно переписывать для кодогенерации ELF формата exe и .so библиотек.

написать пробный макетный helloworld под UEFI на PL-I/KT и по необходимости минималистично доработать компилятор и тулчейн, чтобы этот пример можно было запустить.

Мне кажется, на PL/I вполне можно разрабатывать целые операционные системы bare bones — непосредственно "на голом железе".

✅  2022/12/04 13:33, Gudleifr          #27 

Мне кажется, на PL/I вполне можно разрабатывать целые операционные системы bare bones — непосредственно "на голом железе"

... язык ассемблера должен наглядно описывать команды и структуры машинного языка...
... язык ассемблера должен быть способным создавать наглядные описания интерфейсов к используемым ОС.

✅  2022/12/04 21:47, Автор сайта          #28 

Мы не успеваем ... исправлять ошибки компилятора. Например, на прошлой недели один из пользователей написал оператор вывода, число форматов в котором превысило 255, и компилятор позорно рухнул.

✅  2022/12/05 09:35, kt          #29 

✅  2022/12/06 02:13, void          #30 

А на мой взгляд высокоуровневость определяется полиморфизмом, степенью повторного использования кода. Описал, к примеру, новый тип данных с присущими ему операциями — и объекты этого типа сразу могут быть элементами коллекций, в том числе упорядоченных коллекций. Если для этого типа данных определена операция сравнения «<=», то данные этого типа можно сортировать. Способ же типизации лишь определяет, на каком этапе станет известен тип объекта — на этапе компиляции или же исполнения. «Несущественными деталями» можно считать регистры, флаги. Но при генерации кода эти детали становятся существенными. Можно сделать управление памятью автоматическим и посчитать это повышением уровня языка, так как скрыли ещё одну деталь. Но в некоторых случаях это равносильно одеванию смирительной рубашки: руки теперь связаны.

фыва<-X1+X2

MOV RAX,z; MOV [фыва],RAX

z := X1+X2

y := X1+W

«Несущественными деталями» можно считать регистры, флаги. Но при генерации кода эти детали становятся существенными. Можно сделать управление памятью автоматическим и посчитать это повышением уровня языка, так как скрыли ещё одну деталь. Но в некоторых случаях это равносильно одеванию смирительной рубашки: руки теперь связаны.

• размер
• статическая или динамическая типизация
• полиморфизм времени компиляции или времени выполнения

Язык — это совокупность алфавита, синтаксических и семантических правил. Если есть какое-то уникальное сочетание перечисленного, которое отличается от других, то это и есть язык. Значит язык ассемблера вполне себе существует. Более того, у системы команд x86 два основных ассемблера (синтаксиса), в Вашем ассемблере принят за стандарт синтаксис Intel. Есть ещё синтаксис AT&T. Эти синтаксисы отличаются порядком следования аргументов. В AT&T ещё указывается размер операндов.

"aaa" (the Amazing Awk Assembler) is a primitive assembler written entirely in awk and sed. It was done for fun, to establish whether it was possible. It is; it works. It's quite slow, the input syntax is eccentric and rather restricted, and error-checking is virtually nonexistent, but it does work.

Да нет же. Ассемблеры могут отличаться синтаксисом (см. выше). А ещё в языке ассемблера есть макросы, зная систему команд, не имеешь автоматического знания языка макросов.

A program written in PL360 superficially resembles an Algol 60 program. It consists of statements, not instructions. It has the same control structures and block structure. Even variable declarations are very similar. However, on a closer look, 7one can easily see the common use of machine registers and of machine instructions. Some simple examples are shown in Fig. 6.1 below:

begin short integer z;		//A short integer is 16 bits (halfword)
array 1000 real quant,price;	//Two arrays, 100 f-p values each.
integer n;			//A 32-bit variable (fullword).
array 132 byte line;		//An array of 132 bytes.
integer B syn line(R1);		//B is another name for the element
				//of array line pointed to by R1
long real x,y,h;		//64-bit (doubleword) f.p. variables.
F0=quant(R1)*price(R1);		//R1 is used as an index.
R9:=R8 and R7 shll 8 or R6;	//Left to right execution (see below).
F23:=F67++h;			//F23, F67 are pairs of f.p. registers,
				//for operations on long reals.
if R0<10 then R1:=1 else SET(flags(2)); //The SET function is identical
				//to the SET machine instruction.
	while R1<0 do
	begin
		R0:=R0+1; F01:=F01*F01
	end;
	for R2:=R1 step 4 until R0 do
	begin
		F23:=quant(R2)*price(R2);
		F01:=F01+F23;
	end;
end;

✅  2022/12/06 02:21, void          #31 

6.3 Meta Assemblers

A Meta-Assembler (MA), sometimes also called a universal assembler, is an assembler that can assemble code for a number of different computers. A conventional assembler can only handle source and object code for one computer; it is dedicated to that computer. In contrast, a MA running on computer K may be able to assemble code for computers K,L,M and others. A MA is therefore also an example of a cross assembler.

There are two types of MAs, restricted and general; and there are two ways to design a MA, it can be generative or adaptive. A restricted MA can only assemble code for a limited number of computers, normally the members of a computer family. Information about the instruction sets is built into the MA so it only has to be given the name of a computer, followed by the source file. A general MA can, in principle, handle code for any computer. It does not have any instruction set built-in, and has to be handed over, with each source file, a complete description of the source & object instructions.

A generative MA (which can be either restricted or general) is given either the name of a computer or a description of an instruction set, and generates a dedicated assembler. That assembler is then run in the usual way, translating source files into object files.

An adaptive MA (again, restricted or general) is given either the name of a computer or a description of an instruction set, followed by a source file. It then assembles the source and generates an object file.

• язык программирования
• макросы в языке программирования — на уровне лексем либо более прозрачно расширяемой системы типов
• ассемблер
• макроассемблер
• линкер
• скрипты линкера — чуть не сказал, "макролинкера"

✅  2022/12/06 02:35, void          #32 

✅  2022/12/06 02:46, void          #33 

Мне кажется, на PL/I вполне можно разрабатывать целые операционные системы bare bones — непосредственно "на голом железе"

Нет, в силу неудобоваримости решения на нем двух "ассемблерных" (или же ОС-писательных) вопросов:
... язык ассемблера должен наглядно описывать команды и структуры машинного языка...
... язык ассемблера должен быть способным создавать наглядные описания интерфейсов к используемым ОС.

✅  2022/12/06 03:00, void          #34 

Domain specific language implementation
There's only so much pre-caching of results one can do. Converge allows Domain Specific Languages (DSLs) of arbitrary syntaxes to be embedded into it. Wouldn't it be fun to see how the fib function would look in an idealised assembly language that abstracts away from the specifics of a real-world processor? Normally this would involve flex, yacc, head scratching, and an implementation so fragile that it only works under a full moon. In Converge, a simple layer atop CTMP means that a 10Kb DSL implementation makes it easy to define our own personal assembly language.

✅  2022/12/06 14:13, Gudleifr          #35 

Тем не менее, в MULTICS написали ядро ОС на PL/I

✅  2022/12/06 22:35, Неслучайный читатель          #36 

исправлять ошибки компилятора. Например, на прошлой недели один из пользователей написал оператор вывода, число форматов в котором превысило 255, и компилятор позорно рухнул.

✅  2022/12/07 19:45, void          #37 

Тем не менее, в MULTICS написали ядро ОС на PL/I

Ну, во-первых, не ядро. Ядро там — на языке ассемблера. Во-вторых, что может лучше свидетельствовать о бесперспективности подобного писания, чем этот пример?

Because the system must ultimately be comprehensive and able to adapt to unknown future requirements, its framework must be general, and capable of evolving with time. As brought out in the companion papers, this need for an evolutionary framework influences and contributes to much of the system design and is a major reason why most of the programming of the system will be done in the PL/I language. Because the PL/I language is largely machine-independent (e.g. data descriptions refer to logical items, not physical words), the system should also be. Specifically, it is hoped that future hardware improvements will not make system and user programs obsolete and that implementation of the entire system on other suitable computers will require only a moderate amount of additional programming.

All operating system data layouts for the initial implementation of 645 Multics will be compatible with data layouts used by PL/I, except where hardware constraints dictate otherwise. All modules of the initial implementation of the operating system will be written in PL/I, except where hardware constraints make it impossible to express the function of the module in the PL/I language. <...> Since the PL/I translator which will be used until mid-1966 generates inefficient object code, it is clear that 645 Multics in its first few months of existence will be inefficient. This penalty is being paid deliberately. After mid-1966, two courses of action will be available: upgrade the compiler to compile more efficient code, or recode selected modules by hand in machine language. We expect that both strategies will be employed, but we expect to place preponderant emphasis on upgrading the PL/I compiler; indeed, one subsequent version of PL/I is already being implemented, and a second is being designed.

The plan for Multics was presented to the 1965 Fall Joint Computer Conference in a series of six papers. It was a joint project with M.I.T., General Electric, and Bell Labs. Bell Labs dropped out in 1969, and in 1970 GE's computer business, including Multics, was taken over by Honeywell (now Bull).

MIT's Multics research began in 1964, led by Professor Fernando J. Corbató at MIT Project MAC, which later became the MIT Laboratory for Computer Science (LCS) and then Computer Science And Artificial Intelligence Laboratory (CSAIL). Starting in 1969, Multics was provided as a campus-wide information service by the MIT Information Processing Services organization, serving thousands of academic and administrative users.

LCS research on Multics ended in the late 1970s, and Bull ended Multics development in 1985. MIT shut down its Multics service in 1988. The last Multics system was deactivated in 2000.

создать симулятор тех мейнфреймов оказалось проще, чем пытаться выделить в этих исходниках переносимый уровень HAL (Hardware Abstraction Level)

✅  2022/12/07 19:56, void          #38 

✅  2022/12/07 19:59, Gudleifr          #39 

Нет, именно ядро на PL/I.

✅  2022/12/07 20:05, void          #40 

✅  2022/12/07 20:08, void          #41 

Посмотрите исходники. Там все, что относится к ядру — на языке ассемблера.

✅  2022/12/07 20:17, Gudleifr          #42 

Emacs, например, там был написан на PL/I:

✅  2022/12/07 20:21, Gudleifr          #43 

Куда именно смотреть, ткните пальцем в конкретную строчку репозитория

✅  2022/12/07 20:30, void          #44 

✅  2022/12/07 20:34, Gudleifr          #45 

Вопрос об их назначении.

✅  2022/12/07 20:34, void          #46 

✅  2022/12/07 20:47, Gudleifr          #47 

В общем, надо брать мурзилку пошаговую

✅  2022/12/07 21:26, void          #48 

Зачем?

Проще понять, почему это работает только для попила бабла на представление правдоподобно выглядящего макета. А причина проста: внутри у любого ЯВУ болтается "маленький хитрый кусок, завязанный на текущую ОС" и "большая смачная собственная ОС-надстройка/библиотека". При написании на ЯВУ оба эти фрагмента использовать невозможно, т.к. на момент загрузки ОС, последняя ещё не работоспособна. Поэтому придется либо пользоваться очень ограниченным подмножеством ЯВУ, либо писать для него костыли. Причем, по окончании работы окажется, что костыли удобнее стандартных процедур ЯВУ.

• синтаксис и семантика базового языка
• стандартная библиотека
• модель памяти, абстрактный исполнитель

GET EDIT ...

std::cout << x << y << z

А причина проста: внутри у любого ЯВУ болтается "маленький хитрый кусок, завязанный на текущую ОС" и "большая смачная собственная ОС-надстройка/библиотека". При написании на ЯВУ оба эти фрагмента использовать невозможно, т.к. на момент загрузки ОС, последняя ещё не работоспособна. Поэтому придется либо пользоваться очень ограниченным подмножеством ЯВУ, либо писать для него костыли.

✅  2022/12/07 21:49, Gudleifr          #49 

из спортивно музейно-реконструкторского интереса

✅  2022/12/07 22:51, kt          #50 

Интересно, в какой версии эта ошибка появилась? В той, которую написал глава Digital Research? Или виноваты более поздние доработки?

PUT EDIT(X1,X2,…Xn)(F1,F2,…Fn);

PUT EDIT(X1)(F1)
(X2)(F2)
…
(Xn)(Fn);

✅  2022/12/08 13:32, Gudleifr          #51 

Когда-то там же была ссылка про метакомпилятор Форта, но чего-то сейчас сразу не найду.

✅  2022/12/08 21:01, Автор сайта          #52 

✅  2022/12/09 06:55, MihalNik          #53 

столько человеческий мозг в состоянии осмыслить в приемлемые сроки

✅  2023/04/13 20:22, Лис          #54 

За 8 прошедших лет никто (ни один человек!) не заинтересовался ни моими исходниками, ни исполняемым модулем.

✅  2023/04/14 09:39, kiv(jobless)          #55 

С машиной поставлялся автокод АРМУ (Автокод Ряда Машин Урал), который был единым автокодом ряда ЭВМ типа “Урал”. Он был составлен с учетом особенностей этих машин и обеспечивал полную совместимость от меньшей машины к большей. Каждая ЭВМ “Урал” имела собственный транслятор с языка АРМУ на свой машинный язык. Таким образом, совместимость ЭВМ типа “Урал” была ограниченной и существовала только на уровне автокода АРМУ.

✅  2023/04/15 13:52, Автор сайта          #56 

✅  2023/04/15 15:46, Денис Будяк          #57 

✅  2023/04/15 15:58, Лис          #58 

✅  2023/04/15 16:19, Автор сайта          #59 

✅  2023/04/16 00:17, Бурановский дедушка          #60 

✅  2024/08/12 22:47, Автор сайта          #61 

а выхлоп этого «отечественного аналога LLVM» под архитектуру x86 будет на каком языке? Сразу в машинном коде?

Как находить в сгенерированном коде такие ошибки?
Разработчики компилятора должны это наизусть заучивать?

вы сами предлагали... обозначать машинные операции не сокращениями из букв, а символами

будет посвящена новая статья

✅  2024/08/14 14:50, Иван          #62 

Вспомнил некоторые черты языка ассемблера, который разрабатывал Е.А Зуев. Что-то оттуда взял. Но у «паскалиста» Зуева ассемблер получился не такой, как у меня, «сишника».

✅  2024/08/14 17:12, Автор сайта          #63 

Однажды я встретил Ваши материалы, описывающие Вашу давнюю разработку — язык ассемблера какого-то процессора. Где я это видел — на сайте или в блоге — уже не помню, но ссылку, к сожалению, не сохранил. Не могли бы Вы подсказать ссылку, где это можно найти?

Скорее всего, Вы видели текст о языке ассемблера у меня на сайте. Адрес: eugene.zouev.name. Слева в колонке ищите слова ONBASS/ERRIC.

✅  2024/08/14 21:56, Иван          #64 

Если доберётесь до этого сайта, то пришлите, пожалуйста, копию статьи мне.

; файл text2.asm
.386P
; плоская модель
.MODEL FLAT, stdcall
;------------------------------------------------------------
include myprg.inc
; директивы компоновщику для подключения библиотек
includelib d:\masm32\lib\user32.lib
includelib d:\masm32\lib\kernel32.lib
includelib d:\masm32\lib\gdi32.lib

; сегмент данных
((-
ДАННЫЕ НАЧАЛО
     NEWHWND  _32  0
     MSG  MSGSTRUCT ??
     WC   WNDCLASS  ??

✅  2024/08/14 22:10, Вежливый Лис          #65 

идеально раскрутку сделать, код компилятора русского ассемблера на русском ассемблере.

Предлагается раскрутка начиная с машинного дампа и байткода через промежуточные уровни

На Linux, наверное, будет проще, можно обойтись прерываниями

0x0f    0x05
// syscall                         # invoke operating system to do the write

✅  2024/08/14 23:37, Автор сайта          #66 

Подключение библиотек на английском

✅  2024/08/15 00:02, Иван          #67 

OUTPUT_ARCH("i386:x86-64")
OUTPUT_FORMAT("binary") 
/* elf64-x86-64 */
ENTRY(entry_point)

/*
PHDRS {
	READONLY PT_LOAD FILEHDR PHDRS;
	REAWRITE PT_LOAD;
}
*/

/*
MEMORY {
	code(rx) : ORIGIN = 0x11000, LENGTH = 0x1000
}
*/

/*phys = 0x12000;*/

SECTIONS {
	/*.data phys : AT(phys){ */
	.data : { 
		*(header) 
		*(pht)
		*(sht)
		*(.data)
		/* _edata = .; */
	}
	. = ALIGN(0x1000); 
	.text : { 
		*(.text)
		*(.rodata)
	} /*> code */
}

.code64

.global entry_point

vaddr = 0x010000 /*- .text */
ventry = vaddr + entry_point - .text /* entry_point */
vmsg = vaddr + msg - .text

.section header
magic: .byte 0x7f /* magic */
.ascii "ELF" /* magic */
.byte 0x02	/* EI_CLASS bits: 64-bits */
.byte 0x01 /* endianess: little endian */
.byte 0x01 /* elf_header_version: */
.byte 0x00 /* os_abi: System V ABI */
.quad 0  /* padding: unused */
.word 0x0002 /* file_type:  2 - executable */
.word 0x003e /* instruction_set: x86-64 */
.long 0x00000001 /* elf_version: */
.quad ventry /* entry_point /* entry_point */
.quad program_header_table

.ifdef section_header_table
	.quad section_header_table 
.else
	.quad 0
.endif

/*.quad section_header_table */
.long 0 /* flags */
.word size_of_header /* size of this header */
/*header_size: .byte 0x40,00*/ /* size of this header */
size_of_entry_in_program_header_table: .word 0x0038
number_of_entries_in_pht: .word 0x0001
size_of_entry_in_section_header_table: .word 0x0000 /* 0x40,00 */
number_of_entries_in_sht: .word 0x0000 /* byte 0x01,00 */
index_of_section_of_names: .word 0x0000 /* .byte 0x00,00 */
size_of_header = .

.section pht
program_header_table:

/* first record */
.long 0x1 /* type of segment: 1 - LOAD */
.long 0x5 /* flags: 1 - executable, 2 - writable, 4 - readable */
.quad .text /* entry_point /* offset in file */
.quad ventry /* entry_point /*p_vaddr */
.quad ventry /* entry_point /* undefined by System V ABI */
/* .quad 0x0 undefined by System V ABI */
.quad size_of_text_section /* 0x40 size of segment in the file(p_filesz) */
.quad size_of_text_section /* 0x40 size of segment in the memory(p_memsz) */
.quad 0x10 /* alignment of this section 0x20 */
.section sht
section_header_table:

.text

entry_point:
// print message

mov $len, %edx
mov $vmsg, %ecx
mov $1, %rbx
mov $4, %rax /* print command */
int $0x80

// print2 message
mov $len, %rdx
mov $vmsg, %rsi 
mov $1, %rdi
mov $1, %rax
syscall

/* exit code */
.word 0x3c6a, 0x3158, 0x0fff, 0x0005

size_of_text_section = . - .text

msg:  .asciz "Hello message\n"
	len = . - msg

.word 0xbaba, 0xcaca
.word 0xbaba, 0xcaca
.word 0xbaba, 0xcaca
.word 0xbaba, 0xcaca
.word 0xbaba, 0xcaca
.word 0xbaba, 0xcaca

✅  2024/08/15 09:03, Gudleifr          #68 

Можно начать с чего-то такого:

✅  2024/08/15 13:41, veector          #69 

Этот кусок, вообще, не нужен в виде ассемблерного источника

✅  2024/08/15 13:52, Gudleifr          #70 

Нужен, чтобы я мог его изменить под свои нужды

✅  2024/08/15 14:00, Иван          #71 

До компоновщика тут ещё очень далеко.

✅  2024/08/15 14:05, Gudleifr          #72 

На данном этапе делается минимальный ассемблер который производит объектные файлы

✅  2024/08/15 14:13, Вежливый Лис          #73 

тот код который я давал — это 2 файла, один для ld, другой для ассемблера. На данный момент это компилируется.

✅  2024/08/15 14:19, Иван          #74 

Я не спорю с тем, что линковщик нужен. Но он нужен для больших проектов, а не для бутстрапа.

✅  2024/08/15 14:23, Вежливый Лис          #75 

Почему бы это сразу не включить в ассемблер

❔  2024/08/15 14:28, Иван          #76 

Потому что бутстрап состоит из шагов, сначала более простых, потом более сложных. В первую очередь надо делать более простые.

✅  2024/08/15 14:30, Вежливый Лис          #77 

А с секцией .text вам нужно справиться в начале?

✅  2024/08/15 14:43, Иван          #78 

А вам придётся сначала усечённый линковщик написать.

✅  2024/08/15 14:45, Вежливый Лис          #79 

хотел использовать уже готовый ld

✅  2024/08/15 15:01, Иван          #80 

Линковщик-то никто не напишет.

✅  2024/08/15 15:05, Вежливый Лис          #81 

как использовать уже готовый код?

✅  2024/08/15 15:08, Иван          #82 

✅  2024/08/15 15:28, Вежливый Лис          #83 

✅  2024/08/15 16:06, Иван          #84 

Если бы был, уже бы по всему рунету это было известно, если даже «Сказочную колесницу» (маленький проект) распиарили.

✅  2024/08/15 16:10, Вежливый Лис          #85 

Тем более у вас опыт.

✅  2024/08/15 16:18, Иван          #86 

У меня не в том опыт, я по специальности (по диплому) стратег

✅  2024/08/15 16:38, Вежливый Лис          #87 

✅  2024/08/15 18:16, Иван          #88 

✅  2024/08/15 18:28, Вежливый Лис          #89 

взаимодействовать с уже готовым кодом нужно и необходимо чтобы занять территорию

✅  2024/08/15 18:49, Иван          #90 

продавать ваш линкер в чужие страны.

✅  2024/08/15 19:17, Иван          #91 

✅  2024/08/15 19:31, Вежливый Лис          #92 

можете создать... сами

какой продукты будете продавать

✅  2024/08/15 21:51, Автор сайта          #93 

линковщик нужен. Но он нужен для больших проектов

Стратеги сами ничего не делают. Наша задача... вдохновлять на подвиги.

✅  2024/08/16 00:38, Неслучайный читатель          #94 

даже «Сказочную колесницу» распиарили

✅  2024/08/16 09:40, veector          #95 

Ваши нужды и написание русскоязычного ассемблера — это разные вещи.

✅  2024/08/16 11:43, Gudleifr          #96 

✅  2024/08/16 12:23, Вежливый Лис          #97 

✅  2024/08/16 12:24, veector          #98 

вы сначала должны найти специалиста по нужному маш.коду.

✅  2024/08/16 12:35, Gudleifr          #99 

найти специалиста по нужному процессору

✅  2024/08/16 12:38, veector          #100 

Но, раз Вы считаете, что первое условие выполнено, переходите ко второму.

Этот кусок, вообще, не нужен в виде ассемблерного источника

✅  2024/08/16 12:46, veector          #101 

другие соображения там

✅  2024/08/16 12:49, Gudleifr          #102 

Вы не даете

✅  2024/08/16 13:11, Вежливый Лис          #103 

Я не наблюдаю сформулированную цель написания ассемблера.

✅  2024/08/16 13:18, Gudleifr          #104 

Все три ваших вопроса отвечены от меня

✅  2024/08/16 13:20, Вежливый Лис          #105 

✅  2024/08/16 13:27, Вежливый Лис          #106 

там в общем-то дело написано

✅  2024/08/16 13:32, veector          #107 

Современный Интел64

✅  2024/08/16 13:37, Gudleifr          #108 

Обещание про 2 недели давали вы

✅  2024/08/16 13:40, Иван          #109 

Допустим вы последуете совету Уткина и напишите кириллический ассемблер на английском Си, как предлагает Юрий (мол, неважно что там внутри).

✅  2024/08/16 13:47, Вежливый Лис          #110 

затем пишет на русском ассемблере компилятор для русского ассемблера и "все в шляпе"

✅  2024/08/16 13:52, Иван          #111 

Обобщающим словом для слов "компилятор", "интерпретатор" и "ассемблер" является слово "транслятор".

Что же никто не написал транслятор или, точнее, ассемблер на русском языке асcемблера Юрия?

✅  2024/08/16 13:53, Gudleifr          #112 

Что же никто не написал транслятор или, точнее, ассемблер на русском языке асcемблера Юрия?

✅  2024/08/16 13:54, Вежливый Лис          #113 

Это вариант без загрузчика?

Ошибаетесь

✅  2024/08/16 13:59, Иван          #114 

Если собеседник не понимает смысла написанного...

✅  2024/08/16 16:01, veector          #115 

И как, помогло ли это Уткину? Где результаты?

Допустим вы последуете совету Уткина и напишите кириллический ассемблер на английском Си ...

✅  2024/08/16 16:04, veector          #116 

загрузчик есть в ядре Linux. И формат выходного файла ELF64 именно поэтому. Чтобы можно было бинарник просто взять и запустить, как любую другую консольную утилиту.

Из вашего вопроса я вижу, что вы не смогли скомпилировать и запустить мой пример.

✅  2024/08/16 18:00, veector          #117 

И это все разные(!) ассемблеры.

✅  2024/08/16 18:06, Вежливый Лис          #118 

Не обязательно.

✅  2024/08/16 18:18, Gudleifr          #119 

Не обязательно

✅  2024/08/16 22:24, Автор сайта          #120 

напишите кириллический ассемблер на английском Си, как предлагает Юрий (мол, неважно что там внутри).

✅  2024/08/17 02:04, Иван          #121 

маргинальную ОС,

когда более важных задач — непочатый край

✅  2024/08/18 01:24, Автор сайта          #122 

Это какая? И почему?

когда более важных задач — непочатый край

Например?

✅  2024/08/18 11:43, Иван          #123 

Например, позарез нужна Windows-

и Android-совместимые ОС.

Нет отечественных аналогов у Фотошопа,

Автокада

и т.д. и т.п.

Нет отечественного аналога LLVM.

Касперская заявляет, что стоит только захотеть нашим оппонентам, так они положат все наши сети и системы. Сдерживает их, по-видимому, невозможность шпионить после армагеддона.

✅  2024/08/18 12:28, Gudleifr          #124 

✅  2024/08/18 13:55, Вежливый Лис          #125 

сам выбранный подход к русификации доказуемо увеличит отставание нас от них.

✅  2024/08/18 14:16, Gudleifr          #126 

Пишите Ваш более правильный план и выкладывайте

доказательства

✅  2024/08/18 14:22, Вежливый Лис          #127 

Вы даже выбор изначальной цели быстро возносите в такие эмпиреи

✅  2024/08/18 14:27, Gudleifr          #128 

Я как хотел кириллический ассемблер под Интел64

✅  2024/08/18 14:30, Вежливый Лис          #129 

✅  2024/08/18 14:42, Иван          #130 

✅  2024/08/18 14:43, Gudleifr          #131 

Прежде всего я хочу ассемблер на кириллице. Затем язык повыше уровнем. Затем ещё повыше. И когда будет нормальный кириллический эквивалент языку программирования Agda, вот тогда можно будет подумать о программировании ЭДЛ

✅  2024/08/18 14:48, Вежливый Лис          #132 

что такое ЭДЛ?

✅  2024/08/18 16:04, Иван          #133 

а кодировщика маш.кода Петю,

✅  2024/08/18 16:12, Gudleifr          #134 

Какой интерес?

✅  2024/08/18 16:22, Вежливый Лис          #135 

✅  2024/08/18 16:28, Gudleifr          #136 

Значит надо его (интерес) поискать, выбить из бюджета

✅  2024/08/18 17:10, Иван          #137 

Я ж писал,

✅  2024/08/18 18:47, Вежливый Лис          #138 

✅  2024/08/18 18:59, Иван          #139 

Я признаю своё поражение в этой форумной баталии перед Вами. Теперь-то Вы ассемблер допишете?

✅  2024/08/18 19:16, Вежливый Лис          #140 

Примите эстафету? Или Ваня один за всех отдуваться будет?

✅  2024/08/18 19:25, Иван          #141 

компилятор Павиа

✅  2024/08/18 19:28, Вежливый Лис          #142 

✅  2024/08/18 19:37, Иван          #143 

✅  2024/08/18 19:39, Gudleifr          #144 

И как, сильно ли это продвинуло страну?

✅  2024/08/18 19:40, Вежливый Лис          #145 

Вы уже разбирались в предмете, какой минимальный набор инструкций нужен для этого?

✅  2024/08/18 19:40, Автор сайта          #146 

✅  2024/08/18 19:46, Вежливый Лис          #147 

Страну двигать не надо

А не было желания наладить контакт с Д.Ю. Караваевым?

✅  2024/08/18 19:48, Иван          #148 

До такой глубины я не разобрался. Из общих соображений 8086 как-то же работал без математического сопроцессора,

✅  2024/08/18 20:09, Gudleifr          #149 

Источником власти является народ

✅  2024/08/18 20:25, Иван          #150 

А не было желания наладить контакт с Д.Ю. Караваевым?

✅  2024/08/18 20:26, Вежливый Лис          #151 

Что народу надо от ассемблера?

✅  2024/08/19 00:11, Gudleifr          #152 

Народу нужна документация НА РОДНОМ ЯЗЫКЕ

✅  2024/08/19 09:12, veector          #153 

Так это не работает. ... Можно, конечно, поасучивать не Васю, а кодировщика маш.кода Петю, но Вы замучаетесь формализовать его задачу и формулировать требования к его машине.

✅  2024/08/19 11:03, Иван          #154 

✅  2024/08/19 11:27, Gudleifr          #155 

по сравнению с прошлыми магазинами

На ваших "Васях" и "Петях" далеко не уедешь, более развитые системные подходы их сожрут

Делают ребята ассемблер

Госуслуги, например, получилась очень крутая система

как давно вы начали пользоваться репозиториями?

Сами себя загнали в рамки, но зачем, лично мне не понятно

✅  2024/08/19 11:47, Иван          #156 

Их цель — забить своими продуктами, пусть даже неработающими, все ниши рынка.

✅  2024/08/19 11:49, Gudleifr          #157 

Примеры есть?

✅  2024/08/19 12:01, Иван          #158 

✅  2024/08/19 12:22, Вежливый Лис          #159 

у него нет настроения что-то расказывать

✅  2024/08/19 12:30, veector          #160 

Госуслуги — это преступление

MS Windows.

✅  2024/08/19 12:43, Вежливый Лис          #161 

вот в этом сообщении, сложно с ним не согласиться

✅  2024/08/19 12:43, veector          #162 

Поход за хлебом тогда занимал у меня пять минут.

Моя страничка считается репозиторием?

✅  2024/08/19 12:43, Gudleifr          #163 

Против кого преступление?

А между прочим, в основу этой ОС заложены идеи

✅  2024/08/19 12:45, veector          #164 

✅  2024/08/19 12:48, Вежливый Лис          #165 

не Вам указывать, что мне делать! Вы ошиблись дверью

✅  2024/08/19 12:48, Gudleifr          #166 

"Тогда", за не важно каким хлебом

✅  2024/08/19 12:49, Иван          #167 

✅  2024/08/19 12:54, Вежливый Лис          #168 

финские:

✅  2024/08/19 12:59, Иван          #169 

Норманская теория

Время мчится, как ракета.
Мимо русские бегут.
Это кто стоит на месте?
Это финны к нам идут.

✅  2024/08/19 13:03, Вежливый Лис          #170 

✅  2024/08/19 13:10, Иван          #171 

Как, кстати, идут дела? Какой прогресс в ассемблере, какие планы ближайших действий?

✅  2024/08/19 13:11, veector          #172 

Какая разница, какие идеи заложены в Windows

если он очень плохо справляется с обязанностями ОС?

✅  2024/08/19 13:20, Gudleifr          #173 

Сейчас ребята тут закладывают идеи

Windows — идеальная ОС

✅  2024/08/19 13:20, Вежливый Лис          #174 

✅  2024/08/19 13:24, veector          #175 

✅  2024/08/19 13:31, Вежливый Лис          #176 

✅  2024/08/19 13:40, veector          #177 

✅  2024/08/19 13:47, veector          #178 

Идя в ассемблере только одна — наиболее эффективно описать распределение значений байтов/ячеек в некотором пространстве. Критерии — компактность этого описания и легкость им пользования. Всё.

✅  2024/08/19 14:00, veector          #179 

Почему тогда простая домохозяйка не может написать экспертную систему, управляющую её кухней?

✅  2024/08/19 14:23, Gudleifr          #180 

любой язык программирования и инструментарий, его транслирующий/компилирующий

"Умный дом", "умная кухня"...

✅  2024/08/19 14:42, veector          #181 

Именно. Ассемблер просто один из самых тупых подобных инструментариев. Он не предусматривает какого-либо серьезного преобразования входных данных. Верхняя планка ассемблеров — Си-компилятор.

"Умный дом", "умная кухня"...

Их написала домохозяйка? Или IT-шник, думающий, что хлеб раньше был хуже, потому что по телевизору показывали, что он черно-белый?

✅  2024/08/19 14:47, Gudleifr          #182 

Например, макросы есть в Си и в ассемблере

это же очевидно

✅  2024/08/19 22:12, Автор сайта          #183 

Механизм раскрутки компилятора похож на квайн

Поход за хлебом тогда занимал у меня пять минут.

"Тогда" было не все хорошо.

А сами езжайте в Турцию, а оттуда в Америку.

Какая разница, какие идеи заложены в Windows, если он очень плохо справляется с обязанностями ОС?

React OS пробовали все, но, никто не выбрал, т.к. там нет ничего отличного от Винды в лучшую сторону.

Вы ищете мегаидею. Русификация ИТ — это она.

✅  2024/08/19 22:18, Вежливый Лис          #184 

Мне она не подходит в предлагаемом некоторыми людьми виде. Мне не нравится, если русификация исчерпывается обычной заменой нерусских слов на русские. Мне нравится путь русификации через доминирование в технологиях. Когда мы навязываем правила игры, а не нам. Это даст возможность навязывать свои термины, а не усваивать чужие.

✅  2024/08/19 22:21, Gudleifr          #185 

Моя бабушка приходила к хлебному и ждала

Мне нравится путь русификации через доминирование в технологиях

✅  2024/08/19 22:25, Вежливый Лис          #186 

А сами езжайте в Турцию, а оттуда в Америку.

Не говорите, что мне нужно делать и я не сажу, куда Вам надо идти

✅  2024/08/19 22:41, Автор сайта          #187 

Начинать надо с базовых, имеющих максимальный мультипликативный эффект.

У него это должно было вызывать мысли

✅  2024/08/19 22:47, Вежливый Лис          #188 

предложил подумать об аналоге LLVM. Потому что ассемблер уже пробовали

✅  2024/08/19 22:49, Gudleifr          #189 

А вот аналог LLVM дал бы разработчикам компиляторов сокращение трудозатрат и расширение рынка

✅  2024/08/19 22:50, Вежливый Лис          #190 

но даже им не интересовались!

уговаривать взрослых людей — занятие неблагодарное.

✅  2024/08/19 23:32, Автор сайта          #191 

Нельзя запрограммировать аналог LLVM по-русски, если в него внедряются снизу буквы латиницы.

Сокращение? Да него же придется реализовать для каждого кристалла заново.

как старый фортер скажу — доделал компилятор — выброси LLVM.

✅  2024/08/19 23:40, Gudleifr          #192 

Когда появится новый кристалл, то будет нанят программист

Но когда встанет вопрос о высокой скорости исполняемого кода, то этот вариант отпадает

✅  2024/08/20 00:05, Вежливый Лис          #193 

В трансляторе PL/1 Караваева идёт генерация

✅  2024/08/21 15:24, Иван          #194 

; control: call, ret, jmp
; arithmetics add, sub, mul
; compare: test, cmp, jz, jge, jne
; stack : push, pop
; other : mov, syscall
; directives: .byte
; memory : labels

add — СЛОЖИТЬ
call — ВЫЗОВ

✅  2024/08/21 17:06, Вежливый Лис          #195 

✅  2024/08/21 17:14, Иван          #196 

{СЛОЖЕНИЕ, ВЫЗОВ}, {СЛОЖИТЬ, ВЫЗВАТЬ}

✅  2024/08/21 21:09, Автор сайта          #197 

=	mov
?	cmp
f()	call f
--> L	jmp L
> M	jg M
<= N	jle N
+	add
-	sub
*	mul
/	div

✅  2024/08/21 21:27, Иван          #198 

Неопределённая форма глагола, на мой взгляд, предпочтительнее.

Иван, а Вам не понравился мой вариант синтаксиса, с заменой слов или аббревиатур на символы? Не находите, что некоторые самые распространённые команды будут понятны независимо от национальности?

✅  2024/08/21 22:20, Gudleifr          #199 

некоторые самые распространённые команды будут понятны независимо от национальности?

✅  2024/08/21 22:39, Автор сайта          #200 

эти символы резервируются

однотипные буквенные аббревиатуры удобнее.

✅  2024/08/21 22:49, Gudleifr          #201 

свой ассемблер

✅  2024/08/22 01:10, Вежливый Лис          #202 

Предлагайте имена на русском

✅  2024/08/23 11:25, Иван          #203 

Пусть в некой деревне живёт брадобрей, который бреет всех жителей деревни, которые не бреются сами, и только их. Бреет ли брадобрей сам себя?

✅  2024/08/23 18:33, Вежливый Лис          #204 

Кем является брадобрей?

✅  2024/08/23 18:38, Иван          #205 

Решения там же — в курсе математической логике, в частности в теории типов.

✅  2024/08/23 18:52, Вежливый Лис          #206 

✅  2024/08/23 18:57, Иван          #207 

1) Думать, не заглядывая в учебник, это называется "по памяти", а не "проще".

2) У явлений есть сложность. И в некоторых случаях сложность уменьшить нельзя. Вот фентези на тему

3) А что если текст в этих книжках и является минимальным изложением ответа?

✅  2024/08/23 19:08, Вежливый Лис          #208 

ответ состоящий из 2 слов

✅  2024/08/23 19:26, Иван          #209 

«брадобреев двое»

«они категория»

✅  2024/08/23 19:34, Вежливый Лис          #210 

Это из теории категорий?

✅  2024/08/29 20:32, Автор сайта          #211 

когда встанет вопрос о высокой скорости исполняемого кода, то этот вариант отпадает... сравнительные цифры... не в пользу Форта.

Это обычное заблуждение.

✅  2024/08/29 21:47, Gudleifr          #212 

таким образом опровергнут

✅  2024/08/29 22:12, Автор сайта          #213 

✅  2024/08/29 22:51, Gudleifr          #214 

Ассемблерные же вставки лишили бы возможность исполнять Форт-программы сразу на всех платформах

✅  2024/08/29 23:11, Автор сайта          #215 

✅  2024/09/01 10:06, kiv          #216 

✅  2024/09/01 16:49, Автор сайта          #217 

xor eax, eax

 eax=0

 eax^0

✅  2024/09/01 18:28, Иван          #218 

Ну возникают вопросы по поводу русского ассемблера, который делает Иван. Правильным ли путём он идёт?

✅  2024/09/01 22:06, Автор сайта          #219 

Путь познания — он всегда правильный.

✅  2024/09/01 22:27, Иван          #220 

Просто задумываюсь, насколько правильно делать ассемблер именно для x86. С одной стороны, на чём-то надо тренироваться. Плюс самая распространённая архитектура. А с другой... Intel в кризисе (хотя упавшее знамя может подхватить AMD), роль x86 уменьшается. Да и сомневаюсь, что у нас в стране когда-нибудь будет производство x86. Короче, мысли об аналоге LLVM меня занимают больше.

✅  2024/09/01 23:37, Неслучайный читатель          #221 

✅  2024/09/01 23:47, Иван          #222 

Вот только непонятно, что такое — симкод. Символьный код? То есть не аббревиатуры, а всякие +-*/?

✅  2024/09/02 00:00, alextretyak          #223 

разработчик этого аналога должен вовсю постараться, чтобы не было путаницы между «shr» и «sar». Он должен сделать работу качественно.

• оценить насколько эффективно компилятор выполнил встраивание функций, какие переменные поместил в регистры, как часто происходит обращение к памяти и прочее
• сравнить качество оптимизации одинакового исходного кода на языке высокого уровня (например C++) различными компиляторами — например я нередко сравниваю ассемблерный код, сгенерированный Clang-ом (который использует LLVM) с кодом, сгенерированным GCC и MSVC (которые LLVM не используют)

eax^0

✅  2024/09/02 22:33, Автор сайта          #224 

всё равно иногда требуется посмотреть ассемблерный листинг с целью анализа итогового сгенерированного машинного кода

сравниваю ассемблерный код, сгенерированный Clang-ом (который использует LLVM) с кодом, сгенерированным GCC и MSVC (которые LLVM не используют)

✅  2024/09/02 22:55, Gudleifr          #225 

Наверное, большинство будет счастливо, чтобы этого не требовалось

✅  2024/09/05 13:09, Иван          #226 

Короче, мысли об аналоге LLVM меня занимают больше.

✅  2024/09/05 13:18, Gudleifr          #227 

системные вызовы (syscall) для различных платформ

✅  2024/09/05 14:52, Автор сайта          #228 

✅  2024/09/05 14:58, Иван          #229 

%3 = call i64 asm sideeffect "movl $$0x00000002, %edi\0Amovl $$0x00000006, %edx\0Amovl $$1, %eax\0Asyscall\0A", "=A,{si},~{dirflag},~{fpsr},~{flags}"(i8* %2) #1, !srcloc !1

✅  2024/09/05 15:04, Gudleifr          #230 

✅  2024/09/05 15:24, Иван          #231 

✅  2024/09/05 15:33, Gudleifr          #232 

✅  2024/09/05 15:41, Иван          #233 

✅  2024/09/05 15:52, Gudleifr          #234 

✅  2024/09/05 16:01, Иван          #235 

✅  2024/09/05 16:05, Gudleifr          #236 

✅  2024/09/05 16:11, Иван          #237 

✅  2024/09/05 16:29, Gudleifr          #238 

✅  2024/09/05 18:53, Иван          #239 

✅  2024/09/05 19:01, Gudleifr          #240 

✅  2024/09/05 19:19, Gudleifr          #241 

• СПЕЦИАЛИСТ по нужному маш.коду.
• ПОЛЬЗОВАТЕЛЬ, знающий то конкретное место в конкретной ОС, куда будет встраиваться ассемблер.
• ЛЮБИТЕЛЬ, владеющий инструментом, на котором этот ассемблер нужно писать.

✅  2024/09/05 19:21, Иван          #242 

❌  2024/09/06 15:15, Gudleifr          #243   Комментарий скрыт

❌  2024/09/06 16:07, Иван          #244   Комментарий скрыт

❌  2024/09/06 16:15, Gudleifr          #245   Комментарий скрыт

❌  2024/09/06 16:19, Иван          #246   Комментарий скрыт

❌  2024/09/06 16:28, Gudleifr          #247   Комментарий скрыт

✅  2024/09/08 18:44, Иван          #248 

❌  2024/09/08 18:50, Gudleifr          #249   Комментарий скрыт

❌  2024/09/08 18:57, Иван          #250   Комментарий скрыт

❌  2024/09/08 18:59, Gudleifr          #251   Комментарий скрыт

✅  2024/09/09 00:39, Автор сайта          #252 

✅  2024/09/09 00:58, Иван          #253 

; ---------------------------------------------------------------------
        ФУНКЦИЯ_ВЫВОДА:
; ---------------------------------------------------------------------
	; [РФ + 0ш10] - указатель на строку
	; --------------------------------

	ВТОЛКНУТЬ РФ                  ; пролог функции
	КОПИРОВАТЬ РФ, РС              
	ВТОЛКНУТЬ РЧ                  ; сохраним счетчик

	; считаем длину строки
	ВТОЛКНУТЬ [РФ + 0ш10]                 
	ВЫЗВАТЬ ФУНКЦИЯ_ДЛИНЫ_СТРОКИ
	ПРИБАВИТЬ РС, 0ш08
	КОПИРОВАТЬ РД, РА   ; длина строки

	КОПИРОВАТЬ РА, 1              ; системная команда "запись файла" 
	КОПИРОВАТЬ РН, РА             ; 1 - консоль
	КОПИРОВАТЬ РИ, [РФ + 0ш10]    ; указатель на строку
	ВЫЗВАТЬ_СИСТЕМУ
                                  ; эпилог функции
	ВЫТОЛКНУТЬ РЧ                 ; восстанавливаем счетчик
	ВЫТОЛКНУТЬ РФ                 
	НАЗАД

❔  2024/09/09 02:00, Gudleifr          #254 

✅  2024/09/09 13:22, Вежливый Лис          #255 

✅  2024/09/09 13:36, Gudleifr          #256 

✅  2024/09/09 14:32, Неслучайный читатель          #257 

✅  2024/09/09 14:38, Gudleifr          #258 

✅  2024/09/09 16:42, Вежливый Лис          #259 

✅  2024/09/09 17:22, Gudleifr          #260 

✅  2024/09/09 22:55, Автор сайта          #261 

✅  2024/09/09 23:03, Иван          #262 

✅  2024/09/09 23:09, Gudleifr          #263 

✅  2024/09/09 23:25, Автор сайта          #264 

✅  2024/09/09 23:47, Gudleifr          #265 

✅  2024/09/10 00:01, Автор сайта          #266 

✅  2024/09/10 00:19, Gudleifr          #267 

✅  2024/09/10 00:29, Автор сайта          #268 

✅  2024/09/10 00:37, Gudleifr          #269 

✅  2024/09/10 00:38, Иван          #270 

✅  2024/09/10 00:43, Gudleifr          #271 

✅  2024/09/10 10:44, Иван          #272 

✅  2024/09/10 13:38, Gudleifr          #273 

✅  2024/09/10 14:40, Вежливый Лис          #274 

✅  2024/09/10 14:59, Gudleifr          #275 

✅  2024/09/10 15:32, Вежливый Лис          #276 

✅  2024/09/10 15:35, Gudleifr          #277 

✅  2024/09/10 15:37, Вежливый Лис          #278 

❌  2024/09/10 15:40, Gudleifr          #279   Комментарий скрыт

✅  2024/09/10 23:35, Автор сайта          #280 

❌  2024/09/11 00:17, Gudleifr          #281   Комментарий скрыт

❌  2024/09/11 01:33, Gudleifr          #282   Комментарий скрыт

❌  2024/09/11 02:09, Gudleifr          #283   Комментарий скрыт

❌  2024/09/12 23:36, Gudleifr          #284   Комментарий скрыт

✅  2024/09/12 23:49, Вежливый Лис          #285 

❌  2024/09/12 23:51, Gudleifr          #286   Комментарий скрыт

✅  2024/09/12 23:51, politefox(аt)zoho.eu          #287 

✅  2024/09/12 23:53, Вежливый Лис          #288 

✅  2024/09/12 23:56, Автор сайта          #289 

✅  2024/09/12 23:59, Вежливый Лис          #290 

❌  2024/09/25 12:54, Gudleifr          #291   Комментарий скрыт

✅  2024/09/25 15:27, Иван          #292 

✅  2024/09/25 16:09, Вежливый Лис          #293 

❌  2024/09/25 16:13, Gudleifr          #294   Комментарий скрыт

✅  2024/09/25 16:21, Вежливый Лис          #295 

❌  2024/09/25 16:24, Gudleifr          #296   Комментарий скрыт

✅  2024/09/25 17:05, Вежливый Лис          #297 

❌  2024/09/25 17:25, Gudleifr          #298   Комментарий скрыт

✅  2024/09/25 17:37, Вежливый Лис          #299 

❌  2024/09/25 17:40, Gudleifr          #300   Комментарий скрыт

✅  2024/09/25 17:51, Вежливый Лис          #301 

❌  2024/09/25 18:05, Gudleifr          #302   Комментарий скрыт

✅  2024/09/25 18:17, Вежливый Лис          #303 

❌  2024/09/25 18:24, Gudleifr          #304   Комментарий скрыт

✅  2024/09/25 18:30, Вежливый Лис          #305 

❌  2024/09/25 18:46, Gudleifr          #306   Комментарий скрыт

✅  2024/09/25 18:53, Вежливый Лис          #307 

❌  2024/09/25 18:54, Иван          #308   Комментарий скрыт

❌  2024/09/25 19:06, Gudleifr          #309   Комментарий скрыт

✅  2024/09/25 23:15, Вежливый Лис          #310 

❌  2024/09/25 23:25, Gudleifr          #311   Комментарий скрыт

✅  2024/09/25 23:42, Вежливый Лис          #312 

❌  2024/09/25 23:49, Gudleifr          #313   Комментарий скрыт

✅  2024/09/25 23:58, Вежливый Лис          #314 

❌  2024/09/26 00:03, Gudleifr          #315   Комментарий скрыт

✅  2024/09/26 00:05, Вежливый Лис          #316 

❌  2024/09/26 00:14, Gudleifr          #317   Комментарий скрыт

✅  2024/09/26 00:17, Вежливый Лис          #318 

❌  2024/09/26 00:22, Gudleifr          #319   Комментарий скрыт

✅  2024/09/26 10:05, Иван          #320 

✅  2024/09/26 10:52, Иван          #321 

✅  2024/09/26 15:56, DEAD C0DE          #322 

✅  2024/09/26 21:00, Вежливый Лис          #323 

❌  2024/09/27 12:57, Gudleifr          #324   Комментарий скрыт

✅  2024/09/27 13:18, Вежливый Лис          #325 

❌  2024/09/27 13:35, Gudleifr          #326   Комментарий скрыт

✅  2024/09/27 14:58, Иван          #327 

❌  2024/09/27 15:06, Gudleifr          #328   Комментарий скрыт

✅  2024/09/29 21:44, ИванАс          #329 

✅  2024/09/29 23:43, Автор сайта          #330 

✅  2024/10/19 17:08, ИванАс          #331 

✅  2024/10/19 22:36, Автор сайта          #332 

Добавить свой отзыв

Написать автору можно на электронную почту
mail(аt)compiler.su