在 macOS 上试用 Gentoo/Prefix

前几天参加了许朋程主讲的Tunight,对Gentoo有了一定的了解,不过看到如此复杂的安装过程和长久的编译时间,又看看我的CPU,只能望而却步了。不过,有Gentoo/Prefix这个工具,使得我们可以在其它的操作系统(如macOS,Solaris等)上在一个 $EPREFIX 下跑 Portage ,也就是把 Portage 运行在别的操作系统,当作一个包管理器,并且可以和别的操作系统并存。 首先还是祭出官网:Project:Prefix。 首先设定好环境变量 $EPREFIX ,之后所有的东西都会安装到这个目录下,把 bootstrap-prefix.sh 下载到 $EPREFIX ,然后 ./bootstrap-prefix.sh ,会进行一系列的问题,一一回答即可。建议在运行前设置好 GENTOO_MIRRORS=http://mirrors.tuna.tsinghua.edu.cn/gentoo 由于TUNA没有对gentoo_prefix做镜像,只能把distfiles切换到TUNA的镜像上。 然后。。。 stage1… stage2.. stage3. emerge -e @world BOOM 经过 n 次跑挂以后,终于搞完了 stage3 ,然后 SHELL=bash ./bootstrap-prefix.sh $EPREFIX startscript 生成 startprefix ,在外面的SHELL中向切进来的时候运行这个即可。 然后就可以使用Gentoo/Prefix了。注意!此时的 $PATH 仅限于 $EPREFIX 下几个目录和 /usr/bin /bin 所以很多东西都会出问题(Emacs, Vim, Fish etc)。小心不要把自己的目录什么的搞挂了。 然后就可以假装试用Gentoo了! 哈哈哈哈哈哈哈 死于编译 libgcrypt 和 llvm 。

Read More

之前时间,巨硬发布了LSP(Language Server Protocol),目的是解决目前IDE和各语言的m+n问题。想法很好,不过直到最近,终于有我觉得可以用的工具出来了,并且已经代替了我在使用的其它的插件。 由于我最近主要就是做做程设作业,做做OJ这些,主要就是和C++打交道。所以我当然就开始找一些比较成熟的C++的LSP server。有一个 Sourcegraph 维护的 langserver.org ,上面有着目前的各个语言和编辑器/IDE的支持情况,我刚才提到的cquery也会加入到这个列表里去。从这个列表里可以看到,我用的比较多的Python和Haskell都已经有不错的的LSP server,我已经开始在本地体验pyls和hie了,感觉做得挺不错的。 回到C++,我的主力编辑器是Emacs,其次是CLion,而Emacs上的LSP支持 lsp-mode也在快速发展,与之配合的lsp-ui 也出现了很多很棒的功能。 下面开始编译并配置cquery: git clone https://github.com/jacobdufault/cquery --recursive cd cquery ./waf configure # to use system clang, append --use-system-clang ./waf build 然后配置Emacs: (use-package lsp-mode :ensure t :diminish lsp-mode :commands (lsp-mode) :config (lsp-define-stdio-client lsp-pyls "python" #'get-project-root '("/usr/local/bin/pyls"))) (use-package lsp-ui :commands lsp-ui-mode :init (add-hook 'lsp-mode-hook 'lsp-ui-mode)) (use-package cquery :load-path "path_to_cquery/emacs" :config (setq cquery-executable "path_to_cquery/build/app" cquery-resource-dir "path_to_cquery/clang_resource_dir")) 接下来,需要配置 基于Clang的 工具都需要的 Compilation Database 。Sacrasm对这个有一个非常完整的总结 ,可以查看里面的方法。我这里推荐在CMake项目中用CMake自带的,加上nickdiego/compiledb-generator 应付基于Makefile/Autotools的项目。如果都不适用,就按照cquery的README写一个简单的.

Read More

今晚参加了 Tunight ,会长给我们讲了 Nginx 的一些内部运作的机制和原理。中间的时候,会长展示的代码中用到了线程池方面的一些函数,但是大多地方只有调用 ngx_pcalloc 而没有看到相应的对象释放的过程,于是在演示的最后,会长应大家要求对 Nginx 魔幻的线程池实现做了现场代码分析。 在分析的中途遇到了很多坑,最后才终于理清了内存池的工作原理。这里直接解释结论吧。以下代码均摘自 Nginx 1.13.7 ,代码都可以在官方仓库找到。 首先分析一下创建一个内存池的函数: ngx_pool_t * ngx_create_pool(size_t size, ngx_log_t *log) { ngx_pool_t *p; p = ngx_memalign(NGX_POOL_ALIGNMENT, size, log); if (p == NULL) { return NULL; } p->d.last = (u_char *) p + sizeof(ngx_pool_t); p->d.end = (u_char *) p + size; p->d.next = NULL; p->d.failed = 0; size = size - sizeof(ngx_pool_t); p->max = (size < NGX_MAX_ALLOC_FROM_POOL) ? size : NGX_MAX_ALLOC_FROM_POOL; p->current = p; p->chain = NULL; p->large = NULL; p->cleanup = NULL; p->log = log; return p; } 现在开始分段分析这个函数:在这里,一个内存池用一个 ngx_pool_t (aka struct ngx_pool_s) 类型的数据进行包装,所有的关于内存池的操作都基于相应的内存池对象。 ngx_log_t 表示输出信息的对象,与内存池无关,后面也不会讨论它。

Read More

刚刚在HN上看到了这么一个文章:Interactive Workflows for C++ with Jupyter HN ,终于可以在Jupyter Notebook里跑C++代码了,很开心,于是开始自己研究了起来怎么本地跑。 首先当然是更新一波jupyter,安装一波cling: pip3 install -U jupyter brew install cling 然后根据官方教程里的要求执行: cd /usr/local/share/cling/Jupyter/kernel pip3 install -e . jupyter kernelspec install cling-cpp11 jupyter kernelspec install cling-cpp14 jupyter kernelspec install cling-cpp17 jupyter kernelspec install cling-cpp1z 结果发现找不到jupyter-kernelspec,遂重装了一下jupyter-client这个包,果然就可以了。打开一个notebook测试: jupyter notebook 然后创建一个C++14的Notebook,结果发现一直Kernel rebooting,错误信息是说找不到../Cellar/cling/0.5/lib/libclingJupyter.dylib。这一看就是路径处理的问题,当前目录肯定不是/usr/local,肯定出现了什么问题,然后研究发现cling-kernel.py中对cling判断是否是个连接,如果是连接则按照连接去找cling的安装目录,但是!没有考虑到这个连接是个相对路径的问题(Homebrew你背锅吗)。于是我愉快地改了代码并提交了PR。修复了以后就可以用了。 以下是一个小小的例子: >> jupyter console --kernel cling-cpp14 Jupyter console 5.2.0 cling-X In [1]: #include <stdio.h> Out[1]: In [2]: char *s = "Hello, world!"; input_line_4:2:12: warning: ISO C++11 does not allow conversion from string literal to 'char *' [-Wwritable-strings] char *s = "Hello, world!

Read More

用CPUID获取评测机器的CPU

受用 CPUID 检测各大 OJ 测评机所用的 CPU(以及日常黑 BZOJ)的启发,我决定去测试一下徐老师自己写的OJ(名为Tyche)所跑的机器是什么CPU。于是我改造一下代码,用以下代码测评: #include <stdint.h> #include <iostream> #include <time.h> #include <cpuid.h> #include <sys/time.h> static void cpuid(uint32_t func, uint32_t sub, uint32_t data[4]) { __cpuid_count(func, sub, data[0], data[1], data[2], data[3]); } int main() { uint32_t data[4]; char str[48]; for(int i = 0; i < 3; ++i) { cpuid(0x80000002 + i, 0, data); for(int j = 0; j < 4; ++j) reinterpret_cast<uint32_t*>(str)[i * 4 + j] = data[j]; } struct timeval stop, start; gettimeofday(&start, NULL); while(1) { gettimeofday(&stop, NULL); if(stop.

Read More

一个代替Pulse Secure客户端的工具

清华的校外VPN服务使用的是Pulse Secure,所以在外网我们需要在客户端上安装Pulse Secure才能使用内网的info和网络学堂等网站.但是Pulse Secure一是非自由软件二界面难看,所以我找到了一个代替它的工具:OpenConnect. 安装后,输入以下命令: sudo openconnect --user 你的学号 sslvpn.tsinghua.edu.cn --juniper --reconnect-timeout 60 --servercert sha256:398c6bccf414f7d71b6dc8d59b8e3b16f6d410f305aed7e30ce911c3a4064b31 然后输入你的info密码即可.

Read More

分析一个我第一次见的素数测试函数

今天逛到这个连接,发现其中的第四种素数判定方法很有意思: #include<stdio.h> #include<math.h> int p[8]={4,2,4,2,4,6,2,6}; int prime(int n) { int i=7,j,q; if(n==1)return 0; if(n==2||n==5||n==3)return 1; if(n%2==0||n%3==0||n%5==0)return 0; q=(int)sqrt(n); for(;i<=q;){ for(j=0;j<8;j++){ if(n%i==0)return 0; i+=p[j]; } if(n%i==0)return 0; } return 1; } void main() { int n; scanf("%d",&n); if(prime(n))puts("Yes"); else puts("No"); } 仔细研究发现,这里利用的是这样的原理: 判断是不是1, 2, 3, 5及其倍数 从7开始,不断考虑其是否是素数,那么,这个p是什么回事呢? 首先把p的各个元素加起来,和为30,然后就可以发现一个规律: 7为质数,7+2=9不是质数,7+4=11为质数,11+2=13为质数,13+2=15为合数,15+2=17为质数,17+2=19为质数,19+2=21为合数,21+2=23为质数,23+2=25为合数,25+2=27为合数,27+2=29为质数,29+1=31为质数,31+2=33为合数,33+2=35为合数,35+2=37为质数。 观察以上所有的合数,都含有2或者3或者5的因子,而30又是2,3,5的公倍数,也就是说,后面的素数模30的余数不可能是上面这些合数,而剩下的素数才可能是真正的素数,于是跳过了很多素数的判断。 至于这个函数的性能如何,还需要进一步测试来进行判断。

Read More

关于scanf和scanf_s的问题

最近作为程设基础的小教员,收到很多同学的求助,关于scanf和scanf_s的问题已经遇到了两次,特此写一篇博文来叙述一下这个问题。 一开始,有同学问我, char a; scanf("%c",&a); 为什么会报错?我说,vs默认强制要求使用scanf_s函数,于是我建议这位同学把这个错误信息关掉了。嗯。经过百度,这位同学的问题解决了。 后来,又有一位同学问我, char a; scanf_s("%c",&a); 程序为什么会崩溃?我想了想,如果scanf_s和scanf是一样的行为,这段代码是没问题的。但scanf_s既然安全,必然是在字符串方面做了处理。这里的char*勉强也算一个?网上一查,果然,应该写成scanf_s("%c",&a,1);,字符串则要写成scanf_s("%s",str,sizeof(str)),来保证缓冲区不会溢出。 但是,这样解决这个问题又面临着不同的选择: 学习scanf_s和scanf的不同,把所有scanf换成scanf_s并做相应的修改。 这样当然符合了语言进化的潮流,也会让vs闭嘴。但是,scanf_s只有在C11标准中有,而且,根据cpprefrence.com上关于scanf的描述,只有在__STDC_LIB_EXT1__被定义且在#include<stdio.h>之前#define __STDC_WANT_LIB_EXT1__才能确保使用scanf_s能使用,当然在vs较新版本中是默认可以使用的。但是,程设基础的作业是要丢到oj上的,而oj上的编译器不一定支持这些,所以这个选项不行。 坚持用scanf,自己按照题目要求保证缓冲区不溢出,同时让vs闭嘴。 网上已有教程,已经讲的很全面了,大家可以根据这个教程把vs教训一顿。为了能在oj里跑,建议用里面的方法五到八。(个人最推荐在文件头添加#define _CRT_SECURE_NO_WARNINGS) 以后再遇到这个问题,我就丢这个连接上来就好了咯。yeah!

Read More

一个搞笑的伸展树的Wiki

光哲同学在群里发了这个链接,特别搞笑,特此分享: 伸展树 - 百度百科 伸展树(Spaly Tree,事实上在国内 IO 界常常被称作 Tajarn 发明的 Spaly Tree,与此同理的还有 Terap),也叫分裂树,是一种二叉排序树,它能在 O(n log n) 内完成插入、查找和删除操作。它由 Daniel Sleator 和 Robert Tajarn 发现,后者对其进行了改造。它的优势可以不断伸展枝干(一个月 2~3 次),从而使树冠散开,提高光合作用效率。木材坚硬,是重要的经济类乔木。与其他植物不同的是,伸展树可以进行出芽生殖,繁殖速度极快。

Read More

回顾昨天的酒井知识竞赛

昨天晚上,我作为蒟蒻组的一员在三教2102参加了酒井知识竞赛,并因此鸽掉了TUNA和Lab mU的迎新会hhh,不过运气好拿到了二等奖的好成绩,获得Paperang便携打印机一台。中间遇到了好一些网络方面的知识,这对于没有记忆OSI模型的我无疑有巨大的难度。下面是几道比较有印象的题目: 以下哪个不是编程语言? A. J B. L C. R D. K 这题不难,R肯定对,J见过,K略微有印象,选B IPv6链路层地址解析的协议是? A. ARP B. Neighbour Solicitation C. Neighbour Advertisement D. Neighbour Discovery 对于一个没研究过IPv6的人来说这只好蒙了。。。ARP是IPv4时代的,ND(Neighbour Discovery则是IPv6时代的新产物,把ARP和ICMP等协议的功能都包含了进来,并且有新的功能。之前样题里还出现过问IPv6中去掉了Unicast,Anycast,Multicast,Broadcast中的哪种,答案是Broadcast。 第一个把程序错误称做bug的是? 选项太多忘了,答案是Grace Hopper,因为当时一只飞蛾意外飞入了机器导致了故障,后来慢慢就流传下来了。 以下不是网络操作系统的是? A. Windows NT B. OS/2 warp C. DOS D. Netware 当时我没见过D,于是就选了。。。然后就挂了,Netware是Novell开发的系统,OS/2 warp当然是历史悠久的系统啦,而DOS=Disk Operating System所以没有“网络”二字。。。晕倒 以下是用作局域网的协议是? A. TCP/IP B. IPX/SPX C. NetBEUI D. RS-232-C TCP/IP当然不仅限于局域网,RS-232-C是接口,当时蒙了B结果就对了,白白拿了50分哈哈哈。IPX/SPX是Novell设计用在Netware系统上的局域网协议,NetBEUI则是NetBIOS的一个历史遗留的一个“别称”。 姚期智的夫人给谁取了中文名? 当然是Donald Ervin Knuth啦!高德纳万岁!

Read More