JP6524021B2 - コンパイル用の構文解析済みヘッダ - Google Patents

Description

実施形態は、コンパイラの分野に関する。

人間が読み取れるコードまたは命令は、コンパイラと称されるプログラムを用いて実行
可能なソフトウエアにしばしば変化する。コンパイラは、コードを取得してそれを翻訳し
て、コンピューティングデバイスによって理解されることができる機械可読形式に変える
。コード自体は、いくつかのコンポーネントに分割され得る。いくつかのプログラム言語
では、コードは、ソースファイルと称される１つ以上の定義コンポーネントおよびヘッダ
ファイルと称される１つ以上の宣言コンポーネントに分割され得る。ソースファイルは、
その宣言を使用するために、ヘッダファイルを参照し得る。とりわけ、複数個のソースフ
ァイルが、その宣言のために、同一のヘッダファイルを参照し得る。コンパイラが遭遇す
るヘッダファイルへのそれぞれの参照について、コンパイラは概して、たとえ以前処理し
た可能性があっても、ヘッダファイルの全体を処理する。ヘッダファイルの数と長さによ
って、コンパイル時間のかなりの部分が、ヘッダファイルの再処理に起因し得る。

本開示の一側面は、ヘッダを構文解析済みにするための方法を提供する。本方法は、コ
ンピューティングデバイス上で１つ以上のヘッダファイルを走査してトークン化された形
式にすることと、次にコンピューティングデバイス上で、トークン化された形式を構文解
析して１つ以上の抽象構文木にすることとを含む。本方法は、次に１つ以上の抽象構文木
をモジュール形式で記憶デバイスにシリアル化することにより、１つ以上のヘッダファイ
ルについて１つ以上の構文解析済みのヘッダを作成することを含む。

その本体上に記憶されたコードを有するコンピュータ可読記憶媒体は、データ処理装置
によって実行されたとき、データ処理装置に上述のヘッダを構文解析済みにするための方
法を実施させる命令を含み得る。

いくつかの例では、本方法は、１つ以上のソースファイル内のディレクティブに基づい
て、記憶デバイスから１つ以上の構文解析済みのヘッダを見つけることと、コンピューテ
ィングデバイス上で、構文解析済みのヘッダからの１つ以上の抽象構文木をデシリアル化
することと、コンピューティングデバイス上で、１つ以上の抽象構文木を使用して１つ以
上のソースファイルをコンパイルすることと、をさらに含む。さらに、またはあるいは、
１つ以上の構文解析済みのヘッダを見つけることは、ソースファイル内の、１つ以上のヘ
ッダファイルを指定するディレクティブである、１つ以上のディレクティブを受け取るこ
とと、ソースファイル内の１つ以上のディレクティブに基づいて、記憶デバイス上で１つ
以上の対応するシリアル化された構文解析済みのヘッダを見つけることとを含み得る。デ
ィレクティブは、ディレクティブを含み得る。いくつかの例では、１つ以上のヘッダファ
イルは、独立してコンパイル可能である。方法は、１つ以上のヘッダファイル内でシンボ
ル結合を凍結することを含み得る。

いくつかの例では、本方法は、コンピューティングデバイス上で、１つ以上のヘッダフ
ァイル内の変更を検出することと、コンピューティングデバイス上で、変更された１つ以
上のヘッダファイルのそれぞれについて１つ以上の新しい抽象構文木を生成することとを
さらに含む。本方法は、１つ以上の新しい抽象構文木をモジュール形式で記憶デバイスに
シリアル化することにより、変更された１つ以上のヘッダファイルのそれぞれについて１
つ以上の新しい構文解析済みのヘッダを作成することを含み得る。本方法はまた、変更さ
れた１つ以上のヘッダファイルのそれぞれについて、記憶デバイスから新しい構文解析済
みのヘッダを見つけることと、コンピューティングデバイス上で、変更された１つ以上の
ヘッダファイルのそれぞれについて、新しい構文解析済みのヘッダから新しい抽象構文木
をデシリアル化することとを含み得る。加えて、本方法は、コンピューティングデバイス
上で、変更された１つ以上のヘッダファイルのそれぞれからの新しい抽象構文木を使用し
て、ソースファイルをコンパイルすることを含み得る。

いくつかの例では、１つ以上のヘッダファイルについて、１つ以上の抽象構文木をモジ
ュール形式で記憶デバイスにシリアル化することは、１つ以上の抽象構文木のそれぞれに
ついてシリアル化されたファイルを作成することを含み得る。本方法は、複数個のヘッダ
が、単一のシリアル化されたファイルの中に含まれる、複数個のヘッダを１つのモジュー
ルにグループ化することをさらに含みうる。

コンピューティングデバイス上で１つ以上のヘッダファイルを走査してトークン化され
た形式にすることは、１つ以上のシンボルについてトークン化された形式を走査すること
と、１つ以上のシンボルに基づいて１つ以上のプリプロセッサシンボルテーブルを作成す
ることとをさらに含みうる。１つ以上のヘッダファイルについて１つ以上の構文解析済み
のヘッダを作成することは、１つ以上の抽象構文木をモジュール形式で記憶デバイスにシ
リアル化することと、トークン化された形式をモジュール形式で記憶デバイスにシリアル
化することと、１つ以上のプリプロセッサシンボルテーブルをモジュール形式で記憶デバ
イスにシリアル化することとを含みうる。さらに、またはあるいは、本方法は、１つ以上
のソースファイル内のディレクティブに基づいて、記憶デバイスから１つ以上の構文解析
済みのヘッダを見つけることと、コンピューティングデバイス上で、構文解析済みのヘッ
ダから１つ以上の抽象構文木をデシリアル化することと、コンピューティングデバイス上
で、構文解析済みのヘッダからトークン化された形式をデシリアル化することと、コンピ
ューティングデバイス上で、構文解析済みのヘッダから１つ以上のプリプロセッサシンボ
ルテーブルをデシリアル化することと、コンピューティングデバイス上で１つ以上の抽象
構文木、１つ以上のプリプロセッサシンボルテーブル、およびトークン化された形式を使
用して、１つ以上のソースファイルをコンパイルすることとを含みうる。

いくつかの例では、コンピューティングデバイス上で１つ以上のヘッダファイルを走査
してトークン化された形式にすることは、１つ以上のヘッダファイルから１つ以上の識別
子の一覧を作成することと、各々の識別子が、トークン化された形式で存在するかに基づ
いて、１つ以上の識別子の一覧の中のそれぞれの識別子を削除することとをさらに含む。
１つ以上のヘッダファイルについて、１つ以上の構文解析済みのヘッダを作成することは
、１つ以上の識別子の一覧をモジュール形式で記憶デバイスにシリアル化することをさら
に含む。さらに、またはあるいは、本方法は、１つ以上の識別子の一覧が１つ以上のプリ
プロセッサシンボルテーブルと一致することを検証することを含む。

いくつかの例では、本方法は、２つ以上の抽象構文木が等しいか検出することと、２つ
以上の抽象構文木が等しいかに基づいて、２つ以上の抽象構文木を単一の抽象構文木にマ
ージすることとをさらに含む。

本開示の別の側面は、スキャナと、構文解析器と、シリアル化モジュールとを有するフ
ロントエンドコンポーネントを含むコンパイルのシステムを提供する。スキャナは、コン
ピューティングデバイス上で、１つ以上のヘッダファイルを走査してトークン化された形
式にするように構成される。構文解析器は、コンピューティングデバイス上で、トークン
化された形式を構文解析して１つ以上の抽象構文木にするように構成される。シリアル化
モジュールは、１つ以上の抽象構文木をモジュール形式で記憶デバイスにシリアル化する
ことによって、１つ以上のヘッダファイルについて、構文解析済みのヘッダを記憶デバイ
ス上に作成するように構成される。システムは、１つ以上の抽象構文木を使用して、１つ
以上のソースファイルをオブジェクトコードに変換するためのバックエンドコンポーネン
トをさらに含む。いくつかの例では、シリアル化モジュールは、１つ以上のソースファイ
ル内のディレクティブに基づいて、記憶デバイスから構文解析済みのヘッダを見つけ、コ
ンピューティングデバイス上で、１つ以上の抽象構文木を構文解析済みのヘッダからデシ
リアル化する。バックエンドコンポーネントは、構文解析済みのヘッダからロードされた
１つ以上の抽象構文木を使用して、１つ以上のソースファイルをオブジェクトコードに変
換するように構成され得る。

いくつかの例では、シリアル化モジュールは、１つ以上のヘッダファイルを指定する、
ソースファイル内の１つ以上の既存のディレクティブであるディレクティブを受け取り、
ソースファイル内の１つ以上の既存のディレクティブに基づいて、１つ以上の対応するシ
リアル化された構文解析済みのヘッダを記憶デバイス上で見つけるように構成される。さ
らに、またはあるいは、ディレクティブはｉｎｃｌｕｄｅディレクティブを含む。

フロントエンドコンポーネントは、１つ以上のヘッダファイルが独立してコンパイル可
能であるかを決定するように構成される検証器を備え得る。いくつかの例では、フロント
エンドコンポーネントは、１つ以上のヘッダファイル内でシンボル結合を凍結するように
構成される検証器をさらに含む。いくつかの例では、フロントエンドコンポーネントは、
コンピューティングデバイス上で、１つ以上のヘッダファイル内の変化を検出し、変更さ
れた１つ以上のヘッダファイルのそれぞれについて、１つ以上の新しい抽象構文木をコン
ピューティングデバイス上で生成するように構成される修正検出器を含む。フロントエン
ドコンポーネントは、１つ以上の新しい抽象構文木をモジュール形式で記憶デバイスにシ
リアル化することにより、変更された１つ以上のヘッダファイルのそれぞれについて、１
つ以上の新しい構文解析済みのヘッダを作成し得る。

いくつかの例では、シリアル化モジュールは、１つ以上の抽象構文木のそれぞれについ
て、構文解析済みのヘッダを作成する。スキャナは、１つ以上のシンボルについて、トー
クン化された形式を走査し、１つ以上のシンボルに基づいて、１つ以上のプリプロセッサ
シンボルテーブルを作成する。シリアル化は、１つ以上の抽象構文木をモジュール形式で
記憶デバイスにシリアル化することと、トークン化された形式をモジュール形式で記憶デ
バイスにシリアル化することと、１つ以上のプリプロセッサシンボルテーブルをモジュー
ル形式で記憶デバイスにシリアル化することと、により、１つ以上のヘッダファイルにつ
いて、構文解析済みのヘッダを記憶デバイス上に作成するように構成され得る。さらに、
またはあるいは、シリアル化モジュールは、１つ以上のソースファイル内のディレクティ
ブに基づいて、記憶デバイスから構文解析済みのヘッダを見つけることと、コンピューテ
ィングデバイス上で、１つ以上の抽象構文木を構文解析済みのヘッダからデシリアル化す
ることと、を行うようにさらに構成され得る。シリアル化モジュールは、コンピューティ
ングデバイス上で、トークン化された形式を構文解析済みのヘッダからさらにデシリアル
化し、コンピューティングデバイス上で、１つ以上のプリプロセッサシンボルテーブルを
、構文解析済みのヘッダからデシリアル化し得る。バックエンドコンポーネントは、１つ
以上の抽象構文木、１つ以上のプリプロセッサシンボルテーブル、および構文解析済みの
ヘッダからトークン化された形式を使用して、１つ以上のソースファイルをオブジェクト
コードに変換するようにさらに構成され得る。

いくつかの例では、本システムは、１つ以上のヘッダファイルから１つ以上の識別子の
一覧を作成することと、各々の識別子がトークン化された形式で存在するかに基づいて、
１つ以上の識別子の一覧の中のそれぞれの識別子を削除することと、を行うように構成さ
れる検証器を含む。シリアライザは、１つ以上の識別子の一覧をモジュール形式で記憶デ
バイスにシリアル化するように構成され得る。さらに、またはあるいは、検証器は、１つ
以上の識別子の一覧が１つ以上のプリプロセッサシンボルテーブルと一致することを検証
するように構成され得る。シリアル化モジュールは、２つ以上の抽象構文木が等しいかを
検出し、２つ以上の抽象構文木が等しいかに基づいて、２つ以上の抽象構文木を単一の抽
象構文木にマージするように構成され得る。

本開示のさらなる実施形態、特性、および利点は、本開示の種々の実施形態の構成およ
び動作とあわせて、添付の図面を参照して以下に詳細に説明される。

本発明の実装は、添付の図面を参照して説明される。図面において、同一の参照番号は
、まったく同一のまたは機能的に類似の要素を示す。要素が最初に出現したときの図面は
、対応する参照番号において概して左端の桁によって示される。
一実施形態に従うコンパイルのシステムのダイアグラムである。 一実施形態に従う構文解析済みのヘッダを使用するコンパイルのシステムのダイアグラムである。 同一のヘッダファイルを参照する２つのソースファイルの典型的なコンパイルのシーケンス図である。 一実施形態に従う同一のヘッダファイルを参照する２つのソースファイルを持つ構文解析済みのヘッダを使用する、コンパイルの例のシーケンス図である。 修正された一連のヘッダファイルの中で構文解析済みのヘッダを使用する、コンパイルの例のシーケンス図である。 一実施形態に従う構文解析済みのヘッダを作成するための方法のフローチャートである。 コンパイル中に使用するために、構文解析済みのヘッダをロードするための方法のフローチャートである。 上述の実施形態、またはその一部分がその中に実装され得る、例示的コンピュータシステムを示す。 上述の実施形態、またはその一部分がその中に実装され得る、例示的コンピューティングデバイスを示す。

本発明は、本明細書において特定の用途について説明的な実施形態を参照して説明され
るが、本発明はそれに限定されないことを理解されたい。本明細書に提供される教示を利
用可能な当業者は、その範囲内における追加的な変形、用途、および実施形態、ならびに
本発明が著しく有用となるであろう追加的な分野を認識するであろう。

以下の実施形態の詳細な説明において、「一実施形態」、「実施形態」、「実施形態の
例」等への言及は、記載の実施形態が特定の特性、構造、または特徴を含み得ることを示
すが、しかし、あらゆる実施形態が、その特定の特性、構造、または特徴を必ずしも含ま
ないことがある。その上、かかる言いまわしは、同一の実施形態を必ずしも指さないこと
がある。さらに、特定の特性、構造、または特徴が、実施形態に関連して説明されるとき
、かかる特性、構造、または特徴を、他の実施形態に関連して達成することは、明確に記
載されているか否かにかかわらず、当業者の知識の範囲内であると考えられる。

１つのソフトウエアは、数千かそれ以上のソースファイルから成ることがある。しばし
ば、１つより多いソースファイルが特定のヘッダファイル内の宣言へのアクセスを要求し
得る。例えば、ヘッダファイルは、ソフトウエアパッケージの全体にわたって一般に使用
される操作を含む関数についての宣言を提供し得る。しかしながら、ヘッダファイルは、
定数、プリプロセッサ命令、およびさまざまな他の宣言等の他の宣言を提供することがで
きる。関数宣言はしばしば、その関数が受け取ることのできる入力と、返す出力とを指定
する。関数または方法は、１つ以上の入力を取り、入力に対していくつかの数の操作を行
い、次に入力に対する操作の結果に基づいて１つ以上の出力を返す、命令のグループ化で
あり得る。関数を実行する行動は、「関数を呼び出す」と呼ばれ得る。関数を呼び出すた
めに、それぞれのソースファイルは、ヘッダファイルへの参照を提供してもよく、これが
関数の宣言を提供する。これは、コンパイラが、この関数が正しく使用されていることを
検証することを可能にする。しかしながら、多くのソースファイルが同一の関数を呼び出
し得る。これは、コンパイラが、同一のヘッダファイルをすでに読み、処理したかにかか
わらず、ヘッダファイルを読み、処理することをもたらす。これは潜在的に仕事の重複を
招く。

コンパイラは、複数個のパーツまたはステージを使用してソースおよびソフトウエアの
ヘッダファイルを処理し得る。これらのパーツは、ソースおよびヘッダファイル上で異な
る操作を行う。これらは、ソースおよびヘッダファイルの中に含まれるテキストを、さま
ざまなデータ構造に変え、これはコンパイルの間に生じる処理を補助することができる。

図１および８は、コンパイルのシステムのダイアグラムおよび例示的コンピューティン
グデバイスを示す。コンパイラ１００は、フロントエンドコンポーネント１０２およびバ
ックエンドコンポーネント１１２を含む。フロントエンドコンポーネント１０２は、ソー
スファイル１１４およびヘッダファイル１１６内に含まれるテキストの初期処理に関与し
得る。

フロントエンドコンポーネント１０２は、スキャナ１０４、構文解析器１０６、および
引き下げコンポーネント１０８をさらに含む。ソースファイル１１４およびヘッダファイ
ル１１６は、テキストファイルとしてハードディスク等の記憶デバイス８０２上に格納さ
れ得る。本明細書で使用されるソースファイルという用語は、１つ以上のソースファイル
を指す。同様に、本明細書で使用されるヘッダファイルという用語は、１つ以上のヘッダ
ファイルを指す。ソースファイル１１４またはヘッダファイル１１６内に含まれるテキス
トを最初に処理するために、コンパイラ１００は、まずソースファイル１１４およびヘッ
ダファイル１１６を記憶デバイス８０２から読み、次にそのテキストをコンパイラ１００
によって理解されることができるデータ構造に変換し得る。テキストは、コンパイラによ
ってトークン化された形式２１６ａで読み込まれ得る。トークンは、テキストの単語を表
すデータ構造である。フロントエンドコンポーネント１０２はまた、ソースファイル１１
４およびヘッダファイル１１６内に含まれるテキストを変換して、トークン化された形式
２１６ａにすることに関与するスキャナ１０４を含む。例えば、ソースファイル１１４ま
たはヘッダファイル１１６内に存在し得るテキストのそれぞれの単語について、スキャナ
１０４は、これらの単語を個別のトークンに変換し得る。トークンは、つなぎ合わされて
プログラミングコード構文のセンテンスを形成し得る。

スキャナ１０４は、プリプロセッサシンボルテーブル内でトークンをそれらの定義の代
わりにするようにさらに構成され得る。プリプロセッサシンボルテーブルは、プリプロセ
ッサシンボルおよびそれらの対応する定義を含むテーブルであり得る。プリプロセッサシ
ンボルは、ヘッダファイル内でまたはコンパイラ自体によって定義され得る。プリプロセ
ッサシンボルはまた、特定のコンパイラまたはプログラミングに応じて、マクロ、または
さまざまな他の種類のシンボルであり得る。マクロは、ヘッダファイルまたはソースファ
イル内でマクロシンボルが遭遇するといつでも代用されるテキストを定義するシンボルで
あり得る。例えば、「ｅｘａｍｐｌｅ」という名のマクロシンボルは、「ｅｘａｍｐｌｅ
ｔｅｘｔ」というテキストに対応するように定義され得る。コンパイラがシンボル「ｅ
ｘａｍｐｌｅ」に遭遇するといつでも、コンパイラはこのシンボルをテキスト「ｅｘａｍ
ｐｌｅ ｔｅｘｔ」の代わりにし得る。シンボルおよびそれらの定義は次に、プリプロセ
ッサシンボルテーブルと称されるテーブルの中に置かれ得る。これは次に、プリプロセッ
サシンボルテーブルがすべての有効なプリプロセッサシンボルおよびそれらの対応する定
義のテーブルを維持することを可能にし得る。スキャナ１０４がプリプロセッサシンボル
テーブル内にあるシンボルに遭遇すると、そのシンボルをテーブル内の対応する定義と置
換し得る。上記の例を使用すると、スキャナ１０４が「ｅｘａｍｐｌｅ」のトークンに遭
遇するたびに、スキャナ１０４が「ｅｘａｍｐｌｅ」のトークンを新しいトークン「ｅｘ
ａｍｐｌｅ ｔｅｘｔ」と置換し得る。

しかしながら、スキャナ１０４がソースファイルおよびヘッダファイルをトークンに変
換し、プリプロセッサシンボルテーブルを作成するために実行し得る処理には、一定の時
間がかかる。ときどき、走査に総コンパイル時間の１５％もかかることがある。例えば、
スキャナ１０４が遭遇し得るソースファイル１１４内の特定のヘッダファイルへのそれぞ
れの参照について、スキャナ１０４は、スキャナ１０４がこの特定のヘッダファイルに以
前遭遇していたとしても、それは異なるソースファイル内で参照されたため、このヘッダ
ファイルを走査してトークンを作成し得る。

一実施形態において、スキャナ１０４によって作成されたトークンを後で使用するため
に格納することにより、この処理はさらに効率的に行われ得る。ヘッダファイル１１６は
スキャナ１０４によって処理されてもよく、トークンが作成され得る。これらのトークン
は次に、ヘッダファイル１１６からトークンのデータベースかまたはあらかじめトークン
化されたヘッダに追加され得る。後続のコンパイルの際、スキャナ１０４があらかじめト
ークン化されたヘッダデータベース内にあるヘッダファイルに遭遇すると、スキャナ１０
４はヘッダファイルを走査するのではなく、データベースからトークンをロードし得る。
しかしながら、コンパイルを進行させるために、トークンはさらに処理されることをなお
必要とし得る。例えば、これらは抽象構文木２１６ｂへと構文解析される必要があり得る
。

フロントエンドコンポーネント１０２はまた、構文解析器１０６を含む。構文解析器１
０６は、スキャナ１０４によって提供されるトークンから抽象構文木２１６ｂを作成し得
る。ソースファイル１１４およびヘッダファイル１１６のテキストがトークン化された後
、テキストはさらなるコンパイルを可能にするために、さらに整理されることを必要とし
得る。抽象構文木は、ソースファイルまたはヘッダファイルの構文構造のデータ表現であ
る。とりわけ、トークンはテキストの文字列を伝え得るが、しかし、抽象構文木はそのテ
キストへの意味を伝え得る。抽象構文木はまた、そこで検査および最適化等の多くの操作
が行われることを可能にし得る。

フロントエンドコンポーネント１０２はまた、引き下げコンポーネント１０６を含む。
引き下げコンポーネント１０６は、抽象構文木を低レベルの抽象構文木に変換するように
さらに構成され得る。この変換は、最適化等の複数個の操作、またはコンパイラの種類お
よび特定のプログラミング言語に依存し得るさまざまな結合および誤り検査を含み得る。
実施形態は抽象構文木を参照して本明細書に説明されるが、当業者であれば低レベルの抽
象構文木もまた使用され得ることを認識するであろう。

スキャナ１０４と同様に、構文解析器１０６は、トークン全体を構文解析して抽象構文
木を生成するのに一定の時間がかかる。さらにとりわけ、ヘッダファイル１１６の事例で
は、構文解析器１０６は、このヘッダファイルが構文解析器１０６によって以前に遭遇さ
れていたとしても、ソースファイル内で参照されるヘッダファイル１１６のそれぞれにつ
いて抽象構文木２１６ｂを作成しなければならない。この重複した取り組みには、ヘッダ
ファイルの数と、ソースファイル１１４内で参照されるヘッダファイルの長さに応じて、
著しい期間の時間がかかり得る。

コンパイラ１００はまた、抽象構文木２１６ｂをオブジェクトファイル１１８に変換す
ることに関与するバックエンドコンポーネント１１２をも含む。オブジェクトファイル１
１８は、コンピューティングデバイス８００（図８）によって可読のフォーマットのオブ
ジェクトコードを含み得る。オブジェクトファイルは、リンカープログラムを用いて組み
合わされ、実行可能なプログラムを形成し得る。リンカーとは、オブジェクトファイルを
一体化して単一の実行可能なプログラムまたはライブラリを作成し得るプログラムである
。バックエンドコンポーネント１１２は、抽象構文木２１６ｂを用いて、ヘッダファイル
１１６およびソースファイル１１４からオブジェクトコードを生成し得る。

一実施形態によれば、コンパイラ１００はさらに効率的になり得る。図２は、一実施形
態に従う構文解析済みのヘッダを使用した、コンパイルのシステムのダイアグラムである
。コンパイラ２００は、フロントエンドコンポーネント２０２およびバックエンドコンポ
ーネント２１２を含む。フロントエンドコンポーネント２０２は、スキャナ２０４、構文
解析器２０６、および引き下げコンポーネント２２４を含む。スキャナ２０４は、ソース
ファイル２１４およびヘッダファイル２１６を走査して、トークン化された形式２１６ａ
を作成するように構成され得る。構文解析器２０６は、トークン化された形式２１６ａを
構文解析して、抽象構文木２１６ｂを作成するように構成されてもよく、引き下げコンポ
ーネント２２４は、抽象構文木２１６ｂを低レベルの抽象構文木に変換するように構成さ
れ得る。

一実施形態によれば、フロントエンドコンポーネント２０２はまた、シリアル化モジュ
ール２０８を含む。シリアル化モジュール２０８は、コンパイル処理の間に使用するため
の構文解析済みのヘッダ２２２を作成し得る。本明細書で使用される構文解析済みのヘッ
ダという用語は、１つ以上の構文解析済みのヘッダを指す。構文解析済みのヘッダ２２２
は、ヘッダファイル２１６のそれぞれが対応する構文解析済みのヘッダファイルを有する
ように、モジュールで構成され得る。構文解析済みのヘッダ２２２は次に、スキャナ２０
４、構文解析器２０６、および引き下げコンポーネント２２４が、対応するヘッダファイ
ル２１６のそれぞれを再度処理する必要がないように、後続のコンパイル上にロードされ
得る。その上、特定のヘッダファイルのいずれかが修正されると、構文解析済みのヘッダ
のすべてではなく、対応する構文解析済みのヘッダファイル、または修正されたヘッダフ
ァイルを含むいずれかのヘッダファイルのみが更新される必要があり得る。いくつかの事
例では、複数個のヘッダファイルは、単一の構文解析済みのヘッダにグループ化され得る
。例えば、一部のヘッダファイルは、複数個のヘッダファイルがしばしば特定のソースフ
ァイル内で一緒に参照されるように、相互に関係のある宣言を提供し得る。かかる事例に
おいて、複数のヘッダファイルは、単一の構文解析済みのヘッダにグループ化され得る。
別の例では、一部のヘッダファイルのグループは、他のグループよりもより頻繁に修正さ
れ得る。かかる事例において、より頻繁に修正されるヘッダが個別の構文解析済みのヘッ
ダファイルを有し得る一方で、修正される頻度がより低いグループは一緒にグループ化さ
れる。それにもかかわらず、コンパイラ２００は、単一のヘッダファイルを表す構文解析
済みのヘッダと組み合わせ、複数個のヘッダファイルを表す両方の構文解析済みのヘッダ
を処理し得る。

シリアル化モジュール２０８は、ヘッダファイル２１６の抽象構文木２１６ｂのイメー
ジを作成することにより、構文解析済みのヘッダ２２２を作成し、これらを記憶デバイス
８０２にシリアル化し得る。シリアル化は、ＸＭＬ等の周知のフォーマット、またはあら
ゆる文字列ベースのまたはバイナリフォーマットを使用し得る。例えば、シリアル化モジ
ュール２０８は、構文解析済みのヘッダ２２２のより効率的なロードを可能にするために
、コンパイラの抽象構文木の自らの表現に酷似したフォーマットを使用し得る。一旦抽象
構文木２１６ｂのイメージが構文解析済みのヘッダ２２２にシリアル化されると、イメー
ジは、シリアル化モジュール２０８によって再読される。シリアル化モジュール２０８は
次に、フロントエンドコンポーネント２０２による使用のために、構文解析済みのヘッダ
２２２をデシリアル化して抽象構文木２１６ｂとし得る。

シリアル化モジュール２０８は、構文解析済みのヘッダ２２２内にプリプロセッサシン
ボルテーブルのシリアル化されたイメージをさらに含み得る。シリアル化モジュール２０
８はまた、構文解析済みのヘッダ２２２内に、スキャナ２０４によって作成されたトーク
ンのシリアル化されたイメージを含み得る。上述の抽象構文木２１６ｂと同様に、シリア
ル化は、コンパイラのプリプロセッサテーブル、トークン、または両方の自らの表現に酷
似したフォーマットを使用し得る。一旦抽象構文木、プリプロセッサシンボルテーブル、
およびトークンのイメージが構文解析済みのヘッダ２２２内にシリアル化されると、イメ
ージはシリアル化モジュール２０８によって再読される。シリアル化モジュール２０８は
次に、フロントエンドコンポーネント２０２によって使用されるために、構文解析済みの
ヘッダ２２２をプリプロセッサシンボルテーブル、トークン、抽象構文木２１６ｂにデシ
リアル化し得る。

後続のコンパイル時に、フロントエンドコンポーネント２０２は、ソースファイル内の
ヘッダファイルへの参照時に、対応する構文解析済みのヘッダファイルを見つけるように
さらに構成され得る。ゆえに、ソースファイルは、ヘッダファイルを参照するために、な
おその通常のコンストラクトを使用することができ、フロントエンドコンポーネント１０
２は、対応する構文解析済みのヘッダを見つけるように構成され得る。これは、既存のコ
ードベースがそのコードを不変のまま維持するが、構文解析済みのヘッダをなお使用する
ことを可能にし得る。例えば、Ｃ＋＋プログラミング言語において、ヘッダファイルを参
照するためのコンストラクトは、ｉｎｃｌｕｄｅディレクティブであり得る。所望される
ヘッダファイルの種類に応じて、コンストラクトは、例えば、

＃ｉｎｃｌｕｄｅ“ｓａｍｐｌｅ．ｈ”の形式を取りうる。

上記の例において、「ｓａｍｐｌｅ．ｈ」はヘッダファイルであり、対応する構文解析
済みのヘッダファイルである「ｓａｍｐｌｅ．ｐｐｈ」を有し得る。フロントエンドコン
ポーネント２０２がヘッダファイルへの参照に遭遇すると、対応する構文解析済みのヘッ
ダファイルを見つけようと試みる。ゆえに、この例において、フロントエンドコンポーネ
ント２０２が「ｓａｍｐｌｅ．ｈ」へのｉｎｃｌｕｄｅディレクティブに遭遇すると、「
ｓａｍｐｌｅ．ｐｐｈ」を見つけることを試み得る。フロントエンドコンポーネント２０
２が「ｓａｍｐｌｅ．ｐｐｈ」を見つけることに成功すると、シリアル化モジュール２０
８は、「ｓａｍｐｌｅ．ｐｐｈ」をデシリアル化して抽象構文木とし得る。シリアル化モ
ジュール２０８はまた、「ｓａｍｐｌｅ．ｐｐｈ」をデシリアル化してプリプロセッサテ
ーブル、またはトークン、または両方とし得る。対応する構文解析済みのヘッダを見つけ
ることができない場合、フロントエンドコンポーネント２０２は次に、「ｓａｍｐｌｅ．
ｈ」等のヘッダファイルを読み、次にスキャナ２０２を使用してヘッダのトークン化へと
進み、プリプロセッサシンボルテーブルを作成し、構文解析器２０６を使用して抽象構文
木を生成し得る。

フロントエンドコンポーネント２０２は、検証器２２０をさらに含む。検証器２２０は
、特定のプロパティについて、構文解析済みのヘッダの作成に先立って抽象構文木または
プリプロセッサシンボルテーブルを確認するように構成され得る。例えば、ソースファイ
ル２１４は、そこでヘッダファイル２１６が特定の宣言を利用するために、コンパイラ２
００によって検査される特定のオーダーに依存し得る。これもまた、ヘッダファイルのｉ
ｎｃｌｕｄｅオーダーと呼ばれ得る。

ヘッダファイルは、宣言について他のヘッダファイルを参照し得る。多くのヘッダファ
イルが、その内部で宣言の使用を要求するときに、他のヘッダファイルを参照し、ゆえに
、独立してコンパイル可能であると考えられ得る。しかしながら、いくつかのコンパイラ
またはプログラム言語は、他のヘッダファイルを参照することなく、これらの宣言の使用
を可能にし得る。代わりに、これらはまずコンパイラによって処理されている宣言を含む
他のヘッダファイルに依存し得る。これは、非常にソフトウエア特有であり得る。例えば
、開発者は、「ｄｅｃｌａｒａｔｉｏｎｓ．ｈ」において定義される、ある特定の「ａ．
ｈ」において宣言を使用し得る。開発者は、ｉｎｃｌｕｄｅオーダーに基づいて、「ｄｅ
ｃｌａｒａｔｉｏｎｓ．ｈ」が「ａ．ｈ」に先立ってコンパイラによって検査されること
をさらに知り得る。ゆえに、この特定の事例において、開発者は、「ａ．ｈ」において「
ｄｅｃｌａｒａｔｉｏｎｓ．ｈ」を参照する必要がないことがある。しかしながら、別の
ソフトウエアプログラムにおいて、異なるｉｎｃｌｕｄｅオーダーに基づき、「ｄｅｃｌ
ａｒａｔｉｏｎｓ．ｈ」は、「ａ．ｈ」の後にコンパイラによって検査され得る。その場
合、「ａ．ｈ」は、その宣言を使用するために、「ｄｅｃｌａｒａｔｉｏｎｓ．ｈ」を参
照しなければならないことがある。

一実施形態によれば、検証器２２０は、ヘッダファイル内で参照された宣言を確認する
ことにより、ヘッダファイルが独立してコンパイル可能であるかを確認するように構成さ
れ得る。宣言がヘッダファイル内またはこのヘッダファイルによって参照された一連のヘ
ッダファイル内で定義されると、これは独立してコンパイル可能であると考えられ得る。
ヘッダファイルが独立してコンパイル可能であると考えられない場合、シリアル化モジュ
ール２０８は、そのヘッダファイルについて構文解析済みのヘッダを作成しないように構
成され得る。

前述のとおり、ある特定の種類の宣言は関数宣言であり得る。関数宣言は、関数の入力
および出力を記述する。時折、同一の名を持つ関数について複数個の宣言があり得る。典
型的に、同一の名を持つ複数個の関数が宣言されたとき、これらは異なる入力および出力
を要求し得る。これは関数多重定義と称される。これらの多重定義された関数のうちの１
つを特定の関数呼び出し表現と関連付ける行動は、結合と称される。概して、関数は、こ
れらが同一のヘッダファイル内、または同一のヘッダファイルの中で参照される一連のヘ
ッダファイルの中に存在するとき、同一の名の他の関数と結合され得る。しかしながら、
いくつかのコンパイラおよびプログラム言語は、関数が、同一のヘッダファイルの中にも
同一のヘッダファイルの中で参照される一連のヘッダファイルの中にもなく、別のヘッダ
ファイルと結合することを可能にし得る。これは、ヘッダファイルがコンパイラによって
試験されるオーダーに基づいて生じ得る。上記で述べた宣言と同様に、これはｉｎｃｌｕ
ｄｅオーダーに基づいてコンパイルされる特定のソフトウエアに依存し得る。一実施形態
において、構文解析器２０６は、これらがその中で定義されるヘッダファイルの範囲に、
またはそのヘッダファイル内の参照される一連のヘッダファイルに結合するように、関数
の結合を凍結させ得る。シンボルはまた、類似の手法で関数に結合され得る。一実施形態
において、構文解析器２０６はまた、これらがその中で定義されるヘッダファイルの範囲
に、またはそのヘッダファイル内の参照される一連のヘッダファイルに結合するように、
シンボルの結合を凍結し得る。

ヘッダファイルはまた、それらの内部にプリプロセッサシンボルを含み得る。しばしば
、しかしながら、プリプロセッサシンボルの定義を条件が囲み得る。例えば、条件は、シ
ンボル、「Ｘ」、が定義されているか、またはこれが特定の値と等しいかを確認し得る。
「Ｘ」が定義されている場合、コンパイラはシンボル「ＴＲＵＥ」を定義する等の真の動
作を行い得る。「Ｘ」が定義されていない場合、コンパイラはシンボル「ＦＡＬＳＥ」を
定義する等の偽の動作を行い得る。

多くのコンパイラは、条件がこれらを囲んでいるかにかかわらず、ヘッダファイル内の
すべてのプリプロセッサシンボルを解決する。前述の例において、偽の動作はシンボル「
Ｘ」が定義されていない場合、一部のシンボルを「ＦＡＬＳＥ」と定義し得る。しかし、
「Ｘ」が実際には定義されている場合、条件が決して偽の動作に達しないため、「ＦＡＬ
ＳＥ」は関連がないことがある。しかしながら、いくつかのコンパイラは、どのみち「Ｆ
ＡＬＳＥ」シンボルをなお処理し得る。一実施形態によれば、検証器２２０は、シンボル
が使用されているかを検証するように構成される。シンボルが使用されていない場合、検
証器２２０は、構文解析済みのヘッダファイル内に含まれず、処理される必要がないよう
に、このシンボルをその組のプリプロセッサシンボルテーブルから削除し得る。

ヘッダファイル内のトークンまたは識別子の処理は、コンパイルのコンテキストに応じ
てさまざまであり得る。例えば、ヘッダファイルはそのテキスト内に識別子「Ｘ」を含み
得る。１つのコンパイルにおいて、「Ｘ」は実際には「Ｘ」を意味する。しかしながら、
別のコンパイルにおいて、「Ｘ」は、プリプロセッサシンボルとして以前に宣言された可
能性がある。かかる事例において、同一のヘッダファイルが再び処理されたとき、「Ｘ」
は、「Ｙ」またはなんらかの他の宣言を意味するように置換され得る。プリプロセッサシ
ンボルは、ｉｎｃｌｕｄｅオーダーがあるために、またはコンパイラ自体によって宣言さ
れ得るとはいえ、プリプロセッサシンボルは、ヘッダファイルが別のヘッダファイルを参
照するため宣言され得る。ゆえに、同一のヘッダファイルは、１回より多く処理された後
では、その識別子のうちのいくつかが置換されている可能性があるため、別のコンテキス
ト内では異なる意味を有し得る。

構文解析済みのヘッダは、しかしながら、それが作成されたコンテキストに基づいて、
プリプロセッサシンボルテーブルおよびその対応するヘッダファイルの識別子の状態のみ
を表し得る。その結果、構文解析済みのヘッダは、異なるコンテキストにおいて、その識
別子またはプリプロセッサシンボルのうちのいずれかが、別のヘッダまたは構文解析済み
のヘッダ内ですでにプリプロセッサシンボルとして宣言されているとき、他のヘッダまた
は構文解析済みのヘッダとコンフリクトを有し得る。一実施形態において、検証器２２０
は、これらのコンフリクトを検出するようにさらに構成され得る。検証器２２０は、ヘッ
ダファイル２１６のそれぞれについて、これら自体はプリプロセッサシンボルでない識別
子の一覧を作成し得る。識別子の一覧は次に、後続のコンパイルの間に使用するために、
構文解析済みのヘッダ２２２のそれぞれの中に保存され得る。しかしながら、特定のヘッ
ダファイル内にあるすべての識別子がトークン化された形式２１６ａで生成されたトーク
ンに対応し得るわけではない。これは、識別子上の条件があるからであることがある。例
えば、識別子は、特定のシンボルが定義されている場合、またはシンボルが特定の値と等
しい場合のみに使用され得る。検証器２２０は、トークン化された形式２１６ａで生成さ
れたトークンに対応しないいずれかの特定の識別子を削除することにより、識別子の一覧
を減少させるようにさらに構成され得る。

構文解析済みのヘッダ２２２を使用する後続のコンパイルにおいて、検証器２２０は、
構文解析済みのヘッダ２２２のそれぞれから識別子の一覧をロードし、識別子のそれぞれ
が他のどのプリプロセッサシンボルともコンフリクトしないことを検証するように構成さ
れ得る。加えて、検証器２２０はまた、構文解析済みのヘッダ２２２内で宣言されたいか
なるプリプロセッサシンボルも、他のどのプリプロセッサシンボルとコンフリクトしない
ことを確認し得る。コンフリクトを有することが確定したあらゆる構文解析済みのヘッダ
について、検証器２２０は、スキャナ２０４、構文解析器２０６、および引き下げコンポ
ーネント２２４に、コンパイルの間に使用するために、構文解析済みのヘッダの対応する
テキストベースのヘッダファイルを再処理させ得る。

いくつかの事例では、例えば検証器２２０の結果に基づき、または選択により、構文解
析済みのヘッダファイルは、特定のヘッダファイルについて作成されないことがある。こ
の対応する構文解析済みのヘッダのないそのヘッダファイルは、無効となったヘッダファ
イルと呼ばれ得る。かかる事例において、コンパイラ２００は、コンパイルの間に使用す
るために、無効となったヘッダファイルの内部のテキストに依存し得る。しかしながら、
対応する構文解析済みのヘッダを有する２つ以上のヘッダは、その内部の無効となったヘ
ッダファイルをなお参照し得る。かかる事例において、無効となったヘッダが構文解析済
みのヘッダと併せてコンパイラによって２回処理された場合、予期されない結果が生じ得
る。とりわけ、同一の抽象構文木の数個の同等の複製が作成され得る。しかしながら、同
一の抽象構文木の同等の複製が作成され得る他の事例もあり得る。例えば、無効となった
ヘッダは、無効となったヘッダが１回より多く処理されることを妨げる適切な制限なしに
複数個のソースファイルによって参照され得る。一実施形態において、シリアル化モジュ
ール２０８は、２つ以上の抽象構文木２１６ｂが等しいかを確定するように構成され得る
。抽象構文木２１６ｂが等しい場合、シリアル化モジュール２０８は、これらの同等の抽
象構文木２１６ｂを単一の抽象構文木にマージするようにさらに構成され得る。単一の抽
象構文木は次に、コンパイラ２００によるさらなるコンパイルのために、構文解析済みの
ヘッダと併せて使用され得る。

フロントエンドコンポーネント２０２は、修正検出器２１０をさらに含む。しかしなが
ら、一実施形態において、修正検出器２１０は、コンパイラ２００の外部処理であり得る
。修正検出器２１０は、ヘッダファイル２１６内の変更を検出し得る。特定のヘッダファ
イル内で変更が検出されると、修正検出器２１０は、変更された特定のヘッダファイルに
ついて構文解析済みのヘッダを使用しないように、フロントエンドコンポーネント２０２
に通知し得る。代わりに、フロントエンドコンポーネント２０２は、スキャナ２０４と併
せて構文解析器２０６を使用して、変更されたヘッダファイルのテキストから、新しい抽
象構文木２１６ｃを生成し得る。ゆえに、修正検出器２１０、シリアル化モジュール２０
８、またはスキャナ２０４および構文解析器２０６は、抽象構文木２１６ｂをロードし得
る。抽象構文木２１６ｂは次に、オブジェクトコードへと処理され得る。

コンパイラ２００はまた、抽象構文木２１６ｂをオブジェクトファイル２１８に変換す
ることに関与するバックエンドコンポーネント２１２をも含む。本明細書で使用されるオ
ブジェクトファイルという用語は、１つ以上のオブジェクトファイルを指す。オブジェク
トファイル２１８は、コンピューティングデバイスによって可読のフォーマットのオブジ
ェクトコードを含み得る。オブジェクトファイルは、リンカープログラムを用いて組み合
わされ、実行可能なプログラムを形成し得る。リンカーとは、オブジェクトファイルを一
体化して単一の実行可能なプログラムまたはライブラリを作成するプログラムである。

バックエンドコンポーネント２１２は、抽象構文木２１６ｂを用いて、ヘッダファイル
２１６およびソースファイル２１４からオブジェクトコードを生成し得る。ヘッダファイ
ル２１６からの抽象構文木２１６ｂは、構文解析済みのヘッダ２２２と、スキャナ２０４
と併せて構文解析器２０６によって作成されたヘッダとの組み合わせを通じて、すでにロ
ードされた場合がある。それにもかかわらず、抽象構文木２１６ｂが一旦ロードされると
、バックエンドコンポーネント２１２は次にオブジェクトファイル２１８を生成し得る。

図３Ａは、同一のヘッダファイルを参照する２つのソースファイルの典型的なコンパイ
ル３００のシーケンス図である。コンパイル３００は、両方がヘッダファイル３０４を参
照するソースファイル３０２とソースファイル３０６を含む。とりわけ、コンパイル３０
０は、コンパイラの異なるステージによって処理され得るため、ソースファイル３０２、
ソースファイル３０６、およびヘッダファイル３０４を表す。オブジェクトファイル３１
０のコンパイルの間、走査ステージ３１４は、ソースファイル３０６およびヘッダファイ
ル３０４を走査して、トークン化された形式２１６ａにし得る。走査ステージ３１４はま
た、プリプロセッサシンボルテーブルを作成し得る。走査ステージ３１４は、スキャナ、
例えば図２のスキャナ２０４によって実装され得る。構文解析ステージ３１６は、ヘッダ
ファイル３０４、ソースファイル３０６を構文解析して、抽象構文木２１６ｂにし得る。
構文解析ステージ３１６は、構文解析器、例えば図２の構文解析器２０６で実装され得る
。引き下げステージ３１８は、引き下げコンポーネント、例えば図２の引き下げコンポー
ネント２２４を使用して、高レベルの抽象構文木２１６ｂを低レベルの抽象構文木２１６
ｂに変換し得る。バックエンドステージ３２０は次に、抽象構文木２１６ｂと、走査ステ
ージ３１４および引き下げステージ３１８から生じたトークンとからオブジェクトファイ
ル３１０を作成し得る。バックエンドステージは、バックエンドコンポーネント、例えば
図２のバックエンドコンポーネント２１２によって実装され得る。同じく、オブジェクト
ファイル３１２のコンパイルの間、上記に記載したすべてのステージが、ヘッダファイル
３０４とソースファイル３０２の両方を処理し得る。ゆえに、ヘッダファイル３０４の処
理は、オブジェクトファイル３１０とオブジェクトファイル３１２の両方のコンパイルに
おいて生じることがあり、これはより多くの処理資源の使用を招き得る。

本明細書に記載されるように、構文解析済みのヘッダを使用すると、コンパイルはより
効率的になり得る。図３Ｂは、一実施形態に従う、同一のヘッダファイルを参照する２つ
のソースファイルを持つ、構文解析済みのヘッダを使用したコンパイル３５０の例のシー
ケンス図である。コンパイル３００と同様に、コンパイル３５０は、ソースファイル３０
２、ヘッダファイル３０４、ソースファイル３０６、オブジェクトファイル３１０、およ
びオブジェクトファイル３１２を表す。さらに、コンパイル３５０は、走査ステージ３１
４、構文解析ステージ３１６、引き下げステージ３１８、および生成ステージ３２０を含
む。コンパイル３００と同様に、ソースファイル３０２およびソースファイル３０６は、
それぞれのステージによって処理されなければならない。しかしながら、コンパイル３５
０はまた、コンパイルの間に使用するための構文解析済みのヘッダ３０８をも含む。その
結果、ヘッダファイル３０４は、走査ステージ３１４、構文解析ステージ３１６、および
引き下げステージ３１８によって、１回だけ処理される必要がある。バックエンドステー
ジ３２０は次に、構文解析済みのヘッダ３０８をオブジェクトファイル３１０およびオブ
ジェクトファイル３１２に組み込むために、構文解析済みのヘッダ３０８のコンテンツを
２回処理し得る。これは、コンパイル３００と比較して、コンパイル３５０が減少した総
コンパイル時間を有するようにし得る。構文解析済みのヘッダ３０８はコンパイル３５０
に関連して使用されるが、当業者であれば構文解析済みのヘッダ３０８はヘッダファイル
３０４を使用するあらゆるコンパイルにおいて使用され得ることを認識するであろう。

図４は、修正された一連のヘッダファイル内の構文解析済みのヘッダを使用したコンパ
イル４００の例のシーケンス図である。コンパイル４００は、ソースファイル４０２、ヘ
ッダファイル４０４、修正されたヘッダファイル４０６、およびヘッダファイル４０８を
表す。修正されたヘッダファイル４０６は、対応する構文解析済みのヘッダファイル４１
２を有し得る。同様に、ヘッダファイル４０４は、対応する構文解析済みのヘッダファイ
ル４１０を有することがあり、ヘッダファイル４０８もまた、対応する構文解析済みのヘ
ッダ４１４を有し得る。ソースファイル４０２は、修正されたヘッダファイル４０６をさ
らに参照し得るヘッダファイル４０４を参照し得る。修正されたヘッダファイル４０６も
また、ヘッダファイル４０８を参照し得る。ゆえに、ヘッダファイル４０４は、修正され
たヘッダファイル４０６およびヘッダファイル４０８に従属し得る。しかしながら、修正
されたヘッダファイル４１４は、構文解析済みのヘッダファイル４１２が最後に作成され
てから、修正された可能性がある。かかる事例において、構文解析済みのヘッダファイル
４１２が修正されたヘッダファイル４０６への最新の変更を反映しない場合があるため、
構文解析済みのヘッダファイル４１２は無効となり得る。

コンパイルの間、親ヘッダファイルが子ヘッダファイルを含むとき、親ヘッダファイル
は、子ヘッダファイル内に含まれる宣言を組み込む。ゆえに、子の中に任意の修正が生じ
ると、子の中の宣言が変更された可能性があるため、コンパイルの間に親に影響を与え得
る。その結果、ヘッダファイル４０４が修正されたヘッダ４０６を参照し得るため、構文
解析済みのヘッダ４１０もまた無効となり得る。ゆえに、修正されたヘッダファイル４０
６が修正された可能性があるため、構文解析済みのヘッダ４１０と構文解析済みのヘッダ
４１２の両方が再作成される必要があり得る。

コンパイル４００は、ヘッダファイルが修正された可能性があるときの処理の数個のス
テージを表す。走査ステージ４１８は、ソースファイルおよびヘッダファイルを走査して
トークンとするように構成され得る。構文解析ステージ４２０は、トークンを構文解析し
て抽象構文木２１６ｂとするように構成され得る。引き下げステージ４２２は、抽象構文
木２１６ｂを低レベルの抽象構文木２１６ｂに変換してもよく、バックエンドステージ４
２４は、低レベルの抽象構文木２１６ｂおよびトークンからオブジェクトファイル４１６
を作成し得る。構文解析済みのヘッダ４１０および構文解析済みのヘッダ４１２が無効化
された可能性があるため、修正されたヘッダファイル４０６およびヘッダファイル４０４
は、すべてのステージによって処理される必要があり得る。しかしながら、ヘッダファイ
ル４０８は修正されたヘッダファイル４０６に従属せず、よって再処理される必要がない
。したがって、構文解析済みのヘッダファイル４１４は無効となっていない場合があり、
オブジェクトファイル４１６を作成するためにバックエンドステージ４２２の間にまだ使
用されることができる。その結果、ヘッダファイルが修正された可能性がある場合でも、
すべてのヘッダがコンパイル４００によって再処理される必要があるわけではない。

図５は、一実施形態に従う構文解析済みのヘッダを作成するための、方法５００のフロ
ーチャートである。方法５００のブロック５１０で、コンピューティングデバイス８００
上の１つ以上のヘッダファイルが走査され、トークン化された形式２１６ａとなる。トー
クン化された形式２１６ａは、１つ以上のヘッダファイルのテキストの中に単語を表す、
一連のトークンであり得る。これは、スキャナ、例えば図２のスキャナ２０４によってな
され得る。これらのトークンは次に、コンピューティングデバイス８００上の、例えばラ
ンダムアクセスメモリ内に、または、上述の通り、データベース内に格納され得る。トー
クンはまた、プリプロセッサシンボルテーブルを作成する際に使用され得る。

ブロック５２０で、コンピューティングデバイス８００上のトークン化された形式２１
６ａが構文解析され、抽象構文木２１６ｂになり得る。それぞれのヘッダファイルが、対
応する抽象構文木を有し得る。これは、構文解析器、例えば図２の構文解析器２０６によ
ってなされ得る。

ブロック５３０で、構文解析済みのヘッダが、ブロック５２０で作成された抽象構文木
２１６ｂから作成され得る。構文解析済みのヘッダは、抽象構文木２１６ｂをモジュール
形式で記憶デバイス８０２にシリアル化することによって作成され得る。構文解析済みの
ヘッダはまた、抽象構文木２１６ｂ、プリプロセッサシンボルテーブル、トークン、また
はヘッダファイルを処理させないようにするために適切であり得る他のかかる情報の組み
合わせをシリアル化することによって作成され得る。記憶デバイス８０２は、例えば、ハ
ードディスクまたはメモリ等のあらゆる種類の永続的または非永続的記憶装置であり得る
。シリアル化は、シリアル化モジュール、例えば図２のシリアル化モジュール２０８によ
って生じ得る。シリアル化は、ＸＭＬファイル、またはあらゆる他の文字列またはバイナ
リベースのファイルの形式をとり得る。とりわけ、シリアル化は、抽象構文木２１６ｂの
コンパイラの内部表現に酷似したデータ表現の形式をとり得る。これは、抽象構文木２１
６ｂ、プリプロセッサシンボルテーブル、またはトークンのより高速なロードを可能にし
得る。

構文解析済みのヘッダファイルのそれぞれが、個別のヘッダファイルに対応し得る。し
かしながら、一実施形態において、構文解析済みのヘッダファイルは、グループ化された
複数個のヘッダファイルに対応し得る。しかし、特定のソフトウエアにおいて構文解析済
みのヘッダが複数個のヘッダファイルを表したとしても、異なる構文解析済みのヘッダフ
ァイルによってそれぞれ表されるさらなるヘッダファイルがなおある場合がある。

方法５００はまた、検証ステージをもさらに含み得る。検証ステージは、構文解析済み
のヘッダに対応するヘッダファイルのそれぞれが、独立してコンパイル可能であるかを確
認し得る。これはまた、これらがその中で定義されるヘッダか、またはこれらのヘッダ内
で参照される一連のヘッダに宣言が結合するように、機能結合、シンボル結合、または両
方を凍結し得る。検証ステージはまた、ヘッダファイルのそれぞれについて識別子の一覧
を作成し得る。識別子はヘッダファイルのテキスト内に出現し得るが、しかし、それら自
体はプリプロセッサシンボルではない。識別子の一覧は、トークンを生成するために使用
されない識別子を除外するようにさらにリファインされ得る。識別子の一覧は次に、構文
解析済みのヘッダファイル内にシリアル化され得る。これは、シリアル化モジュール、例
えば、図２のシリアル化モジュール２０８によって行われ得る。構文解析済みのヘッダが
一旦作成されると、これはさらにコンパイラによってコンパイルのために使用されること
ができる。

図６は、コンパイル中に使用するための、構文解析済みのヘッダをロードするための方
法６００のフローチャートである。方法６００のブロック６１０で、１つ以上のソースフ
ァイル内のディレクティブに基づいて、１つ以上の構文解析済みのヘッダが見つけられる
。この位置は、シリアル化モジュール、例えば、図２のシリアル化モジュール２０８によ
って発見され得る。ソースファイルは、ｉｎｃｌｕｄｅディレクティブ等のディレクティ
ブを用いてヘッダファイルを参照し得る。ヘッダファイルへの参照に基づいて、構文解析
済みのヘッダは、コンピューティングデバイス８００上で見つけられ得る。これは、ソー
スファイルをなんら修正する必要もなく、ソースファイルが構文解析済みのヘッダを使用
することを可能にし得る。とりわけ、ソースファイルが、例えば、ヘッダファイル「ｅｘ
ａｍｐｌｅ．ｈ」を参照すると、構文解析済みのヘッダ「ｅｘａｍｐｌｅ．ｐｐｈ」がそ
の参照に基づいて見つけられ、次にデシリアル化され得る。ゆえに、ソースファイルが「
ｅｘａｍｐｌｅ．ｈ」への参照をなお維持してもよく、また代替的に構文解析済みのヘッ
ダを参照し得る。

ブロック６２０で、１つ以上の抽象構文木２１６ｂがデシリアル化されるか、またはコ
ンピューティングデバイス８００上に格納された構文解析済みのヘッダからロードされ得
る。１つ以上のトークン、１つ以上のプリプロセッサシンボルテーブル、１つ以上の識別
子一覧、またはそれらの任意の組み合わせもまた、コンピューティングデバイス８００上
に格納された構文解析済みのヘッダからロードされ得る。方法５００について述べたよう
に、構文解析済みのヘッダは、抽象構文木２１６ｂのシリアル化されたバージョンであり
得る。しかしながら、構文解析済みのヘッダはまた、プリプロセッサシンボルテーブル、
識別子一覧、およびトークンのシリアル化されたバージョンを含み得る。これは、ＸＭＬ
、テキスト、またはバイナリデータ等のフォーマットであり得る。ゆえに、構文解析済み
のヘッダは、デシリアル化され、直接抽象構文木２１６ｂ、プリプロセッサシンボルテー
ブル、識別子一覧、トークン、またはそれらの任意の組み合わせになり得る。抽象構文木
２１６ｂ、識別子一覧、プリプロセッサシンボルテーブル、およびトークンは次に、コン
ピューティングデバイス８００上にロードされ得る。例えば、抽象構文木２１６ｂは、抽
象構文木２１６ｂのコンパイラの内部データ表現内にロードされ得る。同様に、プリプロ
セッサシンボルテーブルおよびトークンはまた、それらの各々のデータ構造のそれぞれの
中にロードされ得る。これは、コンパイラが、ロードされた抽象構文木２１６ｂ、プリプ
ロセッサシンボルテーブル、および構文解析済みのヘッダからのトークンを使用してソー
スファイルをコンパイルすることを可能にし得る。

方法６００は、現在のコンテキスト内の一貫性について、識別子の一覧およびそれぞれ
の構文解析済みのヘッダのプリプロセッサシンボルテーブルを確認する検証ステージをさ
らに含み得る。例えば、識別子の一覧内の識別子のそれぞれが、そのコンテキスト内で識
別子が置換され得るように、他のいずれかのプリプロセッサシンボルテーブル内の定義さ
れたシンボルであるかを確定するために確認され得る。プリプロセッサシンボルテーブル
もまた、現在のコンテキスト内において、シンボルが置換され得るように、他のいずれか
のプリプロセッサシンボルテーブル内で定義されているシンボルについて確認され得る。
検証ステージは、検証器、例えば、図２の検証器２２０によって行われ得る。特定の構文
解析済みのヘッダについてのコンフリクトが存在することが確定すると、コンパイルの間
に構文解析済みのヘッダの代わりに対応するテクスチャヘッダファイルが使用され得る。

方法６００において、２つ以上の構文解析済みのヘッダファイルが、対応する構文解析
済みのヘッダを有しない共有のヘッダファイルを参照するという状況もまた検出され得る
。かかる事例において、共有のヘッダファイルは、２つ以上の抽象構文木２１６ｂが作成
され得るように、コンパイルの間に２回処理され得る。かかる事例が生じたことが検出さ
れると、抽象構文木２１６ｂはマージされてコンパイルの間に使用するための単一の抽象
構文木を形成し得る。

ブロック６３０で、コンピューティングデバイス８００上の１つ以上の抽象構文木２１
６ｂを使用して、１つ以上のソースファイルがコンパイルされる。コンパイルはまた、プ
リプロセッサシンボルテーブル、トークン、または両方の使用をも含み得る。コンパイル
は、ソフトウエアの必要性に基づいて、構文解析済みのヘッダとヘッダファイルとの組み
合わせを使用し得る。例えば、特定のヘッダファイルが頻繁に修正されている場合、開発
者は構文解析済みのヘッダファイルを使用しないことを決定してもよく、または、構文解
析済みのヘッダファイルを見つけることができない場合、コンパイラは、構文解析済みの
ヘッダファイルの代わりにヘッダファイルを使用してもよい。コンパイルは、例えば、図
２のコンパイラ２００によって行われ得る。

図７は、上述の実施形態、またはその一部分が実装され得る、コンピュータシステム７
００の例を示す。例えば、その一部分を含むコンパイラ２００は、ハードウエア、ソフト
ウエア、ファームウエア、本体上に命令を格納した有形のコンピュータ可読媒体、または
その組み合わせを使用したコンピュータシステム７００において実装されてもよく、また
１つ以上のコンピュータシステムまたは他の処理システム内に実装され得る。ハードウエ
ア、ソフトウエア、またはそれらのいずれかの組み合わせは、モジュール、手順、および
図１〜図６のコンポーネントのいずれをも体現し得る。

当業者は、開示される主題の実施形態は、マルチコアのマルチプロセッサシステム、ミ
ニコンピュータ、メインフレームコンピュータ、分散機能とリンクまたはクラスタ化され
たコンピュータ、ならびに実質的にあらゆるデバイスの中に埋め込まれ得る普及型または
小型コンピュータを含む種々のコンピュータシステム構成とともに実践されることができ
ることを理解し得る。

例えば、少なくとも１つのプロセッサデバイスおよびメモリを有するコンピューティン
グデバイス８００が、上述の実施形態を実装するために使用され得る。プロセッサデバイ
スは、単一のプロセッサ、複数個のプロセッサ、またはその組み合わせでありうる。プロ
セッサデバイスは、１つ以上のプロセッサ「コア」を有し得る。

本発明の種々の実施形態は、このコンピュータシステム７００の例について説明される
。本説明を閲読した後、他のコンピュータシステムおよび／またはコンピュータアーキテ
クチャを使用して、実施形態をどのように実装するかが当業者には明らかとなろう。操作
は連続的な処理として説明され得るが、操作のうちのいくつかは、実際には並行して、一
斉に、および／または分散型の環境においては、単一のまたはマルチプロセッサマシンに
よってアクセスされるために、ローカルでまたはリモートで格納されたプログラムコード
とともに行われ得る。加えて、いくつかの実施形態では、操作の順番は、開示される主題
の精神を逸脱することなく再設定され得る。

当業者によって認識されるように、プロセッサデバイス７０４はまた、単独で動作する
マルチコア／マルチプロセッサシステム内の、またはクラスタでまたはサーバーファーム
内で動作するコンピューティングデバイス８００のクラスタ内の単一のプロセッサであり
得る。プロセッサデバイス７０４は、通信インフラストラクチャ７０６、例えば、バス、
メッセージ待ち行列、ネットワーク、またはマルチコアメッセージ受け渡しスキームに接
続される。

コンピュータシステム７００はまた、メインメモリ７０８、例えば、ランダムアクセス
メモリ（ＲＡＭ）をも含んでもよく、また二次メモリ７１０を含み得る。二次メモリ７１
０は、例えば、ハードディスクドライブ７１２および取り外し可能な記憶ドライブ７１４
を含み得る。取り外し可能な記憶ドライブ７１４は、フロッピーディスクドライブ、磁気
テープドライブ、光ディスクドライブ、フラッシュメモリ、または同様のものを含み得る
。取り外し可能な記憶ドライブ７１４は、周知の手法で取り外し可能な記憶ユニット７１
８から読み出し、および／またはこれに書き込む。取り外し可能な記憶ユニット７１８は
、取り外し可能な記憶ドライブ７１４によって読み出しおよび書き込みされるフロッピー
ディスク、磁気テープ、光ディスク等を含み得る。当業者によって認識されるように、取
り外し可能な記憶ユニット７１８は、そこにコンピュータソフトウエアおよび／またはデ
ータを格納したコンピュータ可読記憶媒体を含む。

コンピュータシステム７００（任意選択）は、グラフィック、テキスト、および通信イ
ンフラストラクチャ７０６からの（または図示されていないフレームバッファからの）他
のデータを、表示ユニット７３０上に表示するために送る表示インターフェース７０２（
キーボード、マウス等の入力および出力デバイスを含むことができる）を含む。

代替的な実装において、二次メモリ７１０は、コンピュータプログラムまたは他の命令
がコンピュータシステム７００上にロードされることを可能にする他の類似の手段を含み
得る。かかる手段は、例えば、取り外し可能な記憶ユニット７２２およびインターフェー
ス７２０を含み得る。かかる手段の例は、プログラムカートリッジおよびカートリッジイ
ンターフェース（ビデオゲーム機器において見られるもの等）、取り外し可能なメモリチ
ップ（ＥＰＲＯＭ、またはＰＲＯＭ等）および関連するソケット、および他の取り外し可
能な記憶ユニット７２２およびソフトウエアおよびデータが取り外し可能な記憶ユニット
７２２からコンピュータシステム７００へと転送されることを可能にするインターフェー
ス７２０を含み得る。

コンピュータシステム７００はまた、通信インターフェース７２４を含み得る。通信イ
ンターフェース７２４は、ソフトウエアおよびデータが、コンピュータシステム７００と
外部デバイスとの間で転送されることを可能にする。通信インターフェース７２４は、モ
デム、ネットワークインターフェース（イーサネットカード等）、ＣＯＭポート、ＰＣＭ
ＣＩＡスロットおよびカード、または同様のものを含み得る。通信インターフェース７２
４を経由して転送されるソフトウエアおよびデータは、信号の形式であってもよく、これ
は通信インターフェース７２４によって受信されることのできる電子、電磁、光、または
他の信号であり得る。これらの信号は、通信パス７２６を経由して通信インターフェース
７２４へと提供され得る。通信パス７２６は信号を運び、ワイヤまたはケーブル、光ファ
イバ、電話回線、携帯電話のリンク、ＲＦリンクまたは他の通信チャネルを使用して実装
され得る。

いくつかの実施形態は、あらゆるコンピュータ可読記憶媒体上に格納されるソフトウエ
アを含むコンピュータ製品向けであり得る。かかるソフトウエアは、１つ以上のデータ処
理デバイス内で実行されるとき、データ処理デバイス（複数を含む）を本明細書に記載の
とおり動作させる。

一部の実施形態は、ハードウエア、ソフトウエア、ファームウエア、またはその組み合
わせにおいて実装され得る。いくつかの実施形態は、複数個のマシン上で並行して走る１
組のプログラムを介して実装され得る。

概要および要約は、発明者（複数を含む）によって企図されるように、本発明の１つ以
上であるがすべてではない例示的実施形態を説明するものであり、ゆえに、本発明および
添付の請求項をなんら制限するように意図されない。

本発明の実施形態は、指定の機能およびその関係の実装を示す機能ビルディングブロッ
クを活用して、上記に記載されている。これらの機能ビルディングブロックの境界は、本
願において説明の便宜のために適宜定義されている。指定の機能およびその関係が適切に
実施される限りにおいて、代替の境界が定義されることができる。

特定の実施形態の先述の説明は、過度の実験を行うことなく、本発明の全体の概念を逸
脱することなく、当該技術の範囲内の知識を適用することにより、かかる特定の実施形態
に種々の用途のために当業者が容易に変形および／または適合を行うことができるように
、本発明の全体の本質を完全に明らかにするものである。したがって、かかる適合および
変形は、本願に記載の教示および指導に基づき、開示される実施形態の同等物の意味およ
び範囲内であることが意図される。本願に記載の表現または専門用語は、本明細書に記載
の表現または専門用語が、教示および指導に照らして当業者によって解釈されるように、
説明を目的するものであって限定のためではないということが理解されるものとする。

本発明の広さおよび範囲は、上述の例示的実施形態のいずれによっても限定されないも
のとする。

Claims (27)

1. コンピューティングデバイス（８００）上で１つ以上のヘッダファイル（１１６、２１６、３０４、４０４、４０８）を走査してトークン化された形式（２１６ａ）にするように構成されるスキャナ（１０４、２０４）と、
   前記コンピューティングデバイス（８００）上で前記トークン化された形式（２１６ａ）を構文解析して１つ以上の抽象構文木（２１６ｂ）にするように構成される構文解析器（１０６、２０６）と、
   前記１つ以上の抽象構文木（２１６ｂ）をモジュール形式で記憶デバイス（８０２）にシリアル化することによって、前記１つ以上のヘッダファイル（１１６、２１６、３０４、４０４、４０８）について、構文解析済みのヘッダ（２２２、３０８、４１０、４１２、４１４）を前記記憶デバイス（８０２）上に作成するように構成されるシリアル化モジュール（２０８）と、を備える、フロントエンドコンポーネントと、
   前記１つ以上の抽象構文木（２１６ｂ）を使用して、１つ以上のソースファイル（１１４、２１４、３０２、３０６）をオブジェクトコード（１１８ａ、２１８ａ）に変換するように構成されるバックエンドコンポーネント（１１２、２１２）と、を備え、
   前記シリアル化モジュール（２０８）は、
   ２つ以上の抽象構文木（２１６ｂ）が等しいかを検出することと、
   前記２つ以上の抽象構文木（２１６ｂ）が等しいことに基づいて、前記２つ以上の抽象構文木（２１６ｂ）を単一の抽象構文木にマージすることと、を行うようにさらに構成され、
   前記等しいかを検出することは、２つ以上のヘッダファイルにより共有されて参照される共有ヘッダファイルから作成される２つ以上の抽象構文木は等しいと検出することを含み、
   前記マージすることは、前記共有ヘッダファイルから作成される前記２つ以上の等しい抽象構文木を単一の抽象構文木にマージすることを含む、コンパイルのシステム（２０５）。
2. 前記シリアル化モジュール（２０８）は、
   １つ以上のソースファイル（１１４、２１４、３０２、３０６）内のディレクティブ（１１４ａ、２１４ａ）に基づいて、前記記憶デバイス（８０２）から前記構文解析済みのヘッダ（２２２、３０８、４１０、４１２、４１４）を見つけることと、
   前記コンピューティングデバイス（８００）上で、前記１つ以上の抽象構文木（２１６ｂ）を前記構文解析済みのヘッダ（２２２、３０８、４１０、４１２、４１４）からデシリアル化することと、を行うようにさらに構成され、
   前記バックエンドコンポーネント（１１２、２１２）は、前記構文解析済みのヘッダ（２２２、３０８、４１０、４１２、４１４）からロードされた前記１つ以上の抽象構文木（２１６ｂ）を使用して、１つ以上のソースファイル（１１４、２１４、３０２、３０６）をオブジェクトコード（１１８ａ、２１８ａ）に変換するようにさらに構成される、請求項１に記載のシステム。
3. 前記シリアル化モジュール（２０８）は、
   １つ以上のヘッダファイル（１１６、２１６、３０４、４０４、４０８）を指定する、ソースファイル（１１４、２１４、３０２、３０６）内の１つ以上の既存のディレクティブ（１１４ａ、２１４ａ）を受け取ることと、
   前記ソースファイル（１１４、２１４、３０２、３０６）内の前記１つ以上の既存のディレクティブ（１１４ａ、２１４ａ）に基づいて、前記記憶デバイス（８０２）上で１つ以上の対応するシリアル化された構文解析済みのヘッダ（２２２、３０８、４１０、４１２、４１４）を見つけることと、を行うようにさらに構成される、請求項２に記載のシステム。
4. 前記ディレクティブ（１１４ａ、２１４ａ）は、ｉｎｃｌｕｄｅディレクティブを含む、請求項３に記載のシステム。
5. 前記フロントエンドコンポーネント（１０２、２０２）は、前記１つ以上のヘッダファイル（１１６、２１６、３０４、４０４、４０８）が独立してコンパイル可能であるかを決定するように構成される検証器をさらに備える、請求項１〜４のいずれか一項に記載のシステム。
6. 前記フロントエンドコンポーネント（１０２、２０２）は、前記１つ以上のヘッダファイル（１１６、２１６、３０４、４０４、４０８）内でシンボル結合を凍結するように構成される検証器をさらに備える、請求項１〜５のいずれか一項に記載のシステム。
7. 前記フロントエンドコンポーネント（１０２、２０２）は、
   前記コンピューティングデバイス（８００）上で、前記１つ以上のヘッダファイル（１１６、２１６、３０４、４０４、４０８）内の変更を検出することと、
   変更された前記１つ以上のヘッダファイル（１１６、２１６、３０４、４０４、４０８）のそれぞれについて、１つ以上の新しい抽象構文木（２１６ｃ）を前記コンピューティングデバイス（８００）上で生成することと、
   前記１つ以上の新しい抽象構文木（２１６ｃ）をモジュール形式で記憶デバイス（８０２）にシリアル化することにより、変更された前記１つ以上のヘッダファイル（１１６、２１６、３０４、４０４、４０８）のそれぞれについて、１つ以上の新しい構文解析済みのヘッダ（２２２、３０８、４１０、４１２、４１４）を作成することと、を行うように構成される修正検出器をさらに備える、請求項１〜６のいずれか一項に記載のシステム。
8. 前記シリアル化モジュール（２０８）は、前記１つ以上の抽象構文木（２１６ｂ）のそれぞれについて、構文解析済みのヘッダを作成する、請求項１〜７のいずれか一項に記載のシステム。
9. 前記スキャナ（１０４、２０４）は、１つ以上のシンボルについて、前記トークン化された形式（２１６ａ）を走査することと、前記１つ以上のシンボルに基づいて、１つ以上のプリプロセッサシンボルテーブルを作成することと、を行うようにさらに構成され、
   前記シリアル化モジュール（２０８）は、
   前記１つ以上の抽象構文木（２１６ｂ）をモジュール形式で前記記憶デバイス（８０２）にシリアル化することと、
   前記トークン化された形式（２１６ａ）をモジュール形式で前記記憶デバイス（８０２）にシリアル化することと、
   前記１つ以上のプリプロセッサシンボルテーブルをモジュール形式で前記記憶デバイス（８０２）にシリアル化することと、により、前記１つ以上のヘッダファイル（１１６、２１６、３０４、４０４、４０８）について、構文解析済みのヘッダ（２２２、３０８、４１０、４１２、４１４）を記憶デバイス（８０２）上に作成するように構成される、請求項１〜８のいずれか一項に記載のシステム。
10. 前記シリアル化モジュール（２０８）は、
    １つ以上のソースファイル（１１４、２１４、３０２、３０６）内のディレクティブ（１１４ａ、２１４ａ）に基づいて、前記記憶デバイス（８０２）から前記構文解析済みのヘッダ（２２２、３０８、４１０、４１２、４１４）を見つけることと、
    前記コンピューティングデバイス（８００）上で、前記１つ以上の抽象構文木（２１６ｂ）を前記構文解析済みのヘッダ（２２２、３０８、４１０、４１２、４１４）からデシリアル化することと、
    前記コンピューティングデバイス（８００）上で、前記トークン化された形式（２１６ａ）を前記構文解析済みのヘッダ（２２２、３０８、４１０、４１２、４１４）からデシリアル化することと、
    前記コンピューティングデバイス（８００）上で、前記１つ以上のプリプロセッサシンボルテーブルを、前記構文解析済みのヘッダ（２２２、３０８、４１０、４１２、４１４）からデシリアル化することと、を行うようにさらに構成され、
    前記バックエンドコンポーネント（１１２、２１２）は、前記１つ以上の抽象構文木（２１６ｂ）、前記１つ以上のプリプロセッサシンボルテーブル、および前記構文解析済みのヘッダ（２２２、３０８、４１０、４１２、４１４）から前記トークン化された形式（２１６ａ）を使用して、１つ以上のソースファイル（１１４、２１４、３０２、３０６）をオブジェクトコード（１１８ａ、２１８ａ）に変換するようにさらに構成される、請求項９に記載のシステム。
11. 前記１つ以上のヘッダファイル（１１６、２１６、３０４、４０４、４０８）から、１つ以上の識別子の一覧を作成することと、
    前記各々の識別子が前記トークン化された形式（２１６ａ）で存在するかに基づいて、前記１つ以上の識別子の一覧の中のそれぞれの識別子を削除することと、を行うように構成される検証器（２２０）をさらに含む、請求項９又は１０に記載のシステム。
12. シリアル化モジュール（２０８）は、前記１つ以上の識別子の一覧をモジュール形式で記憶デバイス（８０２）にシリアル化するようにさらに構成される、請求項１１に記載のシステム。
13. 前記検証器（２２０）は、前記１つ以上の識別子の一覧が１つ以上のプリプロセッサシンボルテーブルと一致することを検証するようにさらに構成される、請求項１１に記載のシステム。
14. コンピュータ可読記憶媒体上に記憶されたコードを有するコンピュータ可読プログラムであって、１つ以上のプロセッサによって実行されるとき、前記１つ以上のプロセッサに、
    コンピューティングデバイス（８００）上の１つ以上のヘッダファイル（１１６、２１６、３０４、４０４、４０８）を走査（５１０）して、トークン化された形式（２１６ａ）にすることと、
    前記コンピューティングデバイス（８００）上の前記トークン化された形式（２１６ａ）を構文解析（５２０）して、１つ以上の抽象構文木（２１６ｂ）にすることと、
    前記１つ以上の抽象構文木（２１６ｂ）をモジュール形式で記憶デバイス（８０２）にシリアル化することにより、前記１つ以上のヘッダファイル（１１６、２１６、３０４、４０４、４０８）について、１つ以上の構文解析済みのヘッダ（２２２、３０８、４１０、４１２、４１４）を作成（５３０）することと、
    ２つ以上の抽象構文木（２１６ｂ）が等しいかを検出することと、
    前記２つ以上の抽象構文木（２１６ｂ）が等しいことに基づいて、前記２つ以上の抽象構文木（２１６ｂ）を単一の抽象構文木にマージすることと、を含む操作を行わせ、
    前記等しいかを検出することは、２つ以上のヘッダファイルにより共有されて参照される共有ヘッダファイルから作成される２つ以上の抽象構文木は等しいと検出することを含み、
    前記マージすることは、前記共有ヘッダファイルから作成される前記２つ以上の等しい抽象構文木を単一の抽象構文木にマージすることを含む、コンピュータ可読プログラム。
15. 前記操作は、
    １つ以上のソースファイル（１１４、２１４、３０２、３０６）内のディレクティブ（１１４ａ、２１４ａ）に基づいて、前記記憶デバイス（８０２）から前記１つ以上の構文解析済みのヘッダ（２２２、３０８、４１０、４１２、４１４）を見つけることと、
    前記コンピューティングデバイス（８００）上の前記１つ以上の抽象構文木（２１６ｂ）を、前記構文解析済みのヘッダ（２２２、３０８、４１０、４１２、４１４）からデシリアル化することと、
    前記コンピューティングデバイス（８００）上の前記１つ以上の抽象構文木（２１６ｂ）を使用して、前記１つ以上のソースファイル（１１４、２１４、３０２、３０６）をコンパイルすることと、をさらに含む、請求項１４に記載のコンピュータ可読プログラム。
16. 前記１つ以上の構文解析済みのヘッダ（２２２、３０８、４１０、４１２、４１４）を見つけることは、
    ソースファイル（１１４、２１４、３０２、３０６）内の１つ以上の既存のディレクティブ（１１４ａ、２１４ａ）であって、１つ以上のヘッダファイル（１１６、２１６、３０４、４０４、４０８）を指定する、前記ディレクティブ（１１４ａ、２１４ａ）を受け取ることと、
    前記ソースファイル（１１４、２１４、３０２、３０６）内の前記１つ以上の既存のディレクティブ（１１４ａ、２１４ａ）に基づいて、前記記憶デバイス（８０２）上で１つ以上の対応するシリアル化された構文解析済みのヘッダ（２２２、３０８、４１０、４１２、４１４）を見つけることと、を含む、請求項１５に記載のコンピュータ可読プログラム。
17. 前記ディレクティブ（１１４ａ、２１４ａ）は、「ｉｎｃｌｕｄｅディレクティブ」を含む、請求項１６に記載のコンピュータ可読プログラム。
18. 前記１つ以上のヘッダファイル（１１６、２１６、３０４、４０４、４０８）は、独立してコンパイル可能である、請求項１４〜１７のいずれか一項に記載のコンピュータ可読プログラム。
19. 前記操作は、前記１つ以上のヘッダファイル（１１６、２１６、３０４、４０４、４０８）内でシンボル結合を凍結することをさらに含む、請求項１４〜１８のいずれか一項に記載のコンピュータ可読プログラム。
20. 前記操作は、
    前記コンピューティングデバイス（８００）上で、前記１つ以上のヘッダファイル（１１６、２１６、３０４、４０４、４０８）内の変更を検出することと、
    前記コンピューティングデバイス（８００）上で、変更された前記１つ以上のヘッダファイル（１１６、２１６、３０４、４０４、４０８）のそれぞれについて、１つ以上の新しい抽象構文木（２１６ｃ）を生成することと、
    前記１つ以上の新しい抽象構文木（２１６ｃ）をモジュール形式で記憶デバイス（８０２）にシリアル化することにより、変更された前記１つ以上のヘッダファイル（１１６、２１６、３０４、４０４、４０８）のそれぞれについて、１つ以上の新しい構文解析済みのヘッダ（２２２、３０８、４１０、４１２、４１４）を作成することと、をさらに含む、請求項１４〜１９のいずれか一項に記載のコンピュータ可読プログラム。
21. 前記操作は、
    変更された前記１つ以上のヘッダファイル（１１６、２１６、３０４、４０４、４０８）のそれぞれについて、前記記憶デバイス（８０２）から前記新しい構文解析済みのヘッダ（２２２、３０８、４１０、４１２、４１４）を見つけることと、
    前記コンピューティングデバイス（８００）上で、変更された前記１つ以上のヘッダファイル（１１６、２１６、３０４、４０４、４０８）のそれぞれについて、前記新しい構文解析済みのヘッダ（２２２、３０８、４１０、４１２、４１４）から、前記新しい抽象構文木（２１６ｃ）をデシリアル化することと、
    前記コンピューティングデバイス（８００）上で、変更された前記１つ以上のヘッダファイル（１１６、２１６、３０４、４０４、４０８）のそれぞれからの、前記新しい抽象構文木（２１６ｃ）を使用して、ソースファイル（１１４、２１４、３０２、３０６）をコンパイルすることと、をさらに含む、請求項２０に記載のコンピュータ可読プログラム。
22. 前記１つ以上のヘッダファイル（１１６、２１６、３０４、４０４、４０８）について、前記１つ以上の抽象構文木（２１６ｂ）をモジュール形式で記憶デバイス（８０２）にシリアル化することは、前記１つ以上の抽象構文木（２１６ｂ）のそれぞれについてシリアル化されたファイルを作成することを含む、請求項１４〜２１のいずれか一項に記載のコンピュータ可読プログラム。
23. 前記操作は、複数個のヘッダをモジュールにグループ化することをさらに含み、前記複数のヘッダが、単一のシリアル化されたファイルの中に含まれる、請求項２２に記載のコンピュータ可読プログラム。
24. コンピューティングデバイス（８００）上で、前記１つ以上のヘッダファイル（１１６、２１６、３０４、４０４、４０８）を走査してトークン化された形式（２１６ａ）にすることは、１つ以上のシンボルについて前記トークン化された形式（２１６ａ）を走査することと、前記１つ以上のシンボルに基づいて１つ以上のプリプロセッサシンボルテーブルを作成することと、をさらに含み、
    前記１つ以上のヘッダファイル（１１６、２１６、３０４、４０４、４０８）について前記１つ以上の構文解析済みのヘッダ（２２２、３０８、４１０、４１２、４１４）を作成することは、
    前記１つ以上の抽象構文木（２１６ｂ）をモジュール形式で記憶デバイス（８０２）にシリアル化することと、
    前記トークン化された形式（２１６ａ）をモジュール形式で前記記憶デバイス（８０２）にシリアル化することと、
    前記１つ以上のプリプロセッサシンボルテーブルをモジュール形式で前記記憶デバイス（８０２）にシリアル化することと、を含む、請求項１４〜２３のいずれか一項に記載のコンピュータ可読プログラム。
25. 前記操作は、１つ以上のソースファイル（１１４、２１４、３０２、３０６）内のディレクティブ（１１４ａ、２１４ａ）に基づいて、前記記憶デバイス（８０２）から前記１つ以上の構文解析済みのヘッダ（２２２、３０８、４１０、４１２、４１４）を見つけることと、
    前記コンピューティングデバイス（８００）上で、前記構文解析済みのヘッダ（２２２、３０８、４１０、４１２、４１４）から前記１つ以上の抽象構文木（２１６ｂ）をデシリアル化することと、
    前記コンピューティングデバイス（８００）上で、前記構文解析済みのヘッダ（２２２、３０８、４１０、４１２、４１４）から前記トークン化された形式（２１６ａ）をデシリアル化することと、
    前記コンピューティングデバイス（８００）上で、前記構文解析済みのヘッダ（２２２、３０８、４１０、４１２、４１４）から前記１つ以上のプリプロセッサシンボルテーブルをデシリアル化することと、
    前記コンピューティングデバイス（８００）上で、前記１つ以上の抽象構文木（２１６ｂ）、前記１つ以上のプリプロセッサシンボルテーブル、および前記トークン化された形式（２１６ａ）を使用して、前記１つ以上のソースファイル（１１４、２１４、３０２、３０６）をコンパイルすることと、をさらに含む、請求項２４に記載のコンピュータ可読プログラム。
26. コンピューティングデバイス（８００）上で、１つ以上のヘッダファイル（１１６、２１６、３０４、４０４、４０８）を走査してトークン化された形式（２１６ａ）にすることは、
    前記１つ以上のヘッダファイル（１１６、２１６、３０４、４０４、４０８）から１つ以上の識別子の一覧を作成することと、
    前記各々の識別子が、前記トークン化された形式（２１６ａ）で存在するかに基づいて、前記１つ以上の識別子の一覧の中のそれぞれの識別子を削除することと、をさらに含み、
    前記１つ以上のヘッダファイル（１１６、２１６、３０４、４０４、４０８）について、前記１つ以上の構文解析済みのヘッダ（２２２、３０８、４１０、４１２、４１４）を作成することは、前記１つ以上の識別子の一覧をモジュール形式で記憶デバイス（８０２）にシリアル化することをさらに含む、請求項２４又は２５に記載のコンピュータ可読プログラム。
27. 前記操作は、前記１つ以上の識別子の一覧が１つ以上のプリプロセッサシンボルテーブルと一致することを検証することをさらに含む、請求項２６に記載のコンピュータ可読プログラム。

Images