search

dkrikun / eraser

Academic project in program analysis
0 stars 0 forks source link

JVM seems to run examples serialy #10

Closed dkrikun closed 13 years ago

dkrikun commented 13 years ago

In example with multithreading, it seems that JVM starts few threads in the beginning (const number of them). Then, although there is supposed to be a data race, none happens actually, because all accesses are performed from a single thread. Running the example (inputs/inc) confirms that there is no data corruption.

dkrikun commented 13 years ago

Probably need some complex sample code to fool the JVM, dunno how to do this work actually..

dkrikun commented 13 years ago

Actually, it might be just a bug in our code ..

dkrikun commented 13 years ago

Fixed, mistakenly called run() instead of start() on a thread.