데블스캠프2017/InternalOfJavaScriptCore'sGarbageCollector - Revision history

Maintenance script: Repair batch-0005 pages from live compare

2026-03-27T00:44:56Z

Repair batch-0005 pages from live compare

2017-07-01T16:40:01Z

2017-07-01T04:57:53Z

2017-07-01T04:57:46Z

2017-07-01T04:57:41Z

2017-07-01T04:53:09Z

← Older revision		Revision as of 04:53, 1 July 2017
Line 70:		Line 70:
	* 발표 ppt 참조		* 발표 ppt 참조

	== Eden collection ==		=== Eden collection ===
	* JSC 에서는 힙 공간을 물리적으로 나누지 않는다		* JSC 에서는 힙 공간을 물리적으로 나누지 않는다
	* 그냥 root 셋에서부터 도달 가능한 객체들만 marking 하고 종료		* 그냥 root 셋에서부터 도달 가능한 객체들만 marking 하고 종료
Line 76:		Line 76:
	* marking 된 객체를 Old gen 으로 간주		* marking 된 객체를 Old gen 으로 간주

	== Full collection ==		=== Full collection ===
	* Eden collection 수행 후 잔여 힙 크기가 30% 미만일 경우 다음 GC를 full collection 으로 예약		* Eden collection 수행 후 잔여 힙 크기가 30% 미만일 경우 다음 GC를 full collection 으로 예약
	* 페이지가 변경될 때 WebCore 에서 Full collection 을 요청		* 페이지가 변경될 때 WebCore 에서 Full collection 을 요청
Line 82:		Line 82:
	* 이후 동작은 eden collection 과 유사		* 이후 동작은 eden collection 과 유사

	== JSC GC 세줄 요약 ==		=== JSC GC 세줄 요약 ===

	# MarkedSpace::clearMarks()		# MarkedSpace::clearMarks()

2017-07-01T04:52:35Z

← Older revision		Revision as of 04:52, 1 July 2017
Line 69:		Line 69:
	== JSC 의 가비지 컬렉터 구현 ==		== JSC 의 가비지 컬렉터 구현 ==
	* 발표 ppt 참조		* 발표 ppt 참조

			== Eden collection ==
			* JSC 에서는 힙 공간을 물리적으로 나누지 않는다
			* 그냥 root 셋에서부터 도달 가능한 객체들만 marking 하고 종료
			* Sweep 은 allocation 시점에 lazy-sweep
			* marking 된 객체를 Old gen 으로 간주

			== Full collection ==
			* Eden collection 수행 후 잔여 힙 크기가 30% 미만일 경우 다음 GC를 full collection 으로 예약
			* 페이지가 변경될 때 WebCore 에서 Full collection 을 요청
			* marking 전에, 모든 블록의 mark bitmap 을 초기화
			* 이후 동작은 eden collection 과 유사

			== JSC GC 세줄 요약 ==

			# MarkedSpace::clearMarks()
			# JSC::visitChildren()
			# sweep()

2017-07-01T04:41:09Z

2017-07-01T04:40:42Z

2017-07-01T04:40:25Z

← Older revision		Revision as of 04:40, 1 July 2017
Line 47:		Line 47:
	javascript도 이 방식을 사용한다.		javascript도 이 방식을 사용한다.

	=== Mark ===		=== Mark 단계 ===
	* root 에서 도달 가능한 것을 Mark		* root 에서 도달 가능한 것을 Mark

	=== Sweep ===		=== Sweep 단계 ===
	* Mark 단계에서 체크되지 않은 것들은 도달할수 없기 때문에 삭제		* Mark 단계에서 체크되지 않은 것들은 도달할수 없기 때문에 삭제

			=== Lazy Sweep ===
			* 한번 Dead 오브젝트가 되면 영원히 Dead
			* mutator 들은 mark-bit에 접근할 수 없다
			* '''Sweep 오퍼레이션은 병렬로 실행해도 괜찮다'''
			* 보다 간단한 해결책으로 allocate 함수에서 sweep 수행

			=== Generation GC ===
			* 약한 세대 가설 => 75~95% 객체가 10KB 이내에 죽는다.

			=== Mark-Sweep GC 특징 ===
			* 뮤테이터 오버헤드가 작다
			* 공간 오버헤드가 참조 카운팅보다 적다
			* lazy sweep 과 조화시키면 전체 처리량도 좋은 편
			* 힙에 충분한 여유공간을 필요로 한다

			== JSC 의 가비지 컬렉터 구현 ==