Uses the FlashAttention algorithm to perform self-attention computation in training scenarios. The difference from lies in the output layout. For TND inputs, the original FlashAttentionVarLenScore uses an NTD softmax output layout. FlashAttentionVarLenScoreV4 includes the
[object Object]parameter to allow the softmax output to stay consistent with the input (TND).- Ascend 950PR/Ascend 950DT: The softmaxOutLayout parameter is not supported.
Formula
The forward computation formula for attention is as follows:
Each operator has calls. First, [object Object] is called to obtain the workspace size required for computation and the executor that contains the operator computation process. Then, [object Object] is called to perform computation.
Parameters
[object Object]Returns:
[object Object]: status code. For details, see .The first-phase API implements input parameter verification. The following errors may be thrown.
[object Object]
- Deterministic computation
[object Object]defaults to a deterministic implementation.
- When this API is used together with PyTorch, ensure that the CANN package versions match the PyTorch package versions.
- Constraints on the input
[object Object],[object Object], and[object Object]:- B: The batch sizes must be equal.
- D (Head-Dim) must satisfy (qD == kD && kD >= vD).
[object Object]must be consistent.
- The input data types of
[object Object],[object Object],[object Object], and[object Object]must be the same. - N of the input
[object Object]can be different from N of the[object Object]or[object Object], but they must be proportional. That is, Nq/Nkv must be a non-zero integer and the value of Nq ranges from 1 to 256. When Nq/Nkv > 1, it is a grouped-query attention (GQA). When Nkv=1, it is a multi-query attention (MQA). Unless otherwise specified, N in this document indicates Nq. - Constraints on the data shape:
- T(B*S): The value ranges from 1 to 1M.
- B: The value ranges from 1 to 20000. When
[object Object]is passed, B supports a maximum of 1K. - N: The value ranges from 1 to 256.
- S: The value ranges from 1 to 1M.
- D: The value ranges from 1 to 768.
- The data format of
[object Object],[object Object], and[object Object]can only be TND. T indicates the data closely arranged on the B and S axes (SeqLenQ and SeqLenKV of each batch). B (Batch) indicates the batch size of the input sample, and S (Seq-Length) indicates the length of the input sample sequence. H (Head-Size) indicates the size of the hidden layer. N (Head-Num) indicates the number of heads. D (Head-Dim) indicates the minimum unit size of the hidden layer (D = H/N). - realShiftOptional: If Sq is greater than 1024, the length of Sq in each batch is the same as that of Skv, and the sparseMode is 0, 2, or 3, the alibi positional encoding compression can be enabled. In this case, only the last 1024 rows of the original PSE need to be input for memory optimization. That is, alibi_compress = ori_pse[:, :, -1024:, :]. The details are as follows:
- If the parameters of each batch are different, the shape is BNHSkv (H=1024).
- When each batch is the same, the shape is 1NHSkv (H=1024).
- If this parameter is not used, pass nullptr.
[object Object]: 0 and 1 are reserved, and 2 indicates that invalid row calculation is enabled. This function is used to prevent precision loss caused by the mask of the entire row during calculation. However, this configuration deteriorates the performance. If the operator can determine that invalid rows exist, the invalid row computation is automatically enabled, such as in scenarios where[object Object]is set to 3 and Sq is greater than Skv.- Restrictions on
[object Object]- When the shapes of all
[object Object]are less than 2048 and are the same, the default mode is recommended to reduce memory usage. - When this parameter is set to 1, 2, 3, or 6, the preTokens and nextTokens configured by the user do not take effect.
- When the value is set to 0, 4, or 7, ensure that the ranges of
[object Object],[object Object], and[object Object]are consistent. - If no specific value is required, 0 is recommended.
- For details about the sparse modes, see .
- When the value is set to 1, 2, 3, 4, 6, 7, or 8, the value of
[object Object]must be correct. Otherwise, the calculation result is incorrect. If[object Object]is set to[object Object],[object Object],[object Object], and[object Object]do not take effect and all tokens are calculated. - When the value is set to 3, computation on invalid rows is not supported, and Sq <= Skv must be satisfied for each batch.
- When the value is set to 7,
[object Object]is not supported. - When the value is set to 8,
[object Object]is supported when the q and kv of each sequence have the same length. PSE generation is performed globally. The q direction can be used for external splitting. The q and kv of each sequence must have the same length before external splitting. Then, actualSeqQLenOptional[0] - actualSeqKvLenOptional[0] + qStartIdxOptional - kvStartIdxOptional == 0 (experimental function).
- When the shapes of all
- In some scenarios, if the computation load is too large, the operator execution may time out (an AI Core error is reported, and
[object Object]is[object Object]). In this case, you are advised to perform axis splitting. Note: The computation load is affected by parameters such as B, S, N, and D. Larger values indicate larger computation loads. - The
[object Object]sparse computing scenario is[object Object]. When Sq > Skv, the value range of N of[object Object]is [0, Skv]. When Sq ≤ Skv, the value range of N of[object Object]is [Skv – Sq, Skv]. - In the band scenario, the values of
[object Object]and[object Object]must overlap. - The
[object Object]input does not support padding. That is,[object Object]cannot contain a row of all 1s. - The
[object Object]input supports the S length of 0 in a batch. In this case, the[object Object]input is not supported. If the actual S length is [2,2,0,2,2], the value of[object Object]is [2,4,4,6,8]. [object Object]can be set to an empty string or[object Object].
The following example is for reference only. For details, see .