JuliaSIMD / JuliaSIMD/LoopVectorization.jl

Incorrect results using @turbo with linear array indexing

Abierto
#512 1 comentario 0 reacciones 0 asignados Ver en GitHub
Lenguaje dominante
Julia
Estrellas
789
Forks
73
Métricas de merge de PR
Sin PR fusionados en 30 d

Descripción

There was some discussion about this issue [here](https://discourse.julialang.org/t/inconsistent-results-using-loopvectorization-turbo-with-linear-indexing/104481). Essentially, when using linear indexing of an array `@turbo` appears to start indexing the array incorrectly when a offset term is used. An example of this (code and commentary copied directly from the discourse discussion) is below.
```
julia> H = collect(reshape(1.0:6.0, 3, 2))
3×2 Matrix{Float64}:
1.0 4.0
2.0 5.0
3.0 6.0

julia> su = zeros(3);

julia> for k = 1:1
ind = 0 # LinearIndices((3, 2))[1, 1] - 1
for ij in 1:3
su[ij] += H[ij + ind]
end
end

julia> su
3-element Vector{Float64}:
1.0
2.0
3.0

julia> su = zeros(3);

julia> for k = 1:1
ind = 0
@turbo for ij in 1:3
su[ij] += H[ij + ind]
end
end

julia> su
3-element Vector{Float64}:
6.94274366677856e-310
1.0
2.0
```

so `H` is being indexed at 0, 1, 2 instead of 1, 2, 3. The effect doesn’t seem to happen on the left hand expression e.g. `su[ij + ind]` and doesn’t seem to shift more with more additions e.g. `H[ij + ind + ind]`. It does it correctly if the index was added to a literal 0 instead of `ind` or if not added:
```
julia> su = zeros(3);

julia> for k = 1:1
@turbo for ij in 1:3
su[ij] += H[ij + 0]
end
end

julia> su
3-element Vector{Float64}:
1.0
2.0
3.0

julia> su = zeros(3);

julia> for k = 1:1
@turbo for ij in 1:3
su[ij] += H[ij]
end
end

julia> su
3-element Vector{Float64}:
1.0
2.0
3.0
```

Guía de contribución

No hay ninguna guía de contribución indexada para este repositorio

Línea de trabajo

Comienza reproduciendo el ejemplo de Julia proporcionado con @turbo e indexación lineal de arrays, y luego compara su resultado con el del bucle ordinario. Rastrea cómo @turbo gestiona el término de desplazamiento en H[ij + ind]. Se considera completado cuando el bucle optimizado produce los mismos valores que el bucle no optimizado, con una prueba de regresión que cubra este caso.

Escrito por el modelo de indexación a partir del texto del issue.

Evaluación

Stack tecnológico
julia
Área
performance
Tipo de issue
Error
Dificultad
4/5
Tiempo estimado
3-5 días
Estado de actividad
Estancado
Claridad
Bastante claro
Aptitud para principiantes
35/100

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.