Hello World

O ever youthful, O ever weeping

形式语言与自动机笔记

简介 NJU 2025fall 形式语言与自动机 课程笔记，按个人理解整理，不保证完全正确！ 参考资料：课程讲义 DFA，NFA与正则语言 DFA：每个状态对每个输入符号有唯一的下一状态 DFA和NFA语言表达上是等价的： 能够用 NFA 表达的语言，一定存在某个 DFA，能够表达出相同的语言； 能够用 DFA 表达的语言，一定存在某个 NFA，能够表达出相同的语言。 ......

Posted by RyoCY on 2026-01-18

源码阅读 ARK-Runtime

源码阅读 ARK-Runtime NJU 2025Fall源码阅读笔记 对应项目：OpenHarmony/ark_runtime_core panda：CLI工具，用于执行方舟字节码文件（*.abc）文件 程序入口 文件路径：panda/panda.cpp 从这里开始执行。 1234int main(int argc, const char **argv){ return p......

Posted by RyoCY on 2025-12-28

ARK-Runtime

Redis笔记01

基础篇 NoSQL 分类 键值类型（Redis） 文档类型（MongoDB） 列类型（HBase） Graph类型（Neo4j） 与SQL区别 ---------- SQL NoSQL 数据结构 结构化 非结构化 数据关联 关联的 无关联 查询方式 SQL查询 非SQL 事务特性 ACID BASE 存储方式 磁盘 内存 拓展性 垂直 水......

Posted by RyoCY on 2025-08-01

Redis

Win11使用WSL2安装Ubuntu时出现error解决记录

记录出错以及解决的流程。 先以管理员身份运行 PowerShell，执行命令wsl --install -d Ubuntu-22.04。 命令行提示如下信息：12345678请求的操作需要提升。部署映像服务和管理工具版本: 10.0.22621.2792映像版本: 10.0.22631.5335启用一个或多个功能[==========================100.0%=======......

Posted by RyoCY on 2025-06-24

Ubuntu WSL2

编译原理07

ch9.2-12 期末周完全按照重点整理的笔记，比较草率 符号执行 符号执行是一种经典的路径敏感分析技术，它通过枚举并分析程序的每一条路径来实现程序分析。 符号执行作为一种重要的形式化方法和软件分析技术，采用抽象符号代替程序变量，程序计算的输出被表示为输入符号值的函数，根据程序的语义，遍历程序的执行空间。其在软件测试和程序验证中发挥着重要作用，并可以应用于程序漏洞和脆弱性的检测中。 𝝈......

Posted by RyoCY on 2025-06-19

编译原理

编译原理06

根据中间表示(IR)生成代码 代码生成器之前可能有一个优化组件 代码生成器的三个任务 指令选择: 选择适当的指令实现IR语句 寄存器分配和指派: 把哪个值放在哪个寄存器中 指令排序: 按照什么顺序安排指令执行 ch8-8.2 目标机模型 常见指令： 指令 解释 LD dst, addr 把位置 addr 上的值加载到位置 dst LD r1, r2 寄存器到寄存......

Posted by RyoCY on 2025-06-02

编译原理

编译原理05

ch6.2 静态单赋值 静态单赋值（SSA）是一种中间代码表示形式，在该形式下，每个变量在程序的每个控制流路径上都仅被赋值一次。SSA 形式通过在适当的地方插入 φ 函数 来处理控制流合流点，使得代码既具有数据流分析的简洁性，又能够有效优化。 如果某个变量需要被重新赋值，会创建一个新的变量名称，例如 x1, x2, x3。 由于控制流可能发生分支和合流，因此在合流点需要一个 φ 函数来选择正......

Posted by RyoCY on 2025-04-21

编译原理

编译原理04

ch6.1 编译的主要阶段包括： 词法分析（Lexical Analysis） 语法分析（Syntax Analysis） 中间代码生成（Intermediate Representation Generation） 目标代码生成（Target Code Generation） 中间表示（IR）是连接语法分析与目标代码生成的桥梁，主要作用是优化和分析。 三地址码 Three-Addres......

Posted by RyoCY on 2025-03-24

编译原理

编译原理03

ch4.2 自顶向下分析 Top-Down Parsing 自顶向下解析可以看作是以前序方式构建解析树的问题，即采用最左推导方式，总是选择每个句型的最左非终结符进行替换。 左递归是指一个语法规则直接或间接地在最左边调用自己。左递归可能导致无限循环，例如 ： 1234567891011bool A() { temp = cursor; cursor = temp; if (A......

Posted by RyoCY on 2025-03-16

编译原理

南北散记-无锡篇

原文写于24年2月8日，此处为存档。😃 旧文新发~ 之所以迟迟没有记录这趟旅程，一是因为期末备考时间紧迫，二是因为缺少灵感提不起劲头。但今日心有所感，觉得到动笔的时机了。索性就在农历岁末写下这篇游记，寓以除旧迎新之意。 无锡之旅，由好友常阳发起。提出计划的那天下午正好有CPL的期末考，我发挥得一塌糊涂，心情抑郁，怨气上涌未及细思便答应同行，并把一应规划全交予他。我们的主要目的是散心，且......

Posted by RyoCY on 2025-03-14

游记
特色标签
编译原理 游记 Web Ubuntu Hexo WSL2 Redis ARK-Runtime
关于自己
avatar_pic

Life was like a box of chocolate ...

最近博文
链友
archives
categories
ESC