Supporting speculative parallelization in the presence of dynamic data structures