		Search-engine friendly clone of the ACL2 documentation.

Vl-server

Ts-queue

Primitive thread-safe, shared queue.

Note that when using this queue, there is no way for the producer to signal that he is done. A consequence is that this queue structure should only be used when consumers are continually looping and waiting for work to be added to the queue.

This is appropriate, for instance, for the client handler threads that always wait on the incoming connections queue for a new client to connect, and for the loader thread that is always and forever waiting to be told to load new models.

Subtopics

Ts-queue-len: (ts-queue-len queue) returns the current length of the data list for queue. It can be used at any time by any thread and never blocks.
Ts-enqueue: (ts-enqueue obj queue) safely adds obj to queue, signals the queue's semaphore to allow the object to be consumed by some consumer, and finally returns obj.
Ts-dequeue: (ts-dequeue queue) safely removes and returns the oldest object from a queue. If no objects are available, it blocks until an object is added.