在tikv中，乐观和悲观有什么不同？

Question

当我使用tikv时，我发现它在TxnKV客户机中有一个选项，然后我测试它，但是我找不到乐观和悲观在tikv中的区别吗？

测试代码如下：

func begin() kv.Transaction{
    transaction, err := store.Begin()
    if err!=nil{
        panic(err)
    }
    return transaction
}
func main() {
    pdAddr := os.Getenv("PD_ADDR")
    if pdAddr != "" {
        os.Args = append(os.Args, "-pd", pdAddr)
    }
    flag.Parse()
    initStore()
    k2 := []byte("key2")
    v22 := []byte("value22")
    v23 := []byte("value22")
    testTxn(k2,v22,v23)
}
func testTxn(k2 []byte, v22 []byte, v23 []byte) {
    txn1, txn2 := begin(), begin()
    txn1.SetOption(kv.Pessimistic, true)
    fmt.Println("txn1 after:", txn1.IsPessimistic())

    txn2.SetOption(kv.Pessimistic, true)
    fmt.Println("txn2 after:", txn2.IsPessimistic())

    err := txn1.Set(k2, v22)
    if err != nil {
        panic(err)
    }

    err = txn2.Set(k2, v23)
    if err != nil {
        panic(err)
    }
    err = txn1.Commit(context.Background())
    if err != nil {
        panic(err)
    }
    fmt.Println(get(k2))
    err = txn2.Commit(context.Background())
    if err != nil {
        panic(err)
    }
}

无论我是否设置了txn1.SetOption(kv.Pessimistic, true)和txn2.SetOption(kv.Pessimistic, true)，我都没有发现它们之间的区别。

但是在tidb或mysql中，用悲观的事务修改相同的记录，它就会阻塞。

例如交易A：

begin;
updata t1 set col ="value1" where id=1;

交易B：

begin;
updata t1 set col ="value2" where id=1; //it will block until transaction A commit or rollback

我有两个问题：

1. 在tikv中乐观和悲观有什么区别？
2. tikv的悲观锁和mysql/tidb的悲观锁有什么区别？

如果有人有任何想法，请与我分享，谢谢

Answer 1

1. 在tikv中乐观和悲观有什么区别？

TiKV采用谷歌的Percolator交易模型来实现乐观的交易模型。客户端在事务提交之前不会写入数据。

悲观事务模型建立在乐观事务模型之上，该模型可以在提交事务之前锁定密钥，以防止并发修改。

1. tikv的悲观锁和mysql/tidb的悲观锁有什么区别？

TiDB遵循TiKV悲观事务模型的协议来实现悲观锁.MySQL和TiDB之间的区别是文档化的这里。

kv.Pessimistic选项只表示事务是悲观的。不会影响它的行为。

客户至上中的悲观事务目前还不是一个现成的特性(2021.06).它只是提供了基本的工具包，用户必须遵循无文档的悲观事务协议才能使用它，这是很容易出错的。AFAIK，唯一的用户是TiDB，建议使用乐观事务模型。