vmm: Allow dynamic vthread creation
authorBarret Rhoden <brho@cs.berkeley.edu>
Tue, 12 Sep 2017 17:31:03 +0000 (13:31 -0400)
committerBarret Rhoden <brho@cs.berkeley.edu>
Thu, 14 Sep 2017 20:38:44 +0000 (16:38 -0400)
commit62ea33e1c93bc9d6e339ea12485546e99f40a507
tree68d5dd772fe25de6dbfacbb0a86872fa7a865c5b
parentbf53bf38194186e2794a2aa3b8165dd0247d28da
vmm: Allow dynamic vthread creation

Previously, when we first mucked with vthreads, we'd have to create all the
vthreads / GPCs / guest_threads in advance.  Now we can create them on the
fly.

vthread_alloc() also takes the GPCI, which is split out as another step.
The GPCIs are used for each individual GPC, and the guest_thread will
maintain the copy of the GPCI.

Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
tests/dune/dune.c
tests/mmap_file_vmm.c
user/vmm/include/vmm/vmm.h
user/vmm/include/vmm/vthread.h
user/vmm/sched.c
user/vmm/vthread.c