Мушкилоти кории lock-free-ро тавсиф карда метавонед?

Асосӣ принсипи алгоритмҳои бе бастаҳо дар он аст, ки дар вақти дастрасии параллелӣ ба маълумот, ҳадди ақал як ҷараён ҳамеша метавонад амали худро дар як шумораи маҳдуди қадамҳо анҷом диҳад, новобаста аз фаъолиятҳои дигар ҷараёнҳо. Ин тавассути истифодаи амалҳои атомӣ, монанди Compare-And-Swap (CAS), Fetch-And-Add (FAA) ва дигарҳо, ки аз ҷониби процессор пешниҳод мешаванд, ба даст меояд.

Фарқиятҳо бо бастаҳо:

Хусусият	Бунёд дар асоси баста (бо бастаҳо)	Бе баста (бе бастаҳо)
Пешрафт	Ҷараён метавонад баста шавад	Ҳадди ақал як ҷараён пеш меравад
Deadlock	Имконпазир	Имконнопазир
Ниёз ба нақшакаш	Баланд	Камтар
Сохтори татбиқ	Соли осонтар барои ҳолатҳои оддӣ	Баландтар, ниёз ба тарҳрезии эҳтиёткор

Барнома:

Тасҳеҳоти маълумот ва алгоритмҳои бе бастаҳо дар системҳои борбардор истифода мешаванд, ки дар он кам кардани таъхирҳо ва пешгирии бастаҳо муҳим аст:

• Таҳия кардани каналҳои иртибот
• Навбатҳо ва стекҳо бе бастаҳо
• Дастрасии муштарак ба хотираи умумӣ

Маслиҳат барои истифодаи CAS:

// Иваз кардани арзиши value ба new_value, агар арзиши ҳозира баробар бо old_value.
// Вақте, ки иваз кардан муваффақ аст, true бармегардонад, дар ғайри ҳол false.
atomic.CompareAndSwapInt64(&value, old_value, new_value)

Мушкилоти алгоритмҳои бе бастаҳо:

Таҳияи алгоритмҳои бе бастаҳо мураккаб аст, зеро ниёз ба нақшакашии эҳтиёткоронаи муошират байни ҷараёнҳо ва истифодаи амалҳои атомӣ вуҷуд дорад. Мушкилотҳо, монанди мушкилоти ABA, метавонанд рӯй диҳанд, ки механизмҳои иловагӣ, масалан, CAS-и ду калима, талаб мекунанд.