[프로그래밍 언어론] 8. 영역과 수명

8.1 블록과 영역

영역

• 식별자의 효력을 나타낼 수 있는 영역
• (용어정리) 프로그램 내에서 어떤 선언이 유효한 부분

수명

• 식별자(변수) 값을 보유할 메모리가 배정되어 있는 실행 시간
• 메모리 할당부터 해제까지의 시간

식별자 영역 제공의 간결한 방법

• 그냥 모든 식별자를 전 프로그램에서 사용 가능하게 함 (전역변수로)
• 하지만, 식별자 사용의 복잡화, 혼동, 프로그램 합성 시 문제점 발생

해결책 : 단위 프로그램의 식별자 사용 (localization 요구)

 

8.2 동적 영역과 정적 영역

1. 지역변수 (local variable) : 현재 블록에서 선언된 변수, 형식 매개변수
2. 비지역 변수 (non-local variable) : 현재 블록에서 사용되지만, 바깥 블록에서 선언된 변수
3. 전역 변수 (global) : 모든 블록에서 사용 가능한 변수

a. 정적 영역 규칙 (static scope rule)

식별자의 사용 영역을 블록의 정적 내포관계로 결정 (컴파일러가 식별자의 사용 영역을 결정한다)

이름에 해당하는 변수를 찾을 때, 자신을 포함하고 있는 블록에서 선언되었는지를 탐색하고 없으면 그 바깥쪽 블록에서 선언되었는지 탐색

영역 구멍 (hole in scope)

• 전역 선언이 지역 선언 때문에 보이지 않을 때
• ADA. Java : a.x 와 같이 영역 한정자로 접근 가능

b. 동적 영역 규칙

먼저 자신을 포함하고 있는 블록에서 선언되었는지 찾고, 없으면 자기 블록을 호출한 블록에서 선언된 것인지 찾음

• 식별자의 영역이 실행시간에 확정. 주로 인터프리터 언어
• 식별자의 사용 영역이 프로그램의 실행 순서에 의해 결정된다

 

8.3 언어에서의 영역

블록 구조를 통한 영역 개념의 장점

• 지역성 (locality)를 높여준다. 변수를 사용할 프로그램 가까이서 선언.
• OS 하에서 작은 working set 요구. 작은 크기의 메모리 요구.
• 표준 패키지를 사용자 프로그램에 결합시켜 하나의 프로그램을 만들기 쉽다.
• 블록 단위로 선언된 변수들끼리는 간섭이 적기 때문.
• 프로그램의 구성을 단계적으로 세분화하는데 도움이 된다.

 

8.4 변수의 수명

Algol 60

• 블록 단위 할당/해제
• 변수 수명 : 블록 시작 ~ 블록 종료
• own 변수 : static

PL/1

• automatic : 수명 : 블록 진입 ~ 블록 탈출
• static : 주 프로시저 진입 ~ 주 프로시저 탈출