That is a very good point and IIRC, that is the case. Hmm, I see that there is always an element added in the snapshot method, so one should expect that there is always one in the notify part because no other method is ever removing from the map and method calls should also be mutually exclusive because they both hold the checkpointing lock. What else is left?
[ Full content available at: https://github.com/apache/flink/pull/6723 ] This message was relayed via gitbox.apache.org for [email protected]
