[💬] 러스트의 메모리 관리 기법에 대한 설명

[퍅셔미(wvvwvwwvw)]

본인도 잘 몰?루 지만 내뱉은 말이 있으니 아는만큼 적어봄


Rust는 메모리 관리 방법이 독특한 언어중에 하나다.

보통 일반적으로 메모리관리를 얘기하면

C/C++같은 '개발자가 직접 관리' 방식이나 Java C#같은 '가비지 콜렉터가 관리' 방식 두가지를 떠올릴텐데,

Rust의 경우는 개발자의 직접관리 실수로 인한 오류도 방지하면서 GC성능이슈도 없는 개쩌는 방법을 택함

언어자체에 제약을 걸어서 메모리를 컴파일타임에 싹 다 추적해버리는 방법임.

따라서 개발 할 때 좀 엄격한 규칙에 따라서 메모리를 써야됨

메모리 관리란 무엇이냐?

-안쓰는 메모리 해제

-해제된 메모리 가리키는 포인터 방지 (댕글링포인터)

뭐 이런것들인데,

"안쓰는메모리" 를 어떻게 알아내느냐가 관건이다.

C/C++ 방식에서는 프로그래머가 판단해서 직접 '이건 이제 안쓰니까 delete()' 를 하는거고

GC방식에서는 그 메모리 영역을 참조하고있는게 하나도 없으면 그 때 안쓴다 라고 판단을 한다.

rust도 GC랑 비슷하게 메모리 참조가 0개면 안쓴다라고 판단을 한다. 근데 이걸 컴파일 타임에 함.
어케했냐??

rust에 있는 특수한 개념때문이다. rust에는 '메모리의 주인'개념이 있다. 이걸 ownership이라고 하는데,

어떤 메모리에 바인딩 된 변수는 딱 한개만 존재한다는거다.

GC를 쓰는 언어에서는 해당 메모리영역을 누구나 참조할 수 있고, 그 자유로운 참조가 0개가 될 때가 언제인지를 알아내기 위해 가비지콜렉터가 그래프 구조를 만들고 똥꼬쇼를 다 하지만?

rust에서는 메모리영역을 참조하는 변수가 '주인' 한명이니까 그냥 주인이 참조를 끝내면 메모리도 끝인거다.

그래서 rust에서는 대입/복사연산이 사실상 이동연산처럼 동작함.

a = b 라는 대입연산이 있고 난 후엔, b가 참조하던 메모리 공간은 a꺼가 되어버리고 b는 그냥 파기되어버린다.

이렇게 즉시 소유권이 이동되고, 남은 변수는 파기되어버리니 해제된 메모리를 참조하는 문제가 아예 발생하지 않는다.

a = b 가 수행된 뒤에 b를 사용하면 안된다는 사실은 컴파일러도 바로 알 수 있따.

따라서 컴파일타임에 댕글링포인터 추적이 쌉가능 한 것.

대신에 코드 짤 때 힘들지도? 러스트로 코딩안해봐서 몰루

(이 ownership개념 때문에 코딩하기가 너무 힘들어서 borrowed pointer라는 개념을 사용하긴한다. 근데 내가 잘몰름ㅎ)

---

GC방식의 문제중 하나는, '실질적으로 쓰이진 않지만? 참조는 남아있어서 메모리가 해제 안됨' 의 경우다.

rust에서는 이걸 방지하기위해, 메모리의 수명(LifeTime) 개념을 도입했다.

스코프 {}가 끝나면 그냥 메모리를 죽여버리는것이다.

스택영역에 할당된 메모리라면 다른언어도 당연히 그렇겠지만?

rust는 힙영역에 할당된 메모리도 스코프가 끝나면 그냥 죽여버린다.

뒤지지 않기위해서는?

2가지 방법이 있다.

- return으로 넘겨주는것 (이것도 사실상 함수 리턴값을 받는 변수로 ownership을 이전하는 행위이다)

- 스코프 바깥의 객체가 소유권을 가져가는것.

두번째거가 약간 이해가 안갈 수 있는데 대충 다음과 같다.

{
//객체 A 생성
{
//객체 B 생성
} // <- 원래 B가 뒤지는시점
}
원래 이런상황인데

{
//객체 A 생성
{
//객체 B 생성
//객체 A의 멤버변수로 객체B의 소유권을 이전
}
//객체 B (엿던것)은 A의 속에 살아있따.
}


이렇게 rust의 메모리 관리 방법을 알아보았다.

[익명(223.39)]

루아가 뭐하는건지 어디에 쓰는건지 알려줘

[퍅셔미(wvvwvwwvw)]

아니 겜개발갤에서 겜관련된거 물어볼 줄알았더니, 프갤로 꺼져라고 하고싶지만? 루아도 게임내 UI스크립팅 같은걸로 많이 씀. 펄어비스에서 UI스크립트 루아로 짠다. 시간나면 설명해줌

[김메가(scw973108)]

오 시발 이해가 팍 되누

[김메가(scw973108)]

개추

[익명(118.241)]

너 설명좀 치네?

[익명(118.47)]

GC 보다 이게 더 좋아 보이네