[FLINK-20980] ResourceCounter#withResources accepts negative count

• Type: Improvement
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 1.13.0
• Fix Version/s: 1.13.0
• Component/s: Runtime / Coordination
• Labels: pull-request-available
• Assignee: Chesnay Schepler
• Reporter: Chesnay Schepler
• Created: 14/Jan/21 13:58
• Updated: 28/May/21 07:09
• Resolved: 15/Jan/21 10:18

Description

ResourceCounter enforces that the count of resources never dips below 0, but the withResource factory method does not verify whether the count is >= 0.

Issue Links

• links to: GitHub Pull Request #14651