原子性(Atomicity): 一个事务中的所有操作要么全部完成,要么全部不做,不会结束在中间的某个环节。事务在执行过程中发生错误,会被回滚到事务开始前的状态,就像这个事务从来没有执行过一样。即事务不可分割、不可约简。
一致性(Consistency):在事务开始之前和事务结束之后,数据库的完整性没有被破坏。这表示写入的数据必须完全符合所有的预设约束、触发器、级联回滚等。
隔离性(Isolation):数据库允许多个并发事务同时对其数据进行读写和修改,隔离性可以防止多个事务并发执行时由于交叉执行而导致数据的不一致。事务隔离分为不同级别,包括未提交读(Read Uncommitted)、提交读(Read Committedd)、可重复读(Repeatable Read)和串行化(Serializable)。
持久性(Durability):事务处理结束后,对数据的修改是永久的,即便系统故障也不会丢失。
这就是事务的四大特性:ACID。
一文读懂 OpenAI Codex 源码的原理、架构与未来
本文基于当前工作区的
codex-main 源码目录进行分析,目标是让初学者也能看懂 Codex 的基本原理,同时给有工程背景的读者足够的架构细节。文章会围绕四个问题展开:
[MAF预定义的AIContextProvider-04]Mem0Provider——长期记忆基于的云端解决方案
折腾半小时,终于让AI 能直接帮我写飞书文档了
AI 很快就生成了一段漂亮的文字分析。然后我说:”写到飞书里。”——它不动了。
用 OllamaHub 让 Visual Studio Copilot 可以对接任意模型
这种与账号安全相关的事情,十分推荐大家自己编项目自己跑起来,不要去用别人编好的。反正整个 dotnet 系的编译都非常简单
gt-checksum v4.0.0 新功能解读系列文章(4):SSL 加密连接——数据校验传输安全再升级
gt-checksum 参数(源端 + 目标端):
我开源了一个开发者专属的智能 JSON 工具,得到了媳妇高度认可
这期给大家分享一个我开发的工具!
手写高性能在线 JSON 工具|Web Worker 工程化打包 + 语法自动修复 + 多语言代码生成实战
这个 JSON 页面不是临时拼出来的小工具,而是我在真实工具站里持续打磨的一部分。最开始做它,是因为日常开发里处理 JSON 的频率太高了:数据一大页面就卡,错误提示不够直观,树形结构一深就不容易看清,代码生成和格式转换也总得在多个工具之间来回切换。
Vercel Eve 快速入门:使用 eve init 构建你的第一个 Agent
这一篇开始动手。
Roslyn语法的模式匹配之EasySyntax增加模式匹配支持
源码托管地址:
https://github.com/donetsoftwork/Hand.Generators ,欢迎大家直接查看源码。
gitee同步更新:
https://gitee.com/donetsoftwork/hand.-generators
小狮博客