自動設定ファイルの機能

自動設定ファイルは JavaScript で記述されています。JavaScript はコンパクトな、オブジェクトベースのスクリプト言語で、クライアントおよびサーバーのインターネットアプリケーションの開発に使用されます。ブラウザが JavaScript ファイルを解釈します。

ブラウザは最初の読み込み時に自動設定ファイルをダウンロードします。このファイルは、ブラウザが URL を使用してアクセスできる任意の場所に保存できます。たとえば、自動設定ファイルを Web サーバー上に保存することができます。ブラウザがファイル :// URL を使用して自動設定ファイルを取得できる場合には、自動設定ファイルをネットワークファイルシステム上に保存することができます。

プロキシ設定ファイルは JavaScript で記述されています。この JavaScript ファイルでは 1 つの関数 (FindProxyForURL) が定義されています。この関数は、各 URL に対してブラウザが使用するプロキシサーバーがあれば、どれを使用するのかを決定するものです。ブラウザは、JavaScript 関数に 2 つのパラメータを送信します。ブラウザが実行されているシステムのホスト名と、取得しようとしている URL です。JavaScript 関数は、処理方法を示す値をブラウザに返します。

自動設定ファイルを使用すると、さまざまなタイプの URL、さまざまなサーバー、または 1 日のうちのさまざまな時間に対して、異なるプロキシを指定できるようになります。またはプロキシをまったく指定しないこともできます。つまり、複数の専用のプロキシを用意できるので、たとえば、あるプロキシを .com ドメイン、別のプロキシを .edu ドメイン、さらに別のプロキシをその他すべてのドメイン用にすることができます。これによって、負荷を分散して、プロキシのディスクをさらに効率的に使用できるようになります。同じドキュメントを複数のプロキシすべてで保存するのではなく、どのファイルについてもキャッシュ内にコピーが 1 つ存在するだけだからです。

自動設定ファイルはプロキシのフェイルオーバーもサポートしているので、プロキシサーバーが使用できない場合、ブラウザはユーザーに意識させずに別のプロキシサーバーに切り替えを行います。