בדרך כלל, קוד של תוכנית מסוימת פועל בצורה ישירה, דבר אחד קורה בכל רגע נתון. אם פונקציה מסתמכת על תוצאה של פונקציה אחרת, עליה להמתין לפונקציה האחרת שתסתיים ותחזור, ועד שזה יקרה, התוכנית כולה נעצרת מנקודת מבטו של המשתמש, וסביבת העבודה ניראת "קפואה".

אם אנחנו מריצים פעולה מסויימת שלוקח לה זמן, כמו לדוגמא גישה למאגר מידע ושימוש בתוצאות על מנת ליצור תבניות, זה יהיה עדיף להעביר את הפעולה הזו מחוץ ל-main thread, כך שתתצבע באופן אסינכרוני. זה הוא בעצם הבסיס של פיתוח תוכניות אסינכרוניות, וכל סביבת פיתוח מעניקה למפתח כלים שונים כיצד להריץ משימות באופן אסינכרוני.

לדוגמא, נסתכל על פקודות סינכרוניות. נבצע מספר פקודות console.log במקביל:

console.log('1')
console.log('2')
console.log('3')

נקבל כפלט לפי הסדר שהתוכנית רשומה '1','2' ו'3'. כלומר, כמצופה, שורה אחר שורה.

בעוד שכל תהליך שכזה נמצא בהרצה או עיבוד, שום דבר אחר לא יכול להתרחש – יתר העיבוד מושהה. זה מכיוון ש-JavaScript היא single threaded (נפרט על כך בהמשך). רק דבר אחד יכול להתרחש בכל פעם על ה-single main thread, וכל היתר חסום לביצוע או לעיבוד עד אשר אותה פעולה תושלם. גישה זו שונה מהרבה שפות פופלאריות אחרות, ולכן דיי קשה לכתוב קוד אסינכרוני בתוכניות JavaScript.

רשומה זו נכתבה בהשראה של הסמינר שביצעתי במהלך הלימודים בתואר על תוצאות המאמר "Static Analysis for Asynchronous JavaScript Programs" של Thodoris Sotiropoulos ו-Benjamin Livshits הנותנים גישה מעניינת לכיצד ניתן לבצע ניתוח סטטי של תוכנית JavaScript אסינכרונית. ניתוח זה מאפשר לזהות שגיאות פוטנציאליות ולהעריך ביצועים של תוכניות.

אך תחילה עלינו יהיה להגדיר ולהבין כיצד השפה JavaScript עובדת, במה היא שונה משפות אחרות ומה היא בעצם תוכנית אסינכרונית. ידע זה יעזור לנו להבין טוב יותר מה הם בעצם האתגרים אותם כותבי המאמר מנסים לפתור.

המשך קריאה "ניתוח פעולות אסינכרוניות בתוכניות JavaScript"