Bo Chen
Bo Chen
There are several issues being fixed for the virtio-block fuzzer: 1. Ensure a queue event is properly processed; 2. Ensure the virtio-block thread is killed and joined; 3. Remove meaningless...
The `VFIO_USER_DEVICE_GET_REGION_IO_FDS` API from vfio-user spec provides a faster way for the guest to notify/write to the device regions without needing to trigger VMX exit by using `ioeventfd` and `ioregionfd`....
CRETE now supports only symbolic files with fixed size. This symbolic file support is limited, because file size commonly makes important effects on program's behavior. Support of Symbolic size is...
README is the main documentation of CRETE. Its content is outdated and is not consistent with recent updates. Roughly, contents after [section 3](https://github.com/SVL-PSU/crete-dev#3-preparing-the-guest-operating-system) need to be adjusted.
The translation from qemu-ir to llvm bitcode is now a part of VMNodeFSM, while the error handling is not fully supported. Some discussions can be found in issue #32.
Dispatch timer started right after the first node being connected. While running at distrubuted mode, the time of copying images will also be counted as a part of the timer,...
Text serialization is being used in several places of crete-run, vm-node, etc. For the sake of efficiency, they should be replaced by binary serialization. A driven example is transmitting the...
A deadlock of vm-node will be triggered when the reset from itself (as a result of QEMU crash) and the reset from dispatch (as a result of finishing the current...
Building CRETE on ubuntu 14.04 requires sudo privilege to reverse the version of bison to make stp compile [[1](https://github.com/SVL-PSU/crete-dev/tree/try-travis-ci#71-dependencies)]. When sudo is required, Travis-CI will use an isolated VM image...
llvm/clang and boost now are all integrated as a part of the compilation of crete. This is good in terms of automation for building process. A related inconvenience imposed by...