src/Pure/Concurrent/consumer_thread.scala
2014-04-24 wenzelm 2014-04-24 misc tuning;
2014-04-24 wenzelm 2014-04-24 support for requests with explicit acknowledgment (and exception propagation);
2014-04-24 wenzelm 2014-04-24 more robust thread: continue after failure;
2014-04-24 wenzelm 2014-04-24 allow more control of main loop; more robust is_active test, although thread could terminate at any time;
2014-04-24 wenzelm 2014-04-24 more robust shutdown; less ooddities;
2014-04-24 wenzelm 2014-04-24 consumer thread with unbounded queueing of requests (similar to Message_Channel in ML);