מה התכנית אמורה לחשב? והאם התכנית תקינה?

סוג של מכפלה פנימית (בלי השורש) בין ווקטור x לווקטור y. התוצאה היא סקלר. i משתנה פרטי עבור כל thread. המשתנים n,x,y משתנים משותפים לכולם ז"א כל הthreads יחזיקו באותו משתנה ורק משתנה i יהיה פרטי עבור כל אחד (כדי למנוע התנגשויות כזו או אחרת). נריץ בלולאת for עם reduction את המכפלה כאשר כל thread יבצע מכפלה עם ה-i הפרטי שלו ובעזרת reduction מבצעים סכום של כל הפעולות שהthreads ביצעו למשתנה יחיד עבור המאסטר התוכנית תקינה