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