Keyboard shortcuts

Press or to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

[インデックス 10999] ファイルの概要

このコミットは、Go言語のダッシュボードアプリケーションにおけるキャッシュの不具合を修正するものです。具体的には、cache.Get関数がnil値を正しくキャッシュできない、またはnil値がキャッシュから取得された際に正しく扱われない問題に対処しています。この修正により、キャッシュの挙動がより堅牢になり、アプリケーションの安定性が向上します。

コミット

commit e6a322b0b9a018ff3b63905ec0b5aca7ab836370
Author: Andrew Gerrand <adg@golang.org>
Date:   Fri Dec 23 16:04:01 2011 +1100

    dashboard: fix todo caching nil
    
    R=golang-dev, bradfitz
    CC=golang-dev
    https://golang.org/cl/5504082

GitHub上でのコミットページへのリンク

https://github.com/golang/go/commit/e6a322b0b9a018ff3b63905ec0b5aca7ab836370

元コミット内容

dashboard: fix todo caching nil

R=golang-dev, bradfitz
CC=golang-dev
https://golang.org/cl/5504082

変更の背景

このコミットは、Go言語の公式ダッシュボードアプリケーション(おそらくGoプロジェクトのビルドやテストの状態を表示するもの)におけるキャッシュのバグを修正するために行われました。コミットメッセージの「fix todo caching nil」という記述から、Todoという構造体のキャッシュ処理において、nil値が絡む問題が発生していたことが推測されます。

一般的なキャッシュシステムでは、データが存在しない場合やエラーが発生した場合にnil(またはそれに相当する値)を返すことがあります。しかし、キャッシュからnilが返された際に、アプリケーションがそれを適切に処理できない、あるいはnilをキャッシュしようとした際に予期せぬ挙動を示す、といった問題が考えられます。

この特定のケースでは、cache.Get関数に渡す引数の型が原因で、キャッシュからの値の取得が正しく行われず、結果としてnilが適切に扱われない、またはキャッシュヒットが誤って判定されるという問題が発生していたようです。このバグは、ダッシュボードの表示内容に影響を与え、ユーザーエクスペリエンスを損なう可能性がありました。

前提知識の解説

Go言語の基礎

GoはGoogleによって開発された静的型付けのコンパイル型言語です。シンプルさ、効率性、並行処理のサポートが特徴です。

Google App Engine (GAE)

Google App Engineは、Googleが提供するPaaS(Platform as a Service)であり、開発者がスケーラブルなWebアプリケーションやモバイルバックエンドを構築・デプロイできるプラットフォームです。Go言語はApp Engineでサポートされている言語の一つです。

  • appengine.NewContext(r): App Engineアプリケーションでは、各リクエストに対してContextオブジェクトが作成されます。このコンテキストは、リクエスト固有の情報(例えば、データストアへのアクセス、キャッシュ、ログなど)を保持し、App Engineのサービスと連携するために使用されます。appengine.NewContext(r)は、HTTPリクエストrから新しいApp Engineコンテキストを生成します。

キャッシュの概念

キャッシュは、頻繁にアクセスされるデータを一時的に保存しておくことで、データの取得速度を向上させる仕組みです。Webアプリケーションでは、データベースへのアクセス回数を減らしたり、計算コストの高い処理の結果を再利用したりするために広く利用されます。

  • キャッシュヒット: 要求されたデータがキャッシュ内に存在し、そこから取得できた状態。
  • キャッシュミス: 要求されたデータがキャッシュ内に存在せず、元のデータソース(データベースなど)から取得する必要がある状態。

Goにおけるnil

Go言語においてnilは、ポインタ、スライス、マップ、チャネル、関数、インターフェースといった参照型の「ゼロ値」を表します。これは、それらの変数がまだ何も指していない、または初期化されていない状態を示します。

特に重要なのは、インターフェース型におけるnilの挙動です。Goのインターフェースは、内部的に(type, value)のペアとして表現されます。インターフェース変数がnilであると見なされるのは、そのtypevalueの両方がnilである場合のみです。もし、具体的な型を持つnilポインタがインターフェースに代入された場合、そのインターフェース変数のvaluenilですが、typeは具体的な型を持つため、インターフェース変数自体はnilとは見なされません。これは、nilチェックの際に予期せぬ挙動を引き起こすことがあります。

os.Error (Go 1.0以前のエラーハンドリング)

このコミットが2011年のものであるため、当時のGo言語のエラーハンドリングは現在とは異なり、os.Errorインターフェースが使われていました。Go 1.0以降では、標準のエラーインターフェースはerrorという名前になっています。基本的な概念は同じで、関数がエラーを返す際に、そのエラーがnilであれば成功、そうでなければエラーが発生したことを示します。

http.Request

http.Requestは、Goのnet/httpパッケージで定義されている構造体で、HTTPリクエストに関するすべての情報(メソッド、URL、ヘッダー、ボディ、フォームデータなど)をカプセル化します。

技術的詳細

このバグの核心は、cache.Get関数への引数の渡し方にありました。元のコードでは、cache.Getnew(Todo)の結果を渡していました。

  • new(Todo): これはTodo型の新しいゼロ値のインスタンスを割り当て、そのインスタンスへのポインタを返します。つまり、*Todo型の値です。このポインタは、Todo構造体のすべてのフィールドがそのゼロ値(数値型なら0、文字列型なら""、ポインタならnilなど)で初期化されたメモリ領域を指します。

cache.Get関数は、キャッシュから取得したデータを、引数として渡されたポインタが指すメモリ領域にデシリアライズ(またはコピー)することを期待します。

元のコードのif cache.Get(r, now, key, cachedTodo)では、cachedTodonew(Todo)によって作成された*Todo型のポインタでした。cache.Getがキャッシュから値を見つけられなかった場合、cachedTodoが指すTodo構造体はゼロ値のままです。しかし、cache.Gettrueを返した場合(キャッシュヒット)、それはcachedTodoが指すメモリ領域にデータが正常に書き込まれたことを意味します。

問題は、cache.Getがキャッシュミスした場合、またはキャッシュされた値がnilであった場合に、cachedTodoが指すTodo構造体がゼロ値のままであることです。そして、そのcachedTodoをそのまま返すと、呼び出し元はキャッシュから取得した値がnilであるか、またはキャッシュミスであったかを区別できない可能性があります。

修正後のコードでは、cache.Get&todoを渡しています。

  • var todo *Todo: これは*Todo型の変数を宣言し、そのゼロ値であるnilで初期化します。
  • &todo: これは変数todo自体のアドレス(つまり**Todo型)をcache.Getに渡します。

この変更により、cache.Getは、キャッシュから取得したTodo構造体へのポインタを、変数todoに直接書き込むことができるようになります。

もしキャッシュにTodoオブジェクトが保存されていれば、cache.Gettrueを返し、todo変数にはキャッシュされたTodoオブジェクトへのポインタが設定されます。 もしキャッシュにTodoオブジェクトが保存されていなければ、cache.Getfalseを返し、todo変数は宣言時のゼロ値であるnilのままになります。

この挙動により、呼び出し元はtodo変数がnilであるかどうかをチェックすることで、キャッシュミスであったか、あるいはキャッシュされた値が実際にnilであったかを明確に区別できるようになります。これにより、「nil caching」の問題が解決され、キャッシュの挙動がより予測可能で堅牢になります。

コアとなるコードの変更箇所

--- a/misc/dashboard/app/build/handler.go
+++ b/misc/dashboard/app/build/handler.go
@@ -152,11 +152,10 @@ func todoHandler(r *http.Request) (interface{}, os.Error) {
 	c := appengine.NewContext(r)
 	now := cache.Now(c)
 	key := "build-todo-" + r.Form.Encode()
-	cachedTodo := new(Todo)
-	if cache.Get(r, now, key, cachedTodo) {
-		return cachedTodo, nil
-	}
 	var todo *Todo
+	if cache.Get(r, now, key, &todo) {
+		return todo, nil
+	}
 	var err os.Error
 	builder := r.FormValue("builder")
 	for _, kind := range r.Form["kind"] {

コアとなるコードの解説

変更はmisc/dashboard/app/build/handler.goファイルのtodoHandler関数内で行われています。

変更前:

	cachedTodo := new(Todo)
	if cache.Get(r, now, key, cachedTodo) {
		return cachedTodo, nil
	}

ここでは、new(Todo)を使ってTodo型の新しいインスタンスへのポインタcachedTodoを作成し、それをcache.Get関数に渡しています。new(Todo)*Todo型のポインタを返しますが、このポインタが指すTodo構造体はゼロ値で初期化されています。cache.Getがキャッシュから値を見つけられなかった場合、cachedTodoはゼロ値のままですが、cache.Gettrueを返した場合(キャッシュヒット)は、そのポインタが指すメモリ領域にキャッシュされたデータが書き込まれます。しかし、キャッシュミスの場合にcachedTodoがゼロ値のまま返されると、呼び出し元はキャッシュミスと、実際にTodonilである場合を区別できませんでした。

変更後:

	var todo *Todo
	if cache.Get(r, now, key, &todo) {
		return todo, nil
	}

まず、var todo *Todo*Todo型の変数todoを宣言します。Goでは、ポインタ型のゼロ値はnilなので、todoは初期状態でnilを指しています。 次に、cache.Get関数に&todoを渡しています。これは、変数todo自体のアドレス(つまり**Todo型)を渡すことになります。cache.Getは、キャッシュから取得したTodoオブジェクトへのポインタを、このtodo変数に直接書き込みます。

  • キャッシュヒットの場合: cache.Gettrueを返し、todo変数にはキャッシュされたTodoオブジェクトへのポインタが設定されます(nilではない)。
  • キャッシュミスの場合: cache.Getfalseを返し、todo変数は初期値のnilのままです。

この修正により、todo変数がnilであるかどうかをチェックするだけで、キャッシュミスであったか、あるいはキャッシュされた値が実際にnilであったかを明確に判断できるようになり、nil値のキャッシュに関する問題が解決されました。

関連リンク

参考にした情報源リンク