컴퓨터 시스템 : CSAPP 8장 정리 - 8.2 Processes

컴퓨터 시스템 : CSAPP 8장 정리 - 8.2 Processes

8.2: Processes운영체제가 프로세스를 제공하는 핵심 기법은 예외(Exception)를 기반으로 하며, 이를 통해 프로그램은 마치 시스템 전체를 독점하고 있는 것처럼 보이는 환상을 경험하게 된다.프로세스란?고전적인 정의: 실행 중인 프로그램의 인스턴스각 프로세스는 실행에 필요한 전체 컨텍스트(context)를 포함한다:코드, 데이터, 스택일반 레지스터, 프로그램 카운터(PC)환경 변수, 파일 디스크립터 등프로세스를 통해 얻는 두 가지 핵심 추상화논리적 제어 흐름 (Logical Control Flow)→ 프로그램이 CPU를 독점하고 실행되는 듯한 착각을 제공개인 주소 공간 (Private Address Space)→ 프로그램이 메모리를 독점하는 듯한 착각을 제공8.2.1 Logical Contro..

  • format_list_bulleted 크래프톤 정글 (컴퓨터 시스템: CSAPP)/8장 예외적 제어 흐름
  • · 2025. 4. 19.
  • textsms

컴퓨터 시스템 : CSAPP 8장 정리 - 8.1 Exceptions

Exceptional Control Flow (ECF)는 프로그램의 일반적인 순차 흐름을 예외적으로 변경하는 메커니즘으로, 운영체제의 핵심 기능인 입출력, 프로세스, 가상 메모리 등을 구현하는 데 사용된다. 프로그래머에게 중요한 이유는 다음과 같다:시스템 개념 이해에 필수적: 프로세스 생성, 종료, 신호 처리 등은 모두 ECF를 기반으로 구현된다.운영체제와의 상호작용 이해: 응용 프로그램이 시스템 콜을 통해 OS 서비스를 요청할 때 trap이라는 형태의 ECF를 사용한다.응용 프로그램 작성 능력 향상: 예를 들어 유닉스 셸이나 웹 서버 같은 프로그램은 ECF 메커니즘을 적극적으로 활용한다.동시성(concurrency) 이해의 기초: 인터럽트, 프로세스, 스레드, 시그널 핸들러 등의 개념은 모두 ECF의 ..

  • format_list_bulleted 크래프톤 정글 (컴퓨터 시스템: CSAPP)/8장 예외적 제어 흐름
  • · 2025. 4. 19.
  • textsms

컴퓨터 시스템 : CSAPP 7장 정리 - 7.13 ~ 7.15

7.13 라이브러리 인터포지셔닝 (Library Interpositioning)라이브러리 인터포지셔닝은 공유 라이브러리 함수 호출을 가로채어 자신이 정의한 코드로 대체할 수 있게 해주는 강력한 기술이다. 이를 통해 다음과 같은 작업이 가능하다:특정 함수 호출 횟수 추적함수의 입력/출력 값 검증 및 기록특정 함수를 완전히 다른 구현으로 대체기본 개념인터포지셔닝은 다음 세 단계를 포함한다:대상 함수와 동일한 시그니처의 래퍼(wrapper) 함수를 만든다.특정 메커니즘을 이용해 시스템이 원래 함수가 아닌 래퍼를 호출하게 한다.래퍼 함수는 자체 로직을 실행한 후 원래 함수를 호출하고 결과를 반환한다​.인터포지셔닝의 세 가지 방식1. 컴파일 타임 인터포지셔닝 (Compile-Time Interpositioni..

  • format_list_bulleted 크래프톤 정글 (컴퓨터 시스템: CSAPP)/7장 링커
  • · 2025. 4. 18.
  • textsms

컴퓨터 시스템 : CSAPP 7장 정리 - 7.11 ~ 7.12

7.11 애플리케이션에서 공유 라이브러리 로딩 및 링킹지금까지는 프로그램이 시작되기 전에 동적 링커가 .so 파일을 로드하고 심볼을 해결하는 과정만 다뤘다. 그러나 실제로는 프로그램이 실행된 이후, 즉 런타임 중에 공유 라이브러리를 로드하고 연결할 수도 있다.런타임 동적 링킹의 유용성 소프트웨어 배포윈도우 프로그램은 자주 사용되는 기능을 DLL로 나눠서 제공한다.새로운 DLL 버전을 배포하면, 사용자는 프로그램을 다시 컴파일하지 않고도 자동으로 새로운 기능을 사용할 수 있다.고성능 웹 서버초기 웹 서버는 CGI를 위해 fork와 execve로 외부 프로그램을 호출했다.현대 서버는 요청마다 동적 함수를 라이브러리로부터 로드하고 함수 포인터로 직접 호출한다.함수는 서버 메모리에 캐시 되며, 이후 요청에서는 ..

  • format_list_bulleted 크래프톤 정글 (컴퓨터 시스템: CSAPP)/7장 링커
  • · 2025. 4. 18.
  • textsms
컴퓨터 시스템 : CSAPP 7장 정리 - 7.8 ~ 7.10

컴퓨터 시스템 : CSAPP 7장 정리 - 7.8 ~ 7.10

7.8 실행 객체 파일 (Executable Object Files)링커는 여러 개의 목적 파일을 하나의 실행 객체 파일(executable object file)로 병합한다. 이 파일은 이제 디스크에서 메모리로 로드되어 바로 실행할 수 있는 상태이다. 즉, 소스 코드로 시작된 프로그램이 최종 실행 가능한 이진 파일로 완성되는 지점이다.ELF 실행 파일 구조 요약ELF 실행 파일은 여러 부분으로 나뉘며, 각 부분은 특정한 기능을 담당한다. 대표적인 구성은 아래와 같다 (그림 7.13 기준):주요 구성 요소:ELF 헤더: 전체 포맷에 대한 정보를 제공섹션 헤더 테이블: .text, .data 등 객체 파일 섹션에 대한 설명세그먼트 헤더 테이블(Program Header Table): 섹션을 런타임 메모리 ..

  • format_list_bulleted 크래프톤 정글 (컴퓨터 시스템: CSAPP)/7장 링커
  • · 2025. 4. 18.
  • textsms

컴퓨터 시스템 : CSAPP 7장 정리 - 7.7 재배치

7.7 재배치 (Relocation)링커가 심볼 결합을 완료하면, 각 심볼 참조가 하나의 정확한 정의와 연결되어 있다. 그다음 링커는 재배치(relocation) 과정을 통해 각 심볼에 실행 시간 주소(run-time address)를 할당한다. 이 과정은 두 단계로 나뉜다.1단계 : 섹션 및 심볼 정의 재배치링커는 입력된 목적 파일들에서 동일한 종류의 섹션들을 병합(merge)한다.예: 모든 .data 섹션을 병합하여 최종 실행 파일의 .data 섹션으로 만든다.병합된 섹션들과 원래 섹션들 각각에 대해 실행 시간 주소를 할당한다.모든 전역 변수, 함수, 명령어는 이제 고유한 주소를 가지게 된다.2단계 : 섹션 내부 심볼 참조 재배치 .text, .data 섹션 내부에 있는 심볼 참조를 올바른 주소로 수..

  • format_list_bulleted 크래프톤 정글 (컴퓨터 시스템: CSAPP)/7장 링커
  • · 2025. 4. 18.
  • textsms