forum.opennet.ru

"Увидел свет Debian GNU/Hurd 2017"

Форум Разговоры, обсуждение новостей
Версия для распечатки	Пред. тема \| След. тема

Исходное сообщение

[ Отслеживать ]

. "Увидел свет Debian GNU/Hurd 2017"	–4 +/–
Сообщение от Аноним (-), 19-Июн-17, 12:10
Сразу всё продумать и сделать правильно можно в рамках формальной верификации, например.
Ответить \| Правка \| Наверх \| Cообщить модератору

Оглавление

Увидел свет Debian GNU/Hurd 2017, opennews, 18-Июн-17, 21:30 [смотреть все]

Это неправда См https www osdyson org, Аноним, 18-Июн-17, 21:30 (1) //
- Dyson левый дистрибутив на базе Debian, как и NexentaStor, а в новости речь об п, Аноним, 18-Июн-17, 21:48 (3) //
  - В чём разница , Аноним, 18-Июн-17, 21:54 (4) //
    - Формально ни в чём, а фактически Debian GNU Hurd долгое время был официальным ре, A.Stahl, 18-Июн-17, 22:18 (6)
    - В том, что Debian GNU Hurd и Debian GNU KFreeBSD - это _Debian_, а Dyson посторо, Аноним, 18-Июн-17, 23:04 (12)
А чем это интересно с точки зрения пользователя или даже программиста Я так пон, nc, 18-Июн-17, 21:35 (2) //
- Ничем Пока uname не введёшь вообще не поймёшь что ты не в линуксе И это хорошо , A.Stahl, 18-Июн-17, 22:20 (7)
- Она не может быть линукс-подобной, потому что к линуксовому ядру не имеет ни мал, Аноним, 18-Июн-17, 22:25 (8) //
  - соврал не глядя - Unix есть торговая марка, есть сертификаты соответствия вся, fi, 19-Июн-17, 00:10 (14) //
    - Как-то у вас всё в кучу Есть развивающийся стандарт POSIX, определяющий понятие, Аноним, 20-Июн-17, 08:50 (36)
      - Но Hurd всё равно никогда не будет Unix ом, потому что он GNU, что расшифровывае, www2, 21-Июн-17, 17:33 (41)
- Драйвера в пространстве пользователя - можно отлаживать свою ФС от пользователя,, Аноним, 19-Июн-17, 09:57 (19) //
  - Не надо сказок Все что вы перечислили - все можно сделать без костылей и без пр, Аноним, 22-Июн-17, 13:07 (43) //
    - Сомневаюсь, оплачивать не буду Что-то, конечно, можно сделать Где-то было, напр, Аноним, 22-Июн-17, 17:30 (44)
- совершенно ничем ну, разьве что для общего развития, чтобы понимать, что не все, пох, 20-Июн-17, 22:45 (39)
Чистое микроядро чуток устарело Да и на mach тормозное выходит Нужно экзоядро , Аноним, 18-Июн-17, 23:30 (13) //
- И что же такое случилось, что сделало концепцию микроядра устаревшей, хм Только , A.Stahl, 19-Июн-17, 06:58 (15) //
  - Просто экзоядро это уже следующий этап в развитии микроядер Там еще более код п, Аноним, 19-Июн-17, 12:08 (22)
- Ну вот DOS была по сути экзоядром Это же был рай для вирей , Аноним, 19-Июн-17, 10:58 (20) //
  - Там же было монолитное ядро Экзоядро это не то Экзоядро бы лишь реализовало не, Аноним, 19-Июн-17, 12:04 (21) //
    - Отвечу теми же словами экзоядро - это не то Экзоядро никаких абстракций не п, Аноним, 20-Июн-17, 01:28 (33)
      - Нет Экзоядро оперирует хоть и максимально простыми сущностями блоки на диске, с, angra, 20-Июн-17, 03:17 (34)
      - Процессы в DOS Уже смешно Вы его хоть видели-то, прежде чем говорить такое , Аноним, 20-Июн-17, 08:53 (37)
        
        Даже в убер-шелле DOS Navigator - были облегчённые-процессы, можно было например, Аноним, 20-Июн-17, 20:45 (38)
        
        Вот и стоило писать столько букв только для того, чтобы показать степень своего , angra, 21-Июн-17, 00:01 (40)
        Вы про DOS вещаете или про навигатор там какой-то И каким системным вызовом под , www2, 21-Июн-17, 17:59 (42)
        
        Бггг Вытесняющая там была уже, вообще-то Хотя полностью показать свои преимуще, Аноним, 03-Май-19, 16:57 (46)
    - Бит памяти принципиально не может быть управляемым ресурсом Но если ты не поним, angra, 20-Июн-17, 03:21 (35)
В новом выпуске ядро GNU Hurd и микроядро GNU Mach обновлены до последних верси, Аноним, 19-Июн-17, 08:32 (17) //
- А то понапишут программ с багами вместо того чтобы сразу всё продумать и сделать, A.Stahl, 19-Июн-17, 09:00 (18) //
  - Сразу всё продумать и сделать правильно можно в рамках формальной верификации, н , Аноним, 19-Июн-17, 12:10 (23) //
    - Вот только программисты, ленивые скотины, до сих не придумали методов для универ, A.Stahl, 19-Июн-17, 12:50 (24)
      - Что имеется в виду под универсальной формальной верификацией Вы там Искусственн, Аноним, 19-Июн-17, 13:02 (25)
        
        Формальная верификация какого-нибудь баша или wget-а не влезет ни в один супер-к, Andrey Mitrofanov, 19-Июн-17, 13:13 (26)
        
        ЧТО, вы в своем уме вообще-то Всё спокойно влезает, микроядра тоже верифицируют, Аноним, 19-Июн-17, 13:18 (27)
        
        Изучил I Formal methods of software development are not widely used in industr, Andrey Mitrofanov, 19-Июн-17, 13:45 (28)
        
        Редко используют так редко используют Много хороших вещей не используют среди ш, Аноним, 19-Июн-17, 13:53 (29)
        
        Не грустите Есть такая несложная возможность не посылать и не звать людей туд, Andrey Mitrofanov, 19-Июн-17, 14:08 (30)
        
        Вы случайно не интересовались всякими второстепенными деталями https www si, Аноним84701, 19-Июн-17, 15:16 (31)

Форумы | Темы | Пред. тема | След. тема

Партнёры:

Хостинг:

Закладки на сайте
Проследить за страницей

Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру