问用C# Vector<T> SIMD查找匹配元素的索引

EN

使用C#的Vector<T>**，，如何最有效地向量化查找_的索引_的操作？**

作为约束，集合始终是整数基元的Span<T>，最多包含一个匹配元素。

我想出了一个似乎没问题的解决方案，但我很好奇我们是否能做得更好。以下是一种方法：

1. 在每个槽中创建一个仅由目标元素组成的Vector<T>。
2. 在上一步的输入集向量和向量之间使用Vector.Equals()，以获得包含单个匹配槽中的1的掩码(如果没有匹配，则只包含0)。
3. 使用包含基于1的索引(1，2，3，4，.)的预初始化向量，从上一步开始在该向量和掩码之间调用Vector.Dot()。每个索引将被乘以0，除了潜在的匹配指数，它将被乘以1。我们得到的是那些乘法的和，或者是0，或者是匹配元素的基于1的索引。
4. 如果结果为0，则返回-1表示不匹配。否则，从结果中减去一个，使其基于0，并返回该结果。 //一次初始化向量，包含{ 1，2，3，4，…}向量索引= MemoryMarshal.Cast(Enumerable.Range(1，Vector.Count).Select(索引=> ( ushort )索引).ToArray()；//搜索Span set = stackalloc ushort[]{ 10，11，12，13，14，15，16，17，18，19，20，21，22，23，24，25 }；ushort元素= 22；//解释输入集为向量序列(假定输入集的长度幂为2表示简洁) var setVectors = MemoryMarshal.Cast (set )；//创建一个向量，其中包含每个时隙中的目标元素，elementVector =新的向量(元素)；//循环每个向量，而不是每个元素前缀(setVectors中的var向量){ // Get一个掩码，该掩码在单个匹配时隙中有一个1，或者仅包含0svar掩码=Vector.Equals(向量，elementVector)；//获取掩码和索引的点乘积/这将使每个索引的倍数为0，如果是匹配的，则为1，并返回它们的和，即匹配索引或0 //注意，即有意基于1的索引，以区别于0(无匹配) var索引=Vector.Dot(索引，掩码)；//如果不匹配，则返回0，或者将索引减少1，以获得基于0的索引返回索引== 0？-1 : index - 1；}