イチゼロエフエム

12月11日に起きたOpenAIの障害、AWS・Amazonで活用されているAutomated reasoning、io_uringによるmemcachedのパフォーマンス改善、SQLiteのrewriteであるLimboなどについて話しました。
Run your GitHub Actions locally
API, ChatGPT & Sora Facing Issues Incident Report for OpenAI
An unexpected discovery: Automated reasoning often makes systems more efficient and easier to maintain | AWS Security Blog
Model checking distributed protocols in must - Amazon Science
The P programming language
io_uringによるmemcachedの改善
Async Rust is not safe with io_uring
In search of a faster SQLite
Chapters:
(00:00) Opening(02:51) OpenAIのIncident Report(11:36) AmazonによるAutomated Reasoningの活用(17:58) Model checking distributed protocols in must(24:52) io_uring Performance Measurements with memcached(33:03) Limbo - In search of a faster SQLite(40:07) Ending

Data-race-free OCaml
Vのセルフコンパイルは超速
glojure: Clojure interpreter hosted on Go, with extensible interop support.
書籍紹介
大規模データセットのためのアルゴリズムとデータ構造 | マイナビブックス
原著 Algorithms and Data Structures for Massive Datasets
Effective Rust ―Rustコードを改善し、エコシステムを最大限に活用するための35項目
原著 Effective Rust
その他のEffectiveシリーズ
Effective Java 第3版
Effective C++ 第3版
新訂版 More Effective C++
Effective Modern C++
Effective Perl 第2版
Effective TypeScript
Effective Python 第2版
Effective Ruby
Effective Go
Chapters:
(00:00) Opening(01:25) Data-race-free OCamlとOCamlの思い出(08:32) プログラミング言語とビルド速度(15:58) GlojureとLISPと私(25:13) 書籍「大規模データセットのためのアルゴリズムとデータ構造」について(32:54) Effectiveシリーズの魅了(37:27) Ending

Amazon Aurora DSQL
Overview Distributed SQL Databases - Amazon Aurora DSQL
AWS Database blog Introducing Amazon Aurora DSQL
中の人のブログ DSQL Vignette: Aurora DSQL, and A Personal Story - Marc's Blog
RSMのアルゴリズムはRaftでもPaxosでもない https://x.com/MarcJBrooker/status/1864117104271827003
DSQLはPostgreSQL互換の部分以外はRustで実装されている https://x.com/MarcJBrooker/status/1864035619665801643
TiDBのEdさんによる所感 https://x.com/dxhuang/status/1864151030151434481
AWS re:Invent 2024 - Monday Night Live with Peter DeSantis
Graviton4
Nitro Security Chip
Chapters:
(00:00) Opening(01:20) Amazon Aurora DSQL(17:24) DSQLの裏側予想(26:00) Graviton4(28:24) AWS Nitro Security Chip(33:37) Bargeプロジェクト

Amazon S3の新機能
Amazon S3 Express One Zone now supports the ability to append data to an object - AWS
Amazon S3 adds new functionality for conditional writes
“Jeff Bezos wanted malloc for the Internet”
Amazon S3 Path Deprecation Plan – The Rest of the Story | AWS News Blog
Redisがfast_floatを使って性能改善
fast_float作者によるpost https://x.com/lemire/status/1861403353009279033
redisのpatch https://github.com/redis/redis/pull/11884#issuecomment-2351125819
valkeyのpatch https://github.com/valkey-io/valkey/pull/1260
fast_floatの元論文 https://arxiv.org/abs/2101.11408
Google Kubernetes Engine supports 65,000-node clusters
Chapters:
(00:00) Opening(01:16) S3 now supports the ability to append data to an object(11:42) S3 adds new functionality for conditional writes(16:40) Redis has adopted fast_float(22:09) Google Kubernetes Engine supports 65,000-node clusters(31:55) Ending

プログラムを安全にするためのいくつかの手法について雑談しました。
Rust Foundation Releases Problem Statement on C++/Rust Interoperability
C++/Rust Interoperability Problem Statement
Retrofitting spatial safety to hundreds of millions of lines of C++
Secure by Design: Google's Perspective on Memory Safety
Memory Tagging Extension Armv8.5-A Memory Tagging Extension
Chapters:
(00:00) Opening(01:21) Problem Statement on C++/Rust Interoperability(08:02) Retrofitting spatial safety to hundreds of millions of lines of C++(15:36) Secure by Design: Google's Perspective on Memory Safety(20:38) Memory Tagging Extension(28:37) Ending

エディタ回と題してZed、HayStackという2つのエディタを紹介して雑談しています。
Zed Editor
Rust in Production PodcastのZed開発メンバーが出た回 https://corrode.dev/podcast/s03e01-zed/
Zed on YouTube
Haystack Editor
Haystackのデモ動画
alacritty: A cross-platform, OpenGL terminal emulator
Mitchell Hashimoto氏が開発しているterminal emulator ghostty

Shopifyが次世代OOBGCでLatencyを改善した話、JavaのVirtualThreads Pinning問題について話しました。SREcon24ネタはさわりだけです。セッションのレコーディングが出たら改めて取り上げたいと思います。
Next Generation Out of Band Garbage Collection | Rails at Scale
Adventures in Garbage Collection: Improving GC Performance in our Massive Monolith (2023) - Shopify
Java Evolves to Tackle Virtual Threads Pinning with JEP 491 - InfoQ
SREcon24
Sailing the Database Seas: Applying SRE Principles at Scale | USENIX
Chapters:
(00:00) Opening(01:06) Next Generation Out of Band Garbage Collection(14:04) Java Evolves to Tackle Virtual Threads Pinning with JEP 491(24:27) SREcon24ネタフライング(27:31) Ending

今回はデータベース回です。PostgreSQL17、BPF-DB、Amazon MemoryDBについて雑談しています。
PostgreSQL 17
Press Kit https://www.postgresql.org/about/press/presskit17/ja/
WALの書き込み処理の改善コミット https://git.postgresql.org/gitweb/?p=postgresql.git;a=commitdiff;h=71e4cc6b8
JSON_TABLE関数 https://www.postgresql.org/docs/17/functions-json.html#FUNCTIONS-SQLJSON-TABLE
P99Conf: How eBPF Could Make Faster Database Systems
Amazon MemoryDB: A fast and durable memory-first cloud database
解説ブログ MemoryDB: Speed, Durability, and Composition
Chapters:
(00:00) Opening(01:15) PostgreSQL 17(09:54) BPF-DB(19:39) Amazon MemoryDB(29:01) Ending
 

Dashboard as Codeの話題をメインにしつつ、Russ Coxの話や最近のC言語の話をしました。Chapterをつけているので対応のPlayerをお使いの方はご利用ください。
Russ Cox is stepping down from Go Tech Lead position
Go TimeにRuss Coxが出た回 https://changelog.com/gotime/333
Named loops voted into C2y - r/cpp on Reddit
C23では無引数関数のprototypeのvoidはいらなくなる https://stackoverflow.com/a/76064213
Parses https://perses.dev/
Grafana Foundation SDK https://github.com/grafana/grafana-foundation-sdk
Cog https://github.com/grafana/cog
CUE https://cuelang.org/
Chapters:
(00:00) Opening(01:13) Russ Cox is stepping down from Go Tech Lead position(09:22) Named Loops in C(14:00) Parses, Dashboard as Code

Declarative Gradle、Swift-Java、Python 3.13などについて話しています。最後に気になる技術書のコーナーもあります。
First look at Declarative GradleStarlark https://github.com/bazelbuild/starlark
swift-java@SwiftLangによるポスト https://x.com/SwiftLang/status/1839328831200809217
ServerSideSwift Conferenceの様子 https://mastodon.social/@nicklockwood/113203231828054795
Safer with Google: Advancing Memory Safety
Python 3.13解説動画 What You Need To Know About Python 3.13
気になる技術書Latency
Think Distributed Systems
The tail at scale by Jeffrey Dean