タグ

2025年11月4日のブックマーク (3件)

  • Docker以外のコンテナエンジン完全ガイド:初心者から実践まで - Qiita

    1.2 コンテナエンジンとは? コンテナエンジンは、コンテナのライフサイクル(作成、実行、停止、削除)を管理するソフトウェアです。主な機能は: イメージ管理: コンテナの元となるイメージの作成・保存・配布 コンテナ実行: イメージからコンテナを起動・管理 ネットワーク管理: コンテナ間の通信設定 ストレージ管理: データの永続化 1.3 コンテナの標準規格 コンテナ技術には以下の標準規格があります: OCI(Open Container Initiative): コンテナの実行形式とイメージ形式の標準 OCI Runtime Spec: コンテナの実行方法の仕様 OCI Image Spec: コンテナイメージの形式仕様 CRI(Container Runtime Interface): Kubernetesとコンテナランタイム間のインターフェース これらの標準があることで、異なるコンテナ

    Docker以外のコンテナエンジン完全ガイド:初心者から実践まで - Qiita
  • MySQL (InnoDB) のロック範囲に気をつけよう

    こんにちは otsubo です。MySQL (InnoDB) のロックについて整理する機会があったので記事にします。 はじめに 全ての ロックタイプ を網羅するのは大変なため、 レコードロック ギャップロック ネクストキーロック を中心にまとめます。この3つはトランザクション内で UPDATE、DELETE、 SELECT ... FOR UPDATE / SHARE するときに獲得されるロックです。INSERT 時のインサートインテンションロックもちょっとだけ扱います。テーブルロックやメタデータロックは扱いません。 InnoDB ではクエリによって特定の「範囲」がロックされることがあります。これを知らないと思わぬ不具合に繋がります。 範囲をロックして InnoDB は何を実現したいのか、どのような仕組みでロックするのかを知っておくと開発に役立ちます。 記事を通して下記を前提とします。 M

    MySQL (InnoDB) のロック範囲に気をつけよう
    System
    System 2025/11/04
  • プログラマーのための圏論

    序文 しばらく前から、プログラマーを対象とした圏論に関するを書こうと考えていた。計算機科学者ではなくプログラマー、科学者ではなくエンジニア向けだということに注目してほしい。正気の沙汰ではないし、当に怖気づいてしまう。科学と工学の間に大きなギャップがあるのは否定できないと思う。自分自身がその分断の両側で仕事をしてきたからだ。それでも、物事を説明したいという強い衝動をいつも感じていた。簡潔な説明の達人だったリチャード・ファインマン1を心から尊敬している。自分がファインマンではないことは分かっているが、最善を尽くしたい。まずは、この序文――読者に圏論を学ぶ気を起こさせることを想定したもの――を公開することから始めようと思う。それによって議論を開始しフィードバックを募れることを願っている2。 ここからの数段落をかけて、このがあなたのために書かれたものであり、数学のうちでも特に抽象的な分野を学