| #
3ee6c0a8 |
|
23-Oct-2016 |
wenzelm <none@none> |
discontinued unused / untested distinction of separate PIDE modules;
|
| #
8baac931 |
|
27-Jan-2016 |
wenzelm <none@none> |
proper try_run for exactly one evaluation of body (amending 91c3aedbfc5e);
|
| #
67438705 |
|
03-Nov-2015 |
wenzelm <none@none> |
tuned signature;
|
| #
38d43479 |
|
03-Nov-2015 |
wenzelm <none@none> |
more direct task future implementation, with proper cancel operation;
more uniform Future.thread;
|
| #
ebff3653 |
|
03-Nov-2015 |
wenzelm <none@none> |
clarified modules;
--HG--
rename : src/Pure/Concurrent/simple_thread.ML => src/Pure/Concurrent/standard_thread.ML
rename : src/Pure/Concurrent/simple_thread.scala => src/Pure/Concurrent/standard_thread.scala
|
| #
008a26b8 |
|
14-Jan-2015 |
wenzelm <none@none> |
added Promise.cancel;
|
| #
e0e8cf48 |
|
02-May-2015 |
wenzelm <none@none> |
misc tuning, based on warnings by IntelliJ IDEA;
|
| #
268b5fb9 |
|
12-Aug-2014 |
wenzelm <none@none> |
tuned;
|
| #
50f42a2e |
|
22-Jun-2014 |
wenzelm <none@none> |
more on "Futures";
removed obsolete comments;
--HG--
extra : rebase_source : a163fc4f1da361fcc259688adac7beb01eda01d4
|
| #
3a4f9226 |
|
25-Apr-2014 |
wenzelm <none@none> |
just one default thread pool (which is hardwired to Runtime.availableProcessors);
|
| #
4a5ce2b1 |
|
23-Apr-2014 |
wenzelm <none@none> |
tuned;
|
| #
a175118b |
|
23-Apr-2014 |
wenzelm <none@none> |
modernized Future/Promise implementation, bypassing old actors;
|
| #
07e30e35 |
|
22-Apr-2014 |
wenzelm <none@none> |
avoid "Adaptation of argument list by inserting ()" -- deprecated in scala-2.11.0;
|
| #
2ec142c0 |
|
29-Nov-2011 |
wenzelm <none@none> |
separate compilation of PIDE vs. Pure sources, which enables independent Scala library;
|
| #
2a73801f |
|
28-Nov-2011 |
wenzelm <none@none> |
explicit indication of modules for independent Scala library;
|
| #
227bb34a |
|
29-Aug-2010 |
wenzelm <none@none> |
use Future.get_finished where this is the intended meaning -- prefer immediate crash over deadlock due to promises that are never fulfilled;
clarified session signalling;
|
| #
cd66a858 |
|
05-Jan-2010 |
wenzelm <none@none> |
added Promise.fulfill_result;
|
| #
f5c4999d |
|
04-Jan-2010 |
wenzelm <none@none> |
added Future.promise -- essentially a single-assignment variable with signalling, using the Future interface;
|
| #
6b4972b9 |
|
01-Jan-2010 |
wenzelm <none@none> |
Future values -- Scala version.
|