Non-interference and local correctness in transactional memory

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