컴퓨터과학·2025년 3월 7일
교착 상태(Deadlock): 멈춰버린 컴퓨터와 철학자들의 침묵 (완전정복)
스레드가 서로를 영원히 기다리는 현상, 데드락. 식사하는 철학자 문제부터 은행원 알고리즘, 리소스 할당 그래프, 분산 시스템에서의 데드락 탐지(Chandy-Misra-Haas)까지 심층 분석합니다.
#CS#OS#Deadlock#Concurrency
개발과 기술에 대한 이야기를 기록합니다.
스레드가 서로를 영원히 기다리는 현상, 데드락. 식사하는 철학자 문제부터 은행원 알고리즘, 리소스 할당 그래프, 분산 시스템에서의 데드락 탐지(Chandy-Misra-Haas)까지 심층 분석합니다.
CPU 스위칭 비용은 왜 비쌀까요? 캐시 오염, TLB 초기화, 커널 모드, vmstat 튜닝, 그리고 리눅스 커널 내부의 switch_to 매크로까지. 성능 최적화의 끝판왕.
서비스 장애 현장에서 반드시 알아야 할 핵심. '프로세스 안의 스레드'만으로는 부족합니다. 공장과 일꾼 비유, 크롬의 멀티 프로세스 구조, fork()와 pthread, 그리고 그린 스레드와 고루틴까지 심층 분석합니다.
악마(Demon)가 아닙니다. 그리스 신화의 '수호신'입니다. 백그라운드에서 묵묵히 일하는 서버의 영웅들.
chmod 777을 치면 해결된다는 선배의 조언, 사실 엄청 위험한 짓이었습니다. rwx와 숫자의 비밀.
우리가 쓰는 iTerm2는 진짜 터미널이 아닙니다. 가짜(Emulator)입니다. 텔레타이프(TTY) 시절의 유물부터 PTY까지.
쉘은 운영체제의 핵심이 아닙니다. 단지 사용자의 명령을 커널에 전달하는 '메신저'일 뿐입니다. zsh, bash가 하는 진짜 역할.
개발자가 직접 하드디스크를 제어할 수 없습니다. 대신 API를 통해 커널에게 '부탁'해야 합니다. 그 부탁의 정체가 바로 시스템 콜입니다.
개발자가 만든 프로그램이 커널 모드에 진입하려고 하면 CPU가 막아섭니다. 왜 컴퓨터는 모드를 두 개로 나눴을까요?
운영체제라는게 사실 프로그램들의 집합이라면, 그 중에서도 가장 핵심이 되는 녀석은 누구일까요? 항상 메모리에 상주하는 커널의 정체.
OS가 없으면 우리는 하드디스크의 몇 번째 섹터에 0과 1을 써야 할지 직접 계산해야 합니다. 리눅스와 윈도우가 대신 해주는 일들.
양자 컴퓨터가 나오면 암호가 다 뚫린다고? 도대체 '큐비트'가 뭐길래 기존 슈퍼컴퓨터를 장난감으로 만드는 걸까? 0과 1의 중첩을 '미로 찾기'에 비유합니다.
비트코인 채굴기들이 처음엔 그래픽카드(GPU)를 쓰다가 왜 ASIC으로 넘어갔을까? '유연함(FPGA)'과 '극한의 효율(ASIC)'의 대결.
사이버펑크 2077에서 'RTX ON'을 켜는 순간 프레임이 반토막 났습니다. 왜 이렇게 사양을 많이 먹나 했더니, 빛의 알갱이 하나하나를 계산하고 있었습니다.
AI 시대의 금광, 엔비디아 GPU. 도대체 게임용 그래픽카드로 왜 AI를 돌리는 걸까? 단순 노동자(CUDA)와 행렬 계산 천재(Tensor)의 차이로 파헤쳐봤습니다.
내 컴퓨터가 여름만 되면 비행기 이륙 소리를 내는 이유. 선풍기 바람(공랭)과 찬물 샤워(수랭) 중 무엇을 선택해야 할까? 써멀구리스 바르다 망한 경험담.
컴퓨터가 이유 없이 자꾸 재부팅된다면? 저가형 '뻥파워'에 당해본 호갱님의 파워 서플라이 중요성 설파. 심장의 펌프질이 일정해야 사람이(컴퓨터가) 삽니다.
마더보드는 그냥 모든 부품을 꽂는 판때기인 줄 알았습니다. 하지만 '칩셋'이 무엇인지 알고 나서야 왜 비싼 메인보드가 필요한지 깨달았습니다.
딥러닝 모델 학습시키다가 'CUDA Out of Memory' 에러를 보고 좌절한 적 있나요? VRAM과 일반 RAM의 차이를 '요리 재료'에 비유합니다.
CPU를 공짜로 빠르게 만들 수 있다고? 제조사가 정해준 속도를 강제로 뚫어버리는 '오버클럭'의 원리와 내가 CPU를 태워먹을 뻔한 이야기.
