Sumários
19 março 2021, 11:00
•
Luís Antunes Veiga
Resource Virtualization – Memory
- virtual memory support in VM
- virtualizing page tables
- shadow page tables
Performance Enhancement and Hardware Support
- overview, reasons for performance degradation
- paravirtualization: Xen
- hardware support for virtualization: Intel VT-x (Vanderpool)
18 março 2021, 17:00
•
Rui António Dos Santos Cruz
Set-up and development of sample pin tools:
- tool to estimate the efficiency of an hypothetical round-robin basic block cache (code cache core component)
- tool to count the number of accesses made to each register by each basic block (register allocator core component)
18 março 2021, 16:00
•
Luís Antunes Veiga
Overview
- system VM environment
- resource control
Resource Virtualization – Processor
- ISA virtualizability
- handling problem instructions
- patching critical instructions
- hybrid VM approach (e.g., VMWare)
18 março 2021, 15:30
•
Rui António Dos Santos Cruz
Set-up and development of sample pin tools:
- tool to estimate the efficiency of an hypothetical round-robin basic block cache (code cache core component)
- tool to count the number of accesses made to each register by each basic block (register allocator core component)
17 março 2021, 18:00
•
Rodrigo Bruno
Set-up and development of sample pin tools:
- tool to estimate the efficiency of a hypothetical round-robin basic block cache (code cache core component)
- tool to count the number of accesses made to each register by each basic block (register allocator core component)
