1. Что такое фильтры
Фильтры - это набор правил, применяющийся к проксям до занесения их в базу Прокси-чекера после загрузки их с источника.
При помощи фильтров мы можем отсечь прокси, заведомо нам не подходящие.
2. Типы фильтров
Фильтры бывают двух типов:
1) Глобальные фильтры
Фильтр, который не содержит компонент "Метки", является глобальным фильтром. К примеру, таковым является предустановленный фильтр "Базовая фильтрация". Такой фильтр применяется ко всем источникам одновременно.
2) Условные фильтры
Фильтр, который содержит компонент "Метки", будет являться условным фильтром. Добавив в любой глобальный фильтр компонент "Метки", и перечислив в нем список меток (M1; M2; ...), фильтр становится применимым только к тем ресурсам, у которых есть хотя бы одна из перечисленных меток.
3. Когда работают фильтры?
Фильтры работают в двух случаях:
1. В момент скачивания проксей с источника - не удовлетворяющие фильтрам прокси отбраковываются и не попадают в общую базу проксей.
Например, для источника A назначена метка М, и имеется глобальный фильтр G, и условный фильтр F(М) для метки М - тогда все прокси, загружаемые с источника А, будут проверяться на соответствие фильтрам G (т.к. он глобальный и применяется ко всем источниками) и F(М) (т.к. A имеет метку M).
2. В момент назначения меток источникам - уже имеющиеся в базе, загруженные с данных источников прокси, проверяются на соответствие фильтрам, ассоциированным с вновь назначенными метками и, в случае не удовлетворения их условиям, удаляются. Так поддерживается актуальность соответствия источников и назначенных им фильтров.
Например, есть источник A и условный фильтр F(М). При назначении метки М для источника A, из базы будут удалены те прокси источника A, что не удовлетворяют фильтру F(М).