Browse thread
Smart ways to implement worker threads
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | -- (:) |
| From: | Dawid Toton <d0@w...> |
| Subject: | Re: Smart ways to implement worker threads |
> I find it odd that there is no Threaded_Queue module, a thread save > version of Queue with 2 extra functions: (...) > I use such a thread-safe queue a lot [1]. This is very simple yet universal enough. Honestly I can hardly remember using more elaborate constructs. Dawid [1] http://pfpleia.if.uj.edu.pl/projects/HLibrary/browser/HQueue.ml