priority-condvar 테스트가 남았다이번 포스트에서는 Pintos의 우선순위 스케줄링 구현의 마지막 단계인 priority-condvar 및 관련 개념을 다룹니다. 들어가기에 앞서 mutex와 semaphore, condition variable에 대한 포스트를 읽고 와주시기를 권해 드립니다.잠깐, Priority Scheduling에서 Condition Variable은?대략적인 구조는 위와 같으며, 아래가 바로 synch.h에 위치한 컨디션 변수입니다.문제 상황Pintos는 기본적으로 비선점형 FIFO 정책으로 스레드를 처리하도록 되어 있었고, 지금까지 저희는 이를 선점형 우선순위 스케줄링으로 고치고 있었습니다. 다만 synch.c/h의 함수들을 수정하지 않은 채 내버려두고 있었지요. syn..

인트로우선순위 스케줄링에서 중요한 또 다른 개념은 우선순위 역전(inversion)/기부(donation)입니다. 낮은 우선순위 스레드가 높은 우선순위 스레드가 필요로 하는 뮤텍스를 획득하고 오랫동안 놓지 않으면, 높은 우선순위 스레드는 계속 기다려야 하는 우선순위 역전 문제가 발생합니다.이를 해결하기 위해 우선순위 상속 메커니즘이 사용될 수 있습니다. 뮤텍스를 획득한 낮은 우선순위 스레드는 그 뮤텍스를 기다리는 가장 높은 우선순위 스레드의 우선순위를 일시적으로 상속받아 실행됩니다. 뮤텍스를 해제하면 원래의 우선순위로 돌아갑니다.들어가기에 앞서 mutex와 semaphore, condition variable에 대한 포스트를 읽고 와주시기를 권해 드립니다.우선순위 역전아래와 같은 상황을 가정합시다.싱글코..

인트로Pintos 프로젝트 경험을 공유하는 두 번째 글입니다. 이전 글에서 timer_sleep 함수의 Busy Waiting 문제를 해결하고 효율적인 Sleep 메커니즘을 구현하는 '알람 시계' 파트를 다루었습니다. 이번 글에서는 OS의 핵심 기능 중 하나인 스케줄링(Scheduling), 그 중에서도 우선순위 스케줄링(Priority Scheduling)에 대해 이야기하려 합니다.들어가기에 앞서 mutex와 semaphore, condition variable에 대한 포스트를 읽고 와주시기를 권해 드립니다.스케줄링이란?다중 프로그래밍 환경에서 여러 스레드(또는 프로세스)가 동시에 실행될 준비가 되어 있을 때, CPU는 한 번에 하나의 스레드만 실행할 수 있습니다. 이때 어떤 스레드에게 CPU를 할당할..

인트로크래프톤 정글 9주차, Pintos 프로젝트를 진행하며 배우고 느낀 점들을 공유하는 시리즈의 첫 번째 글입니다. Pintos 프로젝트는 이론으로만 배우던 운영체제의 핵심 개념들을 직접 코드로 구현해보면서 깊이 이해할 아주 좋은 기회인데요. 그 첫 번째 파트인 '알람 시계(Alarm Clock)' 구현에 대해 이야기해 보고자 합니다.참고: 저희는 스탠포드대 CS 112/212의 오리지널 Pintos가 아닌, x86-64에 맞춘 Pintos-KAIST로 프로젝트를 수행하고 있으며, 포스트 또한 이를 기준으로 합니다.과제 목표: timer_sleep() 개선저희가 다룰 함수는 devices/timer.c에 정의된 void timer_sleep(int64_t ticks)입니다. 최초로 받았을 당시 기본 구..

시스템 UI나 프레젠테이션에 적합한 SF UI Display OTF입니다. 압축 암호 123

Ubuntu에서도 Windows와 마찬가지로 Firefox Developer Edition을 사용할 수 있으나, 안타깝게도 아래와 같이 .tar.xz 압축 형태로 배포되기에 이를 /opt/firefox 같은 곳에 직접 풀고 데스크톱 엔트리를 작성해야 하는 등 불편한 점이 있었습니다. Windows쪽에 비유하자면 마치 포터블 ZIP 파일을 받아다가 특정 경로에 풀고 바탕화면에 EXE 바로가기를 만드는 것과 같습니다. 이건 설치 자체도 번거롭지만 자동 업데이트가 안된다는 점이 가장 큰 문제입니다.다만 최근에 APT를 통해 설치하는 방법을 찾아내어 포스트로 남깁니다.설치 방법 (APT 패키지 관리자)APT 키 저장 디렉터리 생성sudo install -d -m 0755 /etc/apt/keyringsMozil..

이번 크래프톤 정글 8주차에서 web proxy lab 과제를 수행하면서 C언어로 HTTP 요청과 응답을 파싱해야 했습니다. 다른 언어에서는 라이브러리 한 줄이면 끝날 작업들이 C에서는 왜 이리 어렵고, 버그는 왜 이리 자주 나타나는지 절실히 깨달았습니다. 아마 많은 분들이 비슷한 경험을 하셨거나, 앞으로 겪게 되시리라 생각합니다.그래서 오늘은 C언어에서의 파싱 작업이 왜 유독 까다로운지, 그리고 이 문제를 어떻게 헤쳐나갈 수 있을지에 대한 제 경험과 팁을 공유하고자 합니다.C언어 파싱, 왜 이렇게 어려운 걸까요?'맨손으로 절벽 타기' - 낮은 수준의 문자열 처리: C는 본질적으로 메모리에 직접 공간을 내고, 그 공간을 참조, 연산, 저장하는 것이 전부입니다. 물론 직접 한다는 그 자체가 강력하지만, 이..

키워드: djb2 해시, 해시 + 이중 연결 리스트(LRU), Reader‑Writer Lock, MAX_CACHE_SIZE, MAX_OBJECT_SIZE1. 왜 별도의 캐시가 필요한가?프록시 서버에서 인메모리 캐싱이란? 동일 객체 재요청 시, 오리진 서버를 거치지 않고 바로 메모리에서 제공하는 것입니다.저희 이번 8주차 웹 프록시 랩의 캐싱 부분의 요구조건은 아래와 같습니다.인메모리로 다중 읽기, 단일 쓰기 보장 → 사실상 멀티스레딩 구현이 강제LRU 정책으로 가장 오래된 (또는 지정된 용량을 맞출 때까지) 객체 자동 퇴출제 개인적으로 목표하였던 추가 조건은 아래와 같습니다. 규모가 커져도 빠른 응답을 보장하기 위해 O(1) 탐색응답 헤더까지 통째로 캐시 (재전송 시 완전 동일한 응답 가능하도록)일반적..