 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 |
