Зачем нам нужен list_for_each_safe () для удаления узлов в связанном списке ядра? - PullRequest
Новая
       31

Зачем нам нужен list_for_each_safe () для удаления узлов в связанном списке ядра?

12 голосов
/ 09 февраля 2012

Я учусь использовать API связанного списка ядра из list.h .

Я узнал, что мне нужно использовать list_for_each_safe() при удалении узлов с list_del() вместо использования list_for_each().

код для list_for_each_safe(): 

#define list_for_each_safe(pos, n, head) \
    for (pos = (head)->next, n = pos->next; pos != (head); \
        pos = n, n = pos->next)

код для list_for_each(): 

    for (pos = (head)->next; pos != (head); pos = pos->next)

Я заметил, что они оба оченьаналогично, за исключением того, что версия _safe принимает дополнительный аргумент для использования в качестве «временного хранилища» (здесь указано, list.h ).

Я понимаю, когда применять функцию правильно,_safe версия для удаления, обычная версия для доступа, но мне интересно, как дополнительный аргумент сделал ее «безопасной»?

Рассмотрим следующее, где я удаляю каждый узел в связанном списке, используя list_for_each_safe(): 

struct kool_list{
    int to;
    struct list_head list;
    int from;
    };

struct kool_list *tmp;
struct list_head *pos, *q;
struct kool_list mylist;

list_for_each_safe(pos, q, &mylist.list){
         tmp= list_entry(pos, struct kool_list, list);
         printf("freeing item to= %d from= %d\n", tmp->to, tmp->from);
         list_del(pos);
         free(tmp);
    }

Как дает q помощь в удалении?

Спасибо за любую помощь!

Ответы [ 2 ]

22 голосов
/ 09 февраля 2012

Это необходимо, поскольку list_del внутренне изменяет значение полей pos.В вашем примере тело цикла освобождает память, занятую pos.Предположим, что вы используете небезопасную версию цикла: 

for (pos = (head)->next; pos != (head); pos = pos->next)

После выполнения тела цикла указатель pos становится недействительным, нарушая выражение приращения: pos = pos->next.

Как и наоборот,safe foreach предварительно сохраняет значение pos->next во временной переменной, а затем ссылается на последнюю вместо разыменования pos: 

for (pos = (head)->next, n = pos->next; pos != (head); \
    pos = n, n = pos->next)
2 голосов
/ 09 февраля 2012 
pos = start;
del(pos);
pos = pos->next;

в отличие от 

pos = start;
n = pos->next;
del(pos);
pos = n;

, если del () свободна () и memset (), pos-> next не определено

...