pintOS 공부 링크 정리

C 언어

variadic function (가변 인자 함수)
https://en.wikipedia.org/wiki/Variadic_function

Process

---

File descriptor
https://en.wikipedia.org/wiki/File_descriptor

The Linux Kernel labs: Lecture 03 - Processes
https://linux-kernel-labs.github.io/refs/heads/master/so2/lec3-processes.html#context-switching

Virtual Address

pml4
https://blog.xenoscr.net/2021/09/06/Exploring-Virtual-Memory-and-Page-Structures.html

page table terminology on AMD64
https://www.pagetable.com/?p=14

Linux Kernel 관련

---

Linux Kernel Teaching
https://linux-kernel-labs.github.io/refs/heads/master/index.html

Page Tables
https://wiki.osdev.org/Page_Tables

Traps and System Calls in OS
https://www.geeksforgeeks.org/traps-and-system-calls-in-operating-system-os/

• 현재는 system call 발생 시 인터럽트를 발생시키지 않는 다는 점과 연관지어 이해 필요함.

x86-64 아키텍처 관련

---

x86 calling conventions
https://en.wikipedia.org/wiki/X86_calling_conventions#System_V_AMD64_ABI

Detecting Memory (BIOS E820)
https://wiki.osdev.org/Detecting_Memory_(x86)#BIOS_Function:_INT_0x15.2C_EAX_.3D_0xE820

INT 15H, AX=E820H
http://www.uruk.org/orig-grub/mem64mb.html

push rbp를 하지 않는 이유
https://stackoverflow.com/questions/75722486/are-there-different-ways-to-set-rbp-why-does-windows-x64-not-point-rbp-at-a-sav

• 위의 자료와 연관되는 내용은 AMD64 ABI 1.0 – September 26, 2023 – 15:35 p.22 참조

Intel CPU operating modes
https://liujunming.top/2021/12/24/Intel-CPU-operating-modes/

Canonical Addressing
https://m.blog.naver.com/PostView.nhn?isHttpsRedirect=true&blogId=sungkyu89&logNo=80143564253