락 경합 (Lock Contention) 1. 개요 락 경합(Lock Contention)이란 멀티스레드 환경에서 여러 스레드가 동일한 공유 자원에 접근하기 위해 하나의 락(Lock, 상호 배제 메커니즘)을 동시에 획득하려고 시도할 때 발생하는 충돌 현상을 의미한다. 락은 데이터의 일관성을 유지하기 위해 필수적이지만, 경합이 심화될수록 스레드들이 락 획득을…
검색 결과
"캐시 일관성 프로토콜"에 대한 검색 결과 (총 4개)
정형 검증 (Formal Verification) 1. 개요 정형 검증(Formal Verification)이란 수학적 모델과 논리적 추론을 사용하여 소프트웨어나 하드웨어 시스템이 설계 명세(Specification)를 엄격하게 준수하는지를 증명하는 소프트웨어 공학 기법이다. 일반적인 소프트웨어 테스트(Testing)가 특정 입력값의 집합을 선택해 실행 결…
Write-back (지연 쓰기) 1. 개요 Write-back(지연 쓰기)은 데이터를 저장할 때 메인 메모리나 하위 저장소에 즉시 기록하지 않고, 먼저 캐시(Cache)에만 기록한 뒤 특정 시점에 일괄적으로 반영하는 캐싱 전략이다. 이 방식은 쓰기 작업의 빈도가 높을 때 발생하는 I/O 병목 현상을 줄여 시스템의 전반적인 응답 속도를 향상시키는 데 목적이…
공유 메모리 시스템 (Shared Memory System) 1. 개요 공유 메모리 시스템은 여러 개의 프로세서나 독립적인 프로세스들이 하나의 공통된 물리적 메모리 주소 공간을 공유하여 데이터를 읽고 쓸 수 있도록 설계된 컴퓨터 메모리 아키텍처이다. 이 시스템의 핵심 목적은 프로세스 간 통신(IPC, Inter-Process Communication) 시 …