The OpenNET Project / Index page

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

18.06.2017 21:15  Увидел свет Debian GNU/Hurd 2017

Представлен релиз Debian GNU/Hurd 2017, редакции дистрибутива Debian 9.0 "Stretch", сочетающей программное окружение Debian c ядром GNU/Hurd. Репозиторий Debian GNU/Hurd включает примерно 80% пакетов от общего размера архива Debian, в том числе портированы Firefox и Xfce 4.12.

Debian GNU/Hurd и Debian GNU/KFreeBSD являются единственными платформами Debian, созданными на базе ядра, отличного от Linux. Платформа GNU/Hurd не вошла в число официально поддерживаемых архитектур Debian 9, поэтому релиз Debian GNU/Hurd 2017 выпущен отдельно и имеет статус неофициального выпуска Debian. Готовые сборки, снабжённые специально созданным графическим инсталлятором, и пакеты в настоящее время доступны только для архитектуры i386. Для загрузки подготовлены установочные образы NETINST, CD и DVD, а также образ для запуска в системах виртуализации.

GNU Hurd представляет собой ядро, развиваемое в качестве замены ядра Unix и оформленное в виде набора серверов, работающих поверх микроядра GNU Mach и реализующих различные системные сервисы, такие как файловые системы, сетевой стек, система управления доступом к файлам. Микроядро GNU Mach предоставляет IPC-механизм, используемый для организации взаимодействия компонентов GNU Hurd и построения распределённой мультисерверной архитектуры.

В новом выпуске ядро GNU Hurd и микроядро GNU Mach обновлены до последних версий 0.9 и 1.8, примечательных заметным повышением стабильности и переработанной системой управления памятью. Значительно расширены возможности утилиты fakeroot, которую можно использовать для быстрой и безопасной сборки пакетов. В качестве варианта легковесной виртуализации добавлена поддержка запуска вложенных hurd-окружений от непривилегированного пользователя. Добавлена поддержка работы с более чем 3 Гб ОЗУ.

  1. Главная ссылка к новости (https://lists.debian.org/debia...)
  2. OpenNews: Релиз GNU Hurd 0.9
  3. OpenNews: Доступен Debian GNU/Hurd 2015
  4. OpenNews: Увидел свет GNU Hurd 0.7
  5. OpenNews: Увидел свет GNU Hurd 0.8
  6. OpenNews: Релиз Debian 9 "Stretch"
Лицензия: CC-BY
Тип: Программы
Ключевые слова: debian, hurd
При перепечатке указание ссылки на opennet.ru обязательно
Обсуждение Ajax/Линейный | Раскрыть все сообщения | RSS
 
  • 1.1, Аноним (-), 21:30, 18/06/2017 [ответить] [показать ветку] [···]    [к модератору]
  • –5 +/
    > Debian GNU/Hurd и Debian GNU/KFreeBSD являются единственными платформами Debian, созданными на базе ядра, отличного от Linux.

    Это неправда. См. https://www.osdyson.org

     
     
  • 2.3, Аноним (-), 21:48, 18/06/2017 [^] [ответить]    [к модератору]
  • +7 +/
    Dyson левый дистрибутив на базе Debian, как и NexentaStor, а в новости речь об платформах Debian, развиваемых в рамках основного проекта.
     
     
  • 3.4, Аноним (-), 21:54, 18/06/2017 [^] [ответить]    [к модератору]
  • –5 +/
    > Платформа GNU/Hurd не вошла в число официально поддерживаемых архитектур Debian 9, поэтому релиз Debian GNU/Hurd 2017 выпущен отдельно и имеет статус неофициального выпуска Debian

    В чём разница?

     
     
  • 4.6, A.Stahl (ok), 22:18, 18/06/2017 [^] [ответить]    [к модератору]
  • +1 +/
    Формально ни в чём, а фактически Debian GNU/Hurd долгое время был официальным релизом Debian и когда Hurd подпилят чуток, то снова им станет.
     
  • 4.12, Аноним (-), 23:04, 18/06/2017 [^] [ответить]    [к модератору]
  • +1 +/
    > В чём разница?

    В том, что Debian GNU/Hurd и Debian GNU/KFreeBSD - это _Debian_, а Dyson посторонний продукт, который использует наработки Debian.


     
  • 1.2, nc (ok), 21:35, 18/06/2017 [ответить] [показать ветку] [···]    [к модератору]  
  • +/
    А чем это интересно с точки зрения пользователя или даже программиста? Я так понимаю "снаружи" это обычная (может в чем-то урезанная) линуксоподобная система.
     
     
  • 2.7, A.Stahl (ok), 22:20, 18/06/2017 [^] [ответить]    [к модератору]  
  • +8 +/
    Ничем. Пока uname не введёшь вообще не поймёшь что ты не в линуксе.
    И это хорошо.
     
  • 2.8, Аноним (-), 22:25, 18/06/2017 [^] [ответить]     [к модератору]  
  • +2 +/
    Она не может быть линукс-подобной, потому что к линуксовому ядру не имеет ни мал... весь текст скрыт [показать]
     
     
  • 3.14, fi (ok), 00:10, 19/06/2017 [^] [ответить]     [к модератору]  
  • +3 +/
    соврал не глядя - Unix есть торговая марка, есть сертификаты соответствия вся... весь текст скрыт [показать]
     
     
  • 4.36, Аноним (-), 08:50, 20/06/2017 [^] [ответить]     [к модератору]  
  • +1 +/
    Как-то у вас всё в кучу Есть развивающийся стандарт POSIX, определяющий понятие... весь текст скрыт [показать]
     
     
  • 5.41, www2 (ok), 17:33, 21/06/2017 [^] [ответить]    [к модератору]  
  • –1 +/
    Но Hurd всё равно никогда не будет Unix'ом, потому что он GNU, что расшифровывается как GNU is Not Unix.
     
  • 2.19, Аноним (-), 09:57, 19/06/2017 [^] [ответить]     [к модератору]  
  • +4 +/
    Драйвера в пространстве пользователя - можно отлаживать свою ФС от пользователя... весь текст скрыт [показать]
     
     
  • 3.43, Аноним (-), 13:07, 22/06/2017 [^] [ответить]     [к модератору]  
  • –1 +/
    Не надо сказок Все что вы перечислили - все можно сделать без костылей и без пр... весь текст скрыт [показать]
     
     
  • 4.44, Аноним (-), 17:30, 22/06/2017 [^] [ответить]     [к модератору]  
  • –1 +/
    Сомневаюсь, оплачивать не буду Что-то, конечно, можно сделать Где-то было, нап... весь текст скрыт [показать]
     
  • 2.39, пох (?), 22:45, 20/06/2017 [^] [ответить]     [к модератору]  
  • –1 +/
    совершенно ничем ну, разьве что для общего развития, чтобы понимать, что не все... весь текст скрыт [показать]
     
  • 1.13, Аноним (-), 23:30, 18/06/2017 [ответить] [показать ветку] [···]    [к модератору]  
  • +/
    Чистое микроядро чуток устарело. Да и на mach тормозное выходит. Нужно экзоядро тогда уж, если выбирать хорошее. Но в целом радует, что можно тыкать палкой в GNU/HURD.
     
     
  • 2.15, A.Stahl (ok), 06:58, 19/06/2017 [^] [ответить]     [к модератору]  
  • +/
    И что же такое случилось, что сделало концепцию микроядра устаревшей, хм Только... весь текст скрыт [показать]
     
     
  • 3.22, Аноним (-), 12:08, 19/06/2017 [^] [ответить]     [к модератору]  
  • +1 +/
    Просто экзоядро это уже следующий этап в развитии микроядер Там еще более код п... весь текст скрыт [показать]
     
  • 2.20, Аноним (-), 10:58, 19/06/2017 [^] [ответить]    [к модератору]  
  • –2 +/
    Ну вот DOS была по сути экзоядром. Это же был рай для вирей.
     
     
  • 3.21, Аноним (-), 12:04, 19/06/2017 [^] [ответить]     [к модератору]  
  • –3 +/
    Там же было монолитное ядро Экзоядро это не то Экзоядро бы лишь реализовало не... весь текст скрыт [показать]
     
     
  • 4.33, Аноним (-), 01:28, 20/06/2017 [^] [ответить]     [к модератору]  
  • +/
    Отвечу теми же словами экзоядро - это не то Экзоядро никаких абстракций не п... весь текст скрыт [показать]
     
     
  • 5.34, angra (ok), 03:17, 20/06/2017 [^] [ответить]     [к модератору]  
  • +1 +/
    Нет Экзоядро оперирует хоть и максимально простыми сущностями блоки на диске, с... весь текст скрыт [показать]
     
  • 5.37, Аноним (-), 08:53, 20/06/2017 [^] [ответить]     [к модератору]  
  • +/
    Процессы в DOS Уже смешно Вы его хоть видели-то, прежде чем говорить такое ... весь текст скрыт [показать]
     
     
  • 6.38, Аноним (-), 20:45, 20/06/2017 [^] [ответить]     [к модератору]  
  • –4 +/
    Даже в убер-шелле DOS Navigator - были облегчённые-процессы, можно было например... весь текст скрыт [показать]
     
     
  • 7.40, angra (ok), 00:01, 21/06/2017 [^] [ответить]    [к модератору]  
  • +3 +/
    Вот и стоило писать столько букв только для того, чтобы показать степень своего ламерства?
     
  • 7.42, www2 (ok), 17:59, 21/06/2017 [^] [ответить]     [к модератору]  
  • +1 +/
    Вы про DOS вещаете или про навигатор там какой-то И каким системным вызовом под... весь текст скрыт [показать]
     
  • 4.35, angra (ok), 03:21, 20/06/2017 [^] [ответить]    [к модератору]  
  • +/
    > Экзоядро бы лишь реализовало некие абстракции типа квант процессорного времени, бит памяти и прочее

    Бит памяти принципиально не может быть управляемым ресурсом. Но если ты не понимаешь разницу между битом и страницей, то наверное рассуждать об экзоядрах тебе рановато.

     
  • 1.17, Аноним (-), 08:32, 19/06/2017 [ответить] [показать ветку] [···]     [к модератору]  
  • –3 +/
    В новом выпуске ядро GNU Hurd и микроядро GNU Mach обновлены до последних верси... весь текст скрыт [показать]
     
     
  • 2.18, A.Stahl (ok), 09:00, 19/06/2017 [^] [ответить]    [к модератору]  
  • +11 +/
    А то понапишут программ с багами вместо того чтобы сразу всё продумать и сделать правильно, да?
     
     
  • 3.23, Аноним (-), 12:10, 19/06/2017 [^] [ответить]    [к модератору]  
  • –4 +/
    Сразу всё продумать и сделать правильно можно в рамках формальной верификации, например.
     
     
  • 4.24, A.Stahl (ok), 12:50, 19/06/2017 [^] [ответить]    [к модератору]  
  • +/
    Вот только программисты, ленивые скотины, до сих не придумали методов для универсальной формальной верификации. Ай-яй-яй. Можешь пожурить их.
     
     
  • 5.25, Аноним (-), 13:02, 19/06/2017 [^] [ответить]    [к модератору]  
  • –1 +/
    Что имеется в виду под универсальной формальной верификацией? Вы там Искусственный Интеллект хотите?
     
     
  • 6.26, Andrey Mitrofanov (?), 13:13, 19/06/2017 [^] [ответить]    [к модератору]  
  • +1 +/
    > Что имеется в виду под универсальной формальной верификацией? Вы там Искусственный Интеллект
    > хотите?

    Формальная верификация какого-нибудь баша или wget-а не влезет ни в один супер-комп. И вовсе в них тоже не влезет.

    Кроме того, она [написание её] также не влезет ни в одну голову ни одного человека.

    Рептилоиды, стройся ЗДЕСя--->>>

     
     
  • 7.27, Аноним (-), 13:18, 19/06/2017 [^] [ответить]     [к модератору]  
  • –3 +/
    ЧТО, вы в своем уме вообще-то Всё спокойно влезает, микроядра тоже верифицируют... весь текст скрыт [показать]
     
     
  • 8.28, Andrey Mitrofanov (?), 13:45, 19/06/2017 [^] [ответить]    [к модератору]  
  • +2 +/
    > ЧТО, вы в своем уме вообще-то? Всё спокойно влезает, микроядра тоже верифицируют
    > (L4 правда, а не Mach). Сейчас самая продвинутая верификация на системах
    > теории типов, получается весьма компактно и вычислить можно. Тем более, даже
    > здание математики постепенно переносят на теорию типов, правда HoTT (гомотопическая теория
    > типов), что вообще повлечет за собой весомые перемены в математике и
    > даже автоматизацию математиков, если грубо, как бы это не звучало. Стоит
    > изучить вопрос, интересная вещь же.

    Изучил.

    [I]"Formal methods of software development are not widely used in industry. Most companies do not consider it cost-effective to apply them in their software development processes."[/I] --https://en.wikipedia.org/wiki/Formal_specification#Limitations

    [I]"At present, formal verification is used by most or all leading hardware companies, but its use in the software industry is still languishing."[/I] --https://en.wikipedia.org/wiki/Formal_verification#Industry_use

    Ничего интересного. Обычное анонимское враньё и сопли.

    Хотя, да, я про интель и их успехи после DIV-бага в этом деле наслышан. Ну, хоть кто-то смог, да.

    Так, что там с верификацией bash-а, wget-а, gcc? Уже Полный Успех, да? Что-то не вижу...

    +
    > ЧТО, вы в своем уме вообще-то?
    >даже здание математики
    >гомотопическая теория типов

    Хорошо, что я в чужом уме, а то б и правда повёлся. Ага, щаз.

     
     
  • 9.29, Аноним (-), 13:53, 19/06/2017 [^] [ответить]     [к модератору]  
  • –2 +/
    Редко используют так редко используют Много хороших вещей не используют среди ш... весь текст скрыт [показать]
     
     
  • 10.30, Andrey Mitrofanov (?), 14:08, 19/06/2017 [^] [ответить]    [к модератору]  
  • +1 +/
    > Грустно так общаться будто я ссорюсь с вами.

    Не грустите. Есть такая несложная возможность не посылать и не "звать" людей туда, куда сам не ходил. И обязательно -- не изображать из себя девочку, услышав ответ.

    Попробуйте.

    >>>>>>>Сразу всё продумать и сделать правильно можно в рамках формальной верификации, например.

     
  • 8.31, Аноним84701 (ok), 15:16, 19/06/2017 [^] [ответить]    [к модератору]  
  • +3 +/
    >> bash, wget
    > ЧТО, вы в своем уме вообще-то? Всё спокойно влезает, микроядра тоже верифицируют
    > (L4 правда, а не Mach).

    Вы случайно не интересовались всякими "второстепенными" деталями?
    https://www.sigops.org/sosp/sosp09/papers/klein-sosp09.pdf
    > seL4, a third-generation microkernel of L4 provenance, comprises 8,700 lines of C code and 600 lines of assembler.

    А теперь смотрим человеко-часы (точнее, годы):
    > The overall size of the proof, including framework, libraries, and generated proofs (not shown in the table) is 200,000 lines of Isabelle script.
    >  The abstract spec took about 4 person months (pm) to develop. About 2 person years (py) went into the Haskell prototype (over all project phases), including design, documentation, coding, and testing.
    > for [b]a total cost of 2.2 py[/b] including the Haskell effort.

    А ведь в wget более 40, а в баше вообще под две сотни тысяч cтрок кода.

    > Сейчас самая продвинутая верификация на системах
    > теории типов, получается весьма компактно и вычислить можно.

    Это все круто, но вы что-то серьезнее приветов миру верифицировать пытались?

     

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


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