开源开发工具大会OSDT(原 HelloGCC Workshop)是围绕编译领域同行的交流会,今年第11届。我们在这里分享自己在开源软件方面的开发工作、研究成果、经验、血泪史、自嘲。话题主要面向 LLVM、GNU GCC、VM、IDE 等开源开发工具。欢迎各位新老朋友报名参加(见下方)🎉。
时间:2019年11月9日周六下午1点至6点
地点:北京市海淀区中关村南四街四号软件研究所5号楼4层大报告厅 (地铁知春路站西北方向300米)
郭任 Csky Intro - What's the meaning of a new arch for linux
邱吉 NVDLA开源编译器的功能分析和对比
朱凌宇 托管堆直写技术初探--降低JVM的序列化开销
康烁 开源项目L2C:经过形式化验证的可信编译器
Gopher Web Assembly & Go Implementation
李枫 在内核虚拟机与在内核服务
吴伟 共促方舟开源:HelloGCC社区和PLCT实验室做的努力
周亚金 基于RISC-V的软硬件安全协同扩展
詹荣开 V-Spec ISA:Keystone for RISC-V based HPC
闪电演讲 待定(欢迎投稿)
观众报名链接:
https://www.bagevent.com/event/6112393
或扫描以下二维码⬇️
(感谢小编2号提供本节内容)
GCC/RISC-V
Sifive 负责工具链和内核的创始成员兼职软件总监 Palmer Dabbet 离职了。(Hmm 值得玩味,Sifive 现在的商业能赚到大钱么?)
Palmer 更新了一系列 gnu toolchain 邮件。
GCC/PowerPC
结合power架构的开源计划,ibm持续对后端进行改进,这周发了三个改进simd支持的小patch
GCC/Arm32
Richard Earnshaw 提交了 Arm32 的64位整形支持的 patch set,共29个 patches。 Arm32 和 Thumb2 对 long long 的代码生成会更好。
新的实习生 Mihail 发出了 v8.1 M 安全扩展支持的 patch set。
GCC/AArch64
Richard Sandiford 持续改进SVE (对标x86 avx512)支持。
GCC others 在语言支持上,gcc 本周持续演进,rust,libstdc++都有改进提交。
Binutils
Suse 的 Jan Beulich 发出 x86 汇编器指令模版重构的patch set,共10个patch。
AArch64 发出 v8.6-a 指令支持的patch set。
围绕 GNU_PROPERTY_X86,一众 Binutils core developers 展开了有趣的讨论,H.J.Lu,Alan 等都参与了。
Jan 同时提交了 x86 operand size 汇编优化的 patch set,共九个patches。
gdb
Tom Tromy 延续持续了快两年的代码大重构和c++化。每周均 50+ patches,老黄牛。
glibc
华为鲲鹏 memset,memcpy,memmov 持续收到 Wilco Dijikstra,Szabolcs Nagy 的评论,估计得继续改版。
Marvell 提出 aarch64 pthread spinlock 的优化。
PowerPC 发出 IEEE long double string 函数支持的大 patch set,30个 patches。
Bsauce 给 SVF 写了2篇中文介绍。 see: https://www.jianshu.com/p/068a08ec749c https://www.jianshu.com/p/777c30d4240e
基于LLVM的分析框架,实现了多个指针分析,和几个漏洞检查器. (本条感谢 rainoftime 提供)
节选自 LLVM Weekly 第304期.
The 2019 LLVM Dev Meeting 来了630人,增长17.5%。
LLVM 完成向GitHub的迁移. 然而我在上海市出差已经无法通过中国移动网络访问到GitHub的SSH了,泪目
James Y Knight 提议 从 Bugzilla 搬运到 GitHub issues.
The RISC-V backend gained support for -ffixed-xX
flag for reserving GPRs.
aed9d6d.
It's now possible to build the sanitizers for RISC-V 64-bit. 977205b.
软件所PLCT实验室现在开始输出 rvv-llvm 代码。围观地址:
https://github.com/isrc-cas/rvv-llvm
默认代码每天从内网同步更新到 GitHub,在 rvv-iscas 分支上。后续整理提交给 llvm 上游。
依旧热火朝天的在 GitHub Issues 中干活ing。上周国内知乎大讨论了一波之后,国内的热度也起来了一些。
风平浪静。 Mozilla Foundation Board member Bob Lisbonne 转入 Mozilla Corporation Board 接替有序撤退(辞职)的 CEO Chris Beard。
小乖他爹依然在日更,到了59期。可以通过 方舟编译器学习笔记 (或者在知乎直接搜索【方舟编译器】)来跟着一起学习。
同时,小乖他爹已经确认将在11月19日的软件绿色联盟大会上 做有关方舟的技术分享。 这个是要门票的样子。不知道开源分会场到时候是否会有直播。有的话我会推送一次公众号信息。
中国科学院软件研究所持续招聘编译器方向开发人员。程序语言与编译技术实验室现在招聘一些实习生,实习生的主要工作职责是负责实验室在 GNU GCC 工具链、LLVM 工具链、 MLIR 和 TVM、 方舟开源编译器及 Toy Runtime 上的开发(选一个集中精力开发)。可以坐班也可以远程,我们的优势是提供一个专业氛围浓厚的学习环境,有资深工程师带。我们的劣势是穷,基本上没什么实习工资,电脑要自己带,没有什么技术长进之外的福利。 请联系吴伟 w@droid.ac.cn 或 邢老师 mingjie@iscas.ac.cn。
本周推荐:《当我谈跑步时我谈些什么》村上春树
这是一篇随笔形式的文字。村上是中国的读者非常熟悉的日本作家了,也是历年诺贝尔文学奖的获奖候选人(常年陪跑(误
我是近期在阅读村上春树早期作品的时候看到这本书的。似乎也没有在国内走什么宣传。这本书给我的最大感受是真实:
“啊,原来村上先生已经60岁出头了呀。”
“原来村上先生是33岁的时候才开始决定专职写小说的啊”
“原来村上先生也是有憋三个小时什么都写不出来的时候呀。”
如此种种,毫无修饰的将逃避去跑步以及坚持去跑步的村上自己,连同他自己跟写作的关系也展现出来的时候,我不知道你在阅读的时候会有什么样的感受,我现在依然很清楚记得我自己在阅读时候,总是会有一种 “那么,我也去开始写点什么吧” 的一股劲儿,被学校教育压抑或者忽视十几年的创作的想法,被村上先生点燃起来了。
彩虹室内合唱团是跟村上春树先生毫无关系的一个上海的团体。负责人和指挥家金承志先生开了一个音频专栏,介绍音乐的大历史。我是在一边听着金承志先生的连载的时候一边在哐当哐当的火车里阅读的。音乐的历史时间轴从先哲时代到中世纪,从中世纪到文艺复兴,从门德尔松到莫扎特,从贝多芬到巴赫舒伯特。历史长河,人类,实际上是我,显得太渺小了。年薪百万也好,财务自由也好,到了2119年,人们谈论起来的,或许依然会有门德尔松,会有莫扎特,会有贝多芬和村上春树。
创作点什么吧。万一呢。