feat: openarch 0.1.0 —— arch 机制层的 A0 探针 - #227
Merged
Merged
Conversation
⚠️ **0.1.0 是探针不是层。** 一个架构,以及决定这一层能否成立的两个原语中的一个 (上下文切换)。 门 —— 一份接口在第二台**真正不同**的机器上不碎 —— 没有通过,而且一个架构通不过它: 只有一个 arch 时,抽象没有可以碎裂的对象。aarch64 缺 mcpp 目标表行与模拟器。 收录是为了探针可被消费与复现,不是因为这一层可以被建构其上。README 的 「未被证明的」一节逐项写明了状态。
0.1.0 的注释、README 与本描述符都写着「与 C 库并存会重复定义而失败」。**实测:不会。** C 库以归档形式发布,归档成员只在符号仍未定义时才被拉入;本包的目标文件无条件进入 链接,于是先定义了 memcpy,C 库的成员从不被拉入,构建成功 —— 静默地把逐字节实现 换掉了 C 库经过优化的那份。**这比预测的报错更糟。**⚠️ 0.1.0 保留且**内容不变**:发布过的版本就是可能有人 pin 过的版本。更正期间我一度 移动了 0.1.0 的 tag,随即回滚,并已核验其 tarball 的 sha256 与索引记录逐字节一致。
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
(上下文切换)。
门 —— 一份接口在第二台真正不同的机器上不碎 —— 没有通过,而且一个架构通不过它:
只有一个 arch 时,抽象没有可以碎裂的对象。aarch64 缺 mcpp 目标表行与模拟器。
收录是为了探针可被消费与复现,不是因为这一层可以被建构其上。README 的
「未被证明的」一节逐项写明了状态。