부 프로그램의 구현

부 프로그램의 구현

정적구조

프로그램이 실행할 때부터 끝날 때까지 메모리 변동이 없다

포틀란

포틀란은 메모리에 할당이 적재시간에 이루어지면, 모든 변수들의 위치가 고정이다

부프로그램은 중첩 될 수 없고, 재귀 호출도 허용하지 않는다

관련 썰

정적구조는 확실히 안정성이 있다
나사에서도, C언어로 우주선을 쏠 때, 무조건 재귀 허용하지 않고, 동적 할당하지 않고 마치 포틀란 쓰듯이 안정적으로 보수적으로 사용했었다고 한다

단순하고 디버깅하기 쉽고, 오류도 적게 되는거지!

활성 레코드

• 지연 변수는 해당 주/부 프로그램에서 선언된 지역 변수를 의미한다
• 매개변수는 해당 부 프로그램의 매개변수이다
• 복귀주소는 부 프로그램의 실행이 종료되고 복귀해야 할 주소를 의미한다
• 함수 값은 부 프로그램이 함수인 경우 함수의 반환 값을 의미한다

스택 기반 구조

함수를 호출하는데, 미리 메모리에 올려두는게 아니라 필요하면 스택에 올린다

• C, Pascal, Ada 등으로 재귀 호출을 허용
• C는 부프로그램의 중첩을 허용하지 않는 반면 Pascal과 Ada는 중첩을 허용

아래 예제에서는 순차적으로 스택에 함수가 들어갔다 나갔다 하는 것을 볼 수 있다

스택 기반 구조의 활성 레코드

임의의 활성 레코드를 스택에서 제거 할 때, 제거 범위에 대한 정보가 필요하다
동적 링크가 이 역할을 담당하는데, 호출자의 활성 레코드의 시작부를 가리킨다

스택 기반 구조의 중첩에서 Scope는 아래와 같이 파악한다

만약 정적 링크였다면, 순차적으로 포함 관계에 따라서 표현 즉 scope를 확대하면서 풀어나가면 된다

부족한 점이나 잘못 된 점을 알려주시면 시정하겠습니다 :>