All Posts

데이터 흐름 분석의 기본 원리, 도달 정의, 활성 변수 분석, 가용 수식 분석, 반복 알고리즘, gen/kill 집합, 그리고 격자 이론의 기초를 다룹니다.

지배자와 지배자 트리, 자연 루프, 루프 불변 코드 검출과 이동, 유도 변수 검출과 제거, 루프 내 강도 감소, 루프 펼침 기법을 다룹니다.

명령어 수준 병렬성(ILP)의 개념, 파이프라이닝과 슈퍼스칼라 프로세서, 리스트 스케줄링, 소프트웨어 파이프라이닝, 레지스터 할당과 스케줄링의 관계, VLIW 아키텍처를 다룹니다.

데이터 병렬성과 태스크 병렬성의 유형, 배열 의존성 분석, 루프 변환(교환, 타일링, 융합, 분열), 아핀 변환 이론의 기초, 지역성 최적화를 다룹니다.

프로시저 간 분석의 필요성, 호출 그래프, 문맥 민감성, 포인터 분석(Andersen vs Steensgaard), 별칭 분석, 흐름 민감/비민감 분석, 프로시저 간 데이터 흐름 분석을 다룹니다.

SSA(Static Single Assignment) 형식의 개념, phi 함수, 지배 경계를 이용한 SSA 구성, SSA 기반 최적화(상수 전파, 죽은 코드 제거, 전역 값 번호화), SSA에서의 복원을 다룹니다.

LLVM 아키텍처, GCC vs LLVM vs Clang 비교, JIT 컴파일, 현대 언어 기능의 컴파일 과제, 보안 분야의 컴파일러 기술, AI/ML 컴파일러(XLA, TVM), WebAssembly 컴파일을 다룹니다.

인터넷의 구성 요소, 서비스 관점에서의 인터넷, 프로토콜의 정의, 네트워크 엣지, 접속 네트워크, 물리 매체에 대해 다룹니다.

네트워크 코어의 패킷 교환과 회선 교환 방식을 비교하고, ISP 계층 구조를 통한 네트워크의 네트워크 개념을 다룹니다.

패킷 교환 네트워크에서 발생하는 4가지 지연 요소, 큐잉 지연 모델, 패킷 손실, 종단 간 지연, 처리량 개념을 다룹니다.