Jafari&Jeff: preventing creation of already existing allocations