어제 보다 나은 오늘

본문 바로가기

Career ☺️

최신글

[WEEK9] 면역력이 떨어져도 🤔회고실습이 필요한 이유분명 하루종일 개념 공부를 했는데, 휘발되고 있다. 그리고 핀토스 구현 명세를 보고 있는데, 이러한 세팅과 로직이 필요하구나를 새롭게 깨닫고 있다. 실습은 메타 인지를(무엇을 알고 모르는지) 쉽게 가질 수 있게 해주는 것 같다. 정글을 수료하고 나서도 적절히 실습 과제를 찾아보면 좋을 것 같다. 팀원과 함께 가기어서 진도를 빼야한다는 생각에 폭주(?)하고 있다. 방대한 자료들을 읽고 이해가 안되는 부분들은 물음표로 남겨둔채 빠르게 지식을 주입하고 있다. 그 덕에 5시간짜리 OS 강의, OSTEP, Introdction, 한양대자료, KAIST 강의까지 봐야할 자료들을 사실 하루만에 다 섭렵했다. 그리고 오늘 점심 먹고부터 팀활동을 시작하고, 저녁에는 구현을 시작해볼 수 있었다. .. 2024.10.15
[PintOS 3-2] Anonymous Page KAIST PintOS gitbbok guide you will implement the non-disk based image called anonymous page. 이번 과제는 사실 Demand Page (= Lazy Load) 구현이 핵심이라고 생각한다. 그때 페이지 타입 간의 차이 (UNINIT, ANON, (Project 3-3 예정)FILE) 을 구분하는건 덤이고. 가상 주소 단위인 Page는 다음과 같은 생애 주기를 갖고, 이번 과제에서는 Lazy Load, 그리고 VM_ANON 한해서 swap in을 잠깐 맛보았다. Demand Page 사전 지식 (코드편) 기능 흐름도프로그램 실행 시, 이전 Project와 달리 프로그램 전체를 즉시 로드하지 않고, 지연한다.이때 Page 단위로 쪼개어 .. 2024.10.14
[PintOS 3-1] Memory Management KAIST PintOS gitbook guideIn order to support your virtual memory system, you need to effectively manage virtual pages and physical frames 이번 과제에서는 복잡한 페이지 처리에 필요한 정보를 담는 자료구조 supplemental page table, frame table를 정의 [궁금증]Q. 그럼, PTE present bit로는 부족해서 SPT swap 여부를 저장하는 이유가 뭐야?A. PTE는 페이지가 물리 메모리에 있는지, 없는지 정보만 제공. OS는 페이지가 스왑 영역에 있을 경우 위치 정보 등의 메타 데이터가 필요 [주의사항]PML4는 HW / SPT, Frame Page Table는 O.. 2024.10.14
[OS] PML4 이해하기 (w. PintOS) Page Table을 이용해 가상 주소로 물리 주소를 변환하는 과정을 학습했다는 전제하에 글이 작성되었습니다.Multi-Level Page Table 등장 배경단일 레벨 페이지 테이블의 경우 거대한 연속된 페이지 테이블이 필요. 미사용 PTE가 존재할텐데, 메모리 낭비 발생Multi-Level PT : 필요한 부분만 테이블 생성. Outer PT만 커널에 유지하고 나머지 하위단계 PT는 필요 시 생성 이때, 자료구조는? radix-tree page tablesparse한 physcal memory 사용 시 적은 메모리 사용으로 표현 가능Challenge 💪 vs hashed page table [출처] PML4 구현 in PintOS 사전 지식; 매크로[비트 연산: right shift] 하위 몇 b.. 2024.10.14
[OS] Virtual Memory 역할, 주소 변환 [참고자료] CS:APP 9장영상 : https://www.youtube.com/watch?v=Fg00LN30Ezg&t=1182s블로그 : https://charles098.tistory.com/101 VM 역할 및 장점 1. 캐싱CPU는 메인 메모리를 디스크에 저장된 주소공간에 대한 캐시로 취급해서 메인 메모리 내 활성화 영역만 유지 (CS:APP 772p) [궁금증] 캐싱 저장장치가 아닌데, 왜 그렇게 표현하는걸까?[해결]캐싱? 원본을 접근하는 시간이 오래 걸리는 경우, 가까운 임시 저장소에 저장 후 시간 절약하는 기법CPU ~ Disk 거리가 너무 멀어서 사이에 여러 개의 기억 장치(ex. DRAM(메인 메모리))가 존재함. CPU는 필요한 데이터를 메모리에 요청하고, 없으면 OS가 데이터를 디스크.. 2024.10.14
[OS] QnA로 알아보는 Virtual Memory 목표 : QnA를 통한 개념 부족한 곳 채우기 (질문 리스트는 OSTEP 발췌 및 개인적인 궁금증) 틀린 부분 피드백은 언제든 환영 🙌 Q. 해당 노트북 사양을 분석하시오. - 프로세스당 가상 주소 공간 최대 크기- 물리 주소 크기(유사 질문)Q. 가상주소를 맵핑하는 물리주소는 어떤 HW를 지칭하는 걸까? RAM? Disk? 더보기1-bit 는 0 / 1, 총 2개의 주소를 표현할 수 있다. n-bit 프로세서는 최대 (2^n) 개의 논리 주소 공간을 가질 수 있다. 즉, 64bit는 18.4EB (K 시스템이 물리적으로 사용할 수 있는 메모리 공간은 RAM의 크기로, 8GB하지만, OS의 메모리 사용 및 시스템 예약 메모리 등으로 가용 물리 주소 공간은 7.8G으로 감소했다. Q. 이론적으로는 가상.. 2024.10.09
[OS] Virtual Memory 강의 정리 - 반효경 교수님 (v2017) 강의 출처- A. Silberschatz et al., Operating System Concepts, 9th Edition, John Wiley & Sons, Inc. 2013.- A. Silberschatz et al., Operating System Principles, Wiley Asia Student Edition- 반효경, 운영체제와 " data-og-host="www.kocw.net" data-og-source-url="http://www.kocw.net/home/search/kemView.do?kemId=1226304" data-og-url="http://www.kocw.net/home/cview.do?cid=4b9cd4c7178db077" data-og-image=""> 운영체제- A. .. 2024.10.09
[WEEK8] 100점이 아니어도 괜찮아 🤔회고디깅한다는 건? 이슈를 맞딱드렸을 때 끝까지 파보는 연습? 그럼 저번에 용량 큰 동영상 이슈를 끝까지 파보았어야했나. 과제 끝내니는게 중요한게 아니라면, 이번주차는 어떻게 임해볼까. 문제를 계속 맞딱드려야한다라.. 100점이 아니어도 괜찮아 마의 system call - process fork, wait, exec 구현에 진입해서 멘붕이 왔다. 핀토스 답을 보는게 당연해지고, 포기하는 마음이 들려고 한다. 이러지 않으려고 여기 왔는데, 난이도가 나한테 안 맞다면 나는 어떤 배움의 과정을 가져야 했을까. 어떤 동기는 부족한 개념을 채우기 위해 OS 강의를 보는 선택을 하기도 했다. 후반부가 되자, 나도 남는게 없을 것 같아 해당 파트는 과감히 버리고, 핀토스 수행 과정에서 실제로 궁금했던걸 고민해보았.. 2024.10.08

일상 🌿

티스토리툴바