Чтение онлайн

на главную - закладки

Жанры

Linux программирование в примерах
Шрифт:

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

14 }

15

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

17

18 int main(void)

19 {

20 int i = 5;

21 volatile int j = 6;

22

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);

30

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. */

2

3 #include <stdio.h>

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

5 #include <setjmp.h>

6 #include <unistd.h>

7

8 jmp_buf env;

9

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

11

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

13

14 int main(void)

15 {

16 char *start_break;

17 char *current_break;

18 ptrdiff_t diff;

19

20 start_break = sbrk((ptrdiff_t)0);

21

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

23 printf("setjmp called\n");

24

25 current_break = sbrk((ptrdiff_t) 0);

26

27 diff = current_break - start_break;

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

29

30 f1;

31

32 return 0;

33 }

34

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

36

37 void f1(void)

38 {

39 char *p = malloc(1024);

40

41 f2;

42 }

43

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

45

46 void f2(void)

47 {

48 char *p = malloc(1024);

49

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 = 6372

memsize = 6372

memsize = 10468

memsize = 10468

memsize = 14564

memsize = 14564

memsize = 18660

memsize = 18660

...

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

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

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

128

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

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

Поделиться:
Популярные книги

Герой

Бубела Олег Николаевич
4. Совсем не герой
Фантастика:
фэнтези
попаданцы
9.26
рейтинг книги
Герой

Сирота

Шмаков Алексей Семенович
1. Светлая Тьма
Фантастика:
юмористическое фэнтези
городское фэнтези
аниме
5.00
рейтинг книги
Сирота

Адвокат Империи 2

Карелин Сергей Витальевич
2. Адвокат империи
Фантастика:
городское фэнтези
попаданцы
аниме
фэнтези
фантастика: прочее
5.00
рейтинг книги
Адвокат Империи 2

Принадлежать им

Зайцева Мария
Любовные романы:
современные любовные романы
5.00
рейтинг книги
Принадлежать им

Эпоха Опустошителя. Том IX

Павлов Вел
9. Вечное Ристалище
Фантастика:
аниме
фэнтези
попаданцы
5.00
рейтинг книги
Эпоха Опустошителя. Том IX

Кодекс Охотника. Книга XXIII

Винокуров Юрий
23. Кодекс Охотника
Фантастика:
боевая фантастика
попаданцы
5.00
рейтинг книги
Кодекс Охотника. Книга XXIII

Я до сих пор князь. Книга XXII

Дрейк Сириус
22. Дорогой барон!
Фантастика:
юмористическое фэнтези
аниме
попаданцы
5.00
рейтинг книги
Я до сих пор князь. Книга XXII

Стеллар. Трибут

Прокофьев Роман Юрьевич
2. Стеллар
Фантастика:
боевая фантастика
рпг
8.75
рейтинг книги
Стеллар. Трибут

Бояръ-Аниме. Газлайтер. Том 35

Володин Григорий Григорьевич
35. История Телепата
Фантастика:
аниме
боевая фантастика
фэнтези
5.00
рейтинг книги
Бояръ-Аниме. Газлайтер. Том 35

Глэрд VIII: Базис 2

Владимиров Денис
8. Глэрд
Фантастика:
фэнтези
боевая фантастика
попаданцы
5.00
рейтинг книги
Глэрд VIII: Базис 2

Воевода

Ланцов Михаил Алексеевич
5. Помещик
Фантастика:
альтернативная история
5.00
рейтинг книги
Воевода

Последний Паладин. Том 9

Саваровский Роман
9. Путь Паладина
Фантастика:
попаданцы
аниме
фэнтези
5.00
рейтинг книги
Последний Паладин. Том 9

Двойник Короля 5

Скабер Артемий
5. Двойник Короля
Фантастика:
фэнтези
попаданцы
аниме
5.00
рейтинг книги
Двойник Короля 5

Изгой Проклятого Клана. Том 3

Пламенев Владимир
3. Изгой
Фантастика:
аниме
фэнтези
фантастика: прочее
попаданцы
5.00
рейтинг книги
Изгой Проклятого Клана. Том 3