Implicit cas ranges
См.
cas.rs:120(permalink)
pub struct Request {
pub predicate: Predicate,
pub op: Op,
...
}
fn proc_cas_local(req: &Request) Сейчас логика CaS проверяет каждую запись из хвоста рафт журнала на предмет конфликта с предикатом. Суть данного тикета в том, что CaS должен дополнительно сравнивать записи непосредственно с op. Таким образом даже при пустом ranges raft-журнал будет защищен от очевидных конфликтов
Данный тикет закрывает часть потребностей, обозначенных в #368 "Implement limbo for CaS", тем самым дает надежду обойтись вообще без лимба, тк из-за трудоемкости на его реализаицю надежд почти нет.
- Follow-up for !982 (merged)
- See sbroad#577 (comment 68692)
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information
- #78624.5 - Lowercase
