forum.opennet.ru

"OpenNews: Опасения по поводу накопления ошибок в Linux ядре"

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

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

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

Подсказка: Для слежения за появлением новых сообщений в нити, нажмите "Проследить за развитием треда".

. "Опасения по поводу накопления ошибок в Linux ядре"	+/–
Сообщение от oops (?), 23-Ноя-07, 06:47
>[оверквотинг удален] >Я буквально месяц назад чуть ли не начал что-то подобное проектировать. >Потому как была проблема, которую я не мог поймать, но она все-же >происходила. > >Нужен некий анализатор кода, локов, мутексов.. не знаю чего еще. >Который мог бы просчитать все случаи race contitions и проанализировать >правильность расстановки локов в критических местах. > >В теории, подобная софтина могла бы прямо указывать на ошибки кода... >Но _что_ это будет - это уже флейм на пару лет... Попробую угадать.. dtrace?
Ответить \| Правка \| Наверх \| Cообщить модератору

Оглавление

OpenNews: Опасения по поводу накопления ошибок в Linux ядре, opennews, 22-Ноя-07, 17:20 [смотреть все]

Ключевые слова - пока не поздно , creativ, 22-Ноя-07, 17:25 (2)
Если устранять в текущем, то в будущем ошибок не будет в прошлых Ибо если они бу, pavlinux, 22-Ноя-07, 22:20 (4) //
- Если устранять в текущем, то в будущем, ошибок не будет в прошлых Ибо если они б, pavlinux, 22-Ноя-07, 22:22 (5)
Насколько помню и теории вероятностей, случайные события умножаются, а не скалад, pavlinux, 22-Ноя-07, 22:28 (6) //
- сильна твоя трава, Павлинух Но высказывание Инго прост овзяло за душу Я буквальн, Nick, 22-Ноя-07, 22:41 (7) //
  - Обратите внимание, хотя бы на труда Н Вирта и Э Таненбаума Не говоря про других , ДяДя, 22-Ноя-07, 23:01 (8) //
    - да обратил и давно уже жду недождусь когда Торвальдс выдохнет о вреде микроядр, Nick, 22-Ноя-07, 23:18 (9)
      - а в итоге получится тормознутая по сравнению даже с вистовсом система а когд, R007, 24-Ноя-07, 03:14 (50)
        
        шифровать траффик от памяти до видухи вряд ли кто додумаеццо в Линухе а также,, Nick, 24-Ноя-07, 13:24 (54)
        
        Еще добавить в плане скорости хотелось Вот прямо сейчас на Линухе может крутиццо, Nick, 24-Ноя-07, 13:38 (56)
    - Тут можно разбить на две подпроблемы Ошибка самого алгоритма Ошибка реализа, pavlinux, 22-Ноя-07, 23:26 (11)
  - Для локов кое-что уже есть, ещё не все потеряно http lwn net Articles 185666, s_dog, 23-Ноя-07, 00:04 (15) //
    - дауже неплохо но этого недостаточно , Nick, 23-Ноя-07, 00:22 (16)
  - gt оверквотинг удален Попробую угадать dtrace , oops, 23-Ноя-07, 06:47 (19) //
    - слив защитанМы не юзер-левел дебагим, а ядро , Nick, 23-Ноя-07, 06:49 (20)
      - Не защитан С помощью DTrace можно находить проблемы и в ядре тоже , penguin_killer, 23-Ноя-07, 10:03 (29)
        
        ок, защитал по Dtrace слив себе Но ниче подобного нам не поможет в проблема Лину, Nick, 23-Ноя-07, 10:32 (31)
    - Может быть, что-то похожее на WITNESS во FreeBSD - , penguin_killer, 23-Ноя-07, 10:06 (30)
      - неа Такое уже есть, срежство слежения за локами, но это не то Совсем , Nick, 23-Ноя-07, 10:34 (32)
  - начать с coverity http www coverity com тем более, что AFAIK ядро под ней уж, klalafuda, 23-Ноя-07, 11:49 (35) //
    - и закончить ее лицензиейпоказуха а нам бы работуА вообще-то, это не того , Nick, 23-Ноя-07, 12:00 (36)
      - А еще, чтобы программы сами писались , madcore, 23-Ноя-07, 13:19 (37)
- Дело в том что если каждая ошибка сама по себе редко проявляется, например с вер, Knuckles, 23-Ноя-07, 08:02 (23) //
  - эх именно поэтому теория вероятности и остаеццо _теорией_ Вреале такие ошиб, Nick, 23-Ноя-07, 08:55 (25)
  - А ещё есть такая штука если неприятность может произойти, то она обязательно пр, ДяДя, 23-Ноя-07, 14:10 (38) //
    - ну это некритично если кто маздай поставил случайно снести то всегда можно , Nick, 23-Ноя-07, 14:29 (39)
      - тоже случайно, даже и подозревая того , pavlinux, 23-Ноя-07, 21:20 (43)
        
        еще и как подозревая это маздай люди ставят неосознанно, а Линух как правило - н, Nick, 23-Ноя-07, 23:02 (47)
  - Угу И симметричная теорема о том, что при очень долгом ожиданиилибо очень часто, DeadMustdie, 23-Ноя-07, 16:35 (40)
Я предлагаю отделить разработку драйверов от разработки ядра , Светочка, 22-Ноя-07, 23:22 (10) //
- если это лишь организационного плана предложение - то оно равно нулю Девелоперы , Nick, 22-Ноя-07, 23:26 (12) //
  - гы, ну и опечатка весьма точно и коротко описывает суть , Nick, 22-Ноя-07, 23:28 (13) //
    - Хорошо, что не написал ПРОСРАНСТВЕ , pavlinux, 22-Ноя-07, 23:29 (14)
  - да еще каждый в своем вот придумает intel быстрый способ передачи межпроцессн, opa__, 23-Ноя-07, 18:45 (41) //
    - и никак иначе как это все сладко звучит на самом деле чем раньше, тем лучш, Nick, 23-Ноя-07, 20:39 (42)
    - Про QNX и L4 когда-нибудь слышали Почему-то у них сильных проблем с производите, penguin_killer, 23-Ноя-07, 22:47 (46)
      - В Линуксе тоже с этим нет проблем 1 1Просто товарисч решил, что еще есть время, Nick, 23-Ноя-07, 23:51 (49)
    - Неплохой способ заранее приготовить качественный трындец вашей системе в виде ми, R007, 24-Ноя-07, 03:45 (53)
  - А как же Dell с DKMS Правда вы видимо не совсем то имели в виду А в чем тема Зна, R007, 24-Ноя-07, 03:27 (51) //
    - про весь бред о тормозах и глбкалове - я уже сказал выше Я один - нет Если бы м, Nick, 24-Ноя-07, 13:31 (55)
тыкс ксорг до 6 8 откатил, терь пора 23 8 на 19 сменить _ фигли игры стали м, exn, 23-Ноя-07, 01:31 (17) //
- Тетрис тормозит , Nick, 23-Ноя-07, 03:44 (18) //
  - чукча блин как мне оставаться папой в ut4 если у меня лага , exn, 23-Ноя-07, 11:15 (33) //
    - если лажа - то никак конечно, Nick, 23-Ноя-07, 11:18 (34)
- У меня 17 13 по некоторым причинам То что Патрик предлагает в дистре 23 1 мне , tux2002, 23-Ноя-07, 07:47 (21) //
  - ухты Ты представляешь собой ОЧЕНЬ интересный экспонат А серьезно, че ты на дре, Nick, 23-Ноя-07, 07:59 (22) //
    - Да я писал здесь Я привык к песочнице qemu Она открывает tap интерфейсы На од, tux2002, 23-Ноя-07, 08:49 (24)
      - Ну, я так и знал шо какая-то ерунда Радуйся, ибо твоей проблеме это, собсно, , Nick, 23-Ноя-07, 09:20 (26)
        
        Спасибо, у меня slackware, можно загнать это в qemu-ifup через sudo Тока до 660 , tux2002, 23-Ноя-07, 09:40 (27)
        
        угу ну, видать кто-то че-то перекурил , Nick, 23-Ноя-07, 09:41 (28)
    - Ну и чего Я на все серваки ставлю 2 6 16 57 начинал с 2 6 16 19, как раз по, pavlinux, 23-Ноя-07, 21:25 (44)
      - не тот богат, у кого много денег, а тот - кому хватает ну, а мне и 23-го уже , Nick, 23-Ноя-07, 23:09 (48)
        
        Тебе одновременно нужно CONFIG_VIRTUALIZATION и CONFIG_NOHZ, CONFIG_TICKNESS , pavlinux, 24-Ноя-07, 21:33 (58)
        
        немне нуна одновременно CONFIG_CGROUPS , Nick, 25-Ноя-07, 00:06 (59)
А по моему мнению то биш ИМХО этим разработчикам надо приостановить выпуск рел, Kern El, 23-Ноя-07, 22:39 (45) //
- На сто лет, фигли Чтобы всякие саны, бсд и микрософт могли уж наверняка на хвост, R007, 24-Ноя-07, 03:33 (52) //
  - У тебя пена щас пойдет изо рта, орнитолог , Av, 24-Ноя-07, 19:32 (57)

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

Партнёры:

Хостинг:

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

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