Sometimes vcpu_resume() fails to resume a suspended vcpu #17
Description
Describe the bug
Sometimes a vcpu_resume() call doesn't wake up a vcpu that was suspended by calling vcpu_suspend().
To Reproduce
Steps to reproduce the behavior:
- Run "./test vcpu_suspend"
- the test prints a series of A, then the "suspended" message and then immediately an additional "A" after the suspended message. Then the test is stuck
Expected behavior
Test should not get stuck and there shouldn't be an extra "A" after the suspended message. Every time this sequence of messages appears, the test gets stuck.
OS (please complete the following information):
- Version 0.7.0-alpha
Additional context
Note that it can take a long time for this problem to surface. Though when it happens it's always the same sequence: series of "A", then "suspended" and then an unexpected extra "A" that shouldn't appear.