region.close();
            totalReleased.incrementAndGet();
        }
    }
    
    public long getTotalAllocated() { return totalAllocated.get(); }
    public long getTotalReleased() { return totalReleased.get(); }
    public long getActiveRegions() { return totalAllocated.get() - totalReleased.get(); }
}
```

### 4.5 RDMA Provider Implementations