들어가면서

특별한 공지가 없으면 여기서 소개되는 정보는 Xen/unstable(x86)에서 참고한것이다.

 

 

Guest interface to Xen memory management

 

 

Start of day

At the StartOfDay (when a guest domain has just started), the Xen hypervisor passes a pointer to a start_info_t structure. This contains an initial page directory address (pt_base) and an address to the PhysicalAddress to MachineAddress translation (mfn_list).

 

 

Physical memory handed to the domain

 

 

PageTable 업데이트

이부분에서 불명확한 부분과 에러를 수정해줄분 없나요? // SimonKagstrom

애플리케이션에서 공유라이브러리, 물리메모리에 매핑되지 않은 애플리게이션의 코드와 같이, 애플리케이션에서 매핑되지 않아서 페이지폴트가 발생할수 있을거라 가정한다.
We assume that an application causes a page fault on e.g., code in a shared library, i.e. code that is in physical memory but not mapped to the application. We'll assume that the page directory exists, but does not have a page table or a page mapped for the faulting virtual address. The following will then happen (the steps are outlined in the figure below):

1. Page Fault가 발생하면 XEN이 인터럽트되고 게스트의 Trap Table을 통해서 인터럽트를 전달한다(HYPERVISOR_set_trap_table()을 통해서 등록된). Guest는 이후에 애플리케이션에 페이지를 맵하기 위해서 물리페이지를 찾을 것이다.

   Xen receives the page fault and delivers it to the guest through the trap table (installed by HYPERVISOR_set_trap_table()). The guest will thereafter lookup a physical page to map into the application.

          page_fault_handler(virt_addr) {
            ...
            pgdir_entry = virt_to_pgdir(virt_addr);
            pgtab_entry = virt_to_pgtab(virt_addr);
            phys_page = virt_to_phys(virt_addr);
            ...
          
          

2. Guest는 Page Directory를 찾고 해당주소에 매핑된 페이지테이블이 없는 것을 알것이다. The guest looks up the page directory and finds that there exists no mapping (to a page table) for that address.

3. 새로운 페이지를 얻기위해 Guest는 다음과 같은 동작을 취할것이다. To get a new page table page, the guest will

• 페이지테이블을 위해서 새로운 페이지를 구한다. Get a new page (get_page()) for the page table

• M2P변환테이블을 통하여 머신물리주소를 가상물리주소로 변환한다. Translate the pseudo-physical address of the page to a machine address through the machine->physical translation table, e.g.,

          pgtab = get_page();
          pgtab_mach_addr = machine_to_physical(pgtab);
          
          

4. 게스트는 HYPERVISOR_MMU_update()를 통해 게스트의 페이지디렉토리에 머신페이지테이블의 페이지의 머신물리주소를 넣는다. The guest inserts the machine address of the page table page into the page directory through HYPERVISOR_MMU_update(), i.e., something like (simplified syntax)

          HYPERVISOR_mmu_update(pgdir_entry | MMU_NORMAL_PT_UPDATE, pgtab_mach_addr | PGTAB_PROTECTION, ...);
          
          

(페이지테이블은 접근가능하다 the page table page is now accessible)

5. The guest must then instruct Xen to pin this page as a page table page (simplified syntax): <-- 해석요망!!

          HYPERVISOR_mmuext_op(MMUEXT_PIN_L2_TABLE, pgtab_mach_addr, ...);
          
          

6. 끝으로 게스트는 물리페이지를 페이지테이블에 맵할것이다. Finally the guest will map the physical page into the page table

          phys_page_mach_addr = machine_to_physical(phys_page);    
          
          

Pinning pages

Sharing pages with other domains