Contention-sensitive data structures and algorithms

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