בקרת מקביליות
במדעי המחשב, לרבות בתכנות, מערכות הפעלה, בסיסי נתונים ומעבדים, בקרת מקביליות מבטיחה תוצאות נכונות לפעולות שנעשות במקביל תוך קבלת התוצאות במהירות האפשרית.
בקרת מקביליות בבסיסי נתוניםעריכה
בקרת מקביליות במערכות לניהול בסיסי נתונים מבטיחה שתנועות (Transactions) יוכלו להתבצע בבסיס הנתונים בו זמנית מבלי לפגוע בנכונות ועקביות הנתונים. תנועה היא אבסטרקציה של אוסף פעולות קריאה וכתיבה אטומיות לאובייקטים בבסיס הנתונים. כאשר שתי תנועות שונות ניגשות לאותו אובייקט, התנגשות עלולה לצור מצב של חוסר עקביות. מנגנון בקרת המקביליות דואג שביצוע התנועות יהיה נכון ושקוף למשתמש, על ידי שמירה שכל הפעולות המבוצעות בבסיס הנתונים עונות על כללי ACID.
מנגנון בקרת המקביליותעריכה
מנגנוני בקרת המקביליות מתחלקים לשני סוגים עיקריים:
- בקרת מקביליות פסימית - חסום פעולות של תנועות שעלולות להפר כללי סנכרון.
- בקרת מקביליות אופטימית - השהה סנכרון של תנועה עד שתסתיים ללא פעולות חוסמות, ורק אז בטל תנועות שמפרות כללי סנכרון.
קיימות שיטות רבות ומגוונות לבקרת מקביליות, בהן:
בקרת מקביליות במערכות הפעלהעריכה
מערכות הפעלה מודרניות עובדות בשיטת ריבוי משימות, ועל כן צריכות לאפשר למספר תהליכים לרוץ בהן בו זמנית (גם אם אין מדובר במקביליות אמיתית בזמן אלא בהחלפת הקשר מהירה בין תהליכים). ריבוי משימות הוא פשוט כאשר התהליכים בלתי תלויים זה בזה. עם זאת, כאשר מספר תהליכים או תהליכונים חולקים משאבים או מנסים לחלוק ביניהם מידע, עלול להיווצר מצב של חוסר עקביות במערכת. מטרת בקרת המקביליות היא למנוע מצבים כאלה. חלק מהפתרונות כוללים שימוש במנעולים, בעוד שפתרונות אחרים מציעים שימוש בפעולות אטומיות ובאלגוריתמים חסרי נעילות.