Aaron Piotrowski
|
c1f6b62799
|
Check if watcher has already been cancelled
This seems to only happen in 7.1 for some reason… will perhaps need to dig further into why.
|
2019-03-08 11:26:48 -06:00 |
|
Aaron Piotrowski
|
2191d1145b
|
Cancel watcher if no threads remain
|
2019-03-08 11:20:47 -06:00 |
|
Aaron Piotrowski
|
738f50afe7
|
Define AMP_CONTEXT_ID in contexts
Uses PID in processes or a sequential ID for threads.
|
2019-02-20 17:31:22 -06:00 |
|
Aaron Piotrowski
|
a9e22e9ef8
|
Add getId() method; don't dup futures array
|
2019-02-18 18:43:11 -06:00 |
|
Aaron Piotrowski
|
b8b73cdea3
|
Use Future::select()
|
2019-02-18 13:05:43 -06:00 |
|
Aaron Piotrowski
|
36d3a3d963
|
Periodically check Future to see if thread crashed
|
2019-02-18 11:48:13 -06:00 |
|
Aaron Piotrowski
|
7fca17d7ef
|
Explicitly close channel when thread finishes
|
2019-02-18 10:32:16 -06:00 |
|
Aaron Piotrowski
|
8e19da949f
|
Remove unused imports
|
2019-02-18 09:43:14 -06:00 |
|
Aaron Piotrowski
|
f919371aee
|
Don't swallow SynchronizationError in ContextException
|
2019-02-18 09:38:42 -06:00 |
|
Aaron Piotrowski
|
f2e5224856
|
Unite Process and Parallel context interfaces
Allows scripts to be written for either context.
|
2019-02-17 23:50:41 -06:00 |
|
Aaron Piotrowski
|
c55f34c551
|
Update for krakjoe/parallel interrupt branch
Dumped the signal socket.
|
2019-02-15 18:25:29 -06:00 |
|
Aaron Piotrowski
|
638a1bb638
|
Implement thread killing
Will not interrupt blocking calls such as sleep, but in practice this shouldn't be much of a problem.
|
2019-02-14 18:12:51 -06:00 |
|
Aaron Piotrowski
|
c60fc63cb6
|
Add timer in parallel context for kill breakpoint
|
2019-02-14 01:10:40 -06:00 |
|
Aaron Piotrowski
|
2d35051391
|
Update for krakjoe/parallel changes
|
2019-02-14 00:56:27 -06:00 |
|
Aaron Piotrowski
|
410c88e859
|
Serialize function arguments
Maybe this is a horrible idea, but we serialize everything else, so why not?
|
2019-02-14 00:34:45 -06:00 |
|
Aaron Piotrowski
|
ecaf0a854b
|
Add support for krakjoe/parallel
|
2019-02-14 00:34:45 -06:00 |
|