Linux программирование в примерах, Роббинс Арнольд

Linux программирование в примерах

на обложку

Роббинс Арнольд

Шрифт:

13 printf("This line is never printed\n");

14 }

16 /* main - вызов setjmp, действия с переменными, вывод значений */

18 int main(void)

19 {

20 int i = 5;

21 volatile int j = 6;

23 if (setjmp(env) == 0) { /* первый раз */

24 i++;

25 j++;

26 printf("first time: i = %d, j = %d\n", i, j);

27 comeback));

28 } else /* второй раз */

29 printf("second time: i = %d, j = %d\n", i, j);

31 return 0;

32 }

В этом примере сохранение своего значения ко второму вызову

printf

гарантируется

лишь

j (строка 21). Значение (строка 20) в соответствии со стандартом С 1999 г. не определено. Это может быть 6, может быть 5, а может даже какое-нибудь другое значение!

В-четвертых, как описано в разделе 12.5.2 «Обработка масок сигналов:

sigsetjmp

siglongjmp

», стандарт С 1999 г. не делает никаких утверждений о влиянии, если оно есть,

setjmp

longjmp

на состояние сигналов программы. Если это важно, вам придется вместо них использовать

sigsetjmp

siglongjmp

В-пятых, эти процедуры содержат поразительные возможности для утечек памяти! Рассмотрим программу, в которой

main

вызывает

setjmp

, а затем вызывает несколько вложенных функций, каждая из которых выделяет с помощью

malloc

динамическую память. Если наиболее глубоко вложенная функция делает

longjmp

обратно в

main

, указатели на динамическую память теряются. Взгляните на

ch12-memleak.c

1 /* ch12-memleak.с --- демонстрирует утечки памяти с помощью setjmp/longjmp. */

3 #include <stdio.h>

4 #include <malloc.h> /* для определения ptrdiff_t в GLIBC */

5 #include <setjmp.h>

6 #include <unistd.h>

8 jmp_buf env;

10 void f1(void), f2(void);

12 /* main --- утечка памяти с помощью setjmp и longjmp */

14 int main(void)

15 {

16 char *start_break;

17 char *current_break;

18 ptrdiff_t diff;

20 start_break = sbrk((ptrdiff_t)0);

22 if (setjmp(env) == 0) /* первый раз */

23 printf("setjmp called\n");

25 current_break = sbrk((ptrdiff_t) 0);

27 diff = current_break - start_break;

28 printf("memsize = %ld\n", (long)diff);

30 f1;

32 return 0;

33 }

35 /* f1 --- выделяет память, осуществляет вложенный вызов */

37 void f1(void)

38 {

39 char *p = malloc(1024);

41 f2;

42 }

44 /* f2 --- выделяет память, выполняет longjmp */

46 void f2(void)

47 {

48 char *p = malloc(1024);

50 longjmp(env, 1);

51 }

Эта программа устанавливает бесконечный цикл, используя

setjmp

longjmp

. Строка 20 использует для нахождения текущего начала кучи

sbrk

(см. раздел 3.2.3 «Системные вызовы:

brk

sbrk

»), а затем строка 22 вызывает

setjmp

. Строка 25 получает текущее начало кучи; это место каждый раз изменяется, поскольку

longjmp

повторно входит в код. Строки 27–28 вычисляют, сколько было выделено памяти, и выводят это количество. Вот что происходит при запуске:

$ ch12-memleak /* Запуск программы */

setjmp called

memsize = 0

memsize = 6372

memsize = 10468

memsize = 14564

memsize = 18660

...

Память утекает из программы, как через решето. Она работает до тех пор, пока не будет прервана от клавиатуры или пока не закончится память (в этом случае образуется основательный дамп ядра).

Каждая из функций

выделяют память, a

выполняет

longjmp

обратно в

main

(строка 51). Когда это происходит, локальные указатели (строки 39 и 48) на выделенную память пропали! Такие утечки памяти может оказаться трудно отследить, поскольку часто выделяются небольшие размеры памяти, и как таковые, они могут оставаться незамеченными в течение ряда лет [128] .

128

Такая утечка была у нас в

gawk

К счастью, она исправлена — Примеч. автора.