alexander.bogosyan
|
175b6cc971
fixed pool round_robin when one of workers is disconnected
|
6 years ago |
Markus Flambard
|
6d219b0566
Only shrink the pool when auto_size is true
|
6 years ago |
Ulf Wiger
|
8bb81de839
Do not adjust pool size down if `auto_size == false`. Fixes #167
|
6 years ago |
Ulugbek Tuychiev
|
33d9fa78d0
fix deprecated function crypt:rand_uniform
|
7 years ago |
Ulf Wiger
|
909a8bf177
changed license to Apache 2.0, rebuilt docs
|
7 years ago |
Ulf Wiger
|
58c9c3ad42
release claim even if claimant killed
|
9 years ago |
Ulf Wiger
|
d5443b97d6
optimizations; make claim/2 pass on the pid
|
10 years ago |
Ulf Wiger
|
36b348a6cc
various fixes to gproc_pool
|
10 years ago |
Ulf Wiger
|
2fa3811eae
clean up error on repeated gproc_pool:new()
|
11 years ago |
Ulf Wiger
|
fcb910f9ff
issue #62
|
11 years ago |
Ulf Wiger
|
0c8ab98bf0
remove_worker must set {NewLen,Type}
|
11 years ago |
Ulf Wiger
|
e0122ae1e8
Merge branch 'master' of github.com:uwiger/gproc
|
11 years ago |
Ulf Wiger
|
a1085aa55d
fix crash in gproc_pool:defined_workers/1
|
11 years ago |
Klas Johansson
|
17e5395dd3
gproc_pool: Remove debug printout from force_delete
|
11 years ago |
Ulf Wiger
|
9cc44eeb5c
parallel timing tests in gproc_pool
|
12 years ago |
Ulf Wiger
|
05cd9f8676
Added attributes, update_counter() on names, gproc_pool
|
12 years ago |