Misreading Chat

Graal VM のデザインを説明した論文 “One VM to Rule Them All” を森田が紹介します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。

• One VM to rule them all
• GraalVM
• graal/Publications.md at master · oracle/graal
• LLVM Project Blog: FTL: WebKit’s LLVM based JIT
  • Introducing the WebKit FTL JIT | WebKit
• Two Minute Papers – YouTube – YouTube

Follow-up and Correction

• わかりにくかった部分の補足を書きました。
• 冒頭で episode 6 後半といいましたが混乱しそうなので episode 7 ということにします。
• 何箇所か execuse と呼んでいる部分は execute の間違いです。

Microsoft の社内用分散ビルドシステム CloudBuild の論文を向井が紹介します。数千万行の巨大な既存コードベースのビルドをいかにそのまま分散化するか、その頑張りが見どころです。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。

• CloudBuild: Microsoft’s Distributed and Caching Build Service
• Travis / Jenkins
• Perforce / TFVC (Team Foundation Version Control)
• Formalizing and Verifying a Modern Build Language
• nmake
• MSBuild
• chromium build systems
  • ninja
  • GN
  • gyp
  • SCons
  • goma
• bazel

Follow-up

• Russ Cox on changelog
• Implementing Regular Expressions
• Monotonic Elapsed Time Measurements in Go

森田が紹介するのは CPU をアジャイルの流儀で開発しようと主張する An Agile Approach to Building RISC-V Microprocessors, 向井が紹介するのは Go の次世代バージョン管理システムのデザインを解説した Go & Versioning です。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。

An Agile Approach to Building RISC-V Microprocessors

• RISC-V
  • RISC-V Foundation | Instruction Set Architecture (ISA)
  • Design of the RISC-V Instruction Set Architecture
  • Intel and the x86 Architecture: A Legal Perspective – Harvard Journal of Law & Technology
  • Instruction Sets Want To Be Free: A Case for RISC-V – YouTube
• アジャイルソフトウェア開発宣言
• Chisel: Constructing Hardware in an Scala Embedded Language
  • The fun of programmingは『関数プログラミングの楽しみ』として翻訳あり。8章がLavaというハードウェア記述DSLの話。
  • Verilog is weird
• GitHub – freechipsproject/rocket-chip: Rocket Chip Generator
• SiFive | CPU IP and Custom SoCs from the Inventors of RISC-V
• Esperanto Technologies / Energy-efficient RISC-V solutions for AI
• NVIDIA Is Building Its Next-Gen Falcon Controller Using RISC-V – Phoronix
• Home Page for UCB CS152/CS252, Spring 2018
• RISC-V Day 2017 Tokyo – December 18, 2017

Go & versioning

• Russ Cox
• vgo – GoDoc
• dep
• bundler
• go-get / Remote import paths
• research!rsc: Version SAT

Miscellaneous

• しげみ on Twitter: “Novaは2017年にも後続の論文が出てて、mmapに対しても実装が進んでいる PCOMMITはWPQによっていらない子に #misreading”
  • Hardening the NOVA File System
• Micron Launches New NAND-based DIMMs, Intel Announces Optane DIMMs – ExtremeTechIntel To Launch 3D XPoint DIMMs in 2H 2018
• Carnegie Mellon Solves 12-Year-Old DARPA Grand Challenge Mystery – IEEE Spectrum

Correction

• Maven 3 Processor のクロック切り替え所要時間を 20 秒と言っていますが 20 ナノ秒の間違いです。20 秒で切り替わっても何も嬉しくないですね・・・
• SATの正式名称は Boolean Satisfiability Problemでした。言い間違えました。

 

向井が紹介するのは Linux 上に不揮発性メモリ用のファイルシステムを実装、評価した NOVA: A Log-structured File System for Hybrid Volatile/Non-volatile Main Memories, 森田が紹介するのは 2005 年の自動運転自動車レースで優勝したクルマのシステムを概観する Stanley: The Robot that Won the DARPA Grand Challenge です。
感想などはハッシュタグ #misreading などにお寄せください。

NOVA: A Log-structured File System for Hybrid Volatile/Non-volatile Main Memories

• GitHub – NVSL/linux-nova: NOVA is a log-structured file system designed for byte-addressable non-volatile memories, developed at the University of California, San Diego.
• Intel® Optane Technology Intel 3D XPoint
• Direct Access for files (Linux Kernel)
• CLFLUSHOPT—Flush Cache Line Optimized
• CLWB — Cache Line Write Back
• How to Emulate Persistent Memory Using Dynamic Random-access Memory (DRAM) | Intel® Software

Stanley: The Robot that Won the DARPA Grand Challenge

• Driverless milestone: No Hands Across America – San Francisco Chronicle
• [1704.05519] Computer Vision for Autonomous Vehicles: Problems, Datasets and State-of-the-Art
• PROBABILISTIC-ROBOTICS.ORG
• How simulation turns one flashing yellow light into thousands of hours of experience
• Waymo and GM Cruise: How self-driving car companies compare on miles driven — Quartz
• おまけ Carnegie Mellon Solves 12-Year-Old DARPA Grand Challenge Mystery – IEEE Spectrum

Miscellaneous:

• Computer Chip Visionaries Win Turing Award – The New York Times
• ACMチューリング賞講演集 | 赤 摂也 |本 | 通販 | Amazon
• ACM A.M. Turing Award Lectures – YouTube – YouTube
  • Michael Stonebraker 2014 ACM A.M. Turing Lecture, June 13 2015 – YouTube
• Reflection on Trusting Trust [PDF]

森田が紹介するのは新入社員が職場に慣れて活躍するまでの苦労について調べた Ramp-up Journey of New Hires: Tug of War of Aids and Impediments, 向井が紹介するのはデータサイエンティストの生態について調べた Data Scientists in Software Teams: State of the Art and Challenges です。どちらも Microsoft Research の研究者 Thomas Zimmermann と仲間たちが同社内で行った調査に基づく論文。Microsoft の舞台裏を覗き見ることができる・・・かもしれません。感想などはハッシュタグ #misreading などにお寄せください。

Ramp-up Journey of New Hires: Tug of War of Aids and Impediments

• Ramp-up Journey of New Hires: Tug of War of Aids and Impediments 2015
• Ramp-up Journey of New Hires: Do strategic practices of software companies influence productivity? 2017
• Struggles of New College Graduates in their First Software Development Job – Microsoft Research 2008

Data Scientists in Software Teams: State of the Art and Challenges

• Data Scientists in Software Teams: State of the Art and Challenges
• Analysing the Analyzers (PDF)
• SCOPE: Easy and Efficient Parallel Processing of Massive Data Sets (PDF)
• Using the Microsoft TLC Machine Learning Tool | James D. McCaffrey
• Search Quality Meeting: Spelling for Long Queries (Annotated) – YouTube

Misc.

• Microsoft Research Podcast
  • Functional Programming Languages and the Pursuit of Laziness with Dr. Simon Peyton Jones
• Perspectives on Data Science for Software Engineering: Tim Menzies, Laurie Williams, Thomas Zimmermann: 9780128042069: Amazon.com: Books
• The Art and Science of Analyzing Software Data 1, Christian Bird, Tim Menzies, Thomas Zimmermann, eBook – Amazon.com
• It Will Never Work in Theory
• The Architecture of Open Source Applications

Correction

• 雑談の中で The Architecture of Open Source Applications に Subversion に関する章があるという話をしましたが、Beautiful Codeの間違いでした。Subversion の章はオンラインで読むことができ、日本語訳もあります。この二冊はどちらも同じく Greg Wilson 氏による編集。道理で似てるわけです（と言い訳）。

向井が紹介するのは世の中の APK を分析して Android Intent の使い方を調べてまわった Inter-app Communication in Android, 森田が紹介するのは NVIDIA 製 GPU レイトレーサ OptiX です。感想などはハッシュタグ #misreading などにお寄せください。

Inter-app Communication in Android:

• Inter-app Communication in Android: Developer Challenges (PDF)
• Intent
• IC3
• F-Droid
• ADW Launcher
• ZXing
• openintents.org
• Inter-App Communication from Apple Developer

OptiX:

• OptiX: A General Purpose Ray Tracing Engine
• NVIDIA® OptiX™ Ray Tracing Engine | NVIDIA Developer
• Announcing Microsoft DirectX Raytracing! – DirectX Developer Blog
• Introduction to NVIDIA RTX and DirectX Raytracing | NVIDIA Developer Blog
• OpenGL – The Industry Standard for High Performance Graphics
• Graphics Pipeline (Windows)
• Lecture 11 – “GPU Ray Tracing (1)” from Advanced Graphics 2016/2017
• Understanding the Efficiency of Ray Traversal on GPUs|NVIDIA
• Megakernels Considered Harmful: Wavefront Path Tracing on GPUs | Research
• Adaptive Parallel Computation with CUDA Dynamic Parallelism
• Experiments with DirectX Raytracing in Northlight – YouTube
• SEED – Project PICA PICA – Real-time Raytracing Experiment using DXR (DirectX Raytracing) – YouTube
• NVIDIA RTX and GameWorks Ray Tracing Technology Demonstration – YouTube

Miscellaneous:

• MSR 2018
• Thomas Zimmermann — Senior Researcher at Microsoft Research

森田が紹介するのは deep learning 向けの DST と JIT コンパイラ Tensor Comprensions. 向井が紹介するのはプログラミング言語 Rust のメモリ安全性に関する形式的証明に挑む Rust Belt です。

Tensor Comprehensions:

• [1802.04730] Tensor Comprehensions: Framework-Agnostic High-Performance Machine Learning Abstractions
• Announcing Tensor Comprehensions – Facebook Research
• GitHub – facebookresearch/TensorComprehensions: A domain specific language to express machine learning workloads.
• Integer Set Library
• Halide
• Lush: Lisp Universal SHell

Rust Belt:

• RustBelt: securing the foundations of the rust programming language
• RustBelt – Project page
• Iris Project
• Bug report thanks to this paper
• xi-editor
  • PR by jmuk