1 Main monitor loop should compare cycles burned thus far vs
2 cycles requested, so it doesn't keep bopping back and forth
3 between host-kernel and monitor spaces without returning to
6 Fix monPrint and friends.
7 monpanic breaks up into 2 monprints which hit user space twice.
9 Could put the GDT/LDT in linear memory where the guest
12 Synchronize page writes with iCache in bochs.
14 Deal with cycle counts of guest execution in VM, and in
17 Deal with page_usage. How do we update this between timeslices?
18 Do we always clear it? Maybe we should keep a log of things to
19 clear (page_usage, GDT entries, PDE entries, ...) and clear those
20 before returning to user space.
22 GDT entries for guest need to be cleared upon return from guest
23 execution, or just cleared before invocation of the guest.
25 Task segment must be a 32-bit'er.
27 Save/restore floating point state of host/VM.
29 deduct off some cycles for the IRET/int sequence.
31 Conditions for bochs compile using plex86:
32 - Not compiled for debug
34 - Not PCI supported (for now).
36 paging-mon.c: We can eliminate any code other than CPL==3.
38 Fix extra PDBR reload in nexus.S
40 Manipulation/reading of host page tables needs to be SMP/preempt
41 compatible. Need to do spin-lock (big kernel lock for old Linux)
44 ==================== From previous plex86 TODO file ====================
46 This is a list of the major tasks/achievements/milestones yet to-do.
47 We should keep this list prioritized, creating sort of a road map.
48 Hopefully, this will reduce duplicate suggestions on the developers
49 channels, and let people know where we are in the development process.
50 Entries listed first have highest priority.
53 - Fix plex86 on Linux 2.4.x/SMP or with 1P and LAPIC enabled.
55 - Save FPU state on host <--> monitor context switch.
57 - Special guest-specific drivers and special emulated pseudo-devices
58 for faster graphics/network/disk access.
60 - Allow some of the inactive guest pages be host swappable.
61 Currently, all pages are locked down.
63 - Many performance enhancements (see PERFORMANCE)
65 - Allow memory to be mapped anywhere in the physical address
68 - Allow certain guest pages to be swap eligible by the host.
69 This means they will have to be unavailable by the guest
70 during that time. Need a dynamic algorith for this.
72 - Test on 2.4 with SMP/APIC enabled on single processor machine.
74 - Deal with guest use of TF.
79 unallocVmPages/unreserve_guest_pages called twice,