git clone http://v3vee.org/palacios/palacios.web/palacios.git

  cd palacios
  git checkout --track -b devel origin/devel

added NUMA query support for Linux to allow Palacios to determine the NUMA layout of the host system

added modified buddy allocator derived from Kitten implementation

This version allows discontiguous memory pools, to enable NUMA support for Palacios VMs

add FW_CFG interface implementation for SEABIOS

imported SEABIOS source tree

Polling changes in host devices and keyed stream

v3_stream fix for escape character handling

8259A PIC obeys master ICW3 masking of the slave

Major rewrite of serial port device

- 16450 and 16550A behaviors
- internal interrupt register, plus interrupt priority encoding
- numerous other fixes

Update to virtio console for new stream interface

Update to char_stream device for new stream interface changes

Changes to stream interface to allow for flow control and error signaling

Copyrights for lock and memory checking

Additional cleanup of v3_stream interactive mode.

Added basic escape handling to v3_stream interactive mode

Fixes to interrupt (IRQ and VIRQ) injection logic:

- eliminates potential race condition between intr being
  pending when intially checked, and no vector available before
  injection begins

- differentiates "do no have a vector" from "vector 0"

- detects VIRQ 0 correctly if it is raised

Default yield policy is now friendly with a 10 ms timeout

8259 PIC corrections and cleanup

- the weird priority-ordering between the slave and master chip are now implemented
- slave interrupt raises propgate correctly to master and are maskable by it
- better debugging and error output
- sanity checking / correction of "pending after EOI" bug, which
  was a combination of not a bug, incorrect slave interaction, and
  assumptions about concurrency

Lock-checking enhancements - simple deadlock detection

The lockchecker will now detect when a lock is held for a long period of time.
When this occurs, it will dump out the state of all locks in the system,
tagging the ones that have been held longer than expected.   Of course, this will
find deadlocks.  But it will also find non-deadlocks that have this property.
By setting the time threshold, these can be filtered.

Fallback to shadow paging if nested not supported or no paging mode specified

Add interface for power monitoring and telemetry option for power-related statistics

I added telemetry output for Intel's RAPL power monitoring capability
(present since Sandy Bridge). This code is pretty heavily based on the
PMU codebase, so it might make sense to merge them together at some point, but
for now the semantics of PMU and RAPL seemed different enough to justify
having them separate.

The code is organized in a way such that if AMD adds similar support or
if Intel adds new RAPL counters, they should be fairly straightforward
to integrate.

Lock checking enhancement to find frequently used (hot) locks

Lock and memory checking enhancements

cpuid bugfix for iface-pmu code

cpuid_string was not properly dereferencing a pointer, causing invalid
results to be returned by cpuid in eax

Lock bugfixes - missing lock deinits This also adds deinit calls in the linux_module code so that these locks are correclty tracked

Memory alloction bugfix for vmm_events

Special-cased handling of zero-byte mallocs since Linux does this insanely Also includes part of lock checking enhancments (lock deinit for use in linux module)

Memory checking enhancements

Lock checking enhancements

Minor bug fix

Memory allocation checking framework

Enhancements to lock checking and its configurability

Lock checking framework and cleanup of linux module code to use palacios interfaces The idea here is to make it possible to track locks and memory across both the core VMM and the linux module code

Checkpointing fixes

vmm_checkpoint.c
    - GUEST_CRO ==> GUEST_CR0
serial.c
    - Added TX and RX buffer tags
    - Fixed tag for COMX_IRQ_NUM
8254.c
    - Added LATCH_VALUE to checkpointing

Add missing CPU mapper files

Add CPU mapper extension and fix to scheduler for time dilation

Host PCI with selective privilege (can dynamically permit or disallow PCI passthrough access)
Also minor tweak to user space Makefile

Add tools for transforming a kernel module into a guarded module

Add guarded module infrastructure

This commit includes all of the changes for guarded modules that
do not touch the VMM core at all. This includes a host interface,
userspace utility, and Palacios extensions.

Mouse functionality and cleanup

Updated vnc server to correspond to new mouse events

Revised mouse-related host events, graphics console, and userland support; mouse packet generation

Paravirtualized graphics device

Correct irq behavior for mouse

PCI bugfix for passthrough bars

VNC server interface to graphics console source code

Graphics console user space interface library

Checkpointing and migration now support options, the first of which are: skipping memory, skipping devices, skipping cores, and skipping the archtecture-dependent state

General cleanup and help on v3_debug

User space library and example tool for accessing guest physical memory from host user space

Support for optional full /dev/mem access even if host kernel has strict devmem

This adds a new option:

  insmod v3vee.ko allow_devmem=1

This will enable host user space programs to mmap any host physical memory using
/dev/mem even if the host kernel has strict /dev/mem limitations.

AMD PMU - load/store counts now use data cache access counter, tlb miss count
counts on all levels

Removal of debugging crud

Corrected UCPI and UMPL estimation in PMU telemetry

null check in host_sched_yield

Corrected PCI printdebug errors

Correct scheduler startup when no option given

Minor PMU bugfix

PMU-based telemetry extension to monitor guest and host behavior

PMU Host Interface and initial implementation for Linux and AMD/Intel

Range-based invalidation for nested and direct paging + use in memory region managment

Use passed in options to set scheduler

Fix for option processing

Added missed Makefile update for option handling

Split global option processing code into a separate file

Merge branch 'devel' of ssh://newskysaw.cs.northwestern.edu/home/palacios/palacios into devel

Fixed major palacios barrier implementation error with potentially serious implications on all multicore guests

Merge branch 'devel' of ssh://newskysaw.cs.northwestern.edu/home/palacios/palacios into devel

Added null check to option processing call.

Correction of scheduler registration check

Added first cut at options processing for the palacios module

remove extraneous dos linefeeds from scheduling files

Update of scheduling infrastructure and newest version of EDF scheduler

Copyright header corrections to scheduler interface

Merge branch 'devel' of ssh://newskysaw.cs.northwestern.edu/home/palacios/palacios into devel

Commented in scheduler call previously commented out.

bugfix: memory region is now removed from hook table on v3_unhook_mem

Initial commit of new scheduling infrastructure. The EDF scheduler does not
yet work, Linux/Kitten hooks still need to be added for sleep/wakeup, and
we still need a mechanism to specify options to Palacios when it starts up.
it is booted.

Added missed extension include update

Added global initialization hook for extensions to support upcoming scheduling extensions

Added proper updated quix86 libraries that had been omitted from
previous patch.

Merge branch 'devel' of ssh://newskysaw.cs.northwestern.edu/home/palacios/palacios into devel

Updated quix86 patch from Alexander. With latest version of library,
boots 64-bit guests on real hardware.

Updated quix86 patch from Alexander. With latest version of library,
boots 64-bit guests on real hardware.

Correct banner titles in configuration screens

Optional starting address for v3_mem

The idea here is that on hosts that already have a lot of stuff
running, it may be very costly to offline memory blocks low in the
physical address space - the kernel may take a looong time to copy
their contents and set things up accordingly.  With this patch, you can say
things like:

v3_mem 1024 1024

which means that you are looking to allocate 1024 MB of space
starting at or above the address 1024*(1024*1024)

Additional error checking / output for failing memory region operations

Context-based output infrastructure (V3_Print, etc) and modifications to use it

This commit is huge, but the vast majority of it is basically trivial changes in
how V3_Print, PrintDebug, PrintError, V3_ASSERT, and Vnet_Print are invoked
throughout our codebase. All compiles, with all debug and features enabled.
Functionality testing doesn't show problems.

These functions now include a context: the VM and the vcore.  There are
Several cases:

V3_Print(vm, vcore, ...)           => VM-specific, and vcore-specific
V3_Print(vm, VCORE_NONE,...)       => VM-specific, but not core specific
V3_Print(VM_NONE, VCORE_NONE),...) => non-specific

PrintDebug now prefaces data with DEBUG:
PrintError now prefaces data with ERROR:
Telementry prefaces with telem.# (as before)

The print OS hook has been modified so that it is called with:

print(void *host_priv_data_from_create, // NULL = non-specific
      int vcore_number,                 // -1 = non-specific
      ...)

The linux implementation now uses this functionality to decorate its
output in an enhanced way:

palacios (pcore num): ...
palacios (pcore num vm name): ...
palacios (pcore num vm name vcore num):...

The new userspace tool v3_info filters and formats dmesg or /proc/kmsg
output in numerous ways so that you can, for example, focus on the
debugging output of a specfic core on a specific VM. Run without
arguments for help.

Other minor compilation fixes for ancient code.

Use of information interface to enhance output of /proc/v3vee-/v3-guests in Linux

information request api for the host - gives a more detailed view of VM and vcore state to the host

Explictly tags in saves for PIT, APIC, IOAPIC, SVM, and CORE

Allow spaces in key names for textfile: saves

Library and tools for manipulating text and binary file ("KEYED STREAM file: / textfile:") checkpoints at user level.

Checkpointing of serial devices

Devices updated for revised checkpoint interface

Device manager updated with extended save/load model to facilitate devices that need to manage their own contexts

Update svm and vmx checkpoint functionality to new interface

Implementation of revised checkpoint/migrate interface model

Implemntation of newer keyed stream interface on linux, includes new "textfile" (ini file) output capability

New keyed stream interface

Minor changes to eliminate warnings, and second-try allocation for pages