heros icon indicating copy to clipboard operation
heros copied to clipboard
verified publisher icon soot-oss

Lock contention

Open ericbodden opened this issue 11 years ago • 2 comments

Through tests on our new server I found that there is very high lock contention on the lock on the JumpFunctions table. This should be fixed. Somehow we need much more fine-grained locking. @StevenArzt something to think about... not sure how well this work with your "fast solver"

ericbodden avatar Jan 25 '14 13:01 ericbodden

I just committed a lock-free version of the JumpFunctions data structure to the FastSolver in FlowDroid's unstable branch. It seems to work on my 8-core machine, but it would be great to also test on something which offers more parallelism.

The "incoming" and "endSummary" data structures still lock, this needs more work.

StevenArzt avatar Jan 25 '14 23:01 StevenArzt

Great. Please email me your SSL public key (best through PGP), then I will add it to the server's authorized_hosts.

ericbodden avatar Jan 26 '14 09:01 ericbodden