(C++)댕글링 포인터, 포인터 에얼리싱

포인터가 여전히 해제된 메모리 영역을 가리키고 있다면 이를 댕글링 포인터(Dangling Pointer)이라 한다. 댕그링 포인터가 가리키는 메모리는 더 이상 유효하지 않다.
댕글링 포인터를 조숙한 해제라고 부르기도 한다.

댕글링 포인터는 다음과 같은 문제를 야기 한다.

-메모리 접근시 예측 불가능한 동작.
-메모리 접근시 segmentation fault
-잠재적인 보안위험

이러한 유형의 문제는 다음과 같은 동작의 결과로 발생한다.
-메모리 해제후 해제된 메모리에 접근
-함수 호출에서 자동변수를 가리키는 포인터의 반환


예제)
int *pi=(int*)malloc(sizeof(int));
*pi=5;

free함수로 메모리를 해제 한 후에도 변수 pi는 여전히 메모리의 주소를 가리키고 있다.
그러나 이 메모리는 힙관리자에 의해 재사용되거나 기존의 정수가 아닌 다른 타입으로 재사용 될 수 있다. free함수를 호출하면 원래 pi가 가리키고 있던 주소에 위치한 메모리는 해제되며 다시는 사용 할 수 없다. 그러나 대부분의 런타임 시스템에서 해제 뒤에 발생하는 메모리 접근이나 변경을 막지 않는다. 여전히 해당메모리에 접근하여 쓰기를 시도 할 수 있으며, 이러한 시도의 결과는 예측 할 수 없다.

free(pi);
*pi=10;

하나이상의 포인터가 같은 메모리 영역을 가리키고 그 중 하나가 해제된 경우에는 좀 더 복잡하다. 아래 변수 p1고 p2 둘다 같은 메모리 영역을 가리키고 있으며, 이러한 상황을 포인터 에일리어싱(Ailiasing)이라고 한다. 그런데 p1이 해제 되었다.

int* p1=(int*)malloc(sizeof(int));
*p1=5;

int* p2;
p2=p1;

...
free(p1);

*p2=10;

이떄, p2는 댕글링 포인터이다.

또 다른 예제가 있다. 아래코드와 같이 블록 구문을 사용 할 때에도 다른 미묘한 문제가 발생한다. 변수 pi에는 tmp주소가 할당 되며, 변수 pi는 전역변수이거나 로컬 변수이다.
그러나 변수 tmp는 블록안에서 선언되고 블록 구문이 닫힐 때 스택에서 제거 되며,tmp의 주소는 더는 유효 하지않다.

int* pi;
....
{
 int tmp=5;
 pi=&tmp;
}
//이 위치에서 pi는 댕글링 포인터가 된다.
foo();

대부분의 컴파일러는 블록 구문을 스택 프레임으로 다룬다. 변수 tmp는 블록안의 스택 프레임에 할당되며, 이어서 블록구문이 종료되면서 스택 프레임이 제거된다. 블록의 스택 프레임으로 사용된 메모리 영역은 나중에 다른 방식으로 재사용(예제에서는 foo함수가 호출 되므로 foo함수에의해 재사용)되며, 변수 pi는 여전히 그 위치를 가리키고 있게된다.


< 댕글링 포인터 다루기 >
포인터가 원인인 문제들의 디버깅은 떄로 해결하기 어려울 때가 있다. 댕글링 포인터 문제를 처리하기 위한 몇 가지 접근 방법을 아래에 나열하였다.

- 메모리 해제 후 포인터를 NULL로 설정하여라.
NULL로 설정한 포인터를 그 이후에 사용하면 애플리케이션이 종료할 것이다. 그러나 해당 포인터에 대한 다수의 복사본이 존재할 경우 문제는 여전히 발생한다. 포인터에 NULL을 설정하는 일은 많은 포인터 복사본 중에 단 하나의 포인터에만 영향을 미치기 때문이다. 이와 비슷한 문제를 앞 절 "이중 해제"에서 언급한 적이 있다.
- free 함수를 대체할 새로운 함수를 작성하여라.
- 몇몇 런타임 시스템이나 디버깅 시스템은 해제된 메모리를 특별한 값으로 덮어쓴다.
(예를 들어, 0xDEADBEEF - Visual Studio는 해제된 메모리의 종류에 따라 0xCC, 0xCD, 0xDD 값을 사용하여 덮어쓴다). 예외가 발생하지 않은 상황이라도 프로그래머는 예상치 못한 곳에 이러한 값이 포함된 것을 보고 프로그램이 해제된 메모리에 접근한 것을 알 수 있다.
- 댕글링 포인터와 다른 문제들을 발견하기 위해 서드파티 도구들을 사용하라.

<메모리 누수 탐지 기능>
마이크로소프트는 동적으로 할당된 메모리를 덮어쓰는 문제와 메모리 누수문제를 해결하기 위한 기술을 제공하며, 이 접근방식은 프로그램의 디버그 버전에서 아래에 나열된 특별한 메모리 관리 기술을 사용한다..

-힙의 무결성 검사
-메모리 누수 검사
-힙 메모리가 부족한 상황 재현

마이크로소프트는 메모리 할당을 관리하기 위한 특별한 데이터 구조체를 사용한다. 그리고 이 구조체의 사용으로 위와 같은 메모리 관리 기술을 제공한다. 이 구조체는 malloc 함수가 호출된 파일명과 줄 번호와 같은 디버그 정보를 관리한다. 게다가, 메모리를 덮어쓴느 문제를 찾기 위해 메모리 할당 전후로 버퍼가 할당된다. 이 기술에 대한 추가적인 정보는 Microsoft Developer Network(http://bit.ly/12SftWV)에서 찾을 수 있다.

Mudflap 라이브러리(http://bit.ly/YilPI1) 사용하면 GCC에 비슷한 기능을 사용할 수 있다. Mudflap의 런타임 라이브러리는 수많은 기능을 제공하며 그중에서도 특히 메모리 누수 탐지 기능이 제공된다. 이 메모리 누수 탐지 기능은 포인터 역참조 연산들을 계산하고 측정하는 방식으로 수행된다.


/// 이 글의 출처는 "Understanding and Using C Pointers(리처드 리스 지음)"입니다.
This post is some part from the book called "Understanding and Using C Pointers".



출처:http://thinkpro.tistory.com/67



댓글

이 블로그의 인기 게시물

(네트워크)폴링방식 vs 롱 폴링방식

(ElasticSearch) 결과에서 순서 정렬

(18장) WebSocekt과 STOMP를 사용하여 메시징하기