#17 – Unikernels: Library Operating Systems for the Cloud

OCaml で書かれた LibraryOS Unikernels/MirageOS に関する論文 “Unikernels: Library Operating Systems for the Cloud” を森田が紹介します。

• Unikernels: Library Operating Systems for the Cloud
• MirageOS
• Drawbridge – Microsoft Research
• About Lwt: concurrency library – Ecosystem – OCaml
• Xen vchan port
• Moby
  • moby/vpnkit: A toolkit for embedding VPN capabilities in your application
  • moby/hyperkit: A toolkit for embedding hypervisor capabilities in your application
  • moby/datakit: Connect processes into powerful data pipelines with a simple git-like filesystem interface
• OSv—Optimizing the Operating System for Virtual Machines
  • cloudius-systems/osv: OSv, a new operating system for the cloud.
• ScyllaDB
• Using functional programming within an industrial product group: perspectives and perceptions
  • Reason · Reason lets you write simple, fast and quality type safe code while leveraging both the JavaScript & OCaml ecosystems.
  • Pyre · A performant type-checker for Python 3
  • Flow: A Static Type Checker for JavaScript
  • BackType | Crunchbase
  • ITA Software – Wikipedia
  • (TuringComplete.fm/14 3:11-でGoogle内で使われているCommon Lispの話をしています）

Follow up

• John Hennessy and David Patterson 2017 ACM A.M. Turing Award Lecture – YouTube
• 🍻 on Twitter: “HyperLogLogってなんか聞いたことあると思ったらRedisが機能として入れてたからか #misreading”
• wyukawa on Twitter: “big data界隈ではよく出てきますな。prestoだとapprox_distinctでelasticsearchだとcardinality aggregation / “Episode 13 – HyperLogLog in…” https://t.co/sQtewjVnvU”

Announcement

• ちょっとおやすみして、次回は一ヶ月後くらいの予定です。