SkySquire is a versatile tool, or say a Swiss army knife, to help you revise the default behavior of softwares. For example, you can enable ‘-O3’ as a default option of your gcc/clang. With SkySquire, you don’t need to handle with all details of Makefiles and building system any more.
How to evaluate Skymizer Intelligent Compiler for your projects
According to our study, the bigger performance gap between O0 to O3 is, the higher performance Skymizer Intelligent Compiler can achieve eventually.
Skymizer Intelligent Compiler combines machine learning, high-performance computing and compiler technologies to find the best way to optimize your projects. Its high level concept is a sort of iterative compiler which drives performance guide optimization (PGO) and linker optimization (on linker level, not LTO). Our machine learning system studies the whole compilation process of your project, from compiler to linker, and recommends you the best optimization approach.
繼續閱讀 How to evaluate Skymizer Intelligent Compiler for your projects
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
SkySquire is a versatile tool, or say a Swiss army knife, to help you revise the default behavior of softwares. For example, you can enable PGO (profile-guide optimization) or LTO (link-time optimization) on a very easy way. With Evaluate, you don’t need to handle with all details of Makefiles and building system any more. All that you need to do is to set -flto and -fprofile-generate/use as a default mark of gcc by using SkySquire.
More Information about SkySquire
Introduction to Evaluate
How to evaluate Skymizer Intelligent Compiler for your projects
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 Intelligent Compiler 優化的可能性
根據 Skymizer 的研究,如果基本的編譯器參數優化有效果,那麼就很適合使用 Skymizer Intelligent Compiler。
我們可以利用 SkySquire 來做基本的編譯器參數優化,改變 gcc/clang 的預設參數,將 gcc/clang 設定為低水位與高水位,並藉由高低水位的差距,來評估使用 Skymizer Intelligent Compiler 優化的可能性。
Skymizer 新年新勇者,2017 全力募集!
###關於我們
Skymizer 是一個致力於行動與物聯網開發工具的頂尖開發團隊。公司創立於 2013年冬季,創辦團隊來自於世界各大知名軟硬體公司(Google、Mediatek、Marvell)。除了內部產品,也積極開發及參與 Open Source 的專案,目前正在高速成長,已有國際性的創業投資機構投資。我們想透過我們的雙手讓軟體界變得更好。
GCC 6.1 Release Note 重點翻譯(下)
下集主要是語言跟作業系統相關的改善項目,Skymizer 翻譯了大家可能會比較關心的部份。也歡迎所有朋友能夠一起補完與指正!