(week07) pintos-project 1

week07 PintOS project 1

pintos-kaist git: https://casys-kaist.github.io/pintos-kaist/

작업 repository: https://github.com/c4fiber/pintos-kaist/branches

• pintos 루트 디렉토리에 환경세팅하기 -> .bashrc에 저장해두면 매번 수행할 필요가 없어진다.
• pintos -- run alarm-multiple > logfile serial 출력을 log로 저장하는 실행 방법
  • 옵션을 추가한다면 – 앞에다가 추가해라 -> –를 기준으로 앞은 옵션, 뒤는 인자로 나뉜다.
• test를 진행할 때 VERBOSE=1 옵션을 추가하면 테스트 진행상황을 볼 수 있다.

1. Alarm clock

2023-09-24-pintos Alarm clock

Threads

2023-09-22-Threads

semaphore, lock, monitor

semaphore, lock, monitor: 2023-09-21-Synchronization

lock(mutex) 와 세마포어 이해하기: 2023-09-25-mutex vs semaphore

interrupt

pintos-interrupt

iret, iretw, iretq가 무엇인가? : assembly - what’s the difference between iret and iretd,iretq? - Stack Overflow

2. priority inversion + priority donation

2023-09-30-linux kernel source 확인하기

2023-09-30-priority inversion

Error handling

2023-09-24-pintos ERROR