crete-dev
crete-dev copied to clipboard
SVL-PSU
CRETE under development
The dispatch-communication thread and the run-node thread compete for node_, as a shared resource. Either one of these can starve the other, if one repeatedly acquires node_ consecutively. This is...
**Problem Statement** When QEMU fails to start, an exception is thrown (https://github.com/SVL-PSU/crete-dev/blob/2124206a7dea46842582e1da43161b891a9465c7/lib/cluster/vm_node_fsm.cpp#L725). At this point, VMNode's recovery mechanism will attempt a recovery and try again to the same effect, and...
**Problem Statement** Presently, only a subset of Boost is provided to the guest for building. When any guest lib/util uses a feature of Boost not in the subset, or the...
The name of the crete-klee executable has been changed to crete-klee-1.3.0. This change was not reflected in crete-svm-node's fallback routine that looks in PATH when the user declines to provide...
Previously, there was a dependency issue (or some other issue) with the CRETE build that disallowed the use of -jN. Since the recent changes to the CMake files, I have...
__Background__ As only the first time a VM is created is the guest data needed (it was assumed that it would be identical on all parallel VMs and reboots of...
Redirect output of crete-run and the program under test to the host. Presumably, the best place for this information to be logged is under the dispatch directory. This feature should...
When no element is listed, this [transition row](https://github.com/SVL-PSU/crete-dev/blob/b88add3f6db504bb94555af2df727ad7406520c0/lib/cluster/dispatch.cpp#L1246-L1249) in DispatchFSM_ is faulty. Note the ```Or_``` meaning that even if ```!have_next_target```, the transition succeeds with subsequent code presuming that ```have_next_target```. One...
Consider dispatch.xml: ```xml -m 512 -nographic ``` It may be difficult to see, but there are two spaces between 512 and -nographic. The parser in vm-node will interpret this as...
Utilities such as crete-dispatch, crete-vm-node, and crete-svm-node could all use some improvement in their command line interfaces. All: 1. Don't report exception is thrown when, for example, --help is used,...