Skip to content

ReadIncChecker Class: readFromDW method (remove writes) #3

Description

@hengxin

Problem: You cannot remove elements from ArrayList in Java foreach construct.
apply_wprimew_order may remove element from ActiveWrites(var)

Solution: use the ArrayList returned from GlobalActiveWritesMap#getActiveWritesPool() in foreach construct

Possible improvement: avoiding copying

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Projects

No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions