The OpenNET Project / Index page

[ новости /+++ | форум | wiki | теги | ]

Выпуск GNU Mes 0.22, инструментария для самодостаточной сборки дистрибутивов

24.01.2020 09:44

Представлен выпуск инструментария GNU Mes 0.22, обеспечивающего процесс бутстрэппинга (bootstrap) для GCC и позволяющего добиться замкнутого цикла пересборки из исходных текстов. Инструментарий решает задачу верифицированной начальной сборки компилятора в дистрибутивах, разрывая цепочку цикличной пересборки (для сборки компилятора требуются исполняемые файлы уже собранного компилятора, а бинарные сборки компилятора являются потенциальным источником скрытых закладок, что не позволяет полностью гарантировать целостность сборок из эталонных исходных текстов).

В GNU Mes предлагается самодостаточный (self-hosting) интерпретатор для языка Scheme, написанный на языке Си, и простейший компилятор для языка Си (MesCC), написанный на языке Scheme. Оба компонента взаимособираемы. Scheme-интерпретатор даёт возможность собрать Си-компилятор MesCC, который затем позволяет собрать урезанную версию компилятора TinyCC (tcc), возможностей которого уже достаточно для сборки GCC.

Интерпретатор языка Scheme достаточно компактный, занимает около 5000 строк кода на простейшем подмножестве языка Си и может быть преобразован в исполняемый файл с использованием универсального транслятора M2-Planet или простейшего Си-компилятора, собранного с использованием самособираемого ассемблера hex0, не требующего внешних зависимостей. При этом интерпретатор включает полноценный сборщик мусора и предоставляет библиотеку загружаемых модулей.

В новом выпуске обеспечена поддержка повторяемых сборок с использованием связок mes+mescc или guile+mescc в дистрибутивах GNU Guix, Debian GNU/Linux и NixOS. Добавлена возможность запуска Scheme-интерпретатора Mes в GNU Hurd, но Си-компилятор mescc ещё не работает из-за отсутствия поддержки необходимых системных вызовов (например, fork/exec). Добавлена начальная поддержка создания исполняемых файлов FreeBSD. Улучшена поддержка бутстрэппинга дистрибутива Guix с использованием только компонентов на языке Scheme (командная оболочка Gash (Guile as Shell) вместо bash и Gash Core Utils вместо coreutils, grep, sed, gzip, make, awk и tar).

В следующих выпусках ожидается появление поддержки бутстрэппинга для NixOS, включение бутстрэппинга только с использованием компонентов на языке Scheme в ветке wip-bootstrap, поддержка архитектуры ARM, возможность компиляции Mes.c с использованием M2-Planet, полная поддержка модулей Guile, обеспечение работы mescc с ядром Hurd.

  1. Главная ссылка к новости (https://www.mail-archive.com/i...)
  2. OpenNews: Выпуск GNU Mes 0.21, инструментария для самодостаточной сборки дистрибутивов
  3. OpenNews: Мэйнтейнеры проектов GNU выступили против единоличного лидерства Столлмана
  4. OpenNews: Выпуск системы инициализации GNU Shepherd 0.6
  5. OpenNews: Связывание повторяемых сборок GNU Guix с архивом исходных текстов Software Heritage
  6. OpenNews: Доступен пакетный менеджер GNU Guix 1.0 и дистрибутив GuixSD на его основе
Лицензия: CC-BY
Тип: Программы
Короткая ссылка: https://opennet.ru/52244-mes
Ключевые слова: mes, build
При перепечатке указание ссылки на opennet.ru обязательно
Обсуждение (23) Ajax | 1 уровень | Линейный | +/- | Раскрыть всё | RSS
  • 1.1, Аноним (1), 10:02, 24/01/2020 [ответить] [﹢﹢﹢] [ · · · ]  
  • –5 +/
    И тут г-месы
     
     
  • 2.8, Аноним (8), 11:30, 24/01/2020 [^] [^^] [^^^] [ответить]  
  • +/
    Молодец, хорошо пошутил
    https://www.google.com/imgres?imgurl=http%3A%2F%2Fsun9-6.userap
     
     
  • 3.23, Глазоним (?), 08:06, 25/01/2020 [^] [^^] [^^^] [ответить]  
  • +/
    Такая мусорная ссылка...
    Даж открывать не стал - есть более лаконичные способы послать
     

  • 1.2, Аноним (2), 10:25, 24/01/2020 [ответить] [﹢﹢﹢] [ · · · ]  
  • +1 +/
    Просто мОлодец дядька Столман!
     
     
  • 2.16, Аноним (16), 13:55, 24/01/2020 [^] [^^] [^^^] [ответить]  
  • +2 +/
    А причём здесь Столлман? Молодец некто orianjs -- всё это делается его руками.
     
     
  • 3.18, Аноним (2), 15:04, 24/01/2020 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Конечно же, ему тоже здоровья, сил, достатка и удовлетворения!
     
  • 3.20, Аноним (-), 16:00, 24/01/2020 [^] [^^] [^^^] [ответить]  
  • –4 +/
    >причём здесь Столлман?

    А ты Столлмана не трожь. Я за него порву

     

  • 1.3, Аноним (-), 10:29, 24/01/2020 [ответить] [﹢﹢﹢] [ · · · ]  
  • +2 +/
    Классная вещица. Но для построения по-настоящему безопасных систем потребуется добиться также безопасности и аппаратного уровня, с бинарными закрытыми биосами и uefi каши не сваришь - надо перепрошивать firmware открытыми и безопасными альтернативами. Иначе какой толк от собранного из сырцов дистра...
     
     
  • 2.4, Аноним (4), 10:35, 24/01/2020 [^] [^^] [^^^] [ответить]  
  • +/
    кстати про открытые альтернативы биосу - есть там что нибудь на горизонте? Вроде кто то хотел колибри под это дело приспособить, но дальше концепта не пошло
     
     
  • 3.5, shalom (?), 10:48, 24/01/2020 [^] [^^] [^^^] [ответить]  
  • +/
    > кстати про открытые альтернативы биосу - есть там что нибудь на горизонте

    из свободных популярных альтернатив есть coreboot
    в конце прошлого года выходила версия 4.11 - https://www.opennet.ru/opennews/art.shtml?num=51895

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

    https://www.linux.org.ru/people/SakuraKun/profile

     
  • 3.7, Аноним (7), 11:09, 24/01/2020 [^] [^^] [^^^] [ответить]  
  • –1 +/
    Coreboot. Но не так много железа поддерживает.
     
  • 3.26, anonymous (??), 17:06, 27/01/2020 [^] [^^] [^^^] [ответить]  
  • +/
    Есть. Thinkpad X200. Шикарная машинка. Если нужно решать более тяжёлые задачи, то коннектиться с неё на тредриппер амд машинку, которая будет конпелять. Заодно и CAD'ом на ней баловаться можно будет.
     
  • 2.9, Аноним (9), 12:20, 24/01/2020 [^] [^^] [^^^] [ответить]  
  • +1 +/
    А то что нет открытого процессора вас не смущает? Вас только биос смущает?
     
     
  • 3.10, Ph0zzy (ok), 12:32, 24/01/2020 [^] [^^] [^^^] [ответить]  
  • +2 +/
    Как это нет https://riscv.org/ ?
     
     
     
    Часть нити удалена модератором

  • 5.15, Аноним (15), 13:50, 24/01/2020 [ответить]  
  • +3 +/
    https://www.crowdsupply.com/sifive/hifive-unleashed

    https://www.sifive.com/documentation

     
  • 5.19, Аноним (19), 15:08, 24/01/2020 [ответить]  
  • +/
    13$ https://www.seeedstudio.com/Sipeed-MAix-BiT-for-RISC-V-AI-IoT-p-2872.html
    21$ https://www.seeedstudio.com/Sipeed-Maixduino-for-RISC-V-AI-IoT-p-4046.html
     
  • 5.21, Ph0zzy (ok), 17:27, 24/01/2020 [ответить]  
  • +/
    https://www.sifive.com/boards/hifive-unleashed - вот к примеру. В соседних ответах ещё варианты есть.
     
  • 3.13, Анонимайзер (?), 13:39, 24/01/2020 [^] [^^] [^^^] [ответить]  
  • –5 +/
    > А то что нет открытого процессора вас не смущает?

    Проанализировав существующее положение дел в мире, я пришёл к неутешительным выводам. Увы, пока существует капиталистический строй и жадные капиталисты, мечтать о мощном и полностью открытом процессоре даже и не приходится.

     
     
  • 4.27, Аноним (27), 17:34, 29/01/2020 [^] [^^] [^^^] [ответить]  
  • +/
    Есть такие процессоры https://habr.com/ru/post/433524/
     
  • 2.17, Аноним (16), 13:57, 24/01/2020 [^] [^^] [^^^] [ответить]  
  • +/
    https://libresilicon.com/ не всё так плохо
     

  • 1.22, Урри (?), 18:11, 24/01/2020 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    Missing dependencies: guile guild blood-elf M1 hex2

    Это только сам mes.

     
  • 1.24, Аноним (24), 15:35, 25/01/2020 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    Также нужен простой процессор из самодельных больших транзисторов. Он будет запускать Mes в специальном виртуализированном окружении.
    Сравнивая результаты воспроизводимой сборки на компьютере с ним мы можем судить о бэкдорах в самом процессоре меняющих код компилятора во время сборки...
    Ну и учитывая произволительность - нам нужно всё распаралелить и иметь много самодельных компьютеров на самодельных транзисторах.
     
     
  • 2.25, Аноним (25), 20:33, 25/01/2020 [^] [^^] [^^^] [ответить]  
  • +/
    И много ручек.
     

     Добавить комментарий
    Имя:
    E-Mail:
    Текст:



    Спонсоры:
    Слёрм
    Inferno Solutions
    Hosting by Hoster.ru
    Хостинг:

    Закладки на сайте
    Проследить за страницей
    Created 1996-2020 by Maxim Chirkov
    Добавить, Поддержать, Вебмастеру