Bojie Li (李博杰)
2022-04-03
更新：因疫情原因，原定于 2022 年 5 月 1 日、延期至 2022 年 7 月 17 日的婚礼再次延期，定于 2023 年 5 月 1 日，请移步最新版的婚礼邀请函，谢谢！
2022-03-31
2021 年 2 月 8 日 08:53，我，女朋友和和我爸妈在开车去上班的路上。我终于下定决心，说就要这个了，并向房产商转了 10 万元定金。此时，距离我们开始密集看房只有一个月的时间。
为什么要这么急呢？
这里面有三个背景：一是北京市要求有 户口或者工作居住证 才能买房，而我自己 2019 年 6 月博士毕业入职时虽然就能解决户口，但流程很慢，北京市人社局的接收函 2019 年 12 月拿到，户口迁移证 2020 年 9 月才办下来，我自己的新身份证到了 2021 年 1 月才办下来。
二是 海淀区的新盘不多，供不应求 。海淀区虽然有不少空地，但每年放地都抠抠搜搜的，加上海淀区都是有钱的主，比如各大互联网公司，核心区房价高达 10 万以上，五环外的房价也要 8 万，有些个别偏远的或者共有产权房可以是 5~6 万。就这样的房子还是秒光。例如我租住的地方附近（海淀区，五环外，树村）有两个楼盘，一个是豪宅型的圆明天颂，2021 年 11 月开盘，238 套房子，最低的总价也要 2300 万，15 分钟卖完，据说都是全款的；另一个是刚需改善型的学府壹号院，900 多套房子，最低的总价 1100 万，也是一天卖光。我显然是没有经济实力买这样的房子。
三是 北京市的首付比例很高 ，非普通住宅（市区的房子一般都是非普通住宅）首套 40%，二套 80%，我因为在老家有过贷款记录被认定为二套，因此首付比例高达 80%，因此不可能买太贵的房子。对于我来说，承担贷款的问题不大，根据银行的算法大约可以承担 1200 万的贷款，但首付是主要瓶颈。
城市的选择
面对这么高的首付，我们主要考虑了几个选择：
- 在海淀的优质地段买个比较小的房子 ，后面有改善生活的需要再换房。这时我们需要考虑的主要包括通勤的便利性、居住的舒适性、房产的投资属性。虽然在低生育率、经济下行的背景下很多人看衰楼市，我认为一线城市优质地段仍然是有很强的刚需，目前仍然是供不应求的。
- 在海淀的普通地段或者昌平区买个稍微大些的房子 ，面积上基本上一步到位，房价也不算贵，一般 5~6 万一平。但昌平的学区不如海淀，此外如果户口迁往昌平，以后政策是否允许再迁回海淀，都是个未知数（目前市内是可以随意迁移的）。
- 我在杭州的同学基本都买了 120 平以上的房子 ，因为杭州的房价只要 3~4 万一平（最近涨的也比较厉害，已经是 4~5 万了），而且杭州的首付是首套 30%，二套 60%，比北京友好很多。杭州的滨江发展得不错，华为杭研所和北研所（环保园）同样是十多年的历史，杭研所附近是滨江互联网小镇，有几个不错的大商场，环保园附近目前还大多数是荒地（希望十年之后能开发好）。我在杭研所出差了大半年时间，说实话对杭州的印象是不错的，我们的钻戒和对戒都是在杭州买的。
- 我因为工作原因去 成都和西安 出差，这两个城市给我的印象都比较好，尤其是成都的生活比较慢。房价比杭州那是又低了一个档次。在成都的尧棠公馆门口，经常看到各种跑车、豪车，门口就是国际学校，生活很便利，比我所在北京的上地和环保园看起来更像是个大城市。这些同事跟我挣差不多的工资，但在成都和西安就生活得很爽，其中房价可能是最重要的因素。第一次去成研所是冬末春初，北京的行道树还枯着，成研所里花红树绿，垂丝海棠开得一片一片的，倒映在湖里。我们出去玩的时候，也去过 苏州 等城市，苏州的江南水乡也令人流连忘返。
- 我在美国的朋友买的基本都是 house ，比如在西雅图 100 万美元就能买到 180 平的 house，甚至比杭州的很多房子还便宜。即使考虑到西雅图房价上涨的因素（一年涨了 50% 以上），仍然也只是杭州比较好的房子的价格，北京哪怕是昌平的房子大多数都更贵。此外，house 的面积和中国的房子不能直接对比，因为中国的高层住宅有很多公摊面积，例如我最终买的房子公摊面积就高达 25%。欧洲和美国也没有这么夸张的首付比例。house 的居住舒适程度一般也是比高层楼房更高的。不过选择在国内，就是选择了更卷的生活。如果考虑日后去欧洲或者美国的话，按照相同 level 下互联网公司的收入水平，买房的压力会小很多。
2022-03-06
定位轨迹是研究生活作息规律，以分钟级精度总结生活旅行历史的重要数据。现发布2017年1月21日至2018年7月7日的定位轨迹信息如下：
注意有些时候因为没有带定位器或者定位器没电，会出现一天定位都没有移动的情况。从这批轨迹数据，可以发现我在读博期间，大部分时间中午甚至下午才去公司，半夜才从公司回家。有时候在刚起床的时候或者半夜会去跑步。
2022-01-08
2021-08-24
1Pipe is a causal and total order communication primitive to scatter groups of messages via data center network. With in-network computation using Barefoot or Arista switches, 1Pipe achieves scalability and high performance with low CPU and network overheads. Published in SIGCOMM’21.
2021-07-06
AKG (Auto Kernel Generator) is a tensor compiler for NPUs. AKG leverages polyhedral schedulers to perform a much wider class of transformations, and extends the semantics of the polyhedral representation to combine complex tiling techniques and hierarchical fusion strategies. Published in MICRO’20 and PLDI’21.
2021-05-01
2021-02-26
本文转载自微软亚洲研究院（MSRA）公众号，感谢MSRA的邀请！
攻读博士是一段孤独又充满挑战的旅程，若有师兄师姐指点迷津，一定能带你走出迷茫，勇敢选择。2 月 8 日，五位毕业于微软亚洲研究院联合培养博士生项目的师兄师姐院友，在线上为师弟师妹们带来了自己在读博期间和日后工作中的切身感悟，以期答疑解惑并鼓励大家坚定梦想。本次活动由微软亚洲研究院资深学术经理孙丽君、实习生项目负责人窦安琪组织与主持。
希望这些师兄师姐的分享能鼓励与启发读博路上的每一个你，带你愉快地享受这一段美好又充满挑战的时光~
分享嘉宾：
- 傅孝明 2016 届中科大-微软联培博士，现任中国科学技术大学副研究员
- 张弛 2017 届中山大学-微软联培博士，现任 DeepMotion Co-Founder, R&D Director
- 黄丹青 2019 届中山大学-微软联培博士，现任微软亚洲研究院研究员
- 李博杰 2019 届中科大-微软联培博士，现任华为 2012 实验室高级研究工程师
- 李潇 2019 届中科大-微软联培博士，现任微软亚洲研究院研究员
2019-12-08
中国科学技术大学博士论文 作者：李博杰 / USTC Doctoral Dissertation, Author: Bojie Li
中文版: 基于可编程网卡的高性能数据中心系统 (PDF, 8 MB)
AI Translated Unofficial English Version: High Performance Data Center Systems with Programmable Network Interface Cards (PDF, 8 MB)
Publication Date: 2019-05-26.
2019-08-19
Communication intensive applications in hosts with multi-core CPU and high speed networking hardware often put considerable stress on the native socket system in an OS. Existing socket replacements often leave significant performance on the table, as well have limitations on compatibility and isolation.
In this paper, we describe SocksDirect, a user-space high performance socket system. SocksDirect is fully compatible with Linux socket and can be used as a drop-in replacement with no modification to existing applications. To achieve high performance, SocksDirect leverages RDMA and shared memory (SHM) for inter-host and intra-host communication, respectively. To bridge the semantics gap between socket and RDMA/SHM, we optimize for the common cases while maintaining compatibility in general. SocksDirect achieves isolation by employing a trusted monitor daemon to handle control plane operations such as connection establishment and access control. The data plane is peer-to-peer between processes, in which we remove multi-thread synchronization, buffer management, large payload copy and process wakeup overheads in common cases. Experiments show that SocksDirect achieves 7 to 20x better message throughput and 17 to 35x better latency compared with Linux socket, and reduces Nginx HTTP latency by 5.5 times.