Обнаруженные проблемы

user warning: Got error 28 from storage engine query: SELECT t.*,v.weight AS v_weight_unused FROM term_node r INNER JOIN term_data t ON r.tid = t.tid INNER JOIN vocabulary v ON t.vid = v.vid WHERE r.vid = 28 ORDER BY v.weight, t.weight, t.name in /opt/drupal-6.33/modules/taxonomy/taxonomy.module on line 640.

В этом разделе мы собрали информацию о нашем вкладе в совершенствование ОС Linux в виде сообщений о проблемах в различных компонентах ОС, обнаруженных сотрудниками Центра в ходе работы над нашими проектами.

Следует отметить, что основной целью Центра является разработка и внедрение передовых технологий и инструментов верификации, а не тестирование и выявление проблем в конкретных компонентах и дистрибутивах. Тем не менее, в ходе нашей деятельности мы стараемся улучшать качество ОС Linux насколько это возможно, в частности, применяя для этого наши наработки при первой же возможности. Естественно, обо всех обнаруженных проблемах мы сообщаем оригинальным разработчикам соответствующих компонентов, а также стараемся при возможности предлагать конкретные решения обнаруженных проблем.

Наши сообщения об ошибках сгруппированы в три набора:

  • Проблемы в ядре - ошибки, обнаруженные в ядре ОС Linux, а также внешних модулях, работающих в режиме ядра.
  • Проблемы библиотек - ошибки, обнаруженные во всех остальных компонентах ОС Linux (в основном, в библиотеках).
  • Проблемы стандартов - ошибки, обнаруженные в текстах стандартов, связанных с ОС Linux (POSIX, Linux Standard Base и т.д.).