락 경합 (Lock Contention) 1. 개요 락 경합(Lock Contention)이란 멀티스레드 환경에서 여러 스레드가 동일한 공유 자원에 접근하기 위해 하나의 락(Lock, 상호 배제 메커니즘)을 동시에 획득하려고 시도할 때 발생하는 충돌 현상을 의미한다. 락은 데이터의 일관성을 유지하기 위해 필수적이지만, 경합이 심화될수록 스레드들이 락 획득을…
검색 결과
"캐시 일관성"에 대한 검색 결과 (총 9개)
AMD EPYC Genoa AMD EPYC Genoa는 AMD(Advanced Micro Devices)가 2022년 11월에 출시한 제3세대 EPYC 서버 프로세서 라인업의 코드명입니다. 이 프로세서는 AMD의 차세대 Zen 4 마이크로아키텍처를 기반으로 하며, AM5 소켓을 사용하여 데스크톱 및 서버 플랫폼 간의 아키텍처 통합을 이루었습니다. Genoa…
정형 검증 (Formal Verification) 1. 개요 정형 검증(Formal Verification)이란 수학적 모델과 논리적 추론을 사용하여 소프트웨어나 하드웨어 시스템이 설계 명세(Specification)를 엄격하게 준수하는지를 증명하는 소프트웨어 공학 기법이다. 일반적인 소프트웨어 테스트(Testing)가 특정 입력값의 집합을 선택해 실행 결…
멀티스레 개요 멀티스레(Multithreading은 하나의 프로스 내에서 여러의 스레드)를 동시에 실행하여로그램의 성과 반응성을상시키는 병렬팅 기법입니다 각 스레드 독립적인 실행 흐을 가지며, 프로세스의모리 공간과원을 공유으로써 효율적인 공유와 통신 가능합니다. 멀스레딩은 현 소프트웨어 개발에서 매우 중요한 개념으로, 특히 다중 코어 프로세서 환경에서 성능…
서버 캐시 (Server Cache) 서버 캐시는 자주 요청되는 데이터나 계산 비용이 높은 결과물을 고속 접근이 가능한 임시 저장소에 보관하여, 동일한 요청 시 원본 데이터 소스(DB, API 등)에 접근하지 않고 빠르게 응답을 제공하는 기술이다. 목차 1. 개요 2. 캐시 계층 구조 (Caching Layers) 3. 로컬 캐시 vs 글로벌 캐시 4. 캐…
캐시 무효화 (Cache Invalidation) 1. 개요 캐시 무효화(Cache Invalidation)란 캐시에 저장된 데이터가 원본 데이터(Source of Truth)의 변경으로 인해 더 이상 유효하지 않게 되었을 때, 이를 삭제하거나 최신 상태로 갱신하여 데이터의 일관성을 유지하는 프로세스 및 전략을 의미한다. 컴퓨터 과학에서는 "캐시 무효화와 …
Write-back (지연 쓰기) 1. 개요 Write-back(지연 쓰기)은 데이터를 저장할 때 메인 메모리나 하위 저장소에 즉시 기록하지 않고, 먼저 캐시(Cache)에만 기록한 뒤 특정 시점에 일괄적으로 반영하는 캐싱 전략이다. 이 방식은 쓰기 작업의 빈도가 높을 때 발생하는 I/O 병목 현상을 줄여 시스템의 전반적인 응답 속도를 향상시키는 데 목적이…
공유 메모리 시스템 (Shared Memory System) 1. 개요 공유 메모리 시스템은 여러 개의 프로세서나 독립적인 프로세스들이 하나의 공통된 물리적 메모리 주소 공간을 공유하여 데이터를 읽고 쓸 수 있도록 설계된 컴퓨터 메모리 아키텍처이다. 이 시스템의 핵심 목적은 프로세스 간 통신(IPC, Inter-Process Communication) 시 …
캐시 계층화 개요 캐시 계층화(Cache Hierarchization)는 소프트웨어 아키텍처에서 성능 최적화를 위해 캐시를 여러 계층(Layer)으로 구성하여 데이터 접근 속도를 극대화하는 전략입니다. 시스템의 성능은 주로 데이터 접근 지연 시간(Latency)과 대역폭(Bandwidth)에 의해 결정되며, 캐시 계층화는 이러한 제약을 완화하기 위해 고안된…