Чи безпечна нитка Java Regex?

У мене є функція, яка використовує Pattern#compileі Matcherдля пошуку списку рядків для шаблону.

Ця функція використовується в декількох потоках. Кожна нитка матиме унікальний зразок, переданий до того, Pattern#compileколи створюється нитка. Кількість потоків і шаблонів є динамічними, це означає, що я можу додати більше Patterns і потоків під час конфігурації.

Чи потрібно мені ставити synchronizeцю функцію, якщо вона використовує регулярний вираз? Чи безпечний регулярний вираз в нитці Java?

Так , з документації Java API для класу Pattern

Екземпляри цього класу (Pattern) є незмінними і безпечні для використання у кількох одночасних потоках. Примірники класу Matcher не безпечні для такого використання.

Якщо ви переглядаєте код, орієнтований на ефективність, спробуйте скинути екземпляр Matcher за допомогою методу reset (), а не створювати нові екземпляри. Це скине стан екземпляра Matcher, зробивши його корисним для наступної операції регулярного виведення. Фактично, держава, яка підтримується в екземплярі Matcher, відповідає за те, що вона є небезпечною для одночасного доступу.

Захист ниток із регулярними виразами на Java

РЕЗЮМЕ:

API регулярного вираження Java створений для того, щоб дозволяти ділитися одним складеним шаблоном у кількох операціях відповідності.

Ви можете сміливо викликати Pattern.matcher () за одним і тим же шаблоном з різних потоків і безпечно використовувати відповідники одночасно. Pattern.matcher () безпечно створювати відповідники без синхронізації. Хоча метод не синхронізований, внутрішній для класу Pattern, летуча змінна, що називається компільована, завжди встановлюється після побудови шаблону і зчитується на початку виклику до matcher (). Це змушує будь-який потік, що посилається на Шаблон, правильно "бачити" вміст цього об'єкта.

З іншого боку, вам не слід ділитися Matcher між різними потоками. Або принаймні, якщо ви коли-небудь це робили, ви повинні використовувати явну синхронізацію.

Хоча вам потрібно пам’ятати, що безпека потоку повинна враховувати також навколишній код, вам здається, що вам пощастило. Той факт , що Matchers створюються з використанням патерну узгодження фабричного методу і відсутністю державних конструкторів є позитивним знаком. Аналогічно, ви використовуєте статичний метод компіляції для створення охоплюючого шаблону .

Отже, коротше, якщо ви робите щось на зразок прикладу:

Pattern p = Pattern.compile("a*b");
Matcher m = p.matcher("aaaaab");
boolean b = m.matches();

ви повинні робити добре.

Слідування за прикладом коду для наочності: зауважте, що цей приклад рівно передбачає, що створений таким чином Matcher є локальним потоком із шаблоном та тестом. Тобто, ви не повинні піддавати створений таким чином Матчер жодним іншим потокам.

Відверто кажучи, це ризик будь-якого питання щодо безпеки потоку. Реальність полягає в тому, що будь-який код можна зробити небезпечним для потоків, якщо ви постараєтесь досить. На щастя, є чудові книги, які навчають нас цілу купу способів, які ми могли б зіпсувати наш код. Якщо ми тримаємось осторонь цих помилок, ми значно зменшуємо власну ймовірність виникнення проблем з нарізкою.

Швидкий погляд на код Matcher.javaпоказує купу змінних членів, включаючи текст, який узгоджується, масиви для груп, кілька індексів для підтримки розташування та кілька booleans для іншого стану. Це все вказує на стан, Matcherякий би не поводився добре, якщо до них зверталися кілька Threads. Так само і JavaDoc :

Екземпляри цього класу не є безпечними для використання декількома одночасними потоками.

Це лише питання, якщо, як вказує @Bob Cross, ви виходите зі свого шляху, щоб дозволити використовувати ваші Matcherокремі Threads. Якщо вам потрібно це зробити, і ви думаєте, що синхронізація буде проблемою для вашого коду, вам слід скористатися ThreadLocalоб'єктом зберігання для підтримки Matcherробочої нитки.

Підводячи підсумок, ви можете повторно використовувати (зберігати в статичних змінних) складений шаблон (и) і сказати їм, щоб вони дали вам нові відповідники, коли потрібно для перевірки цих регекс-паттентів щодо якоїсь строки

import java.util.regex.Matcher;
import java.util.regex.Pattern;

/**
 * Validation helpers
 */
public final class Validators {

private static final String EMAIL_PATTERN = "^[_A-Za-z0-9-]+(\\.[_A-Za-z0-9-]+)*@[A-Za-z0-9-]+(\\.[A-Za-z0-9-]+)*(\\.[A-Za-z]{2,})$";

private static Pattern email_pattern;

  static {
    email_pattern = Pattern.compile(EMAIL_PATTERN);
  }

  /**
   * Check if e-mail is valid
   */
  public static boolean isValidEmail(String email) { 
    Matcher matcher = email_pattern.matcher(email);
    return matcher.matches();
  }

}

див. http://zoomicon.wordpress.com/2012/06/01/validating-e-mails-using-regular-expressions-in-java/ (ближче до кінця) щодо шаблону RegEx, який використовується вище для перевірки електронних листів ( якщо він не відповідає потребам перевірки електронної пошти, як він розміщений тут)