摘要
本文介绍了基于 NJU-Table 协同表格的新生车辆入校审批系统的需求明细、视图展示和部分设计细节，并记录了系统上线运行后得到的反馈。在新生学院七个书院十余位老师的共同支持下，该系统在开学两天内顺利调度一千二百余辆私家车错峰入校，展示了后疫情时代信息化行政的强大潜力。该系统的开发涉及到 NJU-Table 向非专业开发者提供的绝大多数功能，为学习使用 NJU-Table 提供了良好范例。
Github 上的 clash 官方仓库已经删库跑路，本文介绍的是一个目前可行的解决方案。
在 https://github.com/doreamon-design/clash/releases 下载与自己系统架构符合的安装包。一般选择 [clash_2.0.24_linux_amd64.tar.gz](https://github.com/doreamon-design/clash/releases/download/v2.0.24/clash_2.0.24_linux_amd64.tar.gz)。
gzip -d clash_2.0.24_linux_amd64.tar.gz # 在安装包所在路径解压安装包
chmod +x clash_2.0.24_linux_amd64.tar.gz # 给解压后的文件赋予执行权限
mv clash_2.0.24_linux_amd64 /usr/local/bin/clash # 移动文件位置
clash -v # 查看是否成功安装本文是 2023 年南京大学软件学院推免经验分享内容。
| 2024 年招生 | 学术硕士（软件工程 083500） | 专业硕士（软件工程 085405，原电子信息） |
|---|---|---|
| 学制 | 三年 | 两年（待定） |
| 学费 | 5000 元/年 | 20000 元/年 |
| 招收总人数（考研+保研） | 17（10 个保研） | 227 |
| 住宿条件 | 2023 级提供鼓楼（23 级在陶一）或浦口宿舍 | 不提供宿舍 |
| 奖学金 | 奖学金比较多 | 奖学金比较少（而且基数大） |
| 专业认可度 | 考公考编可选岗位较多 | 电子信息可选岗位受限，085405 和 083500 几乎相同 |
| 转博政策 | 2+4，硕士成果计入毕业要求 | 2+4，硕士成果不计入毕业要求 |
登录南京大学研招网查看当年权威信息：https://yzb.nju.edu.cn/main.htm
我为什么选择学硕：进可转博，退可尽快毕业
哪些人的理性会受挫？
进电影院前的我：
夫未战而庙算胜者，得算多也，未战而庙算不胜者，得算少也。多算胜，少算不胜，而况于无算乎！吾以此观之，胜负见矣。（《孙子兵法》）故曰：善战者无赫赫之功（曹操）。
看完电影后的我：
人算不如天算：行人是，知天命，可以无悔矣。
请在南京大学校园网环境下访问：🫡Jo 娜贝尔 (Bye-JonaBell.c) (cpl.icu)
课上讲过的作业题 JoJo 谜题 (josephus.c) (cpl.icu)。
原文链接：通俗易懂 强一致性、弱一致性、最终一致性、读写一致性、单调读、因果一致性 的区别与联系 - 知乎 (zhihu.com)
提到分布式架构就一定绕不开“一致性”问题，而“一致性”其实又包含了数据一致性和事务一致性两种情况，本文主要讨论数据一致性（事务一致性指 ACID）。
复制是导致出现数据一致性问题的唯一原因。
如果只用一台数据库来处理所有的写入和读取请求，就一定不存在数据一致性的问题。 但在中大型项目中，我们却经常需要将一份数据存储在超过一台数据库中（即复制），原因有三：
\[ \def\po{\mathsf{\textcolor{\red}{po}}} \def\so{\mathsf{\textcolor{\purple}{so}}} \def\wr{\mathsf{\textcolor{\green}{wr}}} \def\co{\mathsf{\textcolor{\orange}{co}}} \]
摘要
现代应用程序，如社交网络系统和电子商务平台，以大规模数据库为核心，用于存储和检索数据。对数据库的访问通常封装在事务中，允许对共享数据进行的计算与其他并发计算隔离，并具有容错性。现代数据库以性能为代价来交换隔离程度。隔离级别越低，数据库允许表现出的行为就越多，而开发人员需要确保他们的应用程序能够容忍这些行为。
在这项工作中，我们提出了一种基于动态偏序归约的无状态模型检查算法，用于研究依赖于多种常见弱隔离级别的应用程序的正确性，包括读已提交、因果一致性、快照隔离和可串行化。我们展示了这些算法在所有情况下都是完备的、正确的和最优的，并且在所有情况下都具有多项式内存消耗。我们报告了这些算法在 Java Pathfinder 环境中的实现，应用于分布式系统和数据库文献中的一些具有挑战性的应用程序。
原文：Ahmed Bouajjani, Constantin Enea, and Enrique Román-Calvo. 2023. Dynamic Partial Order Reduction for Checking Correctness against Transaction Isolation Levels. Proc. ACM Program. Lang. 7, PLDI, Article 129 (June 2023), 26 pages. https://doi.org/10.1145/3591243