<?xml version="1.0" encoding="UTF-8" ?>
<rss version="2.0">
    <channel>
      <title>数学分析</title>
      <link>https://sycstudio.com</link>
      <description>最近的10条笔记 on 数学分析</description>
      <generator>Quartz -- quartz.jzhao.xyz</generator>
      <item>
    <title>Welcome</title>
    <link>https://sycstudio.com/</link>
    <guid>https://sycstudio.com/</guid>
    <description><![CDATA[ Welcome Github | IEEE | Google Scholar bilibili | twitter | pixiv sycstudiosyc at gmail.com | songyuchen at stu.pku.edu.cn 过去和未来的交叉点正是现在，我就站在这个起点上。 sycstudio，北京大学 2020 级信息科学技术学院本科生，2024 级计算机学院博士生，目前主要研究方向为计算机网络与高性能计算，对 Computer network system, Programmable network, Domain-specific languages and comp... ]]></description>
    <pubDate>Sat, 09 May 2026 15:26:33 GMT</pubDate>
  </item><item>
    <title>Chapter 9 Data-Flow Analysis</title>
    <link>https://sycstudio.com/%E8%AE%A1%E7%AE%97%E6%9C%BA/Compiler/Engineering-a-Compiler/Chapter-9-Data-Flow-Analysis</link>
    <guid>https://sycstudio.com/%E8%AE%A1%E7%AE%97%E6%9C%BA/Compiler/Engineering-a-Compiler/Chapter-9-Data-Flow-Analysis</guid>
    <description><![CDATA[ Chapter 9 Data-Flow Analysis Static Single-assignment form. ]]></description>
    <pubDate>Sat, 09 May 2026 14:21:04 GMT</pubDate>
  </item><item>
    <title>1. Introduction</title>
    <link>https://sycstudio.com/%E8%AE%A1%E7%AE%97%E6%9C%BA/Compiler/Types-and-Programming-Languages/1.-Introduction</link>
    <guid>https://sycstudio.com/%E8%AE%A1%E7%AE%97%E6%9C%BA/Compiler/Types-and-Programming-Languages/1.-Introduction</guid>
    <description><![CDATA[ 1. Introduction 本书关注 type system 这一 formal method. Type systems: detecting errors, abstraction, documentation, language safety, efficiency. ]]></description>
    <pubDate>Sat, 09 May 2026 14:21:04 GMT</pubDate>
  </item><item>
    <title>3. Untyped Arithmetic Expressions</title>
    <link>https://sycstudio.com/%E8%AE%A1%E7%AE%97%E6%9C%BA/Compiler/Types-and-Programming-Languages/3.-Untyped-Arithmetic-Expressions</link>
    <guid>https://sycstudio.com/%E8%AE%A1%E7%AE%97%E6%9C%BA/Compiler/Types-and-Programming-Languages/3.-Untyped-Arithmetic-Expressions</guid>
    <description><![CDATA[ 3. Untyped Arithmetic Expressions Tools for a small language of numbers and booleans. ]]></description>
    <pubDate>Sat, 09 May 2026 14:21:04 GMT</pubDate>
  </item><item>
    <title>第10章 指令级并行性</title>
    <link>https://sycstudio.com/%E8%AE%A1%E7%AE%97%E6%9C%BA/Compiler/%E7%BC%96%E8%AF%91%E5%8E%9F%E7%90%86/%E7%AC%AC10%E7%AB%A0-%E6%8C%87%E4%BB%A4%E7%BA%A7%E5%B9%B6%E8%A1%8C%E6%80%A7</link>
    <guid>https://sycstudio.com/%E8%AE%A1%E7%AE%97%E6%9C%BA/Compiler/%E7%BC%96%E8%AF%91%E5%8E%9F%E7%90%86/%E7%AC%AC10%E7%AB%A0-%E6%8C%87%E4%BB%A4%E7%BA%A7%E5%B9%B6%E8%A1%8C%E6%80%A7</guid>
    <description><![CDATA[ 第10章 指令级并行性 关注四个问题： 程序中潜在的并行性 处理器上可用的并行性 从原来的顺序程序中抽取并行性的能力 在给定的指令调度约束之下，找到最好的并行调度方案的能力 非数值应用通常可并行性较差，因为它们依赖于数据的分支来执行；而数值应用通常可并行性较好，结构中的元素上的数值运算通常是独立的。 处理器体系结构 指令级并行：考虑在一个时钟周期内发射多条指令的处理器。同时也包括那些采用流水线架构的处理器。 即使一个处理器每一个周期只能发送一条指令，但仍然可能有多条指令同时在各自的阶段上运行。 可以由硬件来管理流水线中指令的依赖关系；在一些低功耗设备中，也使用软件编译器来管理，通过插入合适的 ... ]]></description>
    <pubDate>Sat, 09 May 2026 14:21:04 GMT</pubDate>
  </item><item>
    <title>第11章 并行性与局部性优化</title>
    <link>https://sycstudio.com/%E8%AE%A1%E7%AE%97%E6%9C%BA/Compiler/%E7%BC%96%E8%AF%91%E5%8E%9F%E7%90%86/%E7%AC%AC11%E7%AB%A0-%E5%B9%B6%E8%A1%8C%E6%80%A7%E4%B8%8E%E5%B1%80%E9%83%A8%E6%80%A7%E4%BC%98%E5%8C%96</link>
    <guid>https://sycstudio.com/%E8%AE%A1%E7%AE%97%E6%9C%BA/Compiler/%E7%BC%96%E8%AF%91%E5%8E%9F%E7%90%86/%E7%AC%AC11%E7%AB%A0-%E5%B9%B6%E8%A1%8C%E6%80%A7%E4%B8%8E%E5%B1%80%E9%83%A8%E6%80%A7%E4%BC%98%E5%8C%96</guid>
    <description><![CDATA[ 第11章 并行性与局部性优化 本章主要关注，处理数组的计算密集型程序。关注提高这类程序的并行性和局部性，以提高目标程序在多处理器系统上的运行速度。. ]]></description>
    <pubDate>Sat, 09 May 2026 14:21:04 GMT</pubDate>
  </item><item>
    <title>第12章 过程间分析</title>
    <link>https://sycstudio.com/%E8%AE%A1%E7%AE%97%E6%9C%BA/Compiler/%E7%BC%96%E8%AF%91%E5%8E%9F%E7%90%86/%E7%AC%AC12%E7%AB%A0-%E8%BF%87%E7%A8%8B%E9%97%B4%E5%88%86%E6%9E%90</link>
    <guid>https://sycstudio.com/%E8%AE%A1%E7%AE%97%E6%9C%BA/Compiler/%E7%BC%96%E8%AF%91%E5%8E%9F%E7%90%86/%E7%AC%AC12%E7%AB%A0-%E8%BF%87%E7%A8%8B%E9%97%B4%E5%88%86%E6%9E%90</guid>
    <description><![CDATA[ 第12章 过程间分析 为什么需要过程间分析：过程内分析过于保守地假设，被调用的过程有可能改变其所有可见变量的状态，并产生副作用。 基本概念 调用图 调用图：指示过程间的调用关系的图。其满足： 程序中的每个过程都是一个节点。 每一个调用点都有一个节点。调用点即程序中那些调用某个过程的位置。 如果调用点 c 调用了程序 p ，则存在一条从 c 指向 p 的边。 当程序对过程的调用是静态的，每个调用点均能唯一确定其调用的过程，那么就恰好有一条边指向该过程。 在使用了过程参数或函数指针的程序中，对过程的调用需要到具体运行时刻才能确定，且实际上每次调用的过程有可能不一样，那么此时一个调用点可能指向不同的... ]]></description>
    <pubDate>Sat, 09 May 2026 14:21:04 GMT</pubDate>
  </item><item>
    <title>第1章 引论</title>
    <link>https://sycstudio.com/%E8%AE%A1%E7%AE%97%E6%9C%BA/Compiler/%E7%BC%96%E8%AF%91%E5%8E%9F%E7%90%86/%E7%AC%AC1%E7%AB%A0-%E5%BC%95%E8%AE%BA</link>
    <guid>https://sycstudio.com/%E8%AE%A1%E7%AE%97%E6%9C%BA/Compiler/%E7%BC%96%E8%AF%91%E5%8E%9F%E7%90%86/%E7%AC%AC1%E7%AB%A0-%E5%BC%95%E8%AE%BA</guid>
    <description><![CDATA[ 第1章 引论 语言处理器 编译器阅读某一种语言编写的程序，并把该程序翻译为一个等价的、用另一种语言编写的程序。 解释器是另一种语言处理器，直接利用用户提供的源程序进行操作，而不需要通过翻译的方式生成目标程序。 Java 语言处理器结合了编译和解释的过程，Java 源代码先被翻译为字节码这一中间表示形式，然后由一个虚拟机对字节码加以解释执行。 一些即时 JIT 编译器在运行时的前一刻将字节码翻译为机器语言，然后再执行程序。 源程序可能被分为若干个模块，使用预处理器将源程序聚合起来，预处理器还负责宏转换。链接器解决可重定位、库文件带来的外部内存地址问题，而加载器在最后把所有的可执行目标文件放到内存... ]]></description>
    <pubDate>Sat, 09 May 2026 14:21:04 GMT</pubDate>
  </item><item>
    <title>第2章 一个简单的语法制导翻译器</title>
    <link>https://sycstudio.com/%E8%AE%A1%E7%AE%97%E6%9C%BA/Compiler/%E7%BC%96%E8%AF%91%E5%8E%9F%E7%90%86/%E7%AC%AC2%E7%AB%A0-%E4%B8%80%E4%B8%AA%E7%AE%80%E5%8D%95%E7%9A%84%E8%AF%AD%E6%B3%95%E5%88%B6%E5%AF%BC%E7%BF%BB%E8%AF%91%E5%99%A8</link>
    <guid>https://sycstudio.com/%E8%AE%A1%E7%AE%97%E6%9C%BA/Compiler/%E7%BC%96%E8%AF%91%E5%8E%9F%E7%90%86/%E7%AC%AC2%E7%AB%A0-%E4%B8%80%E4%B8%AA%E7%AE%80%E5%8D%95%E7%9A%84%E8%AF%AD%E6%B3%95%E5%88%B6%E5%AF%BC%E7%BF%BB%E8%AF%91%E5%99%A8</guid>
    <description><![CDATA[ 第2章 一个简单的语法制导翻译器 本章的重点是编译器的前端，即词法分析、语法分析和中间代码生成。 语法定义 文法定义 上下文无关文法。包含以下四个元素： 终结符号集合，也称为词法单元，是该文法所定义的语言的基本符号的集合 非终结符号集合，也称为语法变量，每一个非终结符号表示一个终结符号串的集合 产生式集合，其中每个产生式包含一个称为产生式头或左部的非终结符号，一个箭头，和一个称为产生式体或右部的由终结符号及非终结符号组成的序列。 指定一个非终结符号为开始符号 例子，if-else 语句通常的形式为：if (expression) statement else statement。如果我们用变量... ]]></description>
    <pubDate>Sat, 09 May 2026 14:21:04 GMT</pubDate>
  </item><item>
    <title>第3章 词法分析</title>
    <link>https://sycstudio.com/%E8%AE%A1%E7%AE%97%E6%9C%BA/Compiler/%E7%BC%96%E8%AF%91%E5%8E%9F%E7%90%86/%E7%AC%AC3%E7%AB%A0-%E8%AF%8D%E6%B3%95%E5%88%86%E6%9E%90</link>
    <guid>https://sycstudio.com/%E8%AE%A1%E7%AE%97%E6%9C%BA/Compiler/%E7%BC%96%E8%AF%91%E5%8E%9F%E7%90%86/%E7%AC%AC3%E7%AB%A0-%E8%AF%8D%E6%B3%95%E5%88%86%E6%9E%90</guid>
    <description><![CDATA[ 第3章 词法分析 词法分析器的作用 词法分析是编译的第一步，其主要任务是读入源程序的输入字符，组成词素，生成并输出一个词法单元序列，其中每个词法单元对应一个词素。 词法分析器还负责与符号表交互，将标识符词素添加到符号表中，或者根据符号表中标识符种类的信息确定向语法分析器传送哪个词法单元。 下图是一个简单的交互流程示意图 除了识别词素，词法分析器还负责过滤注释和空白、将编译器生成的错误信息与源程序的位置联系起来、宏的扩展等。 词法单元、模式和词素 词法单元：由词法单元名和可选的属性值组成。 模式：描述了一个词法单元的词素可能具有的形式。 词素：源程序的字符序列，与某个词法单元的模式匹配，并被词法... ]]></description>
    <pubDate>Sat, 09 May 2026 14:21:04 GMT</pubDate>
  </item>
    </channel>
  </rss>