[IGNITE-8883] Semaphore fails on network partitioning 2

• Type: Bug
• Status: Open
• Priority: Major
• Resolution: Unresolved
• Affects Version/s: 2.4
• Component/s: data structures
• Assignee: Unassigned
• Reporter: Mo
• Created: 26/Jun/18 22:07
• Updated: 02/Oct/18 09:11

Description

Scenario: Three servers (s1,s2,s3) two clients (c1,c2).

A semaphore with one permit is created. 

Config: 

1. Release acquired permits if the node that owned them left topology: set to true

steps: 

1. c2 acquires the permit.
2. Network failure happens, isolating c2 from the rest of nodes for a period of time.
3. Network heals.
4. c2 releases the permit.
5. c2 acquires the permit.
6. c1 tries to acquire lock but fails (exception)