Onionmixer: 문법오류수정

2014-05-21T01:25:43Z

문법오류수정

← Older revision		Revision as of 01:25, 21 May 2014
Line 553:		Line 553:


	Non-local 리턴 블록. 블록은 항상 자신의 홈 컨텍스트에서 평가되기 때문에 이미 리턴된 메서드 실행으로부터 리턴을 시도하는 것이 가능하다. 이러한 런타임 오류 상태는 가상 머신에 의해 잡힌다.		'''Non-local 리턴 블록.''' 블록은 항상 자신의 홈 컨텍스트에서 평가되기 때문에 이미 리턴된 메서드 실행으로부터 리턴을 시도하는 것이 가능하다. 이러한 런타임 오류 상태는 가상 머신에 의해 잡힌다.

	<syntaxhighlight lang="smalltalk">		<syntaxhighlight lang="smalltalk">

Onionmixer: 이미지 확장자 변경 및 이미지 추가

2014-03-31T08:00:38Z

이미지 확장자 변경 및 이미지 추가

← Older revision		Revision as of 08:00, 31 March 2014
Line 134:		Line 134:


	[[image:DeepintoPharo_Image_14-1.~~png~~\|그림 14.1: 블록이 평가된 곳이 아니라 블록이 생성된 메서드 활성 컨텍스트에서 non-local 변수가 검색된다.]]		[[image:DeepintoPharo_Image_14-1.jpg\|640px\|그림 14.1: 블록이 평가된 곳이 아니라 블록이 생성된 메서드 활성 컨텍스트에서 non-local 변수가 검색된다.]]


Line 290:		Line 290:
	</syntaxhighlight>		</syntaxhighlight>

	[[image:DeepintoPharo_Image_14-2.~~png~~\|그림 14.2: blockLocalTemp execution (왼쪽) - blockOutsideTemp execution (오른쪽)]]		{\| style="border: 0px;"
			\|- style="vertical-align:top;"
			\|[[image:DeepintoPharo_Image_14-2-a.jpg]]\|\|[[image:DeepintoPharo_Image_14-2-b.jpg]]
			\|- style="color: black;"
			\| colspan="2" \|<center>그림 14.2: blockLocalTemp execution (왼쪽) - blockOutsideTemp execution (오른쪽)</center>
			\|}


Line 474:		Line 479:
	블록의 리턴 문이 evaluateBlock: 메서드에서 실행되면 실행은 보류 중(pending)인 계산을 버리고 블록의 홈 컨텍스트를 생성한 메서드 실행 포인트로 리턴한다. 블록은 defineBlock 메서드에서 정의된다. 블록의 홈 컨텍스트는 defineBlock 메서드의 정의를 표현하는 활성 컨텍스트다. 따라서 리턴 표현식은 defineBlock 실행 직후에 start 메서드 실행으로 리턴한다. 그것이 바로 arg: 와 evaluateBlock: 의 보류 중인 실행이 파기되는 이유이며, start 메서드의 실행이 끝나는 것을 목격하는 이유이다.		블록의 리턴 문이 evaluateBlock: 메서드에서 실행되면 실행은 보류 중(pending)인 계산을 버리고 블록의 홈 컨텍스트를 생성한 메서드 실행 포인트로 리턴한다. 블록은 defineBlock 메서드에서 정의된다. 블록의 홈 컨텍스트는 defineBlock 메서드의 정의를 표현하는 활성 컨텍스트다. 따라서 리턴 표현식은 defineBlock 실행 직후에 start 메서드 실행으로 리턴한다. 그것이 바로 arg: 와 evaluateBlock: 의 보류 중인 실행이 파기되는 이유이며, start 메서드의 실행이 끝나는 것을 목격하는 이유이다.

	[[image:DeepintoPharo_Image_14-3.~~png~~\|그림 14.3: non-local 리턴 실행의 블록은 블록 홈 컨텍스트를 활성화한 메서드 실행으로 리턴한다. 프레임은 컨텍스트를 표현하고, 점선은 다른 실행 시간에서 동일한 블록을 나타낸다.]]		[[image:DeepintoPharo_Image_14-3.jpg\|640px\|그림 14.3: non-local 리턴 실행의 블록은 블록 홈 컨텍스트를 활성화한 메서드 실행으로 리턴한다. 프레임은 컨텍스트를 표현하고, 점선은 다른 실행 시간에서 동일한 블록을 나타낸다.]]


Line 592:		Line 597:
	</syntaxhighlight>		</syntaxhighlight>

	[[image:DeepintoPharo_Image_14-4.~~png~~\|그림 14.4: 주어진 실행 포인트에서 임시 변수 temp의 값으로 접근할 수 있는 메서드 컨텍스트.]]		[[image:DeepintoPharo_Image_14-4.jpg\|480px\|그림 14.4: 주어진 실행 포인트에서 임시 변수 temp의 값으로 접근할 수 있는 메서드 컨텍스트.]]


Line 635:		Line 640:
	</syntaxhighlight>		</syntaxhighlight>

	[[image:DeepintoPharo_Image_14-5.~~png~~\|그림 14.5: pc 변수는 27을 보유하는데, 실행된 마지막 (바이트코드) 명령어가 메시지 전송 inspect였기 때문이다.]]		[[image:DeepintoPharo_Image_14-5.jpg\|480px\|그림 14.5: pc 변수는 27을 보유하는데, 실행된 마지막 (바이트코드) 명령어가 메시지 전송 inspect였기 때문이다.]]


Line 668:		Line 673:
	메시지 전송이 활성 컨텍스트에서 발생하면 활성 컨텍스트는 보류되고, 새 컨텍스트가 생성되어 활성화된다. 보류된 컨텍스트는 다시 활성화될 때까지 본래 컴파일된 메서드와 연관된 상태를 유지한다. 컨텍스트는 자신이 보류되었다는 사실을 기억해야 하며, 그래야만 결과가 리턴 시 보류된 컨텍스트가 재개될 수 있다. 보류된 컨텍스트를 새 컨텍스트의 전송자라 부른다. 그림 14.6은 컴파일된 메서드와 컨텍스트 간 관계를 표현한다. 메서드는 현재 실행된 메서드를 가리킨다. 프로그램 카운터는 컴파일된 메서드의 마지막 명령어를 가리키며, 전송자는 이전에 활성화된 컨텍스트를 가리킨다.		메시지 전송이 활성 컨텍스트에서 발생하면 활성 컨텍스트는 보류되고, 새 컨텍스트가 생성되어 활성화된다. 보류된 컨텍스트는 다시 활성화될 때까지 본래 컴파일된 메서드와 연관된 상태를 유지한다. 컨텍스트는 자신이 보류되었다는 사실을 기억해야 하며, 그래야만 결과가 리턴 시 보류된 컨텍스트가 재개될 수 있다. 보류된 컨텍스트를 새 컨텍스트의 전송자라 부른다. 그림 14.6은 컴파일된 메서드와 컨텍스트 간 관계를 표현한다. 메서드는 현재 실행된 메서드를 가리킨다. 프로그램 카운터는 컴파일된 메서드의 마지막 명령어를 가리키며, 전송자는 이전에 활성화된 컨텍스트를 가리킨다.

	[[image:DeepintoPharo_Image_14-6.~~png~~\|그림 14.6: 컨텍스트와 컴파일된 메서드의 관계.]]		[[image:DeepintoPharo_Image_14-6.jpg\|그림 14.6: 컨텍스트와 컴파일된 메서드의 관계.]]


Line 684:		Line 689:
	메서드 컨텍스트를 처리하는 가장 효율적인 방식은 애초에 생성하지 않는 것이다. 가상 머신 수준에서 이는 실제 스택 프레임을 이용해 달성할 수 있겠다. 메서드 컨텍스트는 스택 프레임으로 쉽게 매핑이 가능하여, 메서드를 호출할 때마다 우리는 새 프레임을 생성하고, 메서드로부터 리턴할 때마다 현재 프레임을 삭제한다. 이 점에서 보면 스몰토크는 C와 별반 다르지 않다. 즉, 메서드로부터 리턴할 때마다 메서드 컨텍스트(스택 프레임)가 즉시 제거됨을 뜻한다. 따라서 고수준의 쓰레기 수집이 전혀 필요하지 않다. 그럼에도 불구하고 블록을 지원해야 한다면 스택의 이용은 훨씬 더 복잡해진다.		메서드 컨텍스트를 처리하는 가장 효율적인 방식은 애초에 생성하지 않는 것이다. 가상 머신 수준에서 이는 실제 스택 프레임을 이용해 달성할 수 있겠다. 메서드 컨텍스트는 스택 프레임으로 쉽게 매핑이 가능하여, 메서드를 호출할 때마다 우리는 새 프레임을 생성하고, 메서드로부터 리턴할 때마다 현재 프레임을 삭제한다. 이 점에서 보면 스몰토크는 C와 별반 다르지 않다. 즉, 메서드로부터 리턴할 때마다 메서드 컨텍스트(스택 프레임)가 즉시 제거됨을 뜻한다. 따라서 고수준의 쓰레기 수집이 전혀 필요하지 않다. 그럼에도 불구하고 블록을 지원해야 한다면 스택의 이용은 훨씬 더 복잡해진다.

	[[image:DeepintoPharo_Image_14-7.~~png~~\|그림 14.7: 클로저 처음 이해하기.]]		[[image:DeepintoPharo_Image_14-7.jpg\|640px\|그림 14.7: 클로저 처음 이해하기.]]


Line 692:		Line 697:
	그림 14.8은 non-local 변수가 더 이상 홈 컨텍스트에 직접 보관되지 않고 할당된 힙(heap), 즉 구분된 원격 배열에 저장되는 모습을 보여준다.		그림 14.8은 non-local 변수가 더 이상 홈 컨텍스트에 직접 보관되지 않고 할당된 힙(heap), 즉 구분된 원격 배열에 저장되는 모습을 보여준다.

	[[image:DeepintoPharo_Image_14-8.~~png~~\|그림 14.8: 메서드가 리턴할 때 계속해서 떠나도록(leave) VM이 원격 변수를 보관하는 방법.]]		[[image:DeepintoPharo_Image_14-8.jpg\|640px\|그림 14.8: 메서드가 리턴할 때 계속해서 떠나도록(leave) VM이 원격 변수를 보관하는 방법.]]


Line 702:		Line 707:

	내용을 명료하게 정리해준 Eliot Miranda에게 감사의 말을 전한다.		내용을 명료하게 정리해준 Eliot Miranda에게 감사의 말을 전한다.

Onionmixer: DIP 제 14장 블록: 세부적인 분석 페이지 추가

2014-03-19T08:40:08Z

DIP 제 14장 블록: 세부적인 분석 페이지 추가

Show changes

DeepintoPharo:Chapter 14 - Revision history

Onionmixer: 문법오류수정

Onionmixer: 이미지 확장자 변경 및 이미지 추가

Onionmixer: DIP 제 14장 블록: 세부적인 분석 페이지 추가