Relational Systems
데이터의 무결성과 일관성을 보장하는 관계형 모델, SQL 표준, 트랜잭션 보호 기법을 다루는 학습 노드입니다.
용어19
systems
이 용어로 연결된 기록을 섹션별로 살펴봅니다.
Storage Systems & Hardware Interfacing
파일 시스템의 내부 구조, 블록 저장소의 물리적 배치, 그리고 NVMe/SSD 등 현대 저장 장치의 하드웨어 인터페이스 기술을 다루는 학습 노드입니다.
Operating Systems & System Mechanics
커널 메커니즘, 가상화, 시스템 자원 관리 및 성능 최적화를 다루는 학습 노드입니다.
Virtual Memory & Paging
각 프로세스에게 독립적이고 거대한 메모리 공간의 환상을 제공하는 가상 주소 체계와, 이를 물리 메모리에 조각내어 사상하는 페이징 하드웨어의 작동 원리를 다루는 학습 노드입니다.
Storage & I-O Mechanics
데이터를 영구적으로 보존하기 위한 파일 시스템 아키텍처와 저장 장치의 물리적 비휘발성 제어 기술을 다루는 학습 노드입니다.
Language Theory & Type Systems
언어의 문법 구조를 정의하는 구문론과 의미를 부여하는 의미론, 그리고 안전성을 담보하는 타입 이론의 기초를 다루는 학습 노드입니다.
타입 시스템과 정적 분석 (Type Systems & Static Analysis)
타입 시스템과 정적 분석이 실행 전 프로그램 성질을 검증하는 방식을 정리한 언어 이론 학습 노드입니다.