The experimental JavaScript SIMD API introduces vector objects that utilize SIMD/SSE instructions on supporting CPUs; {{Glossary("SIMD")}} is short for Single Instruction/Multiple Data. SIMD operations are methods that process multiple data with a single instruction. In contrary, scalar operations ({{Glossary("SISD")}}) process only one individual data with a single instruction.
Processing a data set with a single instruction can bring a big performance win to your application. How much depends on the size of the data set (or vector, or packed data) among other things. Thus, SIMD operations are widely used for 3D graphics and audio/video processing, physics simulations, cryptography, and other domains.
A downside of SIMD, and this is why algorithms need to be designed for SIMD, is that the packed data set can not be processed differently while your algorithm often needs to process different data differently. We will learn later in this article how we can work with masks, for example, to address this problem.
Shared memory or thread level parallelism allow different parallel paths on multiple data and with multiple instructions (MIMD). Parallel programming can be simpler with these techniques, but these concepts can also be used together with SIMD. For example, you could image to have SIMD vectorization that is utilized in each thread of your program. This Mandelbrot demo, by Peter Jensen (Intel), demonstrates the performance gains of SIMD and Web Workers, for example.
SIMD in JavaScript
The JavaScript SIMD API consists of several new data types and operations allowing you to make use of SIMD instructions from JavaScript. Browsers provide highly optimized implementations of this API depending on the underlying hardware of the user. Currently, the JS SIMD API is especially modeled for ARMv7 platforms with NEON and x86 platforms with SSE.
Let's look at a SIMD data type, for example {{jsxref("float32x4", "SIMD.float32x4")}}. A SIMD vector consists of multiple data units, they are called lanes. For a vector of length 4, the lanes are named x, y, z, and w. Now, instead of having to perform 4 separate operations on each of these lanes, SIMD allows you to perform the operation on all 4 lanes simultaneously.
In the following figure, there is only a single instruction (addition) and thus the data can be processed using SIMD:
Figures 1 and 2: SISD and SIMD compared.
The scalar / SSID code could like this (without any loop, just for illustration):
var a = [1, 2, 3, 4]; var b = [5, 6, 7, 8]; var c = []; c[0] = a[0] + b[0]; c[1] = a[1] + b[1]; c[2] = a[2] + b[2]; c[3] = a[3] + b[3]; c; // Array[6, 8, 10, 12]
Now using SIMD:
var a = SIMD.float32x4(1, 2, 3, 4); var b = SIMD.float32x4(5, 6, 7, 8); var c = SIMD.float32x4.add(a,b); // float32x4[6, 8, 10, 12]
This will add the values in the four lanes simultaneously and give you back a new SIMD float32 type with all lanes added.
As you can see in the three lines of SIMD code, a set of JavaScript functions lets you create the packaged data types and gives you access to the vectorized instructions (addition here). At the time of writing this article, there is no operator overloading (i.e. a `+` sign) implemented to ease the writing of SIMD code like this. However, the JavaScript SIMD API is not yet finished and there are plans to include operator overloading in one of the next drafts. You can follow the specification development in the ecmascript_simd GitHub repository.
Re-aligning data to SIMD vectors
tbd
Parallelizing conditional branches
tbd
See also
- {{jsxref("SIMD")}} reference pages
{{draft}}