Github user StefanRRichter commented on a diff in the pull request: https://github.com/apache/flink/pull/3770#discussion_r113898244 --- Diff: flink-runtime/src/main/java/org/apache/flink/runtime/jobgraph/JobVertex.java --- @@ -125,6 +132,8 @@ public JobVertex(String name) { public JobVertex(String name, JobVertexID id) { this.name = name == null ? DEFAULT_NAME : name; this.id = id == null ? new JobVertexID() : id; + this.operatorIDs.add(new OperatorID(this.id.getLowerPart(), this.id.getUpperPart())); + this.operatorIdsAlternatives.add(null); --- End diff -- Ok, in this cases it really seems better to make this explicit as you suggested. Also I was wondering if `operatorIdsAlternatives` should be a List<List<OperatorID>> -- just want to make sure that only at most one alternative ID must be maintained per operator. But I think that we can always determine the savepoint version and only need compatibility to the hasher version that was valid under that savepoint version.
--- If your project is set up for it, you can reply to this email and have your reply appear on GitHub as well. If your project does not have this feature enabled and wishes so, or if the feature is enabled but not working, please contact infrastructure at infrastruct...@apache.org or file a JIRA ticket with INFRA. ---