다락방

Introduction · GitBook Introduction · GitBook Project2: User Programs Now that you've worked with Pintos and are becoming familiar with its infrastructure and thread package, it's time to start working on the parts of the system that allow running user programs. The base code already supports loading casys-kaist.github.io Instruction Source Files process.c, process.h ELF 바이너리(=ELF 실행파일)들을 로드하고 프..

Project1. Thread https://github.com/jaenam615/pintos-kaist GitHub - jaenam615/pintos-kaist: 크래프톤 정글 4기 pintOS과제 Project 1 & 2 크래프톤 정글 4기 pintOS과제 Project 1 & 2. Contribute to jaenam615/pintos-kaist development by creating an account on GitHub. github.com Krafton Jungle Week 7 Team 6 WIL Project 1 Thread : Alarm Clock ~ Priority Scheduling(WIP) 느낀점 일단 너무 어려웠던 프로젝트1이 끝이났다. 사실 코치님은 1,2 는 할만하고 3이 진짜..

운영체제 13. 빈공간 관리 빈공간 관리는 관리하고 있는 공간이 고정 크기의 단위로 나누어져 있는 경우 쉽다. 그런 경우 고정 크기 단위의 리스트를 유지하면 된다. 클라이언트가 그 중 하나를 요청하면 첫 번째 항목을 반환하면 된다. 빈공간 관리가 더 어렵고 흥미로운 경우는 관리하는 공간이 가변 크기 빈 공간들의 집합으로 구성되어 있는 경우다. 이 경우 malloc()과 free()에서 처럼 사용자 수준 메모리 할당 라이브러리에서 그리고 세그멘테이션으로 물리 메모리를 관리하는 운영체제에서 발생한다. 어느 경우에도 외부 단편화가 존재한다. 13.1 가정 malloc()과 free()에서 제공하는 것과 같은 기본 인터페이스를 가정한다. 이 라이브러리가 관리하는 공간은 역사적으로 힙으로 불리며, 힙의 빈공간을 ..

운영체제 12. 세그멘테이션 스택과 힙 사이의 공간은 사용되지 않더라도 주소 공간을 물리메모리에 재배치 할 때 물리 메모리를 차지한다. 베이스 바운드 레지스터 방식은 메모리 낭비가 심하다. 또한, 주소 공간이 물리 메모리보다 큰 경우 실행이 매우 어렵다. 이런 측면에서 베이스와 바운드 방식은 유연성이 없다. 12.1 세그멘테이션 : 베이스/바운드의 일반화 세그멘테이션 아이디어는 MMU에 하나의 베이스와 바운드 값이 존재하는 것이 아니라 세그멘트마다 베이스와 바운드 값이 존재한다. 세그멘트는 특정 길이를 가지는 연속적인 주소 공간이다. 우리가 기준으로 삼은 주소 공간에는 코드, 스택, 힙의 세 종류의 세그멘트가 있다. 세그멘테이션을 사용하면 운영체제는 각 세그멘트를 물리 메모리의 각기 다른 위치에 배치할 ..

회고 PintOS의 1주차가 끝났다. PintOS는 Project 1,2,3로 나누어져 있다. 1,2 Project는 3주로 구성되어 10일정도로 나누어진다. 그중 7일이 끝났다. 악명이 되게 높았던 PintOS 얼마나 심할까 심할까 생각했지만 정말 많이 어려웠다. 느낀점은 뒤에 더 이어서 쓰도록 하겠다. KPT 회고 Keep, Problem, Try의 약자로 Keep은 잘 한 것, Problem은 아쉬운 것, Try는 K와 P기반으로 무엇을 할지에 대해 작성하는 방법이다. K : 잘 해와서 유지하고 싶은 것 P : 어려움을 느껴서 개선하고 싶은 것 T : 구체적인 시도할 내용 프로젝트 설명 PintOS의 Project1 thread 10일중 1주 정도이다. thread와 스케줄링에 관한 많은 부분을 구..

운영체제 11. 주소변환의 원리 메모리 가상화는 가상화를 제공하는 동시에 효율성과 제어 모두를 추구한다. 효율성을 높이려면 하드웨어 지원을 활용할 수 밖에 없다. 제어는 응용 프로그램이 자기 자신의 메모리 이외에는 다른 메모리에 접근하지 못한다는 것을 운영체제가 보장하는 것을 의미한다. 유연성 측면에서 프로그래머가 원하는대로 주소공간을 사용하고 프로그래밍 하기 쉬운 시스템을 만들기를 원한다. 주소변환(Address translation)을 통해 하드웨어는 명령어 반입, 탑재, 저장 등의 가상주소를 정보가 실제 존재하는 물리주소로 변환한다. 프로그램의 모든 메모리 참조를 실제 메모리 위치로 재지정하기 위하여 하드웨어가 주소를 변환한다. 운영체제는 메모리의 빈 공간과 사용중인 공간을 항상 알고 있어야 하고,..

CoffeeChat 18.04 버전을 사용해서 PintOS를 배우는 이유 개발 환경상 버전에 따라서 작동하는 방식이 조금씩 달라진다. Pair Programming을 필수적으로 해라. 이합집산을 잘하고, 팀마다 어떻게 할지 잘 생각해서 정해라. 구현을 우선으로 진행하고, 팀마다 맞는 상황으로 진행해라 전체 맥락을 이해하는 것이 중요하다. 얼마나 깊게 파야하는지? 이번 기회에 적당히 깊게 파는것은 괜찮아보인다. 하지만 너무 깊게 파고 들어가지말고 정도를 정해놓아라. 과거에는 빅뱅까지 갔던 사람도 있었다. PintOS를 볼 때 어느정도는 짤라서 봐야할 때가 있다. 코드가 크기 때문에 파다보면 길을 잃을수도 있다. Appstraction에서 바라봐라 디자인 설계 추상화들의 인터랙티브를 먼저 보고, 디테일을 그..

운영체제 5. 스케줄링 : 개요 5.1 워크로드에 대한 가정 프로세스가 동작하는 일련의 행위를 워크로드(Work load)라 한다. 워크로드에 대한 이해도가 높을수록 그에 최적화된 스케줄링 정책을 정교하게 개발할 수 있다. 우리는 시스템에서 실행 중인 프로세스 혹은 작업(job)에 대해 다음과 같은 가정을 한다 모든 작업은 같은 시간동안 실행된다. 모든 작업은 동시에 도착한다. 작업은 일단 시작하면 최종적으로 종료될 때 까지 실행된다. 모든 작업은 CPU만 사용한다.(즉, 입출력을 수행하지 않는다.) 각 작업의 실행시간은 사전에 알려져 있다. 5.2 스케줄링 평가 항목 스케줄링 정책의 평가를 위해 스케줄링 평가항목(Scheduling metric)을 결정해야 한다. 반환시간은 (turnaround tim..

Project 1 init.c , init.h 커널 초기화 main() 함수가 존재한다. main()에서 무엇이 초기화 되는지 확인해야 한다. 여기에 자신만의 초기화 코드를 추가할 수도 있다. thread.c, thread.h 기본 쓰레드 작업의 대부분이 이러한 파일에서 수행 thread.h는 4개의 프로젝트 모두에서 수정할 가능성이 있는 구조 쓰레드를 정의한다. synch.c, synch.h 기본 동기화 기본요소 : 세마포어, 잠금, 조건 변수 및 Optimization barriers 4개 프로젝트 모두에서 동기화를 위해 이를 사용해야 한다. timer.c, timer.h 기본적으로 초당 100회씩 똑딱거리는 시스템 타이머다. 이 프로젝트에서 이 코드를 수정한다. pit.c, pit.h 8254 프로..

Semaphore/Mutex 프로세스 간 메시지를 전송하거나, 공유메모리를 통해 공유된 여러 개의 프로세스가 동시에 접근하면 Cirtical section 문제가 발생 할 수 있다. 이를 해결하기 위해 데이터를 한 번에 하나의 프로세스만 접근할 수 있도록 제한을 두는 동기화 방식을 취해야 한다. 동기화 도구에는 대표적으로 뮤텍스와 세마포어가 있다. 세마포어_Semaphore 공유된 자원의 데이터 혹은 임계영역(Critical section)등에 여러 프로세스 혹은 쓰레드가 접근하는 것을 막아준다. 사용하고 있는 쓰레드/프로세스의 수를 공통으로 관리하는 하나의 값을 이용해 상호배제를 달성한다. 공유 자원에 접근할 수 있는 프로세스/쓰레드의 최대 허용치만큼 동시에 사용자가 접근할 수 있으며, 각 프로세스는 ..