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

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

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

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

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