- 博客(111)
- 资源 (4)
- 收藏
- 关注
原创 lemon源码分析
基本概念见上篇《lemon源码基本概念整理》1. follow集对于如下4条产生式 program ::= expr TK_SEM expr ::= expr TK_IMPL expr expr ::= TK_LPAREN expr TK_RPAREN expr ::= TK_NEG expr现在要求expr ::= TK_LPAREN expr TK_RPAREN*的follow集方法如下 exp
2021-03-07 19:16:15 673
原创 lemon源码基本概念整理
1 数据结构1.1 字符串存储定义一个x1a的全局变量,存放.y文件经过词法分析器分割出来的字符串struct s_x1 { int size; /* The number of available slots. */ /* Must be a power of 2 greater than or */ /* equal to 1 */ int count
2021-03-04 21:24:33 665 1
原创 gobject调试环境搭建
1 初步使用新建个工程,把下面这个demo里的3个文件拷贝到src目录https://github.com/zorgnax/gobject-examples/tree/master/01-media-from-book编写Makefile# 请自行新建一个bld文件夹OBJ_DIR = ../bld# 获取所以源文件 SRC = cleanable.c media.c# 把.c后缀替换为.o,并加上目录 OBJ = ${patsubst %.c, ${OBJ_DIR
2021-02-26 08:35:31 833
原创 gdb源码中的print命令实现
源码的搭建环境可以参考下面这篇文章windows下编译gdb源码首先随便写了个测试程序 int c = 51115; int b[10] = {0}; int *p = malloc(40); sprintf(b,"%p",p); c +=b[0]&0xff; //随便赋一个非常量值,如果是常量的话编译时就直接算好写到PE文件里了 printf("%d\n",c); //这里是86行,打印出来是51163gdb脚本如下,文件名是sdx.txt,执行时加上-comman
2021-02-16 21:51:12 535
原创 SQLite源码学习(40) balance初步分析
主要分析balance_nonroot()函数里的代码1.iParentIdx和nxDiv的作用iParentIdx的来源是iIdx = pCur->aiIdx[iPage-1];在btree中查找叶子结点是从根结点开始一层层往下,iParentIdx就是查找到当前结点时,父结点对应第几个cell当孩子结点分裂成2半时,需要把一个cell移到父结点,这个cell对应的偏移地址由nxDiv决定,对应的代码如下 int nxDiv; /* Next di
2020-11-11 22:05:05 422
原创 SQLite源码学习(39) balance的一些准备工作
1.balacne的第一个判断条件if( pPage->nOverflow==0 && pPage->nFree<=nMin )pPage->nOverflow表示btree节点满了,需要分裂,pPage->nFree<=nMin
2020-11-08 13:19:02 358
原创 SQLite源码学习(38) 对表的一些处理
1.删除后进入balance()删除的记录在表的第2页,但是进入balance()函数后,为什么pCur->iPage是0?sqlite3BtreeFirst—>moveToRoot
2020-11-04 22:05:36 358
原创 搭建msys2基础开发平台
1.环境搭建最近msys2的软件源进行了更新,一些低版本的软件都没有了,gcc只有9.3以上版本,gdb只有9.1以上版本,没有低版本,那以后只能跟着软件源的最新版本走了,如果碰到软件依赖版本不兼容将会是一个非常棘手的问题,而且gcc和gdb正在狂热的将c代码都替换为c++,但是我本人不太喜欢c++,所以尝试搭建一个不依赖软件源的平台。清华和腾讯开源镜像都已经随着官方的源更新了,幸好华为和浙大的镜像还没更新,但是迟早也会更新的,所以在他们更新之前赶紧把这个事情做了。基础安装包,我用的是msys2-ba
2020-10-24 21:58:09 2694 3
原创 uftrace关键代码记录
uftrace是一个跟踪程序的函数调用记录的一个工具,代码见https://github.com/namhyung/uftrace参数解析使用的argp,我把glibc里的argp模块单独提取出来了,见argp模块参数解析完会执行各种命令 switch (opts.mode) { case UFTRACE_MODE_RECORD: ret = command_record(argc, argv, &opts); break; case UFTRACE_MODE_REPLAY:
2020-10-20 21:57:56 393
原创 虚拟机建立samba服务
vmware使用nat模式启动,在vmware的虚拟网络编辑器的nat的vmnet8网络设置网关地址,在控制面板网络适配器页面设置vmnet8的ip地址,虚拟机启动后,用fconfig确认Ubuntu的ip地址为nat所在网段改了之后的IPubuntu:192.168.23.128vmnet8网关:192.168.23.1vmnet8 ip:192.168.23.5主机ip:192.168.1.10然后192.168.1.10和192.168.23.128可以互ping参考下面这篇文章htt
2020-10-07 16:03:15 780
原创 cuda和gpu的基本概念整理
SP(streaming Processor)是gpu最基本的硬件单元,俗称cuda核心(类似于cpu的一个核),多个sp组成一个SM(Streaming Multiprocessor),我的gtx 1060显卡是1920核心的,10个sm,每个sm有128个spCUDA中grid、block、thread、warp与SM、SP的关系https://blog.csdn.net/wvh2007/article/details/49891363CUDA 核函数运行参数https://blog.csdn.
2020-10-02 19:28:42 4899
原创 tensorflow安装
Anaconda下载,Anaconda3-5.2.0-Windows-x86_64的版本:https://mirrors.tuna.tsinghua.edu.cn/anaconda/archive/安装时把PATH环境变量勾上,其他默认。以管理员身份运行cmd,然后配置清华镜像,输入指令:conda config --add channels https://mirrors.tuna.tsinghua.edu.cn/anaconda/pkgs/free/conda config --set sho
2020-09-26 07:48:04 215
原创 gtx1060的cuda9.1安装记录
先安装vs2017,2个关键地方要勾选一下,其他参考网上的教程把电脑上显卡驱动还有所有nvidia的相关软件都卸载了,然后去https://developer.nvidia.com/cuda-toolkit-archive下载9.1的版本安装时选择精简安装,其他一切默认...
2020-09-25 21:09:48 1044
原创 基于msys2的tcl源码构建
我是从github下的tcl-core-9-0-a1版本,解压后进入源码目录,执行以下命令mkdir bldcd bld../unix/configure make -j12出现如下错误/d/tcl-core-9-0-a1/generic/tclCmdAH.c:2151:63: 错误:‘Tcl_StatBuf’ {或称 ‘struct <匿名>’}没有名为‘st_blocks’的成员 2151 | STORE_ARY("blocks", Tcl_NewWideIntObj
2020-08-09 13:47:50 383
原创 SQLite源码学习(36) Btree杂记
1.在newDatabase函数中写入数据库头100字节时为什么不会把原来的覆盖掉关键代码如下: if( pBt->nPage>0 ){ return SQLITE_OK; }只有在数据库为空的时候才写入,不为空的时候直接返回了,不会往下执行。...
2020-08-09 13:46:46 470
原创 前端调试入门的一些记录
关于Http请求header之Referer讲解https://www.jianshu.com/p/1a6abab212ed谷歌浏览器开发调试工具中Sources面板 js调试等 完全介绍https://blog.csdn.net/c15158032319/article/details/79716877
2020-05-10 18:01:08 317
原创 gcc源码编译
编译是基于msys2平台,使用的源码是gcc-7.3.0-1.src.tar.gz解压后执行 makepkg --skippgpcheck会报错,提示缺少依赖,根据错误提升安装相关依赖pacman -S mpc-devel gmp-devel mpfr-devel isl-devel出现找不到cmp的命令需要安装diffutils: pacman -S diffutils继续执行ma...
2020-05-08 08:08:05 1422
原创 fossil源码编译
fossil是一个类似git的版本控制工具,是由SQLite作者写的,代码的水平应该比较高,fossil还提供了web展示的功能,支持http接口,综合性比较强,对于c语言程序员来说也可以初步了解一些前端和后端的知识,比较有学习价值。1.源码下载学习代码最好的方式当然是自己编译并调试,我是基于msys2开发环境。首先到官网下载发布的版本,选择Source Tarball下载http://w...
2020-04-18 08:56:04 751 1
原创 windows下编译gdb源码
在学习编译gdb的过程中,一定要和本文出现的各软件版本保持一致,否则很容易因为版本的原因出现一些奇怪的问题。1.搭建msys2环境在win下编译gdb首先要搭建msys2的开发环境,先从官网下载msys2-i686-20190524.exehttps://www.msys2.org/官网以后会更新版本,为了和本文写的版本保持一致,最好在清华镜像站找到msys2-i686-20190524....
2020-04-11 22:29:13 2235
原创 eclispe设置断点无效(No source file named)
最近不知道做了什么操作导致eclipse的断点无效,表现为gdb只认相对路径的断点,不认绝对路径,而eclipse打断点使用的是绝对路径,导致无效,输出信息是:No source file named默认情况下是不存在这个问题的,不知道怎么恢复成默认,但有一种有效的解决方法:Debug->Debug Configuration->Source->Add->Path-&...
2020-04-11 08:31:10 978 1
原创 SQLite源代码编译调试
1.在msys上编译本文介绍的是windows平台,所以首先要安装msys2环境,这里就不细说了,具体可以参考下面这篇文章:https://blog.csdn.net/qiuzhiqian1990/article/details/56671839一开始要下载源代码,官网地址如下https://www.sqlite.org/download.html选择包含全部源文件的版本,11.93M的...
2020-03-08 17:39:39 2310
原创 嵌入式linux之nfs挂载及gdb调试环境的搭建
nfs即网络文件系统,要挂载nfs之前首先要让开发板和ubuntu可以相互ping通。一般在vmware上运行ubuntu,为了能够上网,启动时在网络适配器的选项中选择NAT模式,NAT模式的意思就是和主机共享网络,主机能上网则虚拟机也能上网主机不能上网虚拟机也不能上网。启动ubuntu后,此时是能联网状态,需要先安装NFS相关的两个软件:sudo apt-get install rpcbin...
2019-10-25 11:37:24 1289
原创 嵌入式linux入门笔记
学习的是韦东山的2440板子一开始假设是裸板,首先要用jtag把uboot烧到nor flash,完成后拔掉jtag,然后板子从nor flash,刚开始启动时马上按空格键进入uboot选择菜单,菜单中可以选择烧写普通bin文件到Nand Flash,也可以选择烧写内核或根文件系统到Nand Flash,选择好后,由PC端通过USB把程序文件传输给u-boot,再由u-boot把程序烧写到Nan...
2019-10-24 14:08:51 474
原创 Eclipse CDT初步使用教程
我用过Source insight和VS,感觉不顺手就没用了,所以也没有深入研究过,其他的如Code::Blocks,vim,Clion, Emacs我也没用过,不好做评价,反正我用Eclipse用的很舒服,这里给大家分享一下,多提供一种选择,如果你是刚学C语言或者你当前的IDE用的不爽,可以尝试一Eclipse。1.外观主界面调试界面,子窗口都是可以拖动的,可以根据自己的喜好配置成合适的...
2019-10-16 17:49:35 16699 3
原创 推理实验室(1) 命题证明
这里采用A.G.汉密尔顿《数理逻辑》中的记号。原子符号:~、->、p1、p2....公式集:pi是公式,如果A和B是公式,那么~A和A->B也是公式。有时公式太复杂,也可以用∧,∨,<->来简化表示,规定用A∧B表示~(A->~B),用A∨B代替~A->B,用A<->B代替(A->B)∧(B->A),注意这不是原子符号...
2019-10-04 19:39:54 611
原创 ucc编译器分析与总结(5) 中间代码生成
1.基本框架经过语义检查后,现在已经有了包含符号和类型的完整语法树,现在要做的事情就是继续沿着语法树走一遍,对每条语句和表达式生成相应的中间代码。中间代码以三地址码的形式表示,由两个源操作数,一个目的操作数和一个运算符组成。然后uccc在生成中间代码时以基本块为单位,每个基本块包含若干条中间代码,基本块的开头都会有类似BB1:这样的标签。从静态上来看,所有基本块按顺序通过双向链表连接在一起,...
2019-08-25 16:48:16 581
原创 词法分析器flex和语法分析器lemon的初步使用
自己手写词法分析器和语法分析器是很麻烦的一件事,而且这里面的逻辑非常复杂很容易出错。flex和lemon就是用来帮助生成词法分析器和语法分析器的,只需要写少量规则代码,就可以生成解析的c代码。现在先不关注实现原理,主要看一下这东西是怎么用的,等以后用熟了要实现深度定制的时候再来看实现源码。1.词法分析器首先得安装一个flex,至于怎么安装就不讲了。词法分析器的功能就是把一串字符串按照给定的规则...
2019-08-12 12:03:15 2095
原创 makefile基本模板
编译时一直以来都是用eclispe自带的自动编译,由于需要对其他开源代码的makefile做一些修改,所以最近学了一下,其实还挺简单的,一些基本概念就不讲了,网上教程很多,下面来举一个基本的例子来记录一下makefile的基本用法。首先文件目录如下,编译的.o文件都放在Obj目录下然后编译时还需要一个库文件libreadline.dll.a,库所在目录为/mingw32/lib ,对应的头文...
2019-08-04 14:56:15 208
原创 ucc编译器分析与总结(4)表达式和语句检查
1.基本框架之前在语法分析时建立了抽象语法树,在声明时为每个符号建立了类型系统,接下来就要遍历表达式和语句的每个结点,将这些声明的类型绑定在对应的结点,并相应的进行语义规范的检查。每个复合语句的检查都以一个大括号为单位,在这里面又分为局部变量声明的检查和执行语句的检查AstStatement CheckCompoundStatement(AstStatement stmt){ As...
2019-08-04 10:00:44 389
原创 ucc编译器分析与总结(3) 声明检查
有了类型系统和符号管理的基础知识之后,接下来就可以分析声明检查部分的代码了。源代码经过预编译后生成.i文件,这时候代码主要分为函数语句和声明语句两部分,其实函数只不过是一种特殊的声明语句,比声明语句多了{}里面的内容。函数语句和非函数语句是分开检查的:if (p->kind == NK_Function){ CheckFunction((AstFunction)p);}el...
2019-07-20 16:33:40 611
原创 ucc编译器分析与总结(2) 类型系统和符号管理
在语法分析的过程中,ucc按照C语言的文法构建了一颗语法树,接下来要根据语法树来进行语义检查,判断代码是否存在编译错误,譬如表达式中的变量有没有定义,定义数组的长度是否为常量,表达式中的类型是否合法等等。语义检查分为语句表达式检查和声明检查两部分,这次主要来分析声明的语义检查,在这个过程中为声明的变量构建了一个类型系统,同时对出现标识符进行管理。1 类型系统1.1 基本类型首先定义一些最基...
2019-07-20 08:42:22 576
原创 ucc编译器分析与总结(1) 语法分析
编译器、操作系统、数据库是计算机领域中的三大基础软件,基本上所有应用软件都是建立在这三个基础软件之上,这些领域经过前辈们不断打磨现在已经变得非常成熟,很多涉及到的代码技术都是精华中的精华,所以把上面3个软件搞清楚对代码水平的提高会有很多帮助,而且能够对现代计算机的软件架构有更清晰的了解。我现在要研究一个逻辑推理系统,这个推理系统以C语言为基础,这里必然涉及到C语言的解析问题,所以C语言编译器是必...
2019-07-06 16:08:37 2845
原创 关于存在性问题的本质思考
在做《抽象代数的代码实现》这一专题时,我碰到数学概念难以用代码表达的问题,而这又很大程度上是由于数学上各种杂七杂八的存在性问题引起的,所以我想探究一下存在性问题到底是什么。在存在性问题解决之前先把这个专题暂停掉,因为以我现在的能力基本上挖掘不出什么东西,我需要先学习编译器,程序设计语言原理,范畴论等很多相关知识。还是以最简单的存在性问题抽屉原理为例,把4个苹果放进3个抽屉,证明至少有一个抽屉里的...
2019-06-11 21:28:01 847 1
原创 抽象代数的代码实现(6)自同构、正规子群、商群
到目前为止,这里面的复杂性已经超出了我的想象,我觉得最关键的还是表达力太欠缺了,怎么用代码来表示各种数学的表达式如多元函数等,数学上的各种变换和各种代换怎么表示,还有各种表达式间的混合运算,真的感觉这些已经不在我的认知范围内,就好像一个初中生去做微积分一样困难。最后打算先粗略的介绍一下自同构的概念,然后就先告一段落吧。同构对于域K到K’的一一映射σ,如果σ(a)σ(b)=σ(ab),那么就把σ...
2019-05-20 17:56:16 1991
原创 抽象代数的代码实现(5)分裂域
不可约多项式先来纠正上篇文章一处不严谨的地方,给定一个多项式f(x),做出有理数域K的扩域K(α),使得f(α) = 0.,这里必须要规定f(x)是不可约多项式才保证能做出扩域,不可约多项式指的是f(x)不能表示成两个次数小于f(x)的多项式之积。如果f(x)是可约多项式,那么并不能按照之前讲的方法扩域,举个例子,假如f(x)=x ^3-1,那么f(x)可约,因为f(x)=x ^3-1 = (...
2019-05-06 08:06:24 1780
原创 抽象代数的代码实现(4)多项式与代数扩域
在实现多项式运算的代码时,突然觉得抽象急剧增加,感觉我的大脑要到极限了,写的代码完全就是调试出来的,对于代码的结构我自己都感到有点模糊,想表述清楚基本不可能了,凑活着记录一下吧。现在我对抽象的理解是,一个符号,一个概念,它不一定就指的是我们常见的概念,也可以代入另外的概念,代入后的新系统与原系统有着某种相似性(同构),但是新系统的运算很难被直观理解。在这一点上C语言还是挺有优势的,同一个指针可以...
2019-05-01 17:32:06 1154
原创 抽象代数的代码实现(3)向量空间
向量空间概念定义上篇文章介绍了域,域可以简单的理解为一个有理数集合,这个集合中有加法运算和乘法运算,运算后的结果是封闭的,还是有理数。接下来我们从这个元素中取出n个元素,这n个元素组成一个有顺序的子集,这个子集称为n维向量。设a、b、c是有理数,那么(a b c)是一个三维向量。所有三维向量组成的集合称为V,假设有理数集合为K,V中的元素为A、B、C……如果下面的运算成立,那么把V称为K上的...
2019-04-26 15:49:28 335
原创 抽象代数的代码实现(2)域
域上一篇文章讲了群的概念,现在来介绍一下域的概念。群是一个集合和运算,集合中元素的运算满足群的4条性质。相比群来说,域增加了一个运算,假设有集合A,运算{+},运算{•},如果集合A对{+}运算做成一个群,称作加法群,加法群A中的单位元称为零元,A中去除零元后的集合对{•}运算也做成一个群,并且+和•满足分配律,即a•(b+c) = a•b+a•c那么我们把A叫做一个域,要注意+和•不一定是...
2019-04-22 16:04:05 691
原创 抽象代数的代码实现(1) 置换群
前言之前做了一个四国军棋软件,做到最后我发现工作量已经爆炸了,我需要去寻找一个全新的算法,所谓深度学习的算法也许有效果但是对于没有计算资源的人来说并不适用。我其实是挺喜欢数学的,我总觉得数学上的一些思想方法可能对写代码有所帮助,但是我已经深深意识到自己的大脑不适合去处理数学问题。数学的语言是精确的,数学书籍的作者想表达的意思也是清晰的,对于高智商的人能很容易明白作者的意思,但是对于我这么一个智...
2019-04-16 21:49:18 2881
sqlite3编译通过的多文件eclipse工程
2017-11-10
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人