Leo's Garage

구분MutexSemaphoreSpinLock역할상호 배제 (Mutual Exclusion)자원 개수 제한 + 동기화빠른 상호 배제 (Busy-wait)대기 방식Sleep (Block, Context Switch 발생)Sleep (Block, Context Switch 발생)CPU 점유 (Spin, Context Switch 없음)멀티코어 적합성 코어 간 경쟁 발생 시 지연시간 증가제한된 자원 관리 시 유용멀티코어에서 짧은 보호구역에 적합실시간성우선순위 역전(Priority Inversion) 위험지연 발생 가능, 예측성 낮음짧고 결정적인 시간 내 Lock/Unlock사용 예시장시간 접근 필요 자원 (ex. 설정 데이터)Buffer, Queue, Rate Control인터럽트 핸들러, 짧은 크리티컬 섹션우..

Date: 04/21/2025=================Student: Dawoon KimTopic: Train Company Offers 100-Day Trip Around the World https://engoo.com/app/daily-news/article/train-company-offers-100-day-trip-around-the-world/8yMBdhciEfCVL_tJij2e2gSentence Construction:X Some people who believe in Christians. >> Some people who are Christianity.X He hold Bibles. >> He was holding a Bible.X He asked me are you Christia..

느낀점현재 보고 싶은 논문이 있는데, 해당 논문에 나온 몇 가지 개념들을 익히기 위해서 이 논문을 리뷰하고 있다. 문제 정의나 해결하는 방법에 대해서는 큰 어려움없이 쉽게 읽히고 이해가 간다. Problem Statement실시간 시스템에서 공통적으로 사용되는 동기화 방식(세마포어, 모니터 등)은 Priority Inversion(우선순위 역전) 문제를 유발할 수 있다특히, High Priority Task가 Low Priority Task에 의해 Blocking되는 상황 발생기존 연구에서는 Deadlock 방지가 미흡했고, Blocking 시간의 Worst-Case 분석이 어려웠다. 목표: 실시간성 보장을 해치지 않으면서, 우선순위 역전 문제와 Deadlock을 해결할 수 있는 효율적이고 분석 가능한 ..