The type "Queue" is defined in
/pliant/language/schedule/queue.pli
module.
Field
Type
sem
FastSem
active
Int
runnings
Int
count
Int
mini
Int
maxi
Int
first
(Link QueueNode)
last
(Pointer (Link QueueNode))
queue
ThreadQueue
pre_queue
ThreadQueue
pre_queue2
ThreadQueue
post_sem
FastSem
post_current_index
Int
post_next_index
Int
post_active
CBool
post_running
CBool
post_count
Int
post_first
(Link QueueNode)
post_queue
ThreadQueue
shy
CBool
error_record
ErrorRecord
error_record_sem
FastSem
Method name
Arguments
append
Name
q
task
post
Type
Queue
DelayedAction
DelayedAction
Access
Arw
Ar
Ar
start
Name
q
nthreads
mini
maxi
active
shy
Type
Queue
Int
Int
Int
CBool
CBool
Access
Arw
Arv
Arv
Arv
Arv
Arv
stop
Name
q
Type
Queue
Access
Arw
(Pointer Queue) -> Queue
(/pliant/language/basic/safe.pli)
implicit