Класс ScopedValue<T>

Type Parameters:

T - тип значения

public final class ScopedValue<T> extends Object

    private static final ScopedValue<String> NAME = ScopedValue.newInstance();

    ScopedValue.runWhere(NAME, "duke", () -> doSomething());

    ScopedValue.runWhere(NAME, "duke1", () -> doSomething());

    ScopedValue.runWhere(NAME, "duke2", () -> doSomething());

    ScopedValue.runWhere(NAME, "duchess", () -> doMore());

    private static final ScopedValue<String> NAME = ScopedValue.newInstance();

    ScopedValue.runWhere(NAME, "duke", () -> {
        try (var scope = new StructuredTaskScope<String>()) {

            scope.fork(() -> childTask1());
            scope.fork(() -> childTask2());
            scope.fork(() -> childTask3());

            ...
         }
    });

API Note:

A ScopedValue следует предпочитать ThreadLocal в тех случаях, когда целью является «однонаправленная передача» данных без использования параметров метода. Хотя ThreadLocal может использоваться для передачи данных методу без использования параметров метода, это приводит к ряду проблем:

1. ThreadLocal не предотвращает код в вызываемом методе на расстоянии от изменения нового значения.
2. У ThreadLocal неограниченный срок службы, и поэтому значение сохраняется после завершения метода, пока явно не будет удалено.
3. Наследование является дорогостоящим - карта потоковых локалей и значений должна быть скопирована при создании каждого дочернего потока.

Implementation Note:

Значения области действия предназначены для использования в небольшом количестве. get() изначально выполняет поиск по вложенным областям действия, чтобы найти самое внутреннее связывание значения области действия. Затем он кэширует результат поиска в небольшом кэше потоковых локалей. Последующие вызовы get() для этого значения области действия практически всегда будут очень быстрыми. Однако, если программа использует много значений области действия циклически, коэффициент попадания в кэш будет низким, и производительность будет плохой. Данный дизайн позволяет быстрому наследованию значений области действия в потоках StructuredTaskScope^ПРЕВЬЮ: по сути, не больше чем копирование указателя, и освобождение связи значения области действия также требует не больше, чем обновления указателя.

Поскольку кэш значений области действия на поток невелик, клиенты должны минимизировать количество связанных значений области действия. Например, если необходимо передать несколько значений таким образом, имеет смысл создать класс записи для хранения этих значений, а затем связать одно ScopedValue с экземпляром этой записи.

Для этой версии реализация предоставляет некоторые системные свойства для настройки производительности значений области действия.

Системное свойство java.lang.ScopedValue.cacheSize управляет размером кэша значений области действия (на поток). Этот кэш имеет решающее значение для производительности значений области действия. Если он слишком мал, среда выполнения будет неоднократно сканировать для каждого get(). Если он слишком велик, память будет излишне потребляться. По умолчанию размер кэша значений области действия составляет 16 элементов. Его можно изменять от 2 до 16 элементов. ScopedValue.cacheSize должен быть целой степенью двойки.

Например, можно использовать -Djava.lang.ScopedValue.cacheSize=8.

Другое системное свойство - jdk.preserveScopedValueCache. Это свойство определяет, сохраняется ли кэш значений области действия на поток при блокировке виртуального потока. По умолчанию это свойство установлено в значение true, что означает, что каждый виртуальный поток сохраняет свой кэш значений области действия при блокировке. Как и ScopedValue.cacheSize, это компромисс между местом и скоростью: в ситуациях, когда многие виртуальные потоки заблокированы большую часть времени, установка этого свойства в false может привести к экономии памяти, но кэш значений области действия каждого виртуального потока придется восстанавливать после операции блокировки.

Since:

21