Parallelization SIMD support like un JuliaLang

[acostaja]

Please add support to vectorial (parallelized) instructions with something like in Julia Lang with it's "." Dot-syntax
This opens opportunities in HPC/GPGPU/ML where this is very useful for SIMD optimization. Also include some syntax/keyword to enable such features being complied like declaration to CUDA << >> non STD C syntax being generated when compiled/translated to/from CUDA, HIP/opencl

[medvednikov]

Yes, this would be nice.

[toihr]

Is this still something that you would consider adding to the language.

I just found V Lang a while ago and it basically seems to be a language i would very like with only some Vector Math capabilities like this missing which I need most of the time as someone doing scientific computing.

To take dumblob's opinion into account I think instead of adding it as a SIMD shorthand, it could be more a shorthand for loops which then will be optimized and potentially vectorized by the C compiler.

[dumblob]

Hi @toihr , welcome aboard!

I am not very actively following V development lately. But loops are already vectorized internally by the C compiler (C compilers are pretty decent nowadays in this). So I think here the request is more about syntax for 2 things:

1. hints to the compiler (how) to vectorize (more efficiently)
2. have some naming convention or even dedicated syntax for readable "batch/vector operations"

For (1) feel free to take a look how VSL and VTL do it. For (2) I think the current capabilities are pretty good to achieve a readable, often intuitive, syntax (again, feel free to refer to critical parts of existing code - internal V string libraries, numerical libraries like crypto, etc.).

Would that cover your use cases? If not, please be specific why e.g. intrinsics would not be enough 😉. Thanks!

[dumblob]

Any special syntax for SIMD parallelization will fall short rather quickly (and has too many shortcomings). From my experience the best way is to stick with intrinsics (as mentioned in #1868 (comment) ) as this approach is by definition extendable and because they already exist e.g. in C++, there is no need to reinvent the wheel.

See also an older issue #1839 .