[KERNEL] kfree!!! ошибочка..

>И такое выделение памяти осуществляется для каждой переменной данной структуры

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

При каких условиях указатель может быть инициализирован мусором?
Выделение памяти осуществляется скорее всего не для каждой переменной (потому в функции очистки, я и задействовал условия if(var != NULL))
Когда выделяю память для структуры с переменными, то я заполняю её 0-ми. По идее тогда все указатели внутри структуры должны быть равны нулям.

Код покажи.

повторного освобождения точно нет?

if (I_struct_ptr->var_1 != NULL) {
        kfree(I_struct_ptr->var_1);
        I_struct_ptr->var_1 = NULL;
}

>Когда выделяю память для структуры с переменными, то я заполняю её 0-ми

Тогда ок

> Когда выделяю память для структуры с переменными, то я заполняю её 0-ми.

kzalloc() же, ну.

kzalloc ? эт что такое?
За пример кода спасибо, ща попробую явно указывать I_struct_ptr->var_1 = NULL;

> kzalloc ? эт что такое?

http://lwn.net/Articles/147014/

Спасибо за ответы! дело было в повторной очистке памяти (хотя не ясно, почему выполнялось условие != NULL)
Буду дальше сам внимательней код просматривать.
Ещё раз спасибо за ответы.

Потому что kfree не присваивает переменной значение NULL

kzalloc() же, ну.

Неправильно.

typedef struct A A;
struct A{
 int i;
 void *p;
 /* ... */
 double d;
}
#define zeroA_INI   \
  /* .i = */ 0,     \ 
  /* .p = */ NULL,  \
  /* ... */         \
  /* .d = */ 0.0

/* ... где-то в *.с файле */
static const A g_zeroA = { zeroA_INI };

/* ... где-то в реализации функции ... */
A *pA = kmalloc( sizeof(g_zeroA) ,GFP_ATOMIC);
memcpy(pA, &g_zeroA, sizeof(g_zeroA));

Ибо 0 != NULL || 0.0 != NULL || 0 != 0.0 (т.е. это не гарантируется).

Перед мемцэпэаем надо на NULL ещё проверить pA конечно же.

> Ибо 0 != NULL

под линуксом 0 == NULL.

Правда? Попробуйте откомпилить вот такой код с -Werror:

int foo(int a) {
  return a;
}

int main(int argc, char *argv[]) {
  return foo(NULL);
}

> Правда? Попробуйте откомпилить вот такой код с -Werror:

что это за муть? :)

Нашел тут же на ЛОРе обсуждение на эту тему: http://www.linux.org.ru/forum/development/1573686
Там второй ответ анонимуса все точки над i расставил.

после предыдущего ответа я начал подозревать, что ты не умеешь читать. теперь я в этом уверен.

И что же я прочитал не так?

> И что же я прочитал не так?

при чём здесь «не так»? сложилось впечатление, что ты вообще не читал тред, ибо несёш полную ахинею, никак не связанную с обсуждаемым вопросом.

Понятно. А то я уж решил, что еще один злостный тролль. Тред то я читал. И ТС уже нашел то, что искал. Просто вы сделали замечание, не совсем верное, вот я и попытался уточнить. В си NULL это все-таки указатель. Хоть и физически равный 0.

из mm/slab.c:

void kfree(const void *objp)
{
	struct kmem_cache *c;
	unsigned long flags;

	trace_kfree(_RET_IP_, objp);

	if (unlikely(ZERO_OR_NULL_PTR(objp)))
		return;
...

Зачем проверять на то, равен ли var_1 NULL или нет?

Даже в мане (по free правда) написано, что «Если ptr равен NULL, то ничего не происходит.»

> Зачем проверять на то, равен ли var_1 NULL или нет?

ТСа спроси ;)

зы: ты изучаешь сорцы всех апи-функций перед их использованием?

Скачал маны по ядру, там тоже самое: «If objp is NULL, no operation is performed».

Так что тут чтения манов достаточно.

А определять поведение своей программы на основе исходников апи-функций это конечно же плохой стиль (история с флэшем это показала). Так что мне надо быть осторожнее))

привычка же, ну. в том же libc дофига функций, которые не проверяют указатели на NULL, всех не упомнишь... часто проще самому сделать лишнюю проверку перед вызовом, чем каждый раз ман дёргать по этому вопросу...

> Зачем проверять на то, равен ли var_1 NULL или нет?

А затем, что время проверки на NULL - стремится к нулю по сравнению со временем вызова функции free/kfree (даже в случае вызова с нул-поинтером в качестве аргумента).