清華學霸直博簡歷火了!CPU、作業系統、編譯器全自主寫,劉知遠點讚

2020-12-08 和訊

  來源:知乎、blog.miskcoo等

  【新智元導讀】清華大學直博面試的一則簡歷上了知乎熱榜:「實現了在自己寫的CPU上運行自己寫的作業系統,以及自己實現的編譯器生成的程序」。簡歷主人是清華計算機系本科生周聿浩同學,他順利拿到直博名額,清華劉知遠老師也表示讚賞。

  最近,一個來自福州的男生突然火了,原因是知乎上一個熱帖《清華大學計算機專業本科的這位同學是什麼水平?》:

  https://www.zhihu.com/question/345718537

  提問者說,他在微博上看到清華劉知遠教授的一條微博,對劉教授口中這個優秀同學產生了興趣:

  我看到微博很多人都說很牛逼,連劉知遠老師都稱讚,但是我好像不怎麼能體會到(估計是我自身水平太低了),能有人做一個形象的比喻嗎?

  來源:劉知遠老師微博

  這名同學網名Miskcoo,他簡歷中「實現了在自己寫的CPU上運行自己寫的作業系統,以及自己實現的編譯器生成的程序」一句尤其引起討論,很多對 Miskcoo 比較了解的用戶紛紛跟帖回應。

  Miskcoo 本名周聿浩,畢業於福州一中,目前在清華大學計算機系就讀。他曾經是一名 OIer,第一次參賽就拿到了省一。在個人博客簡介上,他描述自己「感興趣的是人工智慧中偏理論方面的內容,以及一部分分析方向的數學。」

  而且他本人也非常低調虛心。面對大家的一片讚譽,自己則表示獲得劉知遠教授認可的項目,單靠自己是做不出來的,特別要感謝一起戰鬥的小夥伴,包括陳晟祺、劉曉義等。

  除了rCore on MIPS這個項目外,Miskcoo簡歷中另一個受到好評的項目經歷是「NonTrivialMIPS - 十級流水雙發射 MIPS 處理器」,這是清華計算機系團隊在第三屆 「龍芯杯」 全國大學生系統能力培養大賽中獲得特等獎的項目。這是一個系統類的比賽,要求自己設計一個 CPU,在其上設計 SoC,運行作業系統等。在這個項目中,miskcoo 負責寫 CPU(這次稱為 NonTrivialMIPS),劉曉義寫 cache,陳晟祺負責 Vivado 和 CI ,最終成功奪得特等獎!

  清華大學計算機系團隊奪得第三屆「龍芯杯」特等獎

  清華硬核系統類課程,「奮戰二十天造臺計算機」

  我們先看引起討論的「在自己寫的CPU上運行自己寫的作業系統」這個項目:

  rCore on MIPS - Rust 語言實現的 Linux 兼容作業系統  2019年4月-2019年6月

  作業系統課程項目。rCore 是用 rust 編寫的作業系統。支持了x86_64,RISCV,AArch64 三個平臺。本項目主要將其移植到 MIPS32上,最終可以在組成原理課程編寫的 MIPS32處理器上運行。

  實現了在自己寫的CPU上運行自己寫的作業系統,以及自己實現的編譯器生成的程序。

  編譯器、作業系統、CPU是三個幾乎像無底洞一樣大的方向,實現了「在自己寫的CPU上運行自己寫的作業系統,以及自己實現的編譯器生成的程序」究竟有多厲害,知乎用戶霍華德言簡意賅地評價道:

  差不多等於下面這四本書融會貫通吧。感興趣的朋友可以買來挑戰一下自己。

  miskcoo本人則在知乎回復,強調這些工作離不開與團隊的合作:

  我想多說一句,因為劉老師打碼的原因可能大家沒有注意到,這些東西實際上是我和另外幾個同學一起做的。他們都十分厲害,在前面一個龍芯杯的參賽作品的 CPU、SoC、Linux 移植以及其它一些東西裡面我主要做的是 CPU 的部分。如果沒有他們的話一個暑假完成這樣一件事情在我的能力範圍內是不太可能的。

  清華大學劉知遠老師補充道:

  劉知遠老師提到的另一段項目經歷,即「NonTrivialMIPS」這個項目,在第三屆 「龍芯杯」 全國大學生計算機系統能力培養大賽,陳晟祺、周聿浩、劉曉義和陳嘉傑四位同學組成的清華大學計算機系代表隊(指導教師:計算機系陳康、李山山)以性能分數和綜合成績第一的表現獲大賽唯一的特等獎。

  該大賽由龍芯中科公司提供技術支持,參賽隊伍需在龍芯公司提供的 FPGA 開發板上,自行設計 CPU 核心及 SoC,並在上面運行測試程序。清華計算機系學生代表隊設計並實現了雙發射 10 級流水線 CPU,支持運行最新版 Linux 內核,啟動 X11 圖形界面,這在大賽歷史上屬於首次。現場答辯環節上,同學們的優異成果得到專家們的一致好評。

  圖來自:清華大學新聞網

  清華大學計算機系對系統原理非常重視,從教學到課程項目都非常硬核。而且近期清華計算機系的系統類課程(包括組成原理、網絡原理、編譯原理等)都在進行比較大的改革,miskcoo表示,團隊能夠寫出這個項目的部分原因也是由於這些課程的安排較為合理。

  下面是清華大學計算機科學與技術專業本科培養方案中的專業主修課程內容:

  項目開源:rCore for MIPS32  - Linux 兼容的 rust 編寫的作業系統

  rCore for MIPS32這個項目已經在GitHub上開源,感興趣的讀者可以去研究一下:

  Github:https://github.com/rcore-os/rCore

  rCore for MIPS32 - Linux 兼容的 rust 編寫的作業系統(with:陳晟祺)

  這是作業系統的課程項目,rCore 是用 rust 編寫的一個作業系統,也是由清華的同學編寫的。在我們加入之前支持了 x86_64, RISCV32/64, AArch64 三個平臺。我們主要將其移植到 MIPS32 上。它最終可以在組成原理課程編寫的 MIPS32 處理器上運行。

  環境:

  Rust toolchain at nightly-2019-03-05

  Cargo tools: cargo-xbuild

  QEMU >= 3.1.0

  bootimage (for x86_64)

  RISCV64 GNU toolchain (for riscv32/64)

  AArch64 GNU toolchain (for aarch64)

  musl-cross-make (for userland musl, or download prebuilt toolchain from musl.cc)

  libfuse-dev (for userland image generation)

  See Travis script for details.

  如何運行:

  $ rustup component add rust-src llvm-tools-preview$ cargo install cargo-binutils$ cargo install cargo-xbuild --force$ cargo install bootimage --version 0.5.7 --force

  $ git clone https://github.com/rcore-os/rCore.git --recursive$ cd rCore/user$ make sfsimg arch={riscv32,riscv64,x86_64,aarch64,mipsel} # requires $(arch)-linux-musl-gcc$ cd ../kernel$ make run arch={riscv32,riscv64,x86_64,aarch64,mipsel} mode=release$ make run arch=x86_64 mode=release pci_passthru=0000:00:00.1 # for ixgbe real nic, find its pci (bus, dev, func) first

  miskcoo的其他項目還包括:

  NonTrivialMIPS - 十級雙發射順序 MIPS32 處理器

  (with:陳晟祺,劉曉義,陳嘉傑)

  這是參加 「龍芯杯」 的作品,獲得特等獎。我們自己實現了一個十級雙發射順序 MIPS32 處理器,包含 32 位浮點單元和一個 AES 加速單元。在其上自行設計了 SoC 同時移植了 Linux 作業系統。可以運行圖形界面(X 服務)以及 Python 等一大類程序,在 OpenSSL 上利用 AES 單元加速後吞吐率大約為 10MBps(CPU 主頻 80MHz,在 i7-8750H 上不利用 AESNI 指令的實現吞吐率大約為 100MBps)。同時浮點單元能夠較快地繪製 Mandelbrot 集的圖像,我們還實現了通過變分自編碼器(VAE)生成手寫數字圖像等。

  Github: https://github.com/miskcoo/nontrivial-mips

  TrivialMIPS - 五級雙發射順序 MIPS32 處理器

  (with:陳晟祺,姚沛然)

  這是大三上學期組成原理、軟體工程的聯合實驗,在組成原理的 ThinPad 實驗板上編寫的 MIPS32 處理器。由於僅有 SRAM,處理器不帶有 Cache,和 「龍芯杯」 的相比較為簡陋。不過,加上之後作業系統和編譯原理的成果,還是實現了在自己寫的 CPU 上運行自己寫的作業系統,同時運行自己寫的編譯器生成的程序。

  Github: https://github.com/trivialmips/trivialmips

  FPGA Console - 硬體實現的 VT220 兼容終端

  (with:陳晟祺)

  這是大二下學期數字邏輯設計的項目,也是我的第一個 FPGA 項目。主要是通過 FPGA 接受鍵盤的輸入,將輸入轉化為控制命令通過串口輸出給計算機。同時也通過串口接受計算機傳回的控制命令名且解析、執行,修改對應位置的字符,再將字符進行渲染通過 VGA 輸出到屏幕。支持 VT220 以及部分 xterm-256color 的控制序列。

  Github: https://github.com/Harry-Chen/fpga-virtual-console

  TrivialDB - 簡易 SQL 資料庫引擎

  這是資料庫系統概論的課程項目,用 C++ 實現的一個 SQL 資料庫引擎。實現了大部分常見的 SQL 語句和類型。同時支持多表連接、複雜表達式運算、多主鍵約束、外鍵約束、CHECK 約束、UNIQUE 和 DEFAULT 約束、聚集查詢、利用 B + 樹索引的查詢優化,同時,它支持任意長度的 VARCHAR 類型。

  Github: https://github.com/miskcoo/TrivialDB

  rubik-cube - 快速魔方解算器

  大學後的第一個課程項目,利用 Kociemba 算法實現的三階魔方求解器。大約能夠在 1 秒內通過不多於 32 步復原一個三階魔方。另外,還實現了 Krof 算法,可以計算最少復原方案,不過這需要很長的時間。同時,我利用 OpenGL 對復原過程進行了動畫展示。

  Github: https://github.com/miskcoo/rubik-cube

  其它項目(較為簡單,部分沒有公開。有需要代碼可以聯繫我)

  Mandelbrot-Render,一個高精度 Mandelbrot 渲染器。

  SimpleTomasulo - Tomasulo 算法模擬器。

  SimilaritySearch - 近似查找 / 近似連接算法,以及一個 「網際網路打車」 應用。

  OfficeOnline - 在線審批系統。

  RIPRouter - 支持 RIP 協議的路由器。

  TrivialNews - Java 實現的 Android 新聞閱讀器。

  數獨 - Qt 編寫的數獨,可生成及求解不同難度數獨。

  國際跳棋 - Qt 編寫的雙人國際跳棋遊戲。

  人物信息檢索 - Python 編寫的爬蟲,可以抓取 Wikipedia 的人物信息並且顯示。

  最後,Miskcoo同學的主頁請收好:

  Miskcoo’s Space - 一個數學和計算機愛好者的博客

  blog.miskcoo.com

  討論地址:

  https://www.zhihu.com/question/345718537

本文首發於微信公眾號:新智元。文章內容屬作者個人觀點,不代表和訊網立場。投資者據此操作,風險請自擔。

(責任編輯:王治強 HF013)

相關焦點

  • 當清華北大學霸遇見抖音
    在他發過的158條抖音視頻裡,最火的一條視頻,拍的是清華大學最神秘的食堂——蘇世民書院食堂,一日三餐都是免費自助餐,這視頻有216萬個贊。從去年4月份開抖音以來,張自豪一直用短視頻記錄清華大學的日常生活,從而收穫了一批愛學習、以考上好大學為目標的鐵粉。如今他畢業了,又開始記錄即將開始的職場生涯。有人將他的抖音視頻稱為「一名清華學霸的自我修養之路」。
  • 當清華學霸博士與抖音化學反應,氫氦鋰鈹硼也浪漫
    然而這些課堂上集中精力都難以啃下的知識點,被一位90後清華學霸,做成短視頻教學。抖音上@教化學的清華博士汪,用精心剪輯配樂過的化學實驗,帶領71萬粉絲走入有趣的化學世界,以及大家最好奇的清華生活。「別人家的小孩」成抖音網紅「教化學的清華博士汪」帳號主人是史家昕,一個90後,普通話裡隱約漏出東北味兒的遼寧人。
  • 清華學霸作息表爆火:半夜1點睡凌晨6點起,自律的人生如開掛
    一、清華學霸作息表爆火,自律的人生如開掛生養孩子,天下父母都是一樣的不容易,從嗷嗷待哺的嬰兒到18歲以後的成人,父母需要煩心操持的事情太多太多!其中,僅僅孩子的學習問題就難倒了不少父母。最近,網友有份關於清華女學霸的作息表特別火,吸引了無數家長轉發點讚。
  • 山東女學霸直博清華,三年專業第一,本科發表SCI一區論文
    直博清華的她有著"閃閃發光"的榮譽和令人豔羨的前路,但最初的她也是一個滿心羨慕的仰望者。當她堅定信念、放手去做,一步步前行直到頓足於清華園前,發現原來自己也有這樣的能力。張愷寧,1999年10月出生,中共黨員,化學化工與材料科學學院化學專業2017級本科生。
  • 清華「周杰倫」走紅,用英文寫小說從小就是學霸,他是怎樣煉成的
    #清華學姐#清華大學的特等獎學金競選就是一場「神仙打架」,每一年的這個時候就會讓你發現,你活在這個地球上就是為了湊數的。因為這些能夠獲得清華特等獎學金提名的人實在是太優秀了,今年特等獎學金簡歷一發出就引起了一波熱議,因為其中的一位男生長得像周杰倫。
  • 我膨脹了,竟然試圖破解清華女學霸的男生節情書……
    沒有節日創造節日也要上於是每年光棍節的後一天——11月12日就變成了清華大學的男生節清華男生節11月11日是「光棍節」。在光棍節之後一天便是清華大學男生節,表達清華女生們對清華男生們「早日脫離單身,找到屬於自己的愛情」的美好祝願。
  • 學霸男孩:他從浙工大直博清華,愛數學、愛交流、寫了100多首詩!
    手握清華錄取通知、首創浙工大撓頭討論社、獨家創作詩歌上百篇、他的生活融進了數字的理性和文字的優雅!2016級理學院學生陳嘯陳嘯步履不停,從討論班到清華直博2019年春,清華的直博考即將開始,在別人加班加點、熬夜複習之時,陳嘯卻沒有打亂自己的生活節奏。他根據自己的計劃去學習,不急不緩、不驕不躁。並且,由於在討論社的多次宣講,很多考試需要的知識,他早有接觸,對於這部分的知識,這些新的知識點對他來說只需做到複習。
  • Intel的「霸道」:深究編譯器對CPU性能的影響-Intel,AMD,編譯器...
    TDM-GCC (MinGW/GCC 4.6.1)重要問題:AMD為什麼沒有自己的編譯器這個要著重寫一下,Intel首先,AMD也參與了GCC編譯器工程,而微軟開發VS時也會跟AMD及Intel保持合作以便對他們的CPU作出公正(微軟語)而又統一的優化支持。另外,AMD贊助並推廣了Open64編譯器,它脫胎於一個編譯器研究計劃,後者最早是Intel贊助的、針對安騰架構所優化的編譯器項目。
  • 清華大學16位學霸為一事現身PK 簡歷嚇壞網友
    清華大學16位學霸為一事現身PK 簡歷嚇壞網友 2017-11-09 10:35:47   來源:中青在線
  • 重慶交通大學畢業季專訪 王雪:直博同濟的文藝女青年
    這樣一份漂亮的簡歷,組成了我們本次專訪的主人公——2013級道路工程專業本科生——王雪。你必須非常努力 才能看起來毫不費力採訪伊始,王雪就開始分享起她的保研經歷,一開始,她很輕鬆地說:沒什麼特別經歷,我就是參加了同濟大學的夏令營,然後通過了筆試、面試,後來拿到了推免,就這樣被同濟大學錄取了。
  • 第七屆開源作業系統年度技術會議(OS2ATC)盛大開幕,從編譯器到軟體...
    教育部國產基礎軟體工程研究中心主任、鵬城實驗室鵬城生態項目負責人吳慶波和北京飛漫軟體技術有限公司CEO、HybridOS作業系統開源協作項目發起人魏永明擔任大會主席,清華大學計算機系長聘副教授、博導陳渝和鑑釋科技CEO&聯合創始人梁宇寧擔任組委會。本次大會邀請40多位國內外一線的作業系統專家和行業領袖,圍繞開源作業系統、編譯器、全棧系統、晶片等技術熱點展開討論。
  • 本人系90後清華醫學博士
    一批批新生臉上寫滿激動和期待,拖著行李箱走進大學校園,開啟嚮往已久的生活。這個新學期,你給自己立下的flag是什麼?   「閱讀至少三十篇文獻,了解疾病的最新研究結果和解決方案……」在抖音,90後清華直博在讀的@見習太空人 小宇通過清華學霸日常,和上百萬網友分享了自己的新學期目標。
  • 萬蕊雪:施一公麾下的清華女神學霸,她和小姐妹跑贏了科研馬拉松
    她是一名超級學霸,一顆閃耀的科技新星,她是中國生物學大咖施一公的得意門生,她就是清華博士後萬蕊雪。短髮、清瘦,粉色羽絨服、雙肩背包——走在清華大學的校園裡,天真無邪、青春靚麗的萬蕊雪和別的學生真沒什麼兩樣。但只要走近萬蕊雪,你就會發現這個清純女生真的不一樣,因為她頭上的光環太多、太耀眼了。
  • 對CPU位數與作業系統位數的理解
    可以這樣理解,指令集被整合到了作業系統內核最底層的hal(硬體抽象層)中,屬於作業系統與硬體之間(宏指令與微指令)的接口,它向作業系統定義了CPU最基本的功能,而作業系統執行某個任務的實質就是在調用這些功能。指令集中的一條指令,就是讓cpu完成一系列的動作,而該動作的完成則表明了某種運算的完成。一個功能可能需要一條或幾條指令來實現。
  • 攻克多個世界級難題,4年8篇高水平論文,90後清華女博士太傳奇
    ——白蕊我國有這樣一位90後的女科學家白蕊,她的簡歷甩出去那是相當傳奇,絕對的前程似錦。她是武漢大學這個985高校的本科生,又保送到清華直博,讀博期間發表8篇高水平研究論文,5篇發在《科學》期刊,3篇發在《細胞》期刊。
  • 清華學霸作息表:一整天時間安排得滿滿當當
    近日,一份清華大學在微博曬出的清華學生的計劃表衝上熱搜,引發熱議。  凌晨1點睡覺、清晨6點起床、6點40開始學習、晚上9點到凌晨1點全都安排滿滿當當……  展覽展出了很多清華畢業生和在校生的筆記、作業、計劃等,字跡工整、思路清晰,這樣學習怎能不優秀!
  • 清華劉知遠:寫給想要填報CS/AI志願的考生們
    如果希望對AI發展有比較通俗全面的了解,可以參考以下兩本書:《人工智慧狂潮》雖然標題名略顯中2,內容比較紮實,淺顯全面並及時涵蓋到最近的深度學習浪潮;《人工智慧簡史》是華人尼克的大作,作者搜集的史料全面紮實,夾敘夾議有很多乾貨,讀起來很過癮,不過很多地方點到即止,如果沒有相關背景知識很難看懂作者所指。
  • 湖北農村的雙胞胎學霸為了父母,選擇放棄清華和中科院,值得嗎?
    這句話是指,子女應該孝順和奉養雙親,若距離父母千裡之外,便難以做到這點。有些人以此作為趴在父母面前不上進的藉口,卻忽視了後半句,聖人不反對一個人為了明確的目標而外出奮鬥。這便是眾多學生報考大學時的糾結之處了,不捨得留父母獨自在家,卻又有著自己心儀的大學。
  • 清華學霸們的「戰爭」,場面非常的火爆,網友:甘願做「韭菜」
    近日,清華學霸們的戰爭,場面非常的火爆。究竟是怎麼回事呢?原來,這是一場清華大學本科生特等獎學金答辯會現場,個個都是高材生中的高材生,履歷簡直讓人驚嘆。有網友調侃,「甘願做韭菜」,還有的網友調侃說,就算是梁靜茹也不敢有觀看的勇氣。
  • 2017清華大學特等獎學金答辯會舉行 最牛學霸簡歷PPT曝光
    中國最牛高校學霸什麼樣?昨天下午,2017年清華本科生特獎答辯會上,16位學霸現身PK,爭奪清華授予在校學生的最高榮譽。中國最牛高校學霸PK  還記得曾經轟動網絡的這張成績單嗎?  昨天下午,2017年清華本科生特獎答辯會舉行,今年有哪些牛人?