<Ла-ла-ла>
Тут пробегал я.
Язык бы не мешало указывать.
Под Python у меня есть реализация.
Суть ее такова:
1. Набиваем массив проксями
2. Вызываем метод .pop(0) (Забирает первую проксю из массива и удаляет ее оттуда)
3. Проверяем проксю, и если она валидная, то добавляем ее методом .append() (Добавляет проксю в конец массива)
4. На всём этом стоит обработчик ошибки IndexError (возбуждаться будет тогда, когда нулевого элемента массива не существует), и в таком случае возвращается значение None

В итоге имеем :
Когда из основного цикла вызывается метод получения прокси, то прокси берутся последовательно, потом проверяется, если валидная то добавляется в конец массива, и возвращается.
В основном цикле же при получении прокси делается только проверка на то, чтобы значение прокси не равнялось None, если оно равняется None, то происходит завершение главного цикла.
</Ла-ла-ла>
P.S. Кому интересно, могу скинуть в личку...