サーバーレスアーキテクチャの数理的理解と分析 #devsumi / Developers Summit 2023 Summer
Developers Summit 2023 Summer で使用したスライドです。 サーバーレスアーキテクチャは強力ですが、同時に冪等性やトランザクションなど特有の考慮事項が必要であり、高い設計力が求められます。ところで、安全なプログラムを書く上で、静的型付き言語は広く利用されていますね。型はいわば実行前に間違いを検出できる仕組みであり、その背後には「プログラムの正しさ」を厳密な数式で記述し分析する理論が存在します。では、同様に「サーバーレスの正しさ」も厳密な数式で記述することは可能でしょうか？本講演ではAWS Lambdaを用いた設計を例として取り上げながら解説します。 イベント概要：https://event.shoeisha.jp/devsumi/20230727/session/4486/ ブログ記事：https://ccvanishing.hateblo.jp/entry/20
[レポート] 【17-A-3】サーバレスにおける開発プロセス戦略 @ Developers Summit 2017 #devsumi ｜ Developers.IO
毎年2月に目黒雅叙園にて開催されているデベロッパーの祭典『Developers Summit』。2017年の今年も02/16(木)〜02/17(金)の2日間に渡って行われ、私個人としても例年通り参加してきました(2012年以降6年連続)。当エントリでは聴講セッションのうちの1つ、『サーバレスにおける開発プロセス戦略』の内容についてレポートしたいと思います。 Developers Summit 2017 エンジニアとして生きる、技術の先にある現実に踏み出す 【17-A-3】 サーバレスにおける開発プロセス戦略 | Developers Summit 2017 目次 当セッションの登壇者 パネルディスカッション内容：本編 各者自己紹介＆サーバレスの概要について Q.サーバレスを導入したシステム、及び導入で得られたメリットについて Q.導入の経緯 Q.導入時に苦労した点等 Q.ユニットテストにつ
![[レポート] 【17-A-3】サーバレスにおける開発プロセス戦略 @ Developers Summit 2017 #devsumi ｜ Developers.IO](https://cdn-ak-scissors.b.st-hatena.com/image/square/948594a64b5a2ed4561baf577c8b14dabd1ca617/height=288;version=1;width=512/https%3A%2F%2Fdevio2023-media.developers.io%2Fwp-content%2Fuploads%2F2017%2F02%2Fdevsumi2017-logo.png){kind=logo}
デブサミ2016「大規模Redisサーバ縮小化の戦い」講演メモ #devsumi - 元RX-7乗りの適当な日々
メモメモ。泥臭い話で面白かったです。 「大規模Redisサーバ縮小化の戦い」 駒井 祐人 氏 (株)アカツキ ゲームのサーバサイド機能開発、インフラの設計構築・保守運用 Redisとは インメモリDB 5種類のキーバリューのデータ型 ファイル永続化オプション システムの問題点 EC2サーバが20台に対して、AWSのElasticCache(Redis)が64台あった なぜ64台あったかというと、リリース直後にRedisの負荷問題があり、8台 => 64台になった 調査するとkeys("")を実行している箇所があった 当然お金がかかる(cache.m3.large * 64台 = 約135万円/月) 冗長化しんどいし、設定ファイルの記載も辛い ので、縮小化と冗長化の対処をしたい 現状整理 格納されているデータ フレンド情報、セール情報、ランキング情報 キーの件数 1サーバに8DB、1DBあた
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
