FreeSql事务操作中表结构同步与锁库问题解析

在使用FreeSql进行多表事务操作时，开发者可能会遇到"database is locked"的错误提示。这种情况通常发生在事务操作中尝试操作尚未创建的表时。本文将深入分析这一问题产生的原因，并提供有效的解决方案。

问题现象

当使用FreeSql的UnitOfWork进行多表事务操作时，如果其中某个表在数据库中尚未创建，系统会抛出"database is locked"异常。例如以下代码：

using(var uow = fsql.CreateUnitOfWork())
{
    var songRepo = fsql.GetRepository<Song>();
    var userRepo = fsql.GetRepository<User>();
    songRepo.UnitOfWork = uow;
    userRepo.UnitOfWork = uow;

    songRepo.Insert(new Song());
    userRepo.Update(...); // 如果User表不存在，此处抛出异常
    
    uow.Commit();
}

原因分析

1. 事务与自动迁移的冲突：FreeSql的事务功能和自动迁移(CodeFirst)功能是相互独立的机制。当在事务中操作不存在的表时，系统会尝试自动创建表结构，但这与正在进行的事务产生了资源锁竞争。

2. 嵌套锁问题：事务已经获取了数据库锁，而自动迁移也需要获取锁来创建表结构，导致锁嵌套冲突。

3. 执行时序问题：事务开始后才尝试操作表结构，此时数据库已处于锁定状态，无法执行DDL操作。

解决方案

最佳实践：预先同步表结构

在开启事务之前，确保所有相关表已经存在并完成同步：

// 预先同步所有需要的表结构
fsql.CodeFirst.SyncStructure<Song>();
fsql.CodeFirst.SyncStructure<User>();

// 然后再开启事务
using(var uow = fsql.CreateUnitOfWork())
{
    // 事务操作...
}

替代方案

1. 关闭自动迁移：如果不希望自动创建表结构，可以配置FreeSql禁用自动迁移功能：

fsql.CodeFirst.IsAutoSyncStructure = false;

2. 异常处理：捕获异常并处理表不存在的情况：

try
{
    // 事务操作
}
catch(Exception ex) when (ex.Message.Contains("database is locked"))
{
    // 处理表不存在的情况
    fsql.CodeFirst.SyncStructure<User>();
    // 重试或记录日志
}

深入理解

1. 事务隔离性：SQLite等数据库在事务中执行DDL操作会受到限制，这是数据库本身的特性而非FreeSql的缺陷。

2. FreeSql设计理念：FreeSql将数据操作(CRUD)和结构迁移(CodeFirst)设计为独立模块，开发者需要明确区分两者的使用场景。

3. 性能考量：预先同步表结构可以避免在事务中执行耗时的DDL操作，提高整体性能。

实际应用建议

1. 在应用启动时完成所有表结构的检查和同步。

2. 对于需要动态创建表的场景，考虑将表创建操作与数据操作分离。

3. 在单元测试中，可以使用内存数据库或确保测试前环境已准备就绪。

通过理解这些原理和采用正确的实践方法，开发者可以避免"database is locked"问题，确保FreeSql事务操作的稳定性和可靠性。