@EastonMan 看的新闻
+碎碎念
+膜大佬
+偶尔猫猫
+伊斯通听的歌
Arch Linux: Recent news updates
Bugtracker migration to GitLab completed

We are happy to announce that the migration of the bugtracker to GitLab is done! 🥳

Thanks to everyone who has helped during the migration!

This means the issue tracker and merge requests on the GitLab package repos are now enabled.

The old bugtracker will subsequently be closed down. For archiving reasons there will be a static copy so that links (for example the randomly picked Task #56716) are still stable, migrated bugs have a closing comment pointing to the new URL on GitLab.

Packaging bugs are now opened on the repo hosting the corresponding packaging sources, the "Add a new Bug" button on the package page on archlinux.org will automatically direct you to the correct place to open the issue. The workflow afterwards is mostly the same, first our Bug Wranglers will have a look at the issues and triage them, and then they will be handed over to the respective Package Maintainers to fix. A list of all issues can be found here.

If you do not have an account for GitLab already (which authenticates against our SSO service), please write us a mail with your desired username to [email protected] as advised in the banner.

source
(author: Christian Heusel)
Harry Chen’s Blog
SCC 23 回顾

四年前的我怎么也不会想到,2023 年我还会来到丹佛熟悉的会场参与一次 SCC。回国已经一周有余,我在回想这一周的异国生活时,还是偶尔会混入四年前的记忆片段。从各种意义来上来说,这四年过得就像做梦一般,世界经历了巨大的停止和割裂。但当地球再次恢复转动,跨过大洋的我发现,很多东西又都没有变,比如 Colorado Convention Center 门口的那只大蓝熊。

缘由

在经历了 SC’20、SC’21 的两年线上比赛,和 SC’22 在 proposal 阶段的铩羽而归后,清华大学超算队重又回到了 SC’23 SCC 的十一支现场参赛队之一。兜兜转转,今年的比赛和 SC‘19 一样还是在丹佛举办。具体日程安排是 11/10 抵达,11/11-11/12 装机,11/13 benchmark,然后是持续到 11/15 晚上的连续比赛,11/16 下午颁奖,11/17 离开。四年过去,超算队也换届了若干次,取得了还不错的成绩,但也有不可忽略的问题——所有的队员都完全没有出国线下比赛的经验,因此必然需要有经验的人带队。我们的两位指导老师虽然经验丰富,但由于种种原因无法或不愿前往美国。于是,本次比赛最终由我和上上任超算队队长翟明书带队(他本身也是我们组的一篇论文作者之一,由于一作无法前往,承担了给 talk 的任务)。我作为现场的正式 team advisor,而明书是正常注册的学生参会者。

准备

在确定最终的日程和人员安排后,其实离出发已经不足一个月了。好在所有人都已经拥有,或者提前办好了十年 B1/2 的签证,因此旅行方面并没有遇到太大的障碍。明书找到了 ANA 的北京首都-东京成田-丹佛的联程方案,往返的时间都很合适,恰好和组委会提供的酒店预定完全一致,起飞落地时间也都比较自然。于是大家很快就搞定了机票、EVUS 这些手续,队长还和组委会沟通了现场更换 advisor 的事宜(原本当然是翟老师)。

按照惯例,SC 需要队伍自行寻找赞助商。但考虑到现有的贸易限制,我们选择不在国内采购硬件(尤其是计算卡),而是在美国找到了当地的赞助商(sponsor)和供应商(vendor),直接在美国订购货物送到会场,使用完毕后也在当地归还。这样的方案纵然消除了潜在的合规性风险,但也带来了一些新的问题。最关键的是,队员在国内训练时使用的不是赛场上的真实硬件,到时候可能会面临意外问题(事实上真的遇到了很多)。虽然如此,总比没有要好太多了。赛前一个月左右,我们和北京大学带队的付老师(也是多年的老朋友了)共同和供应商确定了硬件方案。我们的所有硬件都来自供应商,选择了 Intel 方案的双路三卡机;而北大只从赞助商处借用 H100,与我们的机器合并下单。考虑到本次 SCC 的功耗限制增加到了 4000W,我们选择了传统的四机八卡方案。原本想买的 400G IB 卡和交换机货期都太长了,于是被迫降级成 200G。此外由于供应商比较难获得比较高端的 CPU,我们还从 Intel 借用了一些 8490H。虽然中间也经历了一些在具体型号和配置上的拉扯,但还是在预计的时间内确认了具体的配置单,也签订了在装机日当天送货的合同。我本以为硬件部分应该会比较顺利。

再说回赛题,我原本并没有在具体题目上跟进太多的打算,甚至连队员都没有认全。但正式比赛前一两周参与超算组会的见闻,让我产生了担忧。虽然同学们在非常努力地重写 3DMHD 这一赛题的代码,但在其他题目上的进展似乎并不如我预期的充分。比如说到某个应用的扩展性不佳,但也没有探究原因,一会说是 memory bound 一会说是负载不均衡导致 MPI 空等,有些不求甚解的味道。不过明书毕竟还是很靠谱的 SCC 专家,我决定把这方面的技术细节都交给他来负责,否则要操心的事情就太多了。

去程

时间一晃就来到了十一月,很快就要出发了。出发两天,我们把队员召集起来,反复对着(我两年前写的)checklist 一条一条确认,让我似乎也找回了一些我们当年出发前夜的感觉。

这次出发的航班是中午,所以不用起太早(而值得一提的是,选择了北京/上海-慕尼黑-丹佛的北大和上科前一天晚上十点多就坐上了飞机,而到达时间甚至比我们还晚两个小时)。到了出发当天,打车、抵达 T3、值机、坐小火车、过边检、过海关,一切都很通畅和快速,但总让我有一些不真实的感觉。直到来到 T3E 的廊桥前坐下,再次能近距离看到 01 跑道上起降的,由各种飞机执飞的航班,我才真的确认自己真的是又要出国了。第一次坐全日空,也是第一次坐 767,感觉腿部空间比我坐过的其他航班都宽敞一些(查阅具体宽度之后证实了这不是心理作用),机上的餐食也还不错。在西风的助力下,航班花了两个多小时就穿越韩国、日本的国土抵达了东京,落地成田机场。

我们有三个多小时的转机时间,但所有人一起下机、经过安检进入国际中转区就花掉了快一个小时。成田机场的中转区面积并不小,我和明书推着小车在里面逛了一大圈,当了一回 tokyo banana 的冤大头(似乎有很多人喜欢,但我们都觉得实在是不好吃),最终去吃了几乎是中转区唯一排队的餐饮店铺——一风堂。我是凭着对上海一风堂的良好印象拉着他去吃的,我点了一碗经典的白汤,他要了一份辣的,我们还一起分享了一小瓶啤酒。但最终口味并没有达到我们的预期(在我看来甚至还不如上海),面是像方便面的细面,汤也比较一般,而明书要的辣汤版让他这个成都人都难以下咽。

逛完吃完也就快要登机了。第二程跨洋段是由美联航执飞的 UA142,飞机是一架还算新的 787,航程也不算长,大概在九个小时左右。这也是我第一次坐美联航,此前对 UA 的一些精彩事迹(诸如砸坏吉他、拖人下飞机)早有耳闻,因此也没有报很大的希望。不过进入机舱感觉还行,座椅比较柔软,座位空间也没有很狭窄,甚至每个座位上都送了一次性的 U 形枕。想到我第一次坐长途航班去法兰克福的时候,并不知道 U 形枕这样的神器,硬是靠脖子撑了七八个小时,要是当时汉莎也配上就好了。

按丹佛时间算,起飞时间是凌晨三点,落地时间是中午十二点多。我本打算在飞机上就按照美国时间生活,尽量减少时差影响。我也和队员约好了,在接近落地的时间一起熟悉和讨论一下 poster 的内容,刚好也是早上九十点钟。但因为客舱服务等原因,真正关灯的时候已经快早上五点了。虽然在最里面靠窗不会被打扰,也有降噪耳机,但在经济舱想要高质量的睡眠当然还是很困难。睡睡醒醒,吃了发的冰凉小三明治,还看了几部电影(终于看了《小丑》),终于是熬到了窗外有一丝光明——787 的窗户是著名的电致变色玻璃,乘务员可以统一控制,旅客也可以手动用按钮调节不透明度;但我旁边的玻璃不知道为什么总是不听话,甚至会突然亮起来把周围的一圈人都晒醒。

飞机从西北侧穿越加拿大,进入美国领空。此时天色已经大亮,大家基本都醒了,窗外的景色也丰富了起来。我趁这个机会起来活动了一会,和同学们讨论了几分钟 poster,又被乘务员赶回座位——又要发餐了。顺便再提一下 UA 的餐食吧,两顿正餐都只能说是能吃,饮料还是一如既往的美国风格:一罐果汁里面 70g 糖,看完之后喝也不是不喝也不是。因为睡眠不好,从吃完我就几乎是坐在座位上神情恍惚。飞机前落地前,以相当低的高度向东飞跃落基山脉,从北往南穿越丹佛城区、转一个大弯进入第五边对准跑道。这样的景色是我从未曾见到过的:西侧是白雪皑皑的绵延群山,东侧是一望无垠的开阔平原,而我们恰好在这两种景象的交界处,这就是丹佛。

赛前

落地后,大家都顺利地通过了 CBP,官员听说是来开会的就没有再问其他问题了(但换在四年前,我根本不会担心这方面的事情)。取行李,打 UBER、入住,安顿下来已经下午两点左右。虽然大家都挺困,为了防止生物钟紊乱,我们干脆把所有人叫到了我房间继续熟悉 poster、写 interview 的讲稿。也是在这时,我和 zms 发现了越来越多的问题,英语表达不自然自然是一方面,但更严重的是逻辑上的不自洽和一些无法解释的内容。我们几乎是逐句逐句地在尝试理解、询问、求证,很快就到了晚饭时间。虽然此时复现题还有这样那样的问题留待解决,但所有人此时真的已经很累了。我和明书找了一家 16th st 上正宗的美式 grill 餐馆,拉着大家去吃了一顿(在出门时遇到了北大的队伍入住),毕竟此后空闲的时间不会很多。毕竟是在美国的第一顿,大家对牛排、汉堡之类的东西还算感兴趣,但也有同学已经在餐桌上顶不住睡着了。吃完我们又去熟悉的 Target(甚至连物品布局还和我印象中完全一致)买了一些水和食物,硬撑着走回了酒店,就各自休息了。明书形容这一晚是“被动关机”,因为实在是太困了,回去躺下就睡着了,甚至没有关灯。

然而生物钟的威力还是强大的,我在第二天凌晨三点半就醒来了,并且无法继续入睡。熬到早餐开餐时间六点半下楼,发现明书、付老师、北大的几个队员都在吃早饭,颇有同病相怜之感。酒店的早餐也是典型美式早餐,好在有新鲜水果补充。我和明书其实当天租车了出门玩,但约定的取车时间是早上八点半,吃完早餐才七点过。为了消磨时间,我们决定出门随机游走,我带他在酒店附近 city walk。丹佛市中心比较著名的应该就是 16th st mall 的步行街和免费公交,但这次来发现路被大幅封闭,中间全部挖开,一副大兴土木的样子,公交车也改道了。一查才知道科罗拉多批了几千万美元的预算,要用三年时间翻新这条地标道路,目前还在紧张的施工阶段,一直要到 2025 年才能修好。

TBD: 出门玩

赛中

TBD: 批判坑爹 vendor、比赛过程、CTF

赛后

TBD: 赛后总结会、拆机器

回程

TBD: 丹佛机场一日游、东京一日游

source
(author: Shengqi Chen ([email protected]))
杰哥的{运维,编程,调板子}小笔记

mkdocs-material 的 Instant Navigation 功能坑点

背景

mkdocs-material 支持 Instant Navigation:启用了以后,在网页里点击其他页面的时候,它会用类似 SPA 的方法,去 fetch 新的网页,然后原地替换,而不是让浏览器跳转过去,可以提升用户体验。

但是在用这个功能的时候,会发现其实并不是那么简单。。。

source
杰哥的{运维,编程,调板子}小笔记

在 Apple Silicon macOS 上跑 Linux 虚拟机 + Rosetta

背景

最近需要跑某个 x86 only 且需要 GUI 的程序,以往都是跑在远程 Linux/Windows 机器上再远程桌面去使用。最近看到了一些比较成熟的在 macOS 上跑 Linux 虚拟机 + Rosetta 的办法(M1 MacでVivadoが動いた!),因此记录下来。

source
Back to Top