近期活动
软件所PLCT实验室在周三举办了开放日活动,线上线下接近600人参与。开放日的slides已经上传到了GitHub(ref1),相关的视频回放估计周六可以处理好,陆续上传到B站{ref2}。
ref1: https://github.com/isrc-cas/PLCT-OpenDay-2019
ref2: https://space.bilibili.com/296494084/video
编译社区的八卦信息
gcc
仍然在stage3,各后端努力各类回归测试中暴露的bug。除此之外,有一下值得关注的feature patch。下一周是圣诞假期,GNU社区应该会比较平静
David Malcolm 发出v4版本GCC前端静态分析支持,看来有希望进gcc10
[PATCH 00/45] v4 of analyzer patch kit
https://gcc.gnu.org/ml/gcc-patches/2019-12/msg01002.html
- Matthew Malcomson 发出v3硬件address sanitizer支持
[Patch 0/X] HWASAN v3
https://gcc.gnu.org/ml/gcc-patches/2019-12/msg00883.html
- Martin Jambor贡献对SRA优化访问控制的验证
[PATCH 0/4] Add verification of SRA accesses
https://gcc.gnu.org/ml/gcc-patches/2019-12/msg01182.html
- Codesourcery贡献OpenACC2.6 manual deep copy的支持
[PATCH 00/13] OpenACC 2.6 manual deep copy support
https://gcc.gnu.org/ml/gcc-patches/2019-12/msg01247.html
- IBM推进GCC对下一代处理器的后端支持
PowerPC V10 Patches for -mcpu=future
https://gcc.gnu.org/ml/gcc-patches/2019-12/msg00833.html
Binutils
- Ian的回复永远是值得仔细阅读的
How to enable the option '--build-id' to ld ?
https://sourceware.org/ml/binutils/2019-12/msg00186.html
- Nelson Chu发出第三版RISC-V CSR寄存器检查的patch set
[PATCH v3 0/4] RISC-V: Support more rigorous check for CSR, and update them to spec 1.12.
https://sourceware.org/ml/binutils/2019-12/msg00233.html
- Jan持续贡献x86汇编器的小改进
[PATCH 0/3] x86: follow-on to ac0ab1842d
- Nick Alcock改进libctf可移植性,修复bug
[PATCH 00/11] libctf: various portability fixes and small bugfixes
https://sourceware.org/ml/binutils/2019-12/msg00255.html
- Alan发出一系列修复overflow bug的patch
More signed overflow fixes
https://sourceware.org/ml/binutils/2019-12/msg00282.html
gdb
- Solaris GDB 还有人维护
[PATCH 0/3] Fix Solaris build with enable-targets=all
https://sourceware.org/ml/gdb-patches/2019-12/msg00801.html
- Simon改进GDB JIT调试的支持
[PATCH 0/7] Fix and cleanups in jit.c
https://sourceware.org/ml/gdb-patches/2019-12/msg00568.html
glibc
- Adhemerval推进vDSO的改进(不写cover letter不是好习惯)
https://sourceware.org/ml/libc-alpha/2019-12/msg00449.html
- IBM推进IEEE长双精度string函数的优化
[PATCH v4 0/9] Add IEEE long double <-> string functions for powerpc64le
https://sourceware.org/ml/libc-alpha/2019-12/msg00508.html
- 求助类的帖子一般都值得一看
Question on compiling glibc
https://sourceware.org/ml/libc-alpha/2019-12/msg00560.html
LLVM/Clang/LLDB/LLD
Alex Bradbury 将LLVMWeekly更新到了311期。
节选:
Jonas Devlieghere wrote up an RFC on supporting Lua scripting in LLDB.
New tests were added for resolving of RISC-V relocations. 707e970.
(MaskRay)
https://github.com/riscv/riscv-elf-psabi-doc/pull/124
RISC-V psABI 想要加两个 relocation types Add R_RISCV_SET_ULEB128 and R_RISCV_SUB_ULEB128,可以减小 .gcc_except_table。(最后一次看的时候还没合并)
RISC-V in China
RISC-V V Spec 稳定版从 v0.7.1 升级到了 v0.8,同时 v0.9-alpha 也开始了。看起来 Sifive 比较积极的在推。PLCT 开源的 rvv-llvm 仓库现在也分出来了 0.7.1 和 0.8 的两个分支开始跟进。
CRVIC 最近有组织一个活动,不过具体没来得及跟。欢迎参与了的朋友在留言区追加。
同时,芯来科技又获得了一个第一次听说的奖项 :-)
TVM 社区
陈天奇在知乎写了文章,总结了第二届TVM与深度学习编译器会议。
在2019年12月5日,TVM社区在西雅图召开了第二届TVM与深度学习编译器会议。小伙伴们一起讨论利用机器学习自动优化深度学习编译优化的新方向。本次会议注册满员,一共有两百多人参与,参加的开发人员来自北美,亚洲,欧洲的各个地方。大家共聚一堂,讨论TVM社区的最新进展以及未来的发展方向。本文简单介绍会议的内容,会议所有的slides和youtube视频可以从会议官方网站获取(见本文末尾),欢迎大家分享。
感兴趣的小伙伴不要错过。干货满满。
Mozilla
You now have access to the Mozilla People Directory
Mozilla 的 LDAP 系统进行了更新。对贡献者更加的友好了。(比较惭愧小编1号已经很长时间没去Mozilla社区冒泡了,以后要多多贡献。)
方舟开源编译器社区
方舟社区经理刘果在OS2ATC大会上介绍了方舟的最新动态。
Rust
call for contributors ❤️
我们后续的报道计划覆盖 Rust 社区
Golang
call for contributors ❤️
我们后续的报道计划覆盖 Go 社区
wasm
call for contributors ❤️
我们后续的报道计划覆盖 wasm 社区
Academic
call for contributors ❤️
我们后续的报道计划覆盖程序语言和编译技术的学术进展(虽然这个范围有点大,不定期更新)
本周工具链岗位
我们,软件所PLCT实验室,长期招募编译开发实习生(C++/Java)。实习生的主要工作职责是参与PLCT在 GCC/LLVM、QEMU、 OpenJDK、 MLIR 和 TVM、 方舟开源编译器及 Toy Runtime 开发。要求 C++/Java 编程能力由掌握或者熟练,
必要条件是在校学生,目前还不接受已经工作的朋友的兼职。具备良好的沟通和团队合作意识,熟练 Linux Bash Scripting 和 Git 常用操作。要求有基本的操作系统(OS)和编译原理的知识,IDE开发实习生要求掌握Eclipse插件开发的基本知识。可以坐班(LV3+)也可以远程(LV4+)。
PLCT隶属于中国科学院软件研究所,智能软件研究中心。我们的优势是提供一个专业氛围浓厚的学习环境,有资深工程师带。我们的劣势是穷,基本上没什么实习工资,电脑要自己带,没有什么技术长进之外的福利。
请感兴趣的同学联系邢老师 mingjie@iscas.ac.cn。
本周推荐阅读
本周推荐:《高效写作的秘密》
【美】杰拉尔德·格拉夫、凯茜·比肯施泰因 著; 姜昊骞 翻译
这本书的英文名称叫《THEY SAY / I SAY: The Moves That Matter in Academic Writing》。本书提出了一个简单、容易记忆、并且确实在日常写作中有用的模式,以及一套关联的模版可以使用。这本书不是小说也不是有趣的读物,不过作者已经尽力将内容写的通俗和有趣了。本书的内容绝对不是局限在学术领域,而是在日常的文字表达、乃至口头表达中,都是适用的。
如果你跟小编1号一样,那么差不多你也是写500字文档要比写500行代码痛苦的人。觉得痛苦的主要的原因,可能包含了本书中例举出来的种种错误的示范。好在,本书提供了大量的模版方法可以被模仿,就像是逛淘宝一样,选择一个看着觉得合适的,套用进自己的技术报告或者分析评论里面,整个思路都觉得清新了。