(ITS#4807) CLOCK-Pro cache replacement