Проблемы 64-битного кода в реальных программах: qsort

Андрей Карпов
Статей: 367



Продолжаем цикл рассказов о 64-битных ошибках, обнаруживаемых в реальных приложениях. Время идет, потребности в потребляемой памяти растут и пришел момент, когда кто-то решил отсортировать массив, состоящий более чем из 2^31 элементов. Для этого он решил воспользоваться функцией qsort, реализованной OpenBSD 4.5. Результатом стало обнаружение новой 64-битной ошибки.

Рассмотрим данную ошибку более подробно. На момент написания этой заметки последняя ревизия файла "lib/libc/stdlib/qsort.c", входящего в состав OpenBSD 4.6. относится к августу 2005 года. В ней функция qsort использует вспомогательные переменные "d" и "r", имеющие тип int:

void
qsort(void *aa, size_t n, size_t es,
 int (*cmp)(const void *, const void *))
{
  char *pa, *pb, *pc, *pd, *pl, *pm, *pn;
  int d, r, swaptype, swap_cnt;
  char *a = aa;
  . . . .

С полным текстом функции можно познакомиться здесь.

Эти переменные используется для хранения различных размеров, что приводит к ошибкам при обработке большого количества элементов. Исправление заключается в определении этих переменных как size_t:

size_t d, r;

Данная ошибка показательна тем, что она была обнаружена только в 2010 году! Видимо большое количество ошибок в 64-битных программах начнут проявляться в тот момент, когда стандартная пользовательская машина будет иметь более 16 гигабайт памяти и программы начнут ее активное использование.



Найдите ошибки в своем C, C++, C# и Java коде

Предлагаем попробовать проверить код вашего проекта с помощью анализатора кода PVS-Studio. Одна найденная в нём ошибка скажет вам о пользе методологии статического анализа кода больше, чем десяток статей.

goto PVS-Studio;

Андрей Карпов
Статей: 367


Найденные ошибки

Проверено проектов
344
Собрано ошибок
12 899

А ты совершаешь ошибки в коде?

Проверь с помощью
PVS-Studio

Статический анализ
кода для C, C++, C#
и Java

goto PVS-Studio;