Upgrade to Pro
— share decks privately, control downloads, hide ads and more …
Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
Elixir におけるリスト反転処理の実装を覗いてみよう
Search
Shohei Kajihara
July 01, 2019
Technology
0
2.3k
Elixir におけるリスト反転処理の実装を覗いてみよう
2019/07/01 【学生限定】Akatsuki Geek Live Vol.3【LT会:7/1(月)】 にて発表した資料です。
Shohei Kajihara
July 01, 2019
Tweet
Share
Other Decks in Technology
See All in Technology
AIの全社活用を推進するための安全なレールを敷いた話
shoheimitani
2
110
より良いプロダクトの開発を目指して - 情報を中心としたプロダクト開発 #phpcon #phpcon2025
bengo4com
1
3.2k
B2C&B2B&社内向けサービスを抱える開発組織におけるサービス価値を最大化するイニシアチブ管理
belongadmin
1
4.7k
自律的なスケーリング手法FASTにおけるVPoEとしてのアカウンタビリティ / dev-productivity-con-2025
yoshikiiida
1
11k
Beyond Kaniko: Navigating Unprivileged Container Image Creation
f30
0
120
ビズリーチが挑む メトリクスを活用した技術的負債の解消 / dev-productivity-con2025
visional_engineering_and_design
2
5.1k
無意味な開発生産性の議論から抜け出すための予兆検知とお金とAI
i35_267
2
9.3k
AIとともに進化するエンジニアリング / Engineering-Evolving-with-AI_final.pdf
lycorptech_jp
PRO
0
150
生成AI時代の開発組織・技術・プロセス 〜 ログラスの挑戦と考察 〜
itohiro73
1
400
Core Audio tapを使ったリアルタイム音声処理のお話
yuta0306
0
170
Backlog ユーザー棚卸しRTA、多分これが一番早いと思います
__allllllllez__
1
120
ドメイン特化なCLIPモデルとデータセットの紹介
tattaka
2
550
Featured
See All Featured
Design and Strategy: How to Deal with People Who Don’t "Get" Design
morganepeng
130
19k
Imperfection Machines: The Place of Print at Facebook
scottboms
267
13k
Unsuck your backbone
ammeep
671
58k
Facilitating Awesome Meetings
lara
54
6.4k
"I'm Feeling Lucky" - Building Great Search Experiences for Today's Users (#IAC19)
danielanewman
229
22k
Agile that works and the tools we love
rasmusluckow
329
21k
The Cost Of JavaScript in 2023
addyosmani
51
8.5k
RailsConf & Balkan Ruby 2019: The Past, Present, and Future of Rails at GitHub
eileencodes
138
34k
The Myth of the Modular Monolith - Day 2 Keynote - Rails World 2024
eileencodes
26
2.9k
Typedesign – Prime Four
hannesfritz
42
2.7k
4 Signs Your Business is Dying
shpigford
184
22k
Speed Design
sergeychernyshev
32
1k
Transcript
Elixir における Elixir における リスト反転処理の実装を リスト反転処理の実装を 覗いてみよう 覗いてみよう 2019/07/01 Akatsuki
Geek Live Vol.3 アカツキ サーバーエンジニア 梶原星平 (@s-capybara)
⾃⼰紹介 ⾃⼰紹介 2017 年 アカツキに新卒⼊社(3 年⽬) Elixir でゲームサーバーを書いています
今⽇の⽬的 今⽇の⽬的 Elixir の紹介 プログラミング⾔語の中⾝の学び⽅
Elixir とは Elixir とは プログラミング⾔語 関数型 動的型付け 不変性 (immutability) Erlang
VM 上で動作 並⾏性 (concurrency) 耐障害性 (fault-tolerance) Erlang の関数を呼び出せる
不変性 不変性 予想外の値変更による実装ミスが起きにくくなる defmodule Sample do def foo() do bar
= 1 if :rand.uniform() > 0.5 do bar = 2 IO.puts("Modified bar to 2!") end bar end end iex(1)> Sample.foo() Modified bar to 2! 1
List List iex(2)> numbers = [1, 2, 3] [1, 2,
3]
List の基本操作 List の基本操作 Lisp と同じく Car, Cdr, Cons 処理ができる
Car: リストの先頭を取り出す Cdr: リストの残り部分を取り出す Cons: リストの先頭に要素を⾜す iex(3)> [head | _] = numbers iex(2)> head 1 iex(4)> [_ | tail] = numbers iex(4)> tail [2, 3] iex(5)> [0 | numbers] [0, 1, 2, 3]
Enum.reverse Enum.reverse リスト(など)を反転する関数 標準の関数が⾼速なので、 ⾃前実装は NG と⾔われている iex(6)> Enum.reverse(numbers) [3,
2, 1]
気になるところ 気になるところ 1. リストはどういうデータ構造なのか? 2. 標準の関数はなぜ⾼速なのか?
解決策1: 本を読む 解決策1: 本を読む The Beam Book ( ) Erlang
VM の中⾝が紹介されている (プロセス、スケジューラ、型システム、... ) 無料で読める(ただし英語) 書籍は著者視点による説明 説明の順序にストーリーがあるので⼊⾨に最適 公式ドキュメントなどより先に書籍にあたるのが おすすめ https://github.com/happi/theBeamBook
Erlang VM の型システム Erlang VM の型システム 64 ( または32) bits
で 1 word 末尾 2 bits ( あるいはもっと) で型を表現 リストは「アドレス + 01 」という形の 1 word 00 Header (on heap) CP (on stack) 01 List (cons) 10 boxed 00 11 Pid
単⽅向リストの実体 単⽅向リストの実体 リストはポインタであり、 参照先の隣のアドレスがまたポインタになっている
解決策2: ソースコードを 解決策2: ソースコードを 読む 読む Elixir: Erlang: https://github.com/elixir-lang/elixir https://github.com/erlang/otp
Enum.reverse/1 の実装 Enum.reverse/1 の実装 簡単なやつだけ Elixir レイヤーで定義 結局、Erlang のコードを呼び出している @spec
reverse(t) :: list def reverse([]), do: [] def reverse([_] = list), do: list def reverse([element1, element2]), do: [element2, element1] def reverse([element1, element2 | rest]), do: :lists.reverse(rest, [element2, element1])
lists:reverse/2 の実装 lists:reverse/2 の実装 結局、C ⾔語実装の Built in Funciton (BIF)
を呼び出し ている %% Shadowed by erl_bif_types: lists:reverse/2 -spec reverse(List1, Tail) -> List2 when List1 :: [T], Tail :: term(), List2 :: [T], T :: term(). reverse(_, _) -> erlang:nif_error(undef).
lists_reverse_2 lists_reverse_2 erts/emulator/beam/erl_bif_lists.c というそれっぽい名前のファイルに lists_reverse_2 というそれっぽい名前の関数を発⾒
lists_reverse_2 ( 抜粋) lists_reverse_2 ( 抜粋) CAR, CDR, CONS をやっているらしい
(説明は後で図⽰) while (alloc_top < alloc_end) { // リストをポインタ化する Eterm *pair = list_val(list); // 確保したヒープ領域の先頭を [ リストの先頭 | 反転済みリスト ] に tail = CONS(alloc_top, CAR(pair), tail); // 続きは Cdr から list = CDR(pair); ASSERT(is_list(list) || is_nil(list)); // 2 words 分ヒープ領域のへのポインタを進める alloc_top += 2; }
リスト操作のマクロ リスト操作のマクロ CAR, CDR, CONS の定義(説明は割愛) #define TAG_PRIMARY_LIST 0x1 //
01 の⾜し算でポインタをリストに、引き算でリストをポインタに #define _unchecked_make_list(x) ((Uint)(x) + TAG_PRIMARY_LIST) #define _unchecked_list_val(x) ((Eterm*) ((x) - TAG_PRIMARY_LIST) // ポインタの指すアドレスに値を仕舞ったのちリストにする #define CONS(hp, car, cdr) \ (CAR(hp)=(car), CDR(hp)=(cdr), make_list(hp)) // ポインタの指すアドレスが CAR, その隣が CDR #define CAR(x) ((x)[0]) #define CDR(x) ((x)[1])
lists_reverse_2 の概観 lists_reverse_2 の概観 (1/4) (1/4)
lists_reverse_2 の概観 lists_reverse_2 の概観 (2/4) (2/4)
lists_reverse_2 の概観 lists_reverse_2 の概観 (3/4) (3/4)
lists_reverse_2 の概観 lists_reverse_2 の概観 (4/4) (4/4)
標準の関数は 標準の関数は なぜ速いのか? なぜ速いのか? そもそも C ⾔語なので速い 不変性を保つ必要がない result は
C ⾔語上のローカル変数
結局、理解できて 結局、理解できて 何が嬉しいのか? 何が嬉しいのか? すぐに役⽴つわけではないが... 「この⾔語ではどういう操作のコストが⾼いの か?」など理解したうえでコードが書けるようにな る(かも) トラブルシューティングに強くなる(かも)
まとめ まとめ まず本を読み、その後ソースコードを読もう すぐには役に⽴たないが、中⾝を知っておいた⽅が 安⼼