EagleBear2002 的博客

这里必须根绝一切犹豫，这里任何怯懦都无济于事

发表于 更新于 分类于
本文字数： 184 阅读时长 ≈ 1 分钟

摘要

航空母舰、豪华游轮和 LNG 船因设计建造难度高、附加值高，被合称为造船工业的三大明珠。本文依次举例介绍了三种船型的技术难点和技术突破的重要意义，并分析了中国造船业发展的道路优势和体制优势。

原视频合集链接：飞羽社的个人空间-飞羽社个人主页-哔哩哔哩视频 (bilibili.com)

003 航母下水

国产豪华邮轮交付

阅读全文 »

发表于 更新于 分类于
本文字数： 6.3k 阅读时长 ≈ 6 分钟

摘要

本文从行业周期、替换周期和订单交付周期分析了中国船舶行业，重点分析了中国船舶（600150）股票走势与船舶周期的相关性。本文从公司业务、财务、南北船重组三个角度分析了中国船舶这一企业。笔者在原研报的基础上补充了和环保法规相关的内容。

本研报的视频讲解：https://www.bilibili.com/video/BV14s4y1F7Fh/?spm_id_from=333.999.0.0&vd_source=bd427f91dee5122f5f148ab719220125

有道云笔记原文：https://note.youdao.com/ynoteshare/index.html?id=b181408093cf461258274f9997221073&type=note&_time=1712844592632

结论前置

阅读全文 »

发表于 更新于 分类于 ，
本文字数： 25k 阅读时长 ≈ 23 分钟

摘要

动态偏序约简（DPOR）通过探索并发程序的所有交错直至某种等价关系（例如 Mazurkiewicz 迹等价）来验证并发程序。这样做涉及空间和时间之间的复杂权衡。现有的 DPOR 算法要么是探索最优的（即仅精确探索每个等价类的交错），但可能使用程序大小的指数内存，要么保持多项式内存消耗，但可能会探索指数级的许多冗余交错。

在本文中，我们表明可以两全其美：在线性内存消耗的情况下探索每个等价类的确切一个交错。我们的算法 TruSt 在 Coq 中形式化，不仅适用于顺序一致性，还适用于满足一些基本假设的任何弱内存模型，包括 TSO、PSO 和 RC11。此外，TruSt 的可并行性令人尴尬：它的不同探索选项没有共享状态，因此可以完全并行探索。因此，TruSt 在内存和/或时间方面优于最先进的技术。

作者：

阅读全文 »

发表于 更新于 分类于 ，
本文字数： 227 阅读时长 ≈ 1 分钟

摘要

顺序一致性是多处理器内存系统中使用最广泛的正确性条件。本文研究了测试共享内存多处理器的问题，以确定它们是否确实提供了顺序一致的内存。它提出了对该问题的首次正式研究，该研究可应用于测试新的内存系统设计和实现、提供运行时容错以及检测并行程序中的错误。

本文提供了一系列结果来测试各种场景下共享内存的执行，将顺序一致性与线性化（另一个众所周知的正确性条件）进行比较。除了顺序一致性之外，线性化对共享内存施加了额外的限制；这些限制被证明在测试此类记忆时很有用。

发表于 更新于 分类于
本文字数： 1.8k 阅读时长 ≈ 2 分钟

摘要

本文介绍了使用 Github Actions 对 Hexo + Github Pages 博客进行自动部署的方案。考虑到几个月以来 Github 对 HTTPS 协议的限制，本文也列举了笔者的一些失败的实验经历，以供避雷。

关键词：Github Actions，Hexo，Github Pages

为什么要自动部署？

将部署任务从 PC 端转移到云端（例如 Github）的好处包括：

阅读全文 »

发表于 更新于 分类于 ，
本文字数： 1.8k 阅读时长 ≈ 2 分钟

摘要

大多数数据库教材中明确可重复读（RR）不能防止幻读。在本文中，我们展示了 RR 在幻读下的一些表现，分析了 RR 的实现原理，并论证了为何 MySQL 的 RR 隔离级别下几乎不会出现幻读。本文内容来自南京大学软件学院刘峰老师课程《数据库开发》。

可重复读的实验

上图是可重复读隔离级别下的一个实验，事务 1 的两次查询得到的结果完全相同。看起来在这里可重复读防止了幻读，但我们其实希望读到 Dong 老师的数据。

阅读全文 »

发表于 更新于 分类于
本文字数： 1.8k 阅读时长 ≈ 2 分钟

摘要

本文介绍了在 Linux 和 Windows 系统下修改 ssh 配置文件使 ssh 协议访问 Github 时通过代理的解决方案。该方案同样适用于 ssh 访问其他网站时。

问题背景

从前天开始，Linux 台式机和 Windows 笔记本都不能对 Github 仓库进行 clone 和 push，表现为 clone 和 push 时链接超时。推测是网络环境发生变化导致网路不通。但浏览器此时可以正常访问 Github 和 google 等网站。

Github 目前已经不支持通过 http 协议进行 clone，只有 ssh 协议可行。笔者尝试使 ssh 协议通过代理。

阅读全文 »

发表于 更新于 分类于 ，
本文字数： 2.6k 阅读时长 ≈ 2 分钟

摘要

IPADS 发表了与 Ad Hoc 事务相关的文章共三篇，内容基本相同。其中第三篇内容最为详细。

  1. Ad Hoc Transactions in Web Applications: The Good, the Bad, and the Ugly | Proceedings of the 2022 International Conference on Management of Data (acm.org)
  2. Ad Hoc Transactions: What They Are and Why We Should Care | ACM SIGMOD Record
  3. Ad Hoc Transactions through the Looking Glass: An Empirical Study of Application-Level Transactions in Web Applications | ACM Transactions on Database Systems

为什么需要临时事务

数据库事务无法满足 Web 应用的要求：

阅读全文 »