if addr.sva then
print("Sender waiting: buffer ", addr.sva, "\n");
else
print("No sender\n");
if addr.rva then
print("Receiver waiting: buffer ", addr.rva, "\n");
else
print("No receiver\n");
if addr.async then {
n = 0;
l = addr.qh;
while l do {
n = n+1;
l = l.next;
}
print("Async channel\n\t", n\D, " messsages queued\n\t");
l = addr.free;
while l do {
n = n+1;
l = l.next;
}
print(n\D, " free buffers\n");
}
if addr.selt then {
l = "send";
if addr.selt then
l = "receive";
print("In select ", l, ": task ", addr.selt\X, "\n");
labstk(addr.selt);
}
}
print("tdb ", ta.ntask, " tasks:");
if *ta then
print("locked\n");
else
print("unlocked\n");
if ta.ctask then {
print("current task ", ta.ctask\X, "\n");
Task(ta.ctask);
}
else
print("proc is idle\n");
tq = (Task)ta.runhd;
if tq == 0 then
return {};
print("Tasks ready to run:\n");
while tq != 0 do {
print("Task(", tq, ")\n");
tq = tq.link;
}
}
defn
lselect(addr)
{
local c;
complex Task addr;
complex Chan c;
c = addr.slist;
if c == 0 then {
print("No select pending\n");
return {};
}
while c do {
print("pchan(", c\X, ")\n");
c = c.sellink;
}
}
defn
pqlock(addr)
{
local t;
complex QLock addr;
if *addr then
print("QLock is under modification\n");
if addr.used == 0 then
return {};
print("QLock is held\n");
t = addr.queue;
complex Task t;
if t == 0 then {
print("No tasks waiting\n");
return {};
}
print("Tasks waiting:\n");
while t do {
print("Task(", t, ")\n");
tq = tq.qlink;
}
}
