test socket

design.md

@@ -1,11 +1,14 @@
 # 规划的Bonus实现方式
 - 缓存：LRU
 - 空间回收
-- 快照：不内置于数据库系统，而是直接针对整个数据文件夹打快照（类似于git，在火车票系统后端处于非活动状态时操作，比对工作文件夹和版本库中的最后一次commit，然后打一个新的commit进去），额外消耗空间为压缩后的 当前文件实际大小+变化量，使用zstd算法压缩。交互方式：`./core-cli snapshot [options]`
+- 快照：贯通于数据库系统和火车票系统整体，而是直接针对整个数据文件夹打快照（类似于git，在火车票系统后端处于非活动状态时操作，比对工作文件夹和版本库中的最后一次commit，然后打一个新的commit进去），额外消耗空间为压缩后的 当前文件实际大小+变化量，使用zstd算法压缩。交互方式：`./core-cli snapshot [options]`
 - 并发：内置于数据库系统，基于`std::shared_mutex`的简单并发。（但火车票系统会直接在整个业务层面上读写锁，因此不会直接使用数据库系统的并发安全）。
-- 容错：不内置于数据库系统，由火车票系统针对实际业务逻辑记录日志。在文件系统层级上修复完损伤后，运行`./core-cli fsck`检查是否有可能有损坏，借助快照工具修复可能的损伤。
+- 容错：不内置于数据库系统，由火车票系统针对实际业务逻辑记录日志。在文件系统层级上修复完损伤后，运行`./core-cli fsck`检查是否有可能有损坏，借助快照系统修复可能的损伤。
 - 前端：一个使用正经框架写的简洁美观的UI，无响应式设计。
 
+## 快照系统
+一个仿照git的直接针对文件的快照库，有Work Tree、Stage、Commit等概念。虽然快照系统直接集成于数据库系统，但对用户开放的操作是以整个火车票系统为单位的。火车票系统会每隔数秒或数千比交易执行一次暂存，此时数据库系统会把缓存写回磁盘，记录数据操作日志，以及在快照系统中执行Stash；打快照时，会依次把缓存写回磁盘、记录日志（以单笔业务为最小单位）、stage工作目录、创建commit。
+
 因为详细的数据库相关知识没学，所以正经并发和更细粒度的容错就不打算自己瞎搓了。
 
 # 内核设计
@@ -13,8 +16,16 @@
 - bpt：原始B+树以及相关简单封装，和其他一些涉及具体磁盘存储的东西
 - 一个火车票系统执行引擎
 - 一个直接的命令行交互系统，用于OJ测试/单会话模式/快照管理/数据错误检查
-- C Extensions封装，用于对接服务端
+- 一个Socket服务端，用于对接服务端
 # UI设计
 - 语言：Python
-- 与内核的交互：C Extensions
-- Web框架：FastAPI + socket.IO + (React?) + BootStrap
+- 与内核的交互：Socket
+- Web框架：FastAPI + socket.IO + (React?) + BootStrap
+
+___
+# 使用到的第三方库
+均为在不涉及核心功能的情况下为了让程序更优雅而使用：
+- argparse：提供优雅的命令行参数解析
+- googletest：调试用
+- spdlog：运行日志，调试用（不是数据库系统日志）
+- sockpp：服务器模式下与Python交互用