From a97ddfd1a2662c839b368320ed3e909334ef61d5 Mon Sep 17 00:00:00 2001 From: BingXuanOwO Date: Tue, 17 Dec 2024 19:48:20 +0800 Subject: [PATCH] add report --- ...65\346\200\273\347\273\223-BingXuanOwO.md" | 35 +++++++++++++++++++ 1 file changed, 35 insertions(+) create mode 100644 "source/_posts/2024\347\247\213\345\206\254\345\255\243\345\274\200\346\272\220\346\223\215\344\275\234\347\263\273\347\273\237\350\256\255\347\273\203\350\220\245\347\254\254\344\270\211\351\230\266\346\256\265\346\200\273\347\273\223-BingXuanOwO.md" diff --git "a/source/_posts/2024\347\247\213\345\206\254\345\255\243\345\274\200\346\272\220\346\223\215\344\275\234\347\263\273\347\273\237\350\256\255\347\273\203\350\220\245\347\254\254\344\270\211\351\230\266\346\256\265\346\200\273\347\273\223-BingXuanOwO.md" "b/source/_posts/2024\347\247\213\345\206\254\345\255\243\345\274\200\346\272\220\346\223\215\344\275\234\347\263\273\347\273\237\350\256\255\347\273\203\350\220\245\347\254\254\344\270\211\351\230\266\346\256\265\346\200\273\347\273\223-BingXuanOwO.md" new file mode 100644 index 0000000000..1f4056adaa --- /dev/null +++ "b/source/_posts/2024\347\247\213\345\206\254\345\255\243\345\274\200\346\272\220\346\223\215\344\275\234\347\263\273\347\273\237\350\256\255\347\273\203\350\220\245\347\254\254\344\270\211\351\230\266\346\256\265\346\200\273\347\273\223-BingXuanOwO.md" @@ -0,0 +1,35 @@ +--- +title: 2024秋冬季开源操作系统训练营第三阶段总结-BingXuanOwO +date: 2024-12-17 19:40:21 +tags: + - author:BingXuanOwO + - repo:https://github.com/BingXuanOwO +--- + +好的，这里是冰轩。 + +## 奇怪的 Hashmap implementation + +在 Hashmap exercise 中，由于我一开始并未有实现此类数据类型的经验，参考 rust std 原有的库又有较大的心智负担，我最终选择参考《算法导论》一书中的对应部分来实现。 + +在 Hash 生成部分，由于我未能成功调用 rust 原有的 Hash 算法，并且我希望 Hash 算法能够相较简单，我选择了实现书中的乘法散列法算法。而至于 Hashmap 本身的实现就较为简单，其内部含有一个元素量为 Hash 最大值 + 1 的 `List`，每个 Vec 存储一个包含了 Key 和元素的元组，每次添加时在 `List[hash_of_key]` 处推入元组，查找时从 `List[hash_of_key]` 处查找是否含有对应 key 完全相同的项。 + +虽然一开始因为 List 给的过大导致栈爆了，不过幸好，缩小以后，测例便成功过了。 + +## 带有遗憾的简易 Hypervisor + +在根据根据课程逐渐熟悉框架代码以及根据课程真正了解一个 Hypervisor 的原理之后，剩下的就好说了。对两次指令的异常进行处理，然后返回正常的值，lab 就完成了...对吧？ + +然而我预计错了这个 lab 需要的实现方案。 + +这部分的实现首先需要处理一个读取 `mhartid` 的 `csrr` 指令。我一开始曾希望直接解析指令后执行对应操作，来实现 expected behavior，并确保这部分代码的鲁棒性。然而，我却想得复杂了，因为直到我开始考虑 `mhartid` 寄存器值的来源，以及发现其期望值为 0x6688，像是随便返回了一个数字，所以，我意识到，这题的实现很可能并不该如此复杂。最终，这部分我选择保留一部分之前解析并判断 Instruction 的代码，以及通过将 sepc 增加 4，并直接设置 A1 至 0x6688 的方式，直接针对结果实现。后续的 LoadGuestPageFault 我也如此实现。测试用例很轻松地过了，不出意外这个 lab 应该没太大问题了。 + +然而，意外还是出现了。第二天一早，我惊讶地发现它会在执行 Guest 指令时卡死。通过 LOG=trace，我发现它是在进行磁盘 io 的时候卡死。这牵扯到的问题实在太大，要进行大量的调试，更糟糕的是，这个问题触发很随机。然而，我没能在挂着调试器的情况下再见到过一次这个问题。最后，我还是放弃了解决这个问题。 + +## 简单快速的 h_2_0 + +这个 exercise 原有的 HV 框架已经给出了函数 `load_vm_image`，可以用于从磁盘读取文件并放置至地址空间，并且基本可以用于读取任何二进制文件，使得此 exercise 变得较为简单。 + +这个函数使得实现十分直接，我写出了一个简单的 `write_pflash_img.sh` ，用于生成带有 `pfld` Magic Number 的文件并放进磁盘镜像中。随后，注释掉原有直通模式代码，并取消注释模拟模式代码。最后，在每次缺页时，利用 `load_vm_image` 函数加载文件，并放到对应缺页的位置，这部分也就基本解决了。 + +与之前的简易 Hypervisor 不同，得益于对框架功能的有效复用，以及较为直接的实现，这次的实现并没有遇到随机卡死或调试困难的故障，测试用例也可以顺利通过。