I have a function chan_send in which :
chan_send (...) {
qlock()
rwakeup(...)
qunlock()
}
If two such chan_send functions are called without a "task-switch" 9vx crashes. A work around for this problem is to place a sleep(0) after qunlock to enforce a task-switch
chan_send(...) {
qlock()
rwakeup(...)
qunlock()
sleep(0)
}
This behaviour isn't documented anywhere. I'll test it next on bare metal with a real kernel to find out if this is only a 9vx problem.