摘要: 数据竞争检测基本原理 happens-before 事件 a 发生在 b 之前定义为 a → b。以下三种条件都满足 a → b: a和b是同一个进程内的事件,a发生在b之前,则 a → b。 a和b在不同的进程中,a是发送进程内的发送事件,b是同一消息接收进程内的接收事件,则 a → b。 如果a 阅读全文
posted @ 2023-03-16 15:49 IVD 阅读(11) 评论(0) 推荐(0) 编辑
摘要: 1. 参考链接:a. https://www.cnblogs.com/zhaoqingqing/p/7561476.html b. https://justgetflux.com/linux.html 阅读全文
posted @ 2020-04-05 22:47 IVD 阅读(315) 评论(0) 推荐(0) 编辑
摘要: 参考: 1. https://zhuanlan.zhihu.com/p/21266987 2. https://www.cnblogs.com/alantu2018/p/8600777.html 阅读全文
posted @ 2020-04-04 14:59 IVD 阅读(182) 评论(0) 推荐(0) 编辑
摘要: 1. 静态引入 require(path:string) 一次引入,除非 delete require.cache,否则文件不会重新获取。 2. 动态引入 fs.readFileSync(path:string, encoding:string) JSON.parse(test: string) 获 阅读全文
posted @ 2020-03-31 18:31 IVD 阅读(134) 评论(0) 推荐(0) 编辑
摘要: 1. 场景一 在一台可访问的服务器x.x.x.x上, 运行着docker镜像系统A,映射端口3000,作ssh连接使用. web的vscode服务搭建: 1. 在镜像系统A中运行code server 推荐设置: 下载二进制程序,解压tar -zxf code-server.tar.gz,进入目录建 阅读全文
posted @ 2020-03-06 16:05 IVD 阅读(781) 评论(0) 推荐(0) 编辑
摘要: 1. perf简介 perf是一款Linux性能分析工具。Linux性能计数器是一个新的基于内核的子系统,它提供一个性能分析框架,比如硬件(CPU、PMU(Performance Monitoring Unit))功能和软件(软件计数器、tracepoint)功能。通过perf,应用程序可以利用PM 阅读全文
posted @ 2020-02-26 23:38 IVD 阅读(1971) 评论(0) 推荐(0) 编辑
摘要: 一. VIM 配置 1. 参考配置: https://github.com/avdiaid/use_vim_as_ide 2. 安装插件 2.1YouCompleteMe 安装参考:https://vimawesome.com/plugin/youcompleteme#installation 在u 阅读全文
posted @ 2019-12-11 00:11 IVD 阅读(281) 评论(0) 推荐(0) 编辑
摘要: 1.语义分析 语义分析可以分为两类。 第1类是程序的分析,要求根据编程语言的规则建立其正确性,并保证其正确执行。对于不同的语言来说,语言定义所要求的这一类分析的总量变化很大。在LISP和Smalltalk这类动态制导的语言中,可能完全没有静态语义分析;而在A d a这类语言中就有很强的需求,程序必须 阅读全文
posted @ 2019-06-12 14:57 IVD 阅读(268) 评论(0) 推荐(0) 编辑
摘要: ps:B站转载 https://space.bilibili.com/344849038/video 1.学习 vs 记忆 记忆可以解决情况有限的问题。 记忆有两个弊端: 容量有限 难以集齐 学习: 找出知识:从例子中归纳总结 压缩信息 2.学习 2.1 学习方式 通过例子找出问题和答案的规律,重塑 阅读全文
posted @ 2019-06-09 10:01 IVD 阅读(988) 评论(0) 推荐(0) 编辑
摘要: 1.自底向上的分析 最普通的自底向上算法称作LR(1)分析( LR(1)parsing) ( L表示由左向右处理输入,R表示生成了最右推导,而数字1则表示使用了先行的一个符号)。 1.1自底向上分析概览 自底向上的分析程序使用了显式栈来完成分析,这与非递归的自顶向下的分析程序相类似。分析栈包括记号和 阅读全文
posted @ 2019-06-05 14:55 IVD 阅读(447) 评论(0) 推荐(0) 编辑