Blogs Home

1 前言 这次assignment要求我们实现compiler的parse阶段。首先我们先确定整个代码的框架，然后阅读《A Tour of the Cool Support Code》整个handout，来确定我们所使用的用来构建AST树的接口，最后阅读cool-manual来确定parser rule，根据每一条rule，我们确定其action，并创建其节点，最终我们生成一棵AST树。 [Read More]

1 KMP算法概述 最近在写leetcode28的时候，想到了KMP算法。以前粗略地看过这个算法，也上网搜了很多的资料，但是却始终无法理解。最近又详细看了一遍，总算是找到点眉目了。因此做个记录，方便自己记忆。 问题描述：  pat 表示模式串，长度为 M，txt 表示文本串，长度为 N。请在txt 中查找子串 pat，如果存在，返回这个子串的起始索引，否则返回 -1。 [Read More]

本文对软件验证流程做一下简要介绍，并通过软件进行示例。 [Read More]

其实工作了这么久，自己是什么水平，心里是再清楚不过了。非科班出生，工作的前两年做的又是偏向嵌入式应用方面的工作，所以很多时候，面对着浩瀚的计算机知识海洋，总是感到力所不逮。从MIT6.828到CS143，这两个课程中，更是看出了自己的真实水平，其实我自己心里也清楚，在未参考答案的情况下，有几个assigment我自己是做不出来的，有时候我总在想，自己要是在大学或者研究生时期久确定了自己以后从事的方向，如果那时候就遇到这些课程，也许会有所不同的，当然也可能还是现在这样。人总是走在命运规定的道路上。 [Read More]

由于对静态链接和动态链接的概念已经动作有所不了解，因此特意写了这篇文章进行初步的梳理，主要参考《深入理解计算机系统》这本书。 [Read More]