Skymizer 2018 見習勇者招募中 (part-time)

關於我們

Skymizer 是頂尖的編譯與虛擬化技術團隊,幫助客戶建立各式的虛擬機與編譯器,增加軟體效能、縮短 time-to-market 時間;目前我們已與世界級的公司合作,一起開發供深度學習 (deep learning) ASIC 使用的編譯器,與新一代區塊鏈上的智能合約 (smart contract) 所使用的虛擬機。除了內部產品,也積極開發及參與 Open Source 的專案。我們熱愛技術、想透過我們的雙手讓軟體界變得更好,為此,需要你的加入!

繼續閱讀 Skymizer 2018 見習勇者招募中 (part-time)

Skymizer 以開放類神經網路編譯器 ONNC 串連 ONNX 與 deep learning accelerator (DLA) ASICs

由於 AI 的應用層面越來越廣,數百種新 AI 晶片將在不久的未來大量出現,目前市場上卻沒有一個能完整支援各家 DLA 的開源編譯器。根據統計,在 2018 年會有超過 34 家 IC 與 IP 廠商提供各式各樣的 AI 晶片與 deep learning accelerator (DLA) ASICs,因此急需一個開源的編譯器來支援各種不同的 AI 晶片。

成立於 2013 年的 Skymizer 一直都專注在 compiler 和 machine learning 領域,看到這個趨勢之後,建立了基於 ONNX 的編譯器 Open Nerual Network Compiler – ONNC,將所有的 AI 晶片與 ONNX 連結起來,並將於 2018 年七月底之前將 ONNC 開源。

ONNX 是開放類神經網路交換格式,目前常見的 AI framework 如Caffe2、PyTorch…等等各有各的支持者,格式間互通性差,因此訓練出來的深度學習模型無法套用到別的 framework 上,但有了 ONNX,開發者可在不同格式之間輕鬆轉換。而透過 ONNX 支援多平台的特性,ONNC 可以支援各種不同的 AI frameworks,如 Caffe、Caffe2 與 PyTorch,幫助 DLA ASIC 廠商在短時間內就可以支援各種 AI frameworks,提升性能並縮短開發時間。

ONNC 對目前 AI frameworks 的主要優勢在於 ONNC 提供了 DLA ASIC 晶片的直接支援。DLA ASIC 廠商可以根據硬體架構來描述硬體 cost model,編譯器就可以在不必修改演算法的狀況下,產生更高品質的程式碼,加速執行時間,減少記憶體使用量,提升執行效率,也幫助晶片廠商更快讓產品進入市場。

「AI 創新需要開源生態系,而 ONNX 確保了 frameworks 之間的互通性,」Skymizer 執行長 Luba Tang 表示:「ONNC 的目標是將所有的 DLA ASIC 快速、簡單地與 ONNX 連結起來,確保所有的 DLA ASIC 都可以在 ONNX 上執行。」

今年七月,就讓我們與開放類神經網路編譯器 ONNC 攜手連結 AI 世界。

Skymizer 勇者召集令 2018

關於我們

Skymizer 是頂尖的編譯與虛擬化技術團隊,幫助客戶建立各式的虛擬機與編譯器,增加軟體效能、縮短 time-to-market 時間;目前我們已與世界級的公司合作,一起開發供深度學習 (deep learning) ASIC 使用的編譯器,與新一代區塊鏈上的智能合約 (smart contract) 所使用的虛擬機。除了內部產品,也積極開發及參與 Open Source 的專案。我們熱愛技術、想透過我們的雙手讓軟體界變得更好,為此,需要你的加入!

繼續閱讀 Skymizer 勇者召集令 2018

SkySquire 使用教學

SkySquire 是個萬用小刀,讓你可以輕鬆修改其他程式預設行為。

今天如果要修改一個 open source project 的編譯參數,你會怎麼做?
你會試著去了解所有的編譯過程,修改 Makefile 或者是各式各樣的設定檔?相信我,這是一件繁瑣而且可怕的事情,非常容易出錯而無法察覺。我們曾經花了兩個月研究 MESA 的效能變化,卻發現編譯器優化的參數沒有辦法傳遞到整個 project 當中;也曾發現 open source project 當中的編譯器的優化參數其實從來沒有被 Makefile 傳遞過。為了解決參數傳遞問題,我們也曾經大改 Android 的 nijia,好讓我們能夠針對不同的檔案下不同的編譯參數。

繼續閱讀 SkySquire 使用教學

SkySquire:a very easy way to eable LTO/PGO

SkySquire 是個萬用小刀,讓你可以輕鬆嘗試各種 gcc/llvm 的優化,不用再花漫漫長夜修改 Makefile。這裡我們教大家如何使用 SkySquire 來輕鬆啟動 Link Time Optimization (LTO) 以及 Profiler Guided Optimization(PGO)。

繼續閱讀 SkySquire:a very easy way to eable LTO/PGO

2013 Hello GCC:The Theory, History and Future of System Linkers

是否總感覺這世界在變,但是系統軟體卻不動如山?其實不盡如此,從風起雲湧的 AI 技術、VR、AR、自動車等未來科技,無一不是受系統軟體的改進而達成,不論是 Android ART, LLVM, Swift, GPGPU,均是由系統軟體的改善所推動的。

繼續閱讀 2013 Hello GCC:The Theory, History and Future of System Linkers

2011 COSCUP Review:淺談 GCC 編譯技術 Break Compilation Boundaries with GCC

編譯器宛如傳說中的巨龍般,潛藏在最底層處。我們都聽過編譯器,但是我們都不了解他。對於編譯器,我們好奇,我們曖昧。

這篇 talk 是 Luba 於 2013 COSCUP 的演講,從編譯器的各種限制出發,用最淺顯的方式來講解編譯器最深入的概念,並獲得 2013 年 COSCUP 最受歡迎的演講第二名。

今天就讓我們請到 Luba 用簡單易懂的方式,讓你快速了解編譯器技術,讓神秘的巨龍伸展雙翅,讓你看見他銳利的爪牙與發光的鱗片。


更多的 Skymizer 勇者在 2017 COSCUP!

議程:用 GCC 讓你的 PostgreSQL 噴噴噴
講者:tclin
時間:2017/08/05 13:00
地點:國立臺灣大學社會科學院 R403

議程:BSDMIZER: a framework to improve FreeBSD continuously
講者:Luba
時間:2017/08/06 11:00
地點:國立臺灣大學社會科學院 R303

Skymizer 編譯器:追求的不是優化,而是登峰造極

Skymizer整合編譯器、機器學習、高速運算,賦予硬體表現淋漓盡致的可能

在人工智慧大行其道的現代,傳統編譯器的優化方式顯得僵化與不合時宜。Skymizer 不單單以優化現有編譯策略作為性能提升手段,而是輔以更以宏觀的角度去尋找各程序碼之間在不同硬件下最佳的編譯策略組合模式,進而能針對該軟硬件找到最高性能的編譯模式,並使性能提升至少30%。

繼續閱讀 Skymizer 編譯器:追求的不是優化,而是登峰造極

評估 Skymizer Intelligent Compiler 優化的可能性

根據 Skymizer 的研究,如果基本的編譯器參數優化有效果,那麼就很適合使用 Skymizer Intelligent Compiler。

我們可以利用 SkySquire 來做基本的編譯器參數優化,改變 gcc/clang 的預設參數,將 gcc/clang 設定為低水位高水位,並藉由高低水位的差距,來評估使用 Skymizer Intelligent Compiler 優化的可能性。

繼續閱讀 評估 Skymizer Intelligent Compiler 優化的可能性

Skymizer 新年新勇者,2017 全力募集!

###關於我們

Skymizer 是一個致力於行動與物聯網開發工具的頂尖開發團隊。公司創立於 2013年冬季,創辦團隊來自於世界各大知名軟硬體公司(Google、Mediatek、Marvell)。除了內部產品,也積極開發及參與 Open Source 的專案,目前正在高速成長,已有國際性的創業投資機構投資。我們想透過我們的雙手讓軟體界變得更好。

繼續閱讀 Skymizer 新年新勇者,2017 全力募集!