Re: [abc-dev] Cflow and threads

Hello,

Bruno Harbulot wrote:
>
> I'm having problems with the CFlowCounter (abc101runtime version).
> The generated code uses incCounter(Counter) and decCounter(Counter) with
> the same instance of Counter for all the threads. This leads to results
> that are wrong (or some deadlock situations).
>

I wrote more about this problem in a bug report:
http://abc.comlab.ox.ac.uk/cgi-bin/bugzilla/show_bug.cgi?id=55

I have also submitted a couple of patches to solve the problem.
The second one is probably better since I think it should keep the abc
optimisations regarding the counters (I have done it quite quickly, but
it works). In short, when weaving around it does not copy both the
locals for CFlowCounter and for CFlowCounter$Counter, but only the local
for CFlowCounter. The CFlowCounter$Counter has then to be obtained again
in the proceed method (which may be executed in a different thread).

Best regards,

Bruno.

-- 
http://www.cs.man.ac.uk/cnc/students/harbulob/