Интерфейс VectorSpecies<E>

Class<E> elementType()

Возвращает примитивный тип элемента векторов этого вида.

Class<? extends Vector<E>> vectorType()

Возвращает тип вектора этого вида. Вектор принадлежит этому виду, если и только если он имеет соответствующий тип.

Class<? extends VectorMask<E>> maskType()

Возвращает тип маски вектора для этого вида.

int elementSize()

Возвращает размер дорожки в битах векторов этого вида.

VectorShape vectorShape()

Возвращает форму векторов, производимых этим видом.

int length()

Возвращает количество дорожек в векторе этого вида.

int vectorBitSize()

Возвращает общий размер вектора в битах любого вектора этого вида. Это то же значение, что и this.vectorShape().vectorBitSize().

int vectorByteSize()

Возвращает общий размер вектора в байтах любого вектора этого вида. Это то же значение, что и this.vectorShape().vectorBitSize() / Byte.SIZE.

int loopBound(int length)

Функция управления циклом, которая возвращает наибольшее кратное VLENGTH, которое меньше или равно заданному значению length. Здесь VLENGTH - результат this.length(), а length интерпретируется как количество дорожек. Результирующее значение R удовлетворяет этому неравенству:

R <= length < R+VLENGTH
 

.

Конкретно, этот метод вычисляет length - floorMod(length, VLENGTH), где floorMod вычисляет остаток от деления, округляя частное к отрицательной бесконечности. Пока VLENGTH является степенью двойки, результат также равен length & ~(VLENGTH - 1).

long loopBound(long length)

Функция управления циклом, которая возвращает наибольшее кратное VLENGTH, которое меньше или равно заданному значению length. Здесь VLENGTH - результат this.length(), а length интерпретируется как количество дорожек. Результирующее значение R удовлетворяет этому неравенству:

R <= length < R+VLENGTH
 

.

Конкретно, этот метод вычисляет length - floorMod(length, VLENGTH), где floorMod вычисляет остаток от деления, округляя частное к отрицательной бесконечности. Пока VLENGTH является степенью двойки, результат также равен length & ~(VLENGTH - 1).

VectorMask<E> indexInRange(int offset, int limit)

Возвращает маску этого вида, где установлены только дорожки с индексом N, такие что скорректированный индекс N+offset находится в диапазоне [0..limit-1].

Этот метод возвращает значение выражения maskAll(true).indexInRange(offset, limit)

VectorMask<E> indexInRange(long offset, long limit)

Возвращает маску этого вида, где установлены только дорожки с индексом N, такие что скорректированный индекс N+offset находится в диапазоне [0..limit-1].

Этот метод возвращает значение выражения maskAll(true).indexInRange(offset, limit)

<F> VectorSpecies<F> check(Class<F> elementType)

Проверяет, что у этого вида есть указанный тип элемента, и возвращает этот вид без изменений. Эффект похож на этот псевдокод:

<F> VectorSpecies<F> check(Class<F> elementType)

.

int partLimit(VectorSpecies<?> outputSpecies, boolean lanewise)

Учитывая этот вид и второй, сообщает о чистом расширении или сокращении (возможно, изменяющего размер) преобразования переинтерпретации reinterpretation cast или lane-wise conversion от этого вида ко второму. Знак и величина возвращаемого значения зависят от разницы размеров предлагаемой входной и выходной форм, и (необязательно, если lanewise равно true) также от разницы размеров предлагаемой входной и выходной дорожек.

• Сначала определяется логический размер результата. Если lanewise равно false, этот размер равен размеру входного VSHAPE. Если lanewise равно true, логический размер результата равен произведению входного VLENGTH на размер выходной ETYPE.
• Затем логический размер результата сравнивается с размером предлагаемой выходной формы, чтобы увидеть, как он впишется.
• Если логический результат точно помещается в выходную форму, возвращаемое значение равно нулю, что означает отсутствие чистого расширения или сокращения.
• Если логический результат переполнит выходную форму, возвращаемое значение является отношением (больше единицы) логического размера результата к (меньшему) размеру выхода. Это отношение можно рассматривать как меру доли «упавших битов входных данных», которые необходимо удалить из входа, чтобы результат поместился в выходной вектор. Это также предел части, верхняя граница (исключительно) параметра part к методу, который бы преобразовал вид входных данных в вид выходных данных.
• Если логический результат поместится в выходную форму с избытком места, возвращаемое значение является отрицательным числом, модуль которого равен отношению (больше единицы) размера выхода к (меньшему) логическому размеру результата. Это отношение можно рассматривать как меру доли «дополнительных битов заполнения», которые необходимо добавить к логическому результату, чтобы заполнить выходной вектор. Это также предел части, нижняя граница (исключая) параметра part к методу, который бы преобразовал вид входных данных в вид выходных данных.

<F> VectorSpecies<F> withLanes(Class<F> newType)

Находит вид с заданным типом элемента и такой же формой, как у этого вида. Возвращает то же значение, что и VectorSpecies.of(newType, this.vectorShape()).

VectorSpecies<E> withShape(VectorShape newShape)

Находит вид с заданной формой и тем же elementType, что и у этого вида. Возвращает то же значение, что и VectorSpecies.of(this.elementType(), newShape).

static <E> VectorSpecies<E> of(Class<E> elementType, VectorShape shape)

Находит вид для типа элемента и формы.

static <E> VectorSpecies<E> ofLargestShape(Class<E> etype)

Находит вид самого большого вектора заданного типа элемента.

Возвращаемый вид выбирается платформой, которая имеет форму с максимально возможным размером в битах для данного типа элемента. Базовая форма вектора на некоторых платформах может не поддерживать другие типы полос, что может ограничить применимость преобразований переинтерпретации. Векторные алгоритмы, которые требуют преобразований переинтерпретации, будут более переносимыми, если они используют предпочтительный вид платформы.

static <E> VectorSpecies<E> ofPreferred(Class<E> etype)

Находит вид, предпочтительный для текущей платформы, для заданного типа вектора. Это то же значение, что и VectorSpecies.of(etype, VectorShape.preferredShape()).

Этот вид выбирается платформой так, чтобы он имел наибольшую возможную форму, которая поддерживает все типы элементов полос. Это имеет следующие последствия:

• Различные предпочтительные виды для разных типов элементов будут иметь одинаковую базовую форму.
• Все векторы, созданные из предпочтительных видов, будут иметь общий размер в битах и емкость информации.
• Преобразования переинтерпретации между векторами предпочтительных видов не будут ни обрезать полосы, ни заполнять их значениями по умолчанию.
• Для любого конкретного типа элемента платформа может предоставить большую форму вектора, которая (в качестве компромисса) не поддерживает все возможные типы элементов.

static int elementSize(Class<?> elementType)

Возвращает размер в битах заданного типа элемента вектора (ETYPE). Тип элемента должен быть допустимым ETYPE, а не типом-обёрткой или другим типом объекта. Аргумент типа элемента должен быть зеркалом для допустимого вектора ETYPE, такого как byte.class, int.class, или double.class. Размер в битах такого типа — это константа SIZE для соответствующего класса-обёртки, такого как Byte.SIZE, или Integer.SIZE, или Double.SIZE.

Vector<E> zero()

Возвращает вектор этого вида, где все элементы полос установлены в значение по умолчанию для примитивного типа, (ETYPE)0. Эквивалентно IntVector.zero(this) или эквивалентному методу zero для типа вектора, соответствующего этому виду.

Vector<E> fromArray(Object a, int offset)

Возвращает вектор этого вида, где элементы полос инициализируются из заданного массива по заданному смещению. Массив должен быть правильного ETYPE. Эквивалентно IntVector.fromArray(this,a,offset) или эквивалентному методу fromArray для типа вектора, соответствующего этому виду.

Vector<E> fromMemorySegment(MemorySegmentPREVIEW ms, long offset, ByteOrder bo)

Загружает вектор этого вида из сегмента памяти^ПРЕВЬЮ, начиная со смещения в сегменте памяти. Байты объединяются в примитивные элементы полос в соответствии с указанным порядком байтов. Вектор упорядочивается в полосы в соответствии с порядком памяти.

Эквивалентно IntVector.fromMemorySegment(this,ms,offset,bo), для типа вектора, соответствующего этому виду.

VectorMask<E> loadMask(boolean[] bits, int offset)

Возвращает маску этого вида, где элементы полос инициализируются из данного массива в заданном смещении. Эквивалентно VectorMask.fromArray(this,a,offset).

VectorMask<E> maskAll(boolean bit)

Возвращает маску этого вида, где каждая полоса устанавливается или сбрасывается в соответствии с заданным одиночным boolean, который транслируется во все полосы.

Vector<E> broadcast(long e)

Возвращает вектор данного вида, где все элементы полос установлены в примитивное значение e.

Этот метод возвращает значение этого выражения: EVector.broadcast(this, (ETYPE)e), где EVector — класс вектора, специфичный для ETYPE этого вида. Значение long должно быть точно представимо ETYPE, чтобы e==(long)(ETYPE)e.

long checkValue(long e)

Проверяет, может ли этот вид представить данное значение элемента, и возвращает значение без изменений. Значение long должно быть точно представимо ETYPE вида вектора, чтобы e==(long)(ETYPE)e. Эффект похож на этот псевдокод: e == (long)(ETYPE)e ? e : throw new IllegalArgumentException().

VectorShuffle<E> shuffleFromValues(int... sourceIndexes)

Создаёт сдвиг для этого вида из серии индексов источников.

Для каждой полосы сдвига, где N — индекс полосы сдвига, значение N-го индекса проверяется относительно вида VLENGTH, и (если недействительно) частично оборачивается в исключительный индекс в диапазоне [-VLENGTH..-1].

VectorShuffle<E> shuffleFromArray(int[] sourceIndexes, int offset)

Создаёт сдвиг для этого вида из массива int начиная со смещения.

Для каждой полосы сдвига, где N — индекс полосы сдвига, элемент массива с индексом i + N проверяется относительно вида VLENGTH, и (если недействителен) частично оборачивается в исключительный индекс в диапазоне [-VLENGTH..-1].

VectorShuffle<E> shuffleFromOp(IntUnaryOperator fn)

Создаёт сдвиг для этого вида из последовательных значений оператора, применённого к диапазону [0..VLENGTH-1].

Для каждой полосы сдвига, где N — индекс полосы сдвига, значение N-го индекса проверяется относительно вида VLENGTH, и (если недействителен) частично оборачивается в исключительный индекс в диапазоне [-VLENGTH..-1].

Следует соблюдать осторожность, чтобы гарантировать, что значения VectorShuffle , создаваемые этим методом, потреблялись как константы для обеспечения оптимального кода. Например, значения сдвига могут храниться в полях static final или инвариантных переменных цикла.

Этот метод работает так, как будто сдвиг создаётся из массива отображённых индексов следующим образом:

   int[] a = new int[VLENGTH];
   for (int i = 0; i < a.length; i++) {
       a[i] = fn.applyAsInt(i);
   }
   return VectorShuffle.fromArray(this, a, 0);
 

VectorShuffle<E> iotaShuffle(int start, int step, boolean wrap)

Создаёт сдвиг, используя индексы источников, установленные в последовательные значения, начиная с start и шагом заданного step.

Этот метод возвращает значение выражения VectorSpecies.shuffleFromOp(i -> R(start + i * step)), где R — wrapIndex, если wrap истинно, и это тождественная функция в противном случае.

Если wrap ложно, каждый индекс проверяется относительно вида VLENGTH, и (если недействителен) частично оборачивается в исключительный индекс в диапазоне [-VLENGTH..-1]. В противном случае, если wrap истинно, также уменьшите каждый индекс, как будто с помощью wrapIndex, до допустимого диапазона [0..VLENGTH-1].

String toString()

Возвращает строку в формате "Species[ETYPE, VLENGTH, SHAPE]", где ETYPE — примитивный тип полосы, VLENGTH — количество полос вектора, связанное с видом, и SHAPE — форма вектора, связанная с видом.

boolean equals(Object obj)

Указывает, идентичен ли этот вид какому-либо другому объекту. Два вида идентичны только в том случае, если они имеют одинаковую форму и одинаковый тип элемента.

int hashCode()

Возвращает значение хэша для вида, основанное на форме вектора и типе элемента.