[질문] WhiteBin-bin 1주차

[WhiteBin-bin]

🗓️ 관련 주차

Week01

📌 학습 주제

프로세스와 스레드

👤 담당자

백현빈

🔑 주요 키워드

• 프로세스(Process)
• 스레드(Thread)
• PCB(Process Control Block)
• TCB(Thread Control Block)
• Context Switching
• 멀티프로세스
• 멀티스레드

🧷 질문 작성 규칙

• 질문은 이슈 본문이 아니라 댓글로 작성합니다.
• 하나의 댓글에는 하나의 질문만 작성합니다.
• 답변은 해당 질문 댓글에 대댓글로 작성합니다.
• 추가 질문이 있다면 같은 댓글 스레드에서 이어서 논의합니다.
• 참고 자료가 있다면 질문 댓글 하단에 함께 첨부합니다.

[Anchovia]

❓ 질문 내용

PCB는 운영체제가 프로세스를 관리하기 위해 사용하는 자료구조인데요

그렇다면 실제 Linux와 Windows에서는 PCB에 해당하는 정보를 어떤 구조체로 구현하고 있는지 궁금합니다 !
또한 프로세스의 상태, 스케줄링 정보, 메모리 정보, 열린 파일 정보 등을 하나의 구조체에 직접 저장하는지,
아니면 여러 하위 구조체를 참조하는 방식으로 관리하는지 질문드립니다

🧩 헷갈리는 부분

교재에서는 PCB를 하나의 자료구조처럼 설명하지만, 실제 운영체제 커널에서도 모든 프로세스 정보를 하나의 구조체에 저장하는지 헷갈립니다

특히 Linux와 Windows가 프로세스 정보를 구성하고 관리하는 방식에 어떤 차이가 있는지 궁금합니다 !

💭 내가 이해한 내용

PCB에는 일반적으로 다음과 같은 프로세스 관련 정보가 저장되는 것으로 이해했습니다

• 프로세스 상태
• 프로세스 식별자
• CPU 스케줄링 정보
• 메모리 관리 정보
• 열린 파일 및 입출력 정보
• CPU 레지스터와 실행 문맥

다만 실제 운영체제에서는 이러한 정보를 하나의 구조체에 모두 직접 저장하기보다
핵심 정보만 저장하고 나머지는 별도의 구조체를 참조하는 방식으로 구현할 수도 있다고 생각했습니다

🎯 원하는 답변 방향

• Linux와 Windows에서 PCB에 해당하는 실제 커널 구조체 설명
• 하나의 구조체에 직접 저장하는 정보와 별도 구조체를 참조하는 정보 비교
• Linux와 Windows의 구현 방식 차이
• 전체 구조를 이해할 수 있는 간단한 예시 또는 동작 흐름 설명

🔗 참고 자료

[WhiteBin-bin]

PCB는 운영체제가 프로세스를 관리하기 위해 사용하는 자료구조인데요

그렇다면 실제 Linux와 Windows에서는 PCB에 해당하는 정보를 어떤 구조체로 구현하고 있는지 궁금합니다 ! 또한 프로세스의 상태, 스케줄링 정보, 메모리 정보, 열린 파일 정보 등을 하나의 구조체에 직접 저장하는지, 아니면 여러 하위 구조체를 참조하는 방식으로 관리하는지 질문드립니다

@Anchovia 질문에 대한 답변 드립니다!

운영체제에서 말하는 PCB는 실제 커널의 특정 구조체 하나라기보다, 프로세스 관리에 필요한 정보 전체를 추상화한 개념에 가깝습니다.

Linux와 Windows의 구조체

• Linux에서는 PCB에 가장 가까운 구조체로 task_struct를 사용합니다.
• Windows에서는 프로세스를 EPROCESS, 스레드를 ETHREAD와 KTHREAD로 관리합니다.

직접 저장하는 정보와 참조하는 정보

• Linux의 task_struct에는 PID, 실행 상태, 우선순위, 스케줄링 정보 등이 직접 포함되는 반면에 메모리 정보는 mm_struct, 열린 파일은 files_struct, 권한 정보는 cred 같은 별도 구조체를 참조합니다.
• Windows의 EPROCESS도 프로세스 식별 정보와 상태를 관리하면서, 메모리 관리 정보, 핸들 테이블, 보안 토큰 등을 별도 객체로 연결합니다.

구현 방식의 차이

• Linux는 프로세스와 스레드를 모두 task_struct라는 Task 단위로 표현하며, 같은 프로세스의 스레드들이 메모리와 파일 구조체를 공유합니다.
• Windows는 프로세스 객체인 EPROCESS와 스레드 객체인 ETHREAD를 비교적 명확하게 구분합니다.

전체 구조 예시

flowchart TB
    subgraph Linux["Linux"]
        TS["task_struct"]

        CORE["직접 저장<br/>PID, 상태, 우선순위,<br/>스케줄링 정보"]
        MM["mm_struct<br/>가상 메모리 정보"]
        FILES["files_struct<br/>열린 파일 정보"]
        CRED["cred<br/>사용자 및 권한 정보"]

        TS -->|직접 포함| CORE
        TS -->|mm 포인터| MM
        TS -->|files 포인터| FILES
        TS -->|cred 포인터| CRED
    end

    subgraph Windows["Windows"]
        EP["EPROCESS"]

        PROCESS["직접 저장<br/>프로세스 식별 및 상태 정보"]
        MEMORY["메모리 관리 구조"]
        HANDLE["Handle Table<br/>열린 객체 및 파일"]
        TOKEN["Access Token<br/>사용자 및 권한 정보"]
        ET["ETHREAD<br/>스레드 객체"]
        KT["KTHREAD<br/>스케줄링 및 실행 문맥"]

        EP -->|직접 포함| PROCESS
        EP -->|참조| MEMORY
        EP -->|참조| HANDLE
        EP -->|참조| TOKEN
        EP -->|스레드 목록| ET
        ET -->|내부 포함| KT
    end

Loading

[cutiepepe2926]

❓ 질문 내용

사용자 수준 스레드와 커널 수준 스레드의 생성 및 전환 비용 차이에 관한 질문입니다.

사용자 수준 스레드는 스레드를 생성하거나 전환할 때 발생하는 비용이 커널 수준 스레드보다 상대적으로 작다고 하는데, 구체적으로 어떤 작업의 차이로 인해 비용 차이가 발생하는지 궁금합니다.

🧩 헷갈리는 부분

사용자 수준 스레드는 사용자 영역의 스레드 라이브러리가 관리하고, 커널 수준 스레드는 운영체제의 커널이 직접 관리한다는 점은 이해했습니다.

하지만 스레드를 생성하거나 문맥 전환할 때 사용자 수준 스레드는 어떤 정보만 변경하고, 커널 수준 스레드는 추가로 어떤 작업을 수행하기 때문에 더 많은 비용이 발생하는지 이해가 잘되지 않습니다.

💭 내가 이해한 내용

사용자 수준 스레드는 사용자 공간에 있는 스레드 라이브러리가 관리하므로, 스레드를 생성하거나 전환할 때 커널에 요청하지 않고 프로세스 내부에서 처리할 수 있다고 이해했습니다.

다만 이러한 전환 과정에서 어떤 작업들이 추가되는지 확인하고 싶습니다.

🎯 원하는 답변 방향

• 간단한 예시를 통한 비용 차이 설명

🔗 참고 자료

[WhiteBin-bin]

사용자 수준 스레드와 커널 수준 스레드의 생성 및 전환 비용 차이에 관한 질문입니다.

사용자 수준 스레드는 스레드를 생성하거나 전환할 때 발생하는 비용이 커널 수준 스레드보다 상대적으로 작다고 하는데, 구체적으로 어떤 작업의 차이로 인해 비용 차이가 발생하는지 궁금합니다.

@cutiepepe2926 질문에 대한 답변 드립니다!

사용자 수준 스레드가 상대적으로 가벼운 이유는 스레드의 생성과 전환을 사용자 영역의 스레드 라이브러리가 처리하기 때문입니다.

생성 비용의 차이

• 사용자 수준 스레드는 스레드 관리 정보와 Stack 등을 사용자 메모리에 생성합니다.
• 커널 수준 스레드는 시스템 콜을 통해 커널에 생성 요청을 해야 하며, 커널 스레드 구조체와 커널 Stack 등의 자원을 할당해야 합니다.
• 따라서 커널 수준 스레드는 사용자 모드에서 커널 모드로 전환하고 커널 자료구조를 갱신하는 비용이 추가됩니다.

전환 비용의 차이

사용자 수준 스레드 전환은 라이브러리가 현재 스레드의 Register와 Stack Pointer 등을 저장하고 다음 스레드의 값을 복원하는 방식으로 처리할 수 있습니다.

flowchart LR
    A["사용자 스레드 A 실행"] --> B["사용자 영역에서 Context 저장"]
    B --> C["다음 사용자 스레드 선택"]
    C --> D["사용자 스레드 B의 Context 복원"]
    D --> E["사용자 스레드 B 실행"]

Loading

[sooloin]

❓ 질문 내용

사용자 수준 스레드와 커널 수준 스레드의 생성 및 전환 비용 차이에 관한 질문입니다.
사용자 수준 스레드는 스레드를 생성하거나 전환할 때 발생하는 비용이 커널 수준 스레드보다 상대적으로 작다고 하는데, 구체적으로 어떤 작업의 차이로 인해 비용 차이가 발생하는지 궁금합니다.

🧩 헷갈리는 부분

사용자 수준 스레드는 사용자 영역의 스레드 라이브러리가 관리하고, 커널 수준 스레드는 운영체제의 커널이 직접 관리한다는 점은 이해했습니다.
하지만 스레드를 생성하거나 문맥 전환할 때 사용자 수준 스레드는 어떤 정보만 변경하고, 커널 수준 스레드는 추가로 어떤 작업을 수행하기 때문에 더 많은 비용이 발생하는지 이해가 잘되지 않습니다.

💭 내가 이해한 내용

사용자 수준 스레드는 사용자 공간에 있는 스레드 라이브러리가 관리하므로, 스레드를 생성하거나 전환할 때 커널에 요청하지 않고 프로세스 내부에서 처리할 수 있다고 이해했습니다.
다만 이러한 전환 과정에서 어떤 작업들이 추가되는지 확인하고 싶습니다.

🎯 원하는 답변 방향

1. 스레드 생성 시 사용자 수준 스레드는 라이브러리 내부 자료구조만 갱신하는 반면, 커널 수준 스레드는 커널 내부에 TCB를 새로 할당하고 스케줄러에 등록하는 과정까지 필요한 이유를 구체적으로 설명해주셨으면 합니다.
2. 문맥 전환 시 커널 수준 스레드는 왜 Mode Switching(유저→커널→유저)이 항상 동반되고, 사용자 수준 스레드는 왜 커널 개입 없이 전환이 가능한지 흐름을 짚어주셨으면 합니다.
3. 사용자 수준 스레드의 단점(하나의 스레드가 블로킹되면 프로세스 전체가 멈추는 문제, 멀티코어를 제대로 활용하지 못하는 문제 등)도 함께 설명해주셨으면 합니다.

🔗 참고 자료