参考资料： https://veripool.org/papers/Verilator_Accelerated_OSDA2020.pdf https://verilator.org/guide/latest/environment.html#cmdoption-arg-OBJCACHE verilator可以使用分布式编译器 distcc（https://github.com/di...

背景 说起开通防火墙端口（比如FlexNet license server的端口），通常用的是TCP协议，大家通常也默认是为需要开通的端口，开通TCP协议的访问。 由于大部分服务使用了TCP协议，这样开通没问题。但是有些使用了UDP协议，导致服务无法起来，如这篇文章提到的lsf服务起不来的问题。 环境准备 如果服务已经启动，则可以直接进行连通性测试；如果服务还没启动，但需要先测试连通性，...

多线程 strace命令，可以使用-f来追踪-p <PID>指定进程的所有线程。 子进程 对于子进程呢，strace是如何追踪的？ strace命令，可以使用-f来追踪被追踪时新创建的子进程，而不会追踪原来已经创建了的子进程。因此，如果需要追踪一个已经启动的进程的所有子进程，需要分别将子进程ID用-p <PID>传进来追踪。

背景 Imagination提供的flow脚本是基于Python2的，里面导入一个PIL模块。但是使用pip2 install PIL或pip2 install pillow却无法装上。 解决 现在Python2已经不维护了，争取将代码迁移到Python3上来。 安装2to3: 在Python 2.7下， pip2 install 2to3 转换 2to3 -w /path/to/p...

问题 如何获得从Windows到一个IP:PORT的网络延时？ 工具 PsPing是微软提供的，实现了ping、tcp ping、延时与带宽测量的工具。 PS C:\Users\wanlinwang> C:\Users\wanlinwang\Downloads\PSTools\psping 192.168.1.2:3389 PsPing v2.12 - PsPing - ping,...

背景 首次使用spack时，虽然将gmake-4.4.1.tar.gz包下载至mirror目录，但还是提示如下： spack install gcc@13.2.0 +binutils ==> Installing gmake-4.4.1-bun3eynjvtrgzylwfldooydmcbtgsavx [1/2] ==> No binary for gmake-4.4.1-bun...

介绍 newgrp启动一个新shell。用户一般会拥有多个群组。切换primary群组时会带来很多麻烦。 实践 如果group名字与目录名字不一样，就放这个进去到~/.cshrc文件，通过不同分支来判断。 alias new_group 'setenv NEW_MANNUALY_GROUP \!:1; exec newgrp $NEW_MANNUALY_GROUP' if ($?NEW_M...

背景 容器在risc-v社区比较流行。这里介绍容器在研发环境的实践，能够单向拉取镜像运行，不能推送。 +------------------------------------+ +------------------------------+ +-----------+ | Upstream Docker | ...

背景 新Scala构建工具mill正在流行。很多Scala开发环境是内网环境，访问互联网需要通过proxy。 问题 用户设置了http_proxy与https_proxy变量，执行mill构建Scala工程时卡住。 解决 假设http proxy的主机与端口为 your-proxy-server.com:8080，则按照以下步骤来让mill使用proxy： 在构建环境，设置环境变...

很多人都对rootless Podman感兴趣。此工具允许您构建、安装和使用容器，而无需用户以 root 身份运行，也不需要用户在其系统上拥有大型 root 运行守护程序。相反，Podman（默认情况下）将容器映像存储在用户的主目录中。Podman 利用用户命名空间来执行此操作，因为大多数容器映像在映像中都有多个 UID。 但是，一个不起作用的问题是将这些映像存储在基于 NFS 的主目录中...