JuliaSIMD / JuliaSIMD/LoopVectorization.jl
Incorrect results using @turbo with linear array indexing
- 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