[9fans] odd rwakeup qunlock behaviour in 9vx

2023-11-04 Thread ibrahim via 9fans
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.



--
9fans: 9fans
Permalink: 
https://9fans.topicbox.com/groups/9fans/T7a5bb3cde50a8a9a-Meba86a2cee63818883e31403
Delivery options: https://9fans.topicbox.com/groups/9fans/subscription


Re: [9fans] 9p.io down?

2023-11-04 Thread William Maddox
That last message was me, not anything official.  Seems I hadn't set a user 
name, so it used the username from the email address that I use here.
--
9fans: 9fans
Permalink: 
https://9fans.topicbox.com/groups/9fans/T1250ef82fbb8d6ed-Mb0ca13553c4f93b2f10cb22e
Delivery options: https://9fans.topicbox.com/groups/9fans/subscription


Re: [9fans] 9p.io down?

2023-11-04 Thread 9fans
Seems to be back up now.
--
9fans: 9fans
Permalink: 
https://9fans.topicbox.com/groups/9fans/T1250ef82fbb8d6ed-Ma637c81f37f507d0c5aef505
Delivery options: https://9fans.topicbox.com/groups/9fans/subscription


Re: [9fans] 9p.io down?

2023-11-04 Thread Lyndon Nerenberg (VE7TFX/VE6BBM)
Yaroslav K writes:
> Do we know what=E2=80=99s up with 9p.io, the current sources host?

Pings (v4 and 6) to nearby addresses work, so it looks like the
host itself is down.

--
9fans: 9fans
Permalink: 
https://9fans.topicbox.com/groups/9fans/T1250ef82fbb8d6ed-Mbf332bb9fb0f83f30583f883
Delivery options: https://9fans.topicbox.com/groups/9fans/subscription


[9fans] 9p.io down?

2023-11-04 Thread Yaroslav K
Do we know what’s up with 9p.io, the current sources host?
--
9fans: 9fans
Permalink: 
https://9fans.topicbox.com/groups/9fans/T1250ef82fbb8d6ed-M83a33663f0d1ddff72587843
Delivery options: https://9fans.topicbox.com/groups/9fans/subscription