[Swift-devel] current workers < 0 ?

[Mihael Hategan]

----- Allan Espinosa <aespinosa at cs.uchicago.edu> wrote:
> I see. Formally it should be
> 
> currentWorkers = ready.size() + busy.size()

Also + starting.size() (I suppose in order to avoid starting more workers
than the total number allowed).

> 
> right?
> 
> On Wed, Feb 25, 2009 at 8:36 PM, Mihael Hategan <hategan at mcs.anl.gov> wrote:
> >
> > ----- Allan Espinosa <aespinosa at cs.uchicago.edu> wrote:
> >> Ooops. I copy pasted the wrong line.  It should be:
> >>
> >> 2009-02-25 15:33:14,665-0600 INFO  WorkerManager Current workers: -110
> >
> > Heh. Yes. That increment should be synchronized. I guess I didn't bother
> > because it was only there for informal reasons.

I take that back. It is actually used for things.