freee申告の税額計算を支える技術 / freee tech day 2023

Transcript

1. freee申告の 税額計算を⽀える技術 mosa 2023年4⽉16⽇
2. ここに円に切り抜いた画像を入れてく ださい mosa Software Engineerとして数社を経て2022年 にfreee⼊社。現在はfreee申告の開発を担 当。 Webアプリケーションエンジニア
3. 　 freee申告
4. 　 税額計算とは • [16]と[17]を⼊⼒すると[18]は⾃動で計算されて表⽰される
5. 　 税額計算とは • 他の帳票にも値は連携され更新先や更新元が複数あることも
6. 　 項⽬間の依存は⼤量にある... •
7. 　 どのように税額計算をしているか • RelationalTreeという税額計算をするためのモジュールを作成 • RelationalTreeは名前の通り項⽬間の関係を⽊構造として動的に組み ⽴てながら計算を⾏う
8. 　 RelationalTreeの動作例 A C D B 下記のような1項⽬を表す
9. 　 項⽬Aをユーザーが⼿動で⼊⼒ A C D B 未到達 更新対象 差分あり 差分なし ⾊の意味 キュー
10. 　 A(root node) をキューに詰める A C D B 未到達 更新対象 差分あり 差分なし ⾊の意味 キュー A
11. 　 キューからAを取り出して計算 A C D B 未到達 更新対象 差分あり 差分なし ⾊の意味 キュー A • 今回はユーザーが A を⼊⼒したとしているのでAはユーザーの⼊⼒値となり、 差分ありになる
12. 　 Aが差分ありなのでAに依存する項⽬ (B, C) を取得してキューに詰める A C D B 未到達 更新対象 差分あり 差分なし ⾊の意味 キュー A B C
13. 　 A C D B 未到達 更新対象 差分あり 差分なし ⾊の意味 キュー A B C キューの先頭から B を取り出して計算 • 今回は計算の結果、差分があったとする • Bに依存している項⽬は無いので差分ありでもキューに詰める項⽬は無い
14. 　 A C D B 未到達 更新対象 差分あり 差分なし ⾊の意味 キュー A B C キューの先頭から C を取り出して計算 • 今回は計算の結果、差分はなかったとする • Cに依存している項⽬はあるが差分は無いためキューに詰めない
15. 　 A C D B 未到達 更新対象 差分あり 差分なし ⾊の意味 キュー A B C キューが空になったので計算処理を終了してDBに書き込む • 今までの計算によって得られた A, B の差分はメモリ上に保持してある
16. 　 RelationalTree動作まとめ 1. 根 (root_node) となる項⽬の計算を⾏う 2. 計算前後で差分があるか確認し、差分がなければ終了する 3. その項⽬に依存している項⽬を取得してキューに詰める 4. キューにある先頭の項⽬について計算を⾏う (FIFO) 5. 2.に戻る
17. 　 RelationalTree作成の背景 • 帳票が増えていく中で「1回のリクエストで税額計算に数⼗秒かか る」というパフォーマンス的な問題が発⽣ • ⼀項⽬ずつ⼿続き的に計算→保存を繰り返すことで DB の read/write 処理が膨⼤な量になってしまい結果として数⼗秒かかってしまった
18. 　 RelationalTree作成後 • 問題を解決するためにRelationalTree は下記のアプローチをした ◦ メモリ上に計算過程の結果を保持し最後にまとめてwriteする ▪ → write回数の減少 ◦ 差分が無い項⽬については依存する項⽬の再計算を⾏わない ▪ → 計算回数の減少 RelationalTreeの導⼊によって数⼗秒かかっていたリクエストが、遅く ても数秒以内に返ってくるようになった！
19. すごい！！！！
20. 　 RelationalTreeの課題 • パフォーマンス最適化の余地 ◦ 動的に⽊構造を作成しているため read 処理が多い ◦ 部分⽊の計算が繰り返し⾛ることがある ◦ 同期的な計算が強制されてしまう • 計算結果の品質担保 ◦ 複数ユーザーが同時に触った時の挙動が担保されていない • 依存関係の表現⽅法 ◦ 依存関係が有向⾮巡回グラフであることを強制できていない
21. RelationalTreeの 改善は続く！