قسمتی از متن....

دسترسی همزمان به داده های مشترک ممکن است باعث شود که ناسازگاری داده به وجود آید. nسازگاری داده نیازمند مکانیزمی برای اطمینان از اجرای صحیح فرآیندهای همکار است. nفرض کنید می خواهیم راه حلی برای مسئله تولید کننده – مصرف کننده فراهم کنیم به طوری که از تمام ظرفیت بافر استفاده شود. یک راه حل این است که یک شمارنده از نوع عدد صحیح با مقدار اولیه صفر استفاده کنیم که میزان موجودی بافر را مشخص کند. هر بار که یک داده به بافر اضافه می شود، این شمارنده یک واحد افزایش پیدا می کند و هر بار که یک داده از بافر حذف می شود، یک واحد از شمارنده کاسته می شود.