https://hojoon.me/categories/computer-science/Recent content in Computer Science on Hojoon KimHugo -- 0.146.0enSun, 10 Dec 2023 00:00:00 +0000https://hojoon.me/posts/cs330/10-ffs-crash-consistency/Sun, 10 Dec 2023 00:00:00 +0000https://hojoon.me/posts/cs330/10-ffs-crash-consistency/VSFS의 성능 문제를 해결하는 FFS(Fast File System), 그리고 시스템 크래시 시 파일 시스템 일관성을 보장하는 Journaling 기법을 다룹니다.https://hojoon.me/posts/cs330/9-storage-file-system/Sat, 09 Dec 2023 00:00:00 +0000https://hojoon.me/posts/cs330/9-storage-file-system/HDD와 SSD의 동작 원리, I/O 스케줄링, 그리고 파일 시스템의 구조(Inode, 디렉토리, VSFS)를 정리합니다.https://hojoon.me/posts/cs330/8-concurrency-bugs-deadlock/Fri, 08 Dec 2023 00:00:00 +0000https://hojoon.me/posts/cs330/8-concurrency-bugs-deadlock/Atomicity violation, Order violation 등 동시성 버그의 유형과 교착 상태(Deadlock)의 4가지 조건, 예방·회피·탐지 전략을 정리합니다.https://hojoon.me/posts/cs330/7-locks-condition-variables/Thu, 07 Dec 2023 00:00:00 +0000https://hojoon.me/posts/cs330/7-locks-condition-variables/Race condition과 Critical section 문제부터 Lock 구현(Test-And-Set, Compare-And-Swap), Condition Variable, Semaphore까지 동기화 메커니즘을 정리합니다.https://hojoon.me/posts/cs330/6-swapping-page-replacement/Wed, 06 Dec 2023 00:00:00 +0000https://hojoon.me/posts/cs330/6-swapping-page-replacement/물리 메모리보다 큰 가상 메모리를 지원하는 스와핑, 다양한 페이지 교체 알고리즘(OPT, FIFO, LRU, Clock), 그리고 메모리 매핑(mmap)을 다룹니다.https://hojoon.me/posts/cs330/5-paging-tlb/Tue, 05 Dec 2023 00:00:00 +0000https://hojoon.me/posts/cs330/5-paging-tlb/세그멘테이션의 한계를 극복하는 페이징 기법, 페이지 테이블 구조, TLB 캐시, 그리고 멀티레벨 페이지 테이블까지 정리합니다.https://hojoon.me/posts/cs330/4-virtual-memory-address-translation/Mon, 04 Dec 2023 00:00:00 +0000https://hojoon.me/posts/cs330/4-virtual-memory-address-translation/가상 메모리의 개념과 목표, 정적/동적 재배치, Base and Bounds, 세그멘테이션까지 주소 변환의 발전 과정을 살펴봅니다.https://hojoon.me/posts/cs330/3-thread-scheduling/Sun, 03 Dec 2023 00:00:00 +0000https://hojoon.me/posts/cs330/3-thread-scheduling/스레드의 개념과 다양한 스레딩 모델(1:1, N:1, M:N), 그리고 CPU 스케줄링 알고리즘(FIFO, SJF, STCF, Round Robin)을 비교합니다.https://hojoon.me/posts/cs330/2-interrupt-syscall-process/Sat, 02 Dec 2023 00:00:00 +0000https://hojoon.me/posts/cs330/2-interrupt-syscall-process/하드웨어 인터럽트와 소프트웨어 트랩의 차이, 시스템 콜의 동작 원리, 그리고 프로세스의 개념과 생명주기를 다룹니다.https://hojoon.me/posts/cs330/1-os-intro-kernel-protection/Fri, 01 Dec 2023 00:00:00 +0000https://hojoon.me/posts/cs330/1-os-intro-kernel-protection/운영체제가 무엇인지, 왜 커널 보호가 필요한지, 그리고 이중 모드(Dual Mode)를 통한 보호 메커니즘까지 정리합니다.https://hojoon.me/posts/cs320/7-garbage-collection/Tue, 13 Jun 2023 00:00:00 +0000https://hojoon.me/posts/cs320/7-garbage-collection/Reference Counting, Mark & Sweep, Two-Space Collection 세 가지 가비지 컬렉션 알고리즘의 원리와 장단점을 비교합니다.https://hojoon.me/posts/cs320/6-lazy-evaluation-and-continuation/Sun, 11 Jun 2023 00:00:00 +0000https://hojoon.me/posts/cs320/6-lazy-evaluation-and-continuation/지연 평가(Lazy Evaluation)를 지원하는 LFAE와 Continuation Passing Style(CPS)의 개념을 통해 프로그래밍 언어의 제어 흐름을 이해합니다.https://hojoon.me/posts/cs320/5-mutable-state-bfae-mfae/Fri, 09 Jun 2023 00:00:00 +0000https://hojoon.me/posts/cs320/5-mutable-state-bfae-mfae/Box를 통한 힙 메모리 모델(BFAE)과 가변 변수(MFAE)를 도입하며, Store를 이용한 상태 관리 인터프리터를 구현합니다.https://hojoon.me/posts/cs311/8-gpu-cuda/Thu, 08 Jun 2023 00:00:00 +0000https://hojoon.me/posts/cs311/8-gpu-cuda/CPU/GPU 용어 정리, Hardware Multi-Threading(SMT)부터 GPU 아키텍처(SP, SM), CUDA 프로그래밍과 Tiled Matrix Multiplication까지 정리합니다.https://hojoon.me/posts/cs311/7-ilp-multiprocessor/Wed, 07 Jun 2023 00:00:00 +0000https://hojoon.me/posts/cs311/7-ilp-multiprocessor/VLIW와 Superscalar를 통한 명령어 수준 병렬성(ILP)부터 멀티프로세서의 캐시 일관성, 동기화 메커니즘까지 정리합니다.https://hojoon.me/posts/cs320/4-recursion-rfae/Wed, 07 Jun 2023 00:00:00 +0000https://hojoon.me/posts/cs320/4-recursion-rfae/조건 분기(if0)와 재귀 함수(Rec)를 지원하는 RFAE 언어를 설계하고, mkRec 패턴과 var 키워드를 이용한 재귀 구현 기법을 살펴봅니다.https://hojoon.me/posts/cs311/6-cache-virtual-memory/Tue, 06 Jun 2023 00:00:00 +0000https://hojoon.me/posts/cs311/6-cache-virtual-memory/캐시 메모리의 구조(Direct Mapped, Set Associative)와 성능 분석, 그리고 가상 메모리의 주소 변환, 페이지 테이블, TLB를 정리합니다.https://hojoon.me/posts/cs311/5-pipeline-hazards/Mon, 05 Jun 2023 00:00:00 +0000https://hojoon.me/posts/cs311/5-pipeline-hazards/5단계 파이프라인 설계, SC vs Pipeline 비교, 그리고 구조적/데이터/제어 해저드와 그 해결책(포워딩, 스톨, 분기 예측)을 정리합니다.https://hojoon.me/posts/cs320/3-functions-f1vae-to-fae/Mon, 05 Jun 2023 00:00:00 +0000https://hojoon.me/posts/cs320/3-functions-f1vae-to-fae/일급이 아닌 함수(F1VAE)에서 일급 함수와 클로저(FVAE, FAE)까지 발전하는 과정과 Static/Dynamic Scope의 차이를 살펴봅니다.https://hojoon.me/posts/cs311/4-single-cycle-processor/Sun, 04 Jun 2023 00:00:00 +0000https://hojoon.me/posts/cs311/4-single-cycle-processor/MIPS 단일 사이클 프로세서의 데이터패스 요소, 제어 유닛, ALU 제어 유닛 설계와 전체 프로세서 회로를 정리합니다.https://hojoon.me/posts/cs311/3-isa-mips/Sat, 03 Jun 2023 00:00:00 +0000https://hojoon.me/posts/cs311/3-isa-mips/ISA의 개념부터 MIPS-32의 명령어 형식(R/I/J), 핵심 명령어, 레지스터 규약, 프로시저 호출, 메모리 레이아웃까지 정리합니다.https://hojoon.me/posts/cs320/2-ae-and-vae/Sat, 03 Jun 2023 00:00:00 +0000https://hojoon.me/posts/cs320/2-ae-and-vae/가장 단순한 산술식 언어(AE)부터 변수 바인딩을 지원하는 VAE까지, 인터프리터를 단계적으로 확장하며 프로그래밍 언어의 기초를 쌓습니다.https://hojoon.me/posts/cs311/2-memory-performance/Fri, 02 Jun 2023 00:00:00 +0000https://hojoon.me/posts/cs311/2-memory-performance/SRAM과 DRAM의 구조, 2차원 주소 디코딩부터 CPU 성능 평가(CPU Time, CPI, Amdahl’s Law)와 전력 소비까지 정리합니다.https://hojoon.me/posts/cs311/1-digital-logic/Thu, 01 Jun 2023 00:00:00 +0000https://hojoon.me/posts/cs311/1-digital-logic/Boolean 대수와 조합 논리 회로(가산기, 디코더, MUX)부터 순차 논리(래치, 플립플롭, 레지스터)까지, 디지털 논리의 핵심을 정리합니다.https://hojoon.me/posts/cs320/1-scala-basics-and-program-design/Thu, 01 Jun 2023 00:00:00 +0000https://hojoon.me/posts/cs320/1-scala-basics-and-program-design/Scala의 Trait, Class, Case Class 차이점과 프로그래밍 언어를 설계하는 체계적인 방법론(Syntax, Semantics)을 정리합니다.https://hojoon.me/posts/cs230/1-data-representation/Thu, 15 Dec 2022 00:00:00 +0000https://hojoon.me/posts/cs230/1-data-representation/컴퓨터가 데이터를 표현하는 방법을 다룹니다. ASCII/Unicode 문자 인코딩부터 정수의 비트 표현(2의 보수), 부동소수점(IEEE 754)까지 정리합니다.https://hojoon.me/posts/cs230/2-machine-basics/Thu, 15 Dec 2022 00:00:00 +0000https://hojoon.me/posts/cs230/2-machine-basics/C 코드가 어셈블리와 기계어로 변환되는 과정, x86-64 레지스터, mov/leaq 명령어, 조건 분기와 반복문의 어셈블리 구현을 다룹니다.https://hojoon.me/posts/cs230/3-machine-advanced/Thu, 15 Dec 2022 00:00:00 +0000https://hojoon.me/posts/cs230/3-machine-advanced/함수 호출의 어셈블리 구현(스택 프레임, caller/callee-saved), 배열과 구조체의 메모리 배치, 버퍼 오버플로 공격과 방어를 다룹니다.https://hojoon.me/posts/cs230/4-linking-ecf/Thu, 15 Dec 2022 00:00:00 +0000https://hojoon.me/posts/cs230/4-linking-ecf/링커의 역할(심볼 해석, 재배치), 예외 제어 흐름(Exceptions, Process, Signals), 시스템 콜과 프로세스 관리를 다룹니다.https://hojoon.me/posts/cs230/5-vm-malloc/Thu, 15 Dec 2022 00:00:00 +0000https://hojoon.me/posts/cs230/5-vm-malloc/가상 메모리의 원리(페이지 테이블, 주소 변환, TLB), 동적 메모리 할당(malloc/free, implicit free list, fragmentation)을 다룹니다.https://hojoon.me/posts/cs230/6-io-network-concurrency/Thu, 15 Dec 2022 00:00:00 +0000https://hojoon.me/posts/cs230/6-io-network-concurrency/Unix I/O(파일 디스크립터, RIO), 네트워크 프로그래밍(소켓, HTTP), 동시성 프로그래밍(프로세스, 스레드, 동기화)을 다룹니다.