링크드 리스트에서 메모리 해제가 되다 안되다(?)합니다.

ckebabo의 이미지

노드 선언부

typedef struct tag_LIST_NODE {
	void *record;
	struct tag_LIST_NODE *r_link;
	struct tag_LIST_NODE *l_link;
} LIST_NODE;

typedef struct tag_LIST {
	int node;
	LIST_NODE *head;
	LIST_NODE *tail;
	int (*compare)(const void *, const void *);
} LIST;

메모리 해제부분

void list_delete(LIST *list)
{
	LIST_NODE *tmp = list->head->r_link;
	
	for(;tmp != list->tail; tmp = tmp->r_link) {
		free(tmp->record);
		free(tmp);
	}

	free(list->head);
	free(list->tail);
	free(list);
}

만일 record를 struct { int n; char *str; } 과 같은 형태로 했을경우엔 잘 작동하는데 struct { int n; char str[10]; } 과 같은 형태로 했을 경우엔 이상하게 런타임에러가 발생합니다.

그 구성맴버가 동적이나 정적이냐에 따라 왜 달라지는지를 모르겠습니다. 제 생각엔 동적이든 정적이든 상관없이 노드의 생성이 동적이면 올바르게 동작해야 한다고 봅니다. 아래에 전체 파일을 첨부합니다.

File attachments: 
첨부파일 크기
Binary Data list.tar.gz964바이트
cinsk의 이미지

  for(;tmp != list->tail; tmp = tmp->r_link) {
      free(tmp->record);
      free(tmp);
   }

이 부분이 잘 못 되었네요.. free(tmp)하고 나서, tmp = tmp->r_link가 수행될 것인데, tmp는 이미 free된 부분이기 때문입니다.

이런 증상을 막으려면, 임시 변수를 두고 tmp->r_link를 다른 곳에 저장해 두었다가, 다음 번 반복할 때 tmp에 복원시키는 등의 작업을 거치면 됩니다. 예를 들면:

  LIST_NODE *t;
  LIST_NODE *tmp = list->head->r_link;
    
  while (tmp) {
    t = tmp->r_link;
    free(tmp->record);
    free(tmp);
    tmp = t;
  }
sangwoo의 이미지

또 다른 방법으로는 list의 한 멤버를 de-list하는 루틴을 만들고, (entry->prev->next = entry->next 이런식으로 한 뒤에 현재 entry를 free하는 방법으로) 전체 list를 다 삭제하는 경우는 loop을 돌면서 멤버를 하나씩 de-list하도록 하는 것이 더 일반적인 거 같습니다. 리눅스를 쓰신다면 /usr/include/sys/queue.h 의 구현을 한번 보시기 바랍니다.
개인적으로는 BSD쪽의 구현들을 더 마음에 들어합니다만.. :-)
http://www.freebsd.org/cgi/cvsweb.cgi/~checkout~/src/sys/sys/queue.h?rev=1.63&content-type=text/plain

----
Let's shut up and code.

ckebabo의 이미지

void list_delete(LIST *list)
{
        LIST_NODE *node = list->head->r_link;
        LIST_NODE *tmp = NULL;

        while(node != list->tail) {
                tmp = node->r_link;
                free(node->record);
                free(node);
                node = tmp;
        }

/*      for(;tmp != list->tail; tmp = tmp->r_link) {
                free(tmp->record);
                tmp->l_link->r_link = tmp->r_link;
                free(tmp);
        }
*/
        free(list->head);
        free(list->tail);
        free(list);
}

와 같이 수정했습니다. 하지만 같은 문제가 계속 발생합니다. 세그멘테이션 폴트가 아닌 아래와 같은 에러메시지입니다. 전 처음보는 메시지네요.

*** glibc detected *** free(): invalid next size (fast): 0x0804b560 ***
중지됨
goodbbai의 이미지

ckebabo wrote:

그 구성맴버가 동적이나 정적이냐에 따라 왜 달라지는지를 모르겠습니다. 제 생각엔 동적이든 정적이든 상관없이 노드의 생성이 동적이면 올바르게 동작해야 한다고 봅니다. 아래에 전체 파일을 첨부합니다.

구성멤버에 정적인 변수가 있다면

해당 구조체가 free 를 했을때 세그멘테이션 폴트 나야되는게 아닌가요?

free 는 heap 영역의 객체에만 명령을 내리는데

정적인 멤버가 있다면 문제가 생길거 같은데요..

한번 배열 포함하는 구조체 만드시고

free 날려보세요...

sangwoo의 이미지

ckebabo wrote:
void list_delete(LIST *list)
{
        LIST_NODE *node = list->head->r_link;
        LIST_NODE *tmp = NULL;

        while(node != list->tail) {
                tmp = node->r_link;
                free(node->record);
                free(node);
                node = tmp;
        }

/*      for(;tmp != list->tail; tmp = tmp->r_link) {
                free(tmp->record);
                tmp->l_link->r_link = tmp->r_link;
                free(tmp);
        }
*/
        free(list->head);
        free(list->tail);
        free(list);
}

와 같이 수정했습니다. 하지만 같은 문제가 계속 발생합니다. 세그멘테이션 폴트가 아닌 아래와 같은 에러메시지입니다. 전 처음보는 메시지네요.

*** glibc detected *** free(): invalid next size (fast): 0x0804b560 ***
중지됨

List를 allocation할때 실수를 하신 게 아닌가요?
처음 list를 alloc하는 것은 어떻게 구현하셨는지 궁금합니다.

----
Let's shut up and code.

M.W.Park의 이미지

sangwoo님의 의견에 한표 던지면서 약간 첨언하자면...
보통 리스트나 트리등의 연결을 가지는 구조에서의 일반적인 구현은 remove계열(delete나 detach등의 이름도 있음)의 method를 만들고 이 method는 그 연결구조에서 자신(노드)을 제거하고 자신의 앞뒤상하 관계의 연결을 맞추어준후 자신을 리턴합니다.
이 remove 계열의 method의 리턴값을 받아서 이 노드를 free하든지 다른 위치에 집어넣든지 하는것이 일반적이지요.

-----
오늘 의 취미는 끝없는, 끝없는 인내다. 1973 法頂

댓글 달기

Filtered HTML

  • 텍스트에 BBCode 태그를 사용할 수 있습니다. URL은 자동으로 링크 됩니다.
  • 사용할 수 있는 HTML 태그: <p><div><span><br><a><em><strong><del><ins><b><i><u><s><pre><code><cite><blockquote><ul><ol><li><dl><dt><dd><table><tr><td><th><thead><tbody><h1><h2><h3><h4><h5><h6><img><embed><object><param><hr>
  • 다음 태그를 이용하여 소스 코드 구문 강조를 할 수 있습니다: <code>, <blockcode>, <apache>, <applescript>, <autoconf>, <awk>, <bash>, <c>, <cpp>, <css>, <diff>, <drupal5>, <drupal6>, <gdb>, <html>, <html5>, <java>, <javascript>, <ldif>, <lua>, <make>, <mysql>, <perl>, <perl6>, <php>, <pgsql>, <proftpd>, <python>, <reg>, <spec>, <ruby>. 지원하는 태그 형식: <foo>, [foo].
  • web 주소와/이메일 주소를 클릭할 수 있는 링크로 자동으로 바꿉니다.

BBCode

  • 텍스트에 BBCode 태그를 사용할 수 있습니다. URL은 자동으로 링크 됩니다.
  • 다음 태그를 이용하여 소스 코드 구문 강조를 할 수 있습니다: <code>, <blockcode>, <apache>, <applescript>, <autoconf>, <awk>, <bash>, <c>, <cpp>, <css>, <diff>, <drupal5>, <drupal6>, <gdb>, <html>, <html5>, <java>, <javascript>, <ldif>, <lua>, <make>, <mysql>, <perl>, <perl6>, <php>, <pgsql>, <proftpd>, <python>, <reg>, <spec>, <ruby>. 지원하는 태그 형식: <foo>, [foo].
  • 사용할 수 있는 HTML 태그: <p><div><span><br><a><em><strong><del><ins><b><i><u><s><pre><code><cite><blockquote><ul><ol><li><dl><dt><dd><table><tr><td><th><thead><tbody><h1><h2><h3><h4><h5><h6><img><embed><object><param>
  • web 주소와/이메일 주소를 클릭할 수 있는 링크로 자동으로 바꿉니다.

Textile

  • 다음 태그를 이용하여 소스 코드 구문 강조를 할 수 있습니다: <code>, <blockcode>, <apache>, <applescript>, <autoconf>, <awk>, <bash>, <c>, <cpp>, <css>, <diff>, <drupal5>, <drupal6>, <gdb>, <html>, <html5>, <java>, <javascript>, <ldif>, <lua>, <make>, <mysql>, <perl>, <perl6>, <php>, <pgsql>, <proftpd>, <python>, <reg>, <spec>, <ruby>. 지원하는 태그 형식: <foo>, [foo].
  • You can use Textile markup to format text.
  • 사용할 수 있는 HTML 태그: <p><div><span><br><a><em><strong><del><ins><b><i><u><s><pre><code><cite><blockquote><ul><ol><li><dl><dt><dd><table><tr><td><th><thead><tbody><h1><h2><h3><h4><h5><h6><img><embed><object><param><hr>

Markdown

  • 다음 태그를 이용하여 소스 코드 구문 강조를 할 수 있습니다: <code>, <blockcode>, <apache>, <applescript>, <autoconf>, <awk>, <bash>, <c>, <cpp>, <css>, <diff>, <drupal5>, <drupal6>, <gdb>, <html>, <html5>, <java>, <javascript>, <ldif>, <lua>, <make>, <mysql>, <perl>, <perl6>, <php>, <pgsql>, <proftpd>, <python>, <reg>, <spec>, <ruby>. 지원하는 태그 형식: <foo>, [foo].
  • Quick Tips:
    • Two or more spaces at a line's end = Line break
    • Double returns = Paragraph
    • *Single asterisks* or _single underscores_ = Emphasis
    • **Double** or __double__ = Strong
    • This is [a link](http://the.link.example.com "The optional title text")
    For complete details on the Markdown syntax, see the Markdown documentation and Markdown Extra documentation for tables, footnotes, and more.
  • web 주소와/이메일 주소를 클릭할 수 있는 링크로 자동으로 바꿉니다.
  • 사용할 수 있는 HTML 태그: <p><div><span><br><a><em><strong><del><ins><b><i><u><s><pre><code><cite><blockquote><ul><ol><li><dl><dt><dd><table><tr><td><th><thead><tbody><h1><h2><h3><h4><h5><h6><img><embed><object><param><hr>

Plain text

  • HTML 태그를 사용할 수 없습니다.
  • web 주소와/이메일 주소를 클릭할 수 있는 링크로 자동으로 바꿉니다.
  • 줄과 단락은 자동으로 분리됩니다.
댓글 첨부 파일
이 댓글에 이미지나 파일을 업로드 합니다.
파일 크기는 8 MB보다 작아야 합니다.
허용할 파일 형식: txt pdf doc xls gif jpg jpeg mp3 png rar zip.
CAPTCHA
이것은 자동으로 스팸을 올리는 것을 막기 위해서 제공됩니다.