JP7034390B1 - コード補正装置、および、コード補正方法 - Google Patents

Abstract

コード補正に伴うプログラムの停止時間を短縮する。本願明細書に開示される技術に関するコード補正装置は、リロケータブルなオブジェクトファイルをロードするロード部と、ロード部においてロードされたオブジェクトファイルの、コード補正を行う位置および対応する補正内容の対を要素として、複数の要素を用いてコード補正計画リストを作成するコード補正計画部と、コード補正計画リストが作成された後で、コード補正計画リストに基づいて複数のコード補正を実行するコード補正実行部とを備える。

Description

本願明細書に開示される技術は、コード補正に関するものである。

計算機システムにおける機能の追加または修正などを行う方法として、プログラムの更新がある。プログラムの更新の方法としては、プログラム全体を更新する方法とプログラムの一部を更新する方法とがある。以下では、後者をプログラムの部分更新とも呼び、特にプログラムのコンパイル単位での更新を想定する。

プログラムの部分更新の実現手段として、従来から、動的ライブラリを用いる方法がある。しかしながら、動的ライブラリの実行に伴う実行効率の低下または遅延などが問題となる場合がある。

プログラムが動的ライブラリを用いる場合、動的ライブラリに存在する関数の呼び出しは間接呼び出しとなる。このため、動的ライブラリに存在する関数の呼び出しは、通常の関数の呼び出しに比べて実行効率が低い。また、動的ライブラリに存在する関数の初回の呼び出し時には、トランポリンコードが呼び出される。このため、動的ライブラリに存在する関数の初回の呼び出し時には遅延が伴う。

したがって、このような実行効率の低下または遅延などを許容することができない組み込みシステムなどのプログラムの部分更新には、動的ライブラリを用いる方法は利用できないという問題がある。

このような問題を解決する手段として、従来から、静的ライブラリと類似の仕組みで、プログラムの部分更新を行う方法が存在する（たとえば、特許文献１）。

たとえば、特許文献１に示されるコード補正装置では、コード補正部が、リロケータブルなシンボルを参照している命令に基づいて解決したシンボル値を用いて、命令コードの補正を行う。

特開２０００－１５５６７３号公報

プログラムの更新の際には、更新対象（すなわち、補正対象）であるプログラムを一旦停止し、プログラムにおけるコードの補正（すなわち、コード補正）を行う必要がある。更新対象であるプログラムの実行中にコード補正を行うと、リロケータブルなシンボルを参照している命令の一部だけが書き換わった状態で当該プログラムが実行され得る。その場合、正しいプログラムの動作を保証することができない。したがって、プログラムの更新の際には、更新対象であるプログラムを停止する必要がある。

上記のプログラムの停止時間は短いほどよい。たとえば、周期的に実行されることでサービスを提供するプログラムの場合、上記更新の際のプログラムの停止時間がその実行周期よりも十分に短ければ、プログラムの更新前後でサービスを停止する必要がない。

しかしながら、たとえば特許文献１に示されたコード補正部では、命令コードの補正に時間がかかるため、プログラムの更新の際にプログラムを長時間停止する必要があるという問題があった。上記の命令コードの補正では、リロケーションテーブルを巡回することでリロケータブルなシンボルを参照している命令をすべて発見し、個々のシンボルのアドレス（シンボルアドレス）を解決する。シンボルアドレスは、文字列表現のシンボル名と紐づけられてメモリに格納される。したがって、シンボルアドレスの解決には、文字列によるシンボルアドレスの検索が必要である。

これによって、従来の命令コードの補正では、シンボルアドレスの検索処理のための時間が必要となり、コード補正に比較的長い時間を要していた。それに伴い、プログラムの停止時間も比較的長いものとなっていた。

本願明細書に開示される技術は、以上に記載されたような問題を鑑みてなされたものであり、コード補正に伴うプログラムの停止時間を短縮するための技術である。

本願明細書に開示される技術の第１の態様であるコード補正装置は、リロケータブルなオブジェクトファイルをロードするロード部と、前記ロード部においてロードされた前記オブジェクトファイルと事前にロード済みの前記オブジェクトファイルとの、コード補正を行う位置および対応する補正内容の対を要素として、複数の前記要素を用いてコード補正計画リストを作成するコード補正計画部と、前記コード補正計画リストが作成された後で、前記コード補正計画リストに基づいて複数の前記コード補正を実行するコード補正実行部とを備え、前記コード補正計画部は、前記コード補正の前後で前記コード補正を行う位置における値が変化するか否かを確認する手段を備え、前記コード補正計画リストを作成し、前記コード補正計画部は、前記コード補正の前後で前記コード補正を行う位置に新たに追加される前記要素である新規要素を除いて前記コード補正計画リストを作成する。

本願明細書に開示される技術の少なくとも第１の態様によれば、コード補正計画部によってコード補正計画リストが作成されている間はコード補正が実行されないため、補正対象であるプログラムを停止させる必要がない。そのため、プログラムの停止時間を短縮させることができる。

また、本願明細書に開示される技術に関連する目的と、特徴と、局面と、利点とは、以下に示される詳細な説明と添付図面とによって、さらに明白となる。

実施の形態に関する、コード補正装置の例を概念的に示す図である。 本ユースケースで想定する更新対象であるプログラムの例を示す図である。 ｆｏｏ．ｏを入力としてリンク処理を行った直後のメモリの様子を示す図である。 ｂａｒ．ｏを入力としてリンク処理を行った直後のメモリの様子を示す図である。 ｍａｉｎ．ｏを入力としてリンク処理を行った直後のメモリの様子を示す図である。 新しいｂａｒ．ｏを入力としてリンク処理を行った後のメモリの様子を示す図である。 実施の形態に関する、コード補正計画部の動作の例を示すフローチャートである。 実施の形態に関する、コード補正実行部の動作の例を示すフローチャートである。 従来のコード補正処理の例を示すフローチャートである。 実施の形態に関する、コード補正計画部の動作の例を示すフローチャートである。 実施の形態に関する、コード補正計画部の動作の例を示すフローチャートである。 実施の形態に関する、コード補正装置の例を概念的に示す図である。 本実施の形態に関するコード補正装置の構成（機能部）の例を概念的に示す図である。 図１に例が示されるコード補正装置を実際に運用する場合のハードウェア構成を概略的に例示する図である。 図１に例が示されるコード補正装置を実際に運用する場合のハードウェア構成を概略的に例示する図である。

以下、添付される図面を参照しながら実施の形態について説明する。以下の実施の形態では、技術の説明のために詳細な特徴なども示されるが、それらは例示であり、実施の形態が実施可能となるためにそれらすべてが必ずしも必須の特徴ではない。

なお、図面は概略的に示されるものであり、説明の便宜のため、適宜、構成の省略、または、構成の簡略化が図面においてなされるものである。また、異なる図面にそれぞれ示される構成などの大きさおよび位置の相互関係は、必ずしも正確に記載されるものではなく、適宜変更され得るものである。また、断面図ではない平面図などの図面においても、実施の形態の内容を理解することを容易にするために、ハッチングが付される場合がある。

また、以下に示される説明では、同様の構成要素には同じ符号を付して図示し、それらの名称と機能とについても同様のものとする。したがって、それらについての詳細な説明を、重複を避けるために省略する場合がある。

また、本願明細書に記載される説明において、ある構成要素を「備える」、「含む」または「有する」などと記載される場合、特に断らない限りは、他の構成要素の存在を除外する排他的な表現ではない。

また、本願明細書に記載される説明において、「第１の」または「第２の」などの序数が用いられる場合があっても、これらの用語は、実施の形態の内容を理解することを容易にするために便宜上用いられるものであり、実施の形態の内容はこれらの序数によって生じ得る順序などに限定されるものではない。

＜コード補正装置の概念的な構成について＞
図１３は、本実施の形態に関するコード補正装置の構成（機能部）の例を概念的に示す図である。

図１３に例示されるようにコード補正装置は、ロード部３００１と、コード補正計画部３００２と、コード補正実行部３００３とを備える。

ロード部３００１は、リロケータブルなオブジェクトファイルをロードする。コード補正計画部３００２は、ロード部３００１においてロードされたオブジェクトファイルの、コード補正を行う位置および対応する補正内容の対を要素として、複数の要素を用いてコード補正計画リストを作成する。コード補正実行部３００３は、コード補正計画リストが作成された後で、コード補正計画リストに基づいて複数のコード補正を実行する。

以下の実施の形態において図面などを用いて示されるそれぞれの構成は、上記の図１３に示された構成の例をさらに具体的に示すものである。

＜第１の実施の形態＞
以下、本実施の形態に関するコード補正装置、および、コード補正方法について説明する。

＜コード補正装置の構成について＞
図１は、本実施の形態に関する、コード補正装置の例を概念的に示す図である。コード補正装置は、ロード部１０１と、コード補正計画部１０２と、コード補正実行部１０３とを備える。

コード補正装置は、リロケータブルオブジェクトファイル１０４を入力とし、リロケータブルオブジェクトファイル１０４をメモリ上にロードし、図示しない中央演算処理装置（ｃｅｎｔｒａｌ ｐｒｏｃｅｓｓｉｎｇ ｕｎｉｔ、すなわち、ＣＰＵ）が正しくオブジェクトファイルを実行することができるようにリンクする機能を有する。

ロード部１０１は、リロケータブルオブジェクトファイル１０４をネットワークまたはファイルシステムなどから取得し、リロケータブルオブジェクトファイル１０４に含まれるコードをメモリ上にそのまま展開する。なお、本明細書では、プログラムを構成する命令およびデータの両方をコードと呼ぶ。

ロード部１０１がメモリ上に展開したコードで定義される個々のシンボルについて、そのシンボル名をＸとし、ロード先アドレスをＹとすると、ロード部１０１は、シンボル名Ｘおよびロード先アドレスＹの対を、グローバルなシンボルテーブル（グローバルシンボルテーブル１０５）に登録する。

グローバルシンボルテーブル１０５は、ロード済みのオブジェクトファイルで定義されるシンボル名およびそのロード先アドレスの対を表として保持するデータ構造である。グローバルシンボルテーブル１０５は、主記憶装置または外部記憶装置に格納されるものとする。

ロード部１０１は、シンボル名Ｘがすでにグローバルシンボルテーブル１０５にエントリーを有する場合（すなわち、登録されている場合）、新たなロード先アドレスＹで当該エントリーを更新する。すなわち、オブジェクトファイルをロードするごとに、グローバルシンボルテーブル１０５は更新される。なお、ここでのシンボルは、関数または変数などを意味する。

コード補正計画部１０２は、ロード部１０１においてロードされたオブジェクトファイル群のリロケーションテーブルのエントリーを巡回し、コードの書き換えが必要な場所ごとに書き換えるべき値を決定する。ただし、コード補正計画部１０２は、コードの書き換えは直ちには行われない。代わりにコード補正計画部１０２は、コードの書き換えが必要な箇所のアドレスおよび書き換えるべき値の対を、コード補正計画リストに追加する。なお、コード補正計画部１０２は、コードの書き換えが必要な箇所のアドレスおよび書き換えるべき値を決定するのみで、実際のコードの書き換えは行わない。

コード補正実行部１０３は、コード補正計画部１０２において作成および更新されたコード補正計画リストを巡回し、コードの書き換えが必要な箇所にコード補正を実行する。すなわち、コード補正実行部１０３は、プログラムのコードを実際に書き換える。

リロケータブルオブジェクトファイル１０４は、一般的なコンパイラが生成するオブジェクトファイルである。本実施の形態では、ＥＬＦのリンク可能ファイル（ＥＬＦファイル）を想定するが、他のオブジェクトファイルフォーマットであってもよい。

ＥＬＦファイルは、複数のセクションから構成される。それぞれのセクションとしては、その役割ごとに、コードセクション、シンボルテーブルまたはリロケーションテーブルなどが存在する。

コードセクションには、命令列を保持する．ｔｅｘｔセクションと、データを保持する．ｄａｔａセクションとが別々に存在する。両者の違いは、読み、書き、実行の権限、または、ロード先メモリの領域などの違いであり、リンク対象としては両者に本質的な相違はない。

シンボルテーブルには、コードが使用または定義するシンボル（変数名または関数名）の一覧が保持される。また、リロケータブルオブジェクトファイル１０４中のコードでシンボルが定義されている場合、当該シンボルに対応するシンボルテーブルのエントリーは、リロケータブルオブジェクトファイル１０４中での定義位置を保持する。なお、本明細書では、グローバルシンボルテーブル１０５、および、シンボルテーブルという類似する用語を用いるが、単にシンボルテーブルと記載する場合は、リロケータブルオブジェクトファイル１０４中のシンボルテーブルを指すものとする。

リロケーションテーブルは、コード中のシンボル参照箇所の情報を保持するテーブルである。コード中のシンボル参照箇所ごとにエントリーが存在する。

以下では、細部の説明を行う前に、本実施の形態のユースケースとしてプログラムを構成する複数のリロケータブルオブジェクトファイル１０４をロードし、一部のリロケータブルオブジェクトファイル１０４を置き換えることでプログラムの部分更新を行う例を示す。

図２は、本ユースケースで想定する更新対象であるプログラム（Ｃ言語プログラム）の例を示す図である。本ユースケースでは、更新対象であるプログラムは３つの関数ｆｏｏ、関数ｂａｒおよび関数ｍａｉｎから構成されるものとする。図２に示されるように、関数ｍａｉｎは関数ｂａｒを呼び出し、関数ｂａｒは関数ｆｏｏを呼び出す。また、それぞれの関数は、異なるソースファイルであるｆｏｏ．ｃ、ｂａｒ．ｃおよびｍａｉｎ．ｃそれぞれに格納されているものとする。

上記のプログラムをｇｃｃなどの通常のコンパイラでコンパイルすると、ＥＬＦ形式のリロケータブルオブジェクトファイルであるｆｏｏ．ｏ、ｂａｒ．ｏおよびｍａｉｎ．ｏが得られる。

このプログラムを実行するには、ｆｏｏ．ｏ、ｂａｒ．ｏおよびｍａｉｎ．ｏを順に図１に示されたコード補正装置に入力してリンク処理を行う。また、新しくプログラムを書き換えることによって作り直されたソースファイルであるｂａｒ．ｃの内容を反映させる場合には、当該ｂａｒ．ｃをコンパイルして得られるリロケータブルオブジェクトファイルであるｂａｒ．ｏを、再度図１に示されたコード補正装置に入力してリンク処理を行えばよい。このような操作について、図３、図４、図５および図６を用いて説明する。

まず、ｆｏｏ．ｏを入力としてリンク処理を行う。図３は、ｆｏｏ．ｏを入力としてリンク処理を行った直後のメモリの様子を示す図である。この場合、図１に示されたコード補正装置では、ロード部１０１が、リロケータブルオブジェクトファイルであるｆｏｏ．ｏに含まれるコードとリロケーションテーブルとをメモリ上に展開する。また、ロード部１０１は、ｆｏｏ．ｏを展開した結果確定したシンボルのアドレスを、グローバルシンボルテーブル１０５に反映する。

次に、ｂａｒ．ｏを入力として２回目のリンク処理を行う。図４は、ｂａｒ．ｏを入力としてリンク処理を行った直後のメモリの様子を示す図である。図４では、ロード部１０１によって、リロケータブルオブジェクトファイルであるｂａｒ．ｏに含まれるコードとリロケーションテーブルとがメモリ上に展開されている。また、関数ｂａｒのコードは関数ｆｏｏの呼び出しを含むが、関数ｆｏｏの呼び出し箇所は、正しく関数ｆｏｏを呼び出されるように関数ｆｏｏのアドレスで書き換えられている。

次に、ｍａｉｎ．ｏを入力として３回目のリンク処理を行う。図５は、ｍａｉｎ．ｏを入力としてリンク処理を行った直後のメモリの様子を示す図である。図５では、図４で示された状態のメモリに対して、リロケータブルオブジェクトファイルであるｍａｉｎ．ｏに含まれるコードとリロケーションテーブルとがメモリ上に展開されている。また、関数ｍａｉｎのコードにおける関数ｂａｒの呼び出し箇所は、関数ｂａｒのアドレスで更新されている。

ここまでの３回のリンク処理でｍａｉｎ関数の実行準備は完了である。ＣＰＵが関数ｍａｉｎを実行すると、関数ｂａｒが実行され、さらに、関数ｆｏｏが実行される。

次に、関数ｂａｒを入れ替えることでプログラムを部分更新する場合を考える。まず、新しいソースファイルであるｂａｒ．ｃを作成し、さらにコンパイラでコンパイルして新しい関数ｂａｒに対応する新しいリロケータブルオブジェクトファイルであるｂａｒ．ｏを生成する。

そして、新しいｂａｒ．ｏを入力としてリンク処理を行うことで、新しい関数ｂａｒが有効となる。図６は、新しいｂａｒ．ｏを入力としてリンク処理を行った後のメモリの様子を示す図である。コード補正装置におけるロード部１０１は、グローバルシンボルテーブル１０５の関数ｂａｒのエントリーを新しい関数ｂａｒのアドレスで更新する。次に、コード補正装置におけるコード補正計画部１０２が、新たにロードされた新しい関数ｂａｒにおける関数ｆｏｏの呼び出し箇所と、すでにロードされている関数ｍａｉｎにおける関数ｂａｒの呼び出し箇所とについて、書き換えるべき値をそれぞれ決定する。さらに、コード補正装置におけるコード補正実行部１０３が、これらの箇所についてコード補正を行う。この際、関数ｆｏｏの呼び出し箇所で書き換えるべき値は、先のリンク処理において既にグローバルシンボルテーブル１０５に登録された関数ｆｏｏのアドレスである。また、関数ｂａｒの呼び出し箇所で書き換えるべき値は、先のリンク処理において既にグローバルシンボルテーブル１０５に登録された関数ｂａｒのアドレスである。

以下では、上記のユースケースを実現可能なロード部１０１、コード補正計画部１０２およびコード補正実行部１０３について説明する。

ロード部１０１は、ＥＬＦファイルのコードセクションをメモリ上に展開する一般的な処理を行うものである。ロード部１０１は、オブジェクトファイルＦをメモリ上の空き領域にロードする。ここでは、ＥＬＦファイル全体をメモリ上に配置するものとする。

オブジェクトファイルＦのシンボルテーブルには、オブジェクトファイルＦで定義されているシンボル名ＸごとのオフセットＯが保持されている。オフセットＯは、シンボル名Ｘのシンボルが定義されているセクションの先頭からのバイトオフセットの値である。また、オブジェクトファイルＦのセクションヘッダテーブルは、当該セクションの位置をファイル先頭からのオフセットＰとして保持している。

このため、ＥＬＦファイルがアドレスＡにロードされた場合、シンボル名Ｘのロード先アドレスＹは、アドレスＡとセクションの先頭からのオフセットＯと当該セクションのファイル先頭からのオフセットＰとの和、すなわち、Ａ＋Ｏ＋Ｐとして算出することができる。

ロード部１０１（配置手段）は、シンボルテーブルを巡回し、オブジェクトファイルで定義されているシンボルごとにロード先アドレスＹを算出し、シンボル名Ｘおよびロード先アドレスＹの対をグローバルシンボルテーブル１０５に登録する。

ロードされたプログラムは、オブジェクトファイルで定義された外の関数または変数などのアドレスを参照している場合がある。そのような場合、関数または変数などのアドレスを参照している箇所を正しいアドレスに書き換えて格納する必要がある。

関数または変数などのアドレス参照箇所の一覧は、オブジェクトファイルのリロケーションテーブルに格納されている。また、ロード済みのオブジェクトファイルに含まれる変数または関数などの位置は、グローバルシンボルテーブル１０５に格納されている。

このため、グローバルシンボルテーブル１０５とオブジェクトファイルのリロケーションテーブルとを用いることで、オブジェクトファイルの外で定義された関数または変数などのアドレスを参照している箇所に正しいアドレスを代入することができる。本実施の形態では、コード補正計画部１０２とコード補正実行部１０３とで、プログラムの実行に必要な関数または変数、すなわち、シンボルの参照箇所の書き換えを行う。

＜コード補正装置の動作について＞
図７は、本実施の形態に関するコード補正計画部１０２の動作の例を示すフローチャートである。コード補正計画部１０２は、ステップＳＴ７０１、ステップＳＴ７０２、ステップＳＴ７０３、ステップＳＴ７０４、ステップＳＴ７０７、ステップＳＴ７０９およびステップＳＴ７１０のループ処理を行う。ループ処理の繰り返し回数は、ロード済みのオブジェクトファイルの数と一致する。たとえば、図３に示されるようにｆｏｏ．ｏのみをロードする場合には、ｆｏｏ．ｏのリロケーションテーブルだけが処理される。一方で、図５に示されるようにｆｏｏ．ｏ、ｂａｒ．ｏおよびｍａｉｎ．ｏの３つをロードする場合には、ループ処理は３回繰り返され、それぞれのループで、ｆｏｏ．ｏ、ｂａｒ．ｏおよびｍａｉｎ．ｏのリロケーションテーブルが処理される。

ステップＳＴ７０１では、コード補正計画部１０２が、メモリ上に展開された１つ以上のリロケーションテーブル（たとえば、リロケーションテーブルＴ）を巡回する。そして、ステップＳＴ７０２では、コード補正計画部１０２が、リロケーションテーブルＴに含まれるエントリーＥを巡回する。

オブジェクトファイルに対応するリロケーションテーブルＴは、オブジェクトファイルのコード中における当該オブジェクトファイルで定義されていない変数または関数などの参照箇所ごとにエントリーＥを有する。そして、リロケーションテーブルＴは、上記の参照箇所ごとに、どのシンボルを参照しているかを保持する。

オブジェクトファイルのリロケーションテーブルＴのエントリーＥでは、シンボルは、オブジェクトファイル中のシンボルテーブルのオフセットで保持されている。図７に示されるステップＳＴ７０３、ステップＳＴ７０４およびステップＳＴ７０７では、コード補正計画部１０２が、リロケーションテーブルＴのエントリーＥと、ロード部１０１で作成または更新されたグローバルシンボルテーブル１０５とを用いてコード補正計画を作成する。

ステップＳＴ７０３では、コード補正計画部１０２が、エントリーＥが示すシンボルＳをグローバルシンボルテーブル１０５から検索して、シンボルＳのアドレスＡを取得する。

次に、ステップＳＴ７０４では、コード補正計画部１０２が、エントリーＥのリロケーションタイプに基づいて、シンボルＳのアドレスＡを加工する。リロケーションタイプとは、アドレスをどのようにシンボルの参照箇所に格納するかを示す値であり、一般的に命令セットアーキテクチャごとに、リロケーションタイプとそれに対応する加工方法とが決まっている。リロケーションタイプの例としては、プログラムカウンター相対のアドレス参照箇所用のリロケーションタイプが挙げられる。シンボルの参照箇所がプログラムカウンター相対のＣＡＬＬ命令である場合、ＣＡＬＬ先の関数のアドレスは当該ＣＡＬＬ命令のアドレスとの差として命令フィールドに格納される。一般に、命令セットアーキテクチャごとのＡＢＩ（Ａｂｓｔｒａｃｔ Ｂｉｎａｒｙ Ｉｎｔｅｒｆａｃｅ）では、プログラムカウンター相対の参照箇所の補正を示すために、専用のリロケーションタイプが１つ割り当てられている。

次に、ステップＳＴ７０７では、コード補正計画部１０２が、エントリーＥが示すシンボルＳの参照箇所と加工済みのアドレスＢ（すなわち、補正内容として直接書き込まれる値）との対を、コード補正計画リストに格納する。コード補正計画リストは、後述のコード補正実行部１０３の入力となる。

ステップＳＴ７０９では、リロケーションテーブルＴにおけるすべてのエントリーＥについて上記のステップＳＴ７０３、ステップＳＴ７０４およびステップＳＴ７０７が終了したか否かが判断される。そして、すべてのエントリーＥについて上記のステップＳＴ７０３、ステップＳＴ７０４およびステップＳＴ７０７が終了している場合（すなわち、図７におけるＹｅｓに対応する場合）には、ステップＳＴ７１０に進む。一方で、一部のエントリーＥについて上記のステップＳＴ７０３、ステップＳＴ７０４およびステップＳＴ７０７が終了していない場合（すなわち、図７におけるＮｏに対応する場合）には、ステップＳＴ７０２に戻る。

ステップＳＴ７１０では、メモリ上に展開されたすべてのリロケーションテーブルについて上記のステップＳＴ７０３、ステップＳＴ７０４、ステップＳＴ７０７およびステップＳＴ７０９が終了したか否かが判断される。そして、すべてのエントリーＥについて上記のステップＳＴ７０３、ステップＳＴ７０４、ステップＳＴ７０７およびステップＳＴ７０９が終了している場合（すなわち、図７におけるＹｅｓに対応する場合）には、動作を終了する。一方で、一部のリロケーションテーブルについて上記のステップＳＴ７０３、ステップＳＴ７０４、ステップＳＴ７０７およびステップＳＴ７０９が終了していない場合（すなわち、図７におけるＮｏに対応する場合）には、ステップＳＴ７０１に戻る。

なお、図７に示された例では、すべてのエントリーＥについてコード補正計画リストへの格納が実行されたが、当該格納は、一部のエントリーＥに対してであってもよい。

図８は、本実施の形態に関する、コード補正実行部１０３の動作の例を示すフローチャートである。コード補正実行部１０３への入力は、コード補正計画部１０２で作成されたコード補正計画リストである。コード補正実行部１０３は、コード補正計画部１０２によってコード補正計画リストが作成された後で、当該コード補正計画リストのそれぞれの要素ｉについて、ステップＳＴ１１０１、ステップＳＴ１１０２およびステップＳＴ１１０３のループ処理を行う。それぞれの要素ｉは、シンボルＳの参照箇所と加工済みのアドレスＢとの対である。

ステップＳＴ１１０１では、コード補正実行部１０３が、コード補正計画リストのそれぞれの要素ｉを参照する。次に、ステップＳＴ１１０２では、コード補正実行部１０３が、シンボルＳの参照箇所に対して加工済みのアドレスＢを格納する。

ステップＳＴ１１０３では、すべての要素ｉについて上記のステップＳＴ１１０２が終了したか否かが判断される。そして、すべての要素ｉについて上記のステップＳＴ１１０２が終了している場合（すなわち、図８におけるＹｅｓに対応する場合）には、動作を終了する。一方で、一部の要素ｉについて上記のステップＳＴ１１０２が終了していない場合（すなわち、図８におけるＮｏに対応する場合）には、ステップＳＴ１１０１に戻る。

ここで、従来のコード補正処理について説明する。図９は、従来のコード補正処理の例を示すフローチャートである。図９に示されるコード補正処理の、図７に示される動作との違いは、図７におけるステップＳＴ７０７が、図９ではステップＳＴ７０８に置き換わっている点である。

図７のステップＳＴ７０７では、コード補正計画部１０２が、シンボルＳの参照箇所と加工済みのアドレスＢとの対をコード補正計画リストに格納していたのに対し、図９のステップＳＴ７０８では、シンボルＳの参照箇所に加工済みのアドレスＢを直ちに反映する。

上記の場合、ステップＳＴ７０１、ステップＳＴ７０２、ステップＳＴ７０３、ステップＳＴ７０４、ステップＳＴ７０８、ステップＳＴ７０９およびステップＳＴ７１０のループ処理の間に、ステップＳＴ７０８で繰り返しコードの書き換えられが行われることとなるため、当該ループ処理が行われている間は、更新対象であるプログラムを実行することができない。当該ループ処理には、文字列処理を伴うステップＳＴ７０３も含まれ、当該処理を行っている間にも更新対象であるプログラムを停止しておく必要がある。

一方で、図７に示される動作では、コード補正計画部１０２は更新対象のプログラムを全く書き換えない。このため、更新対象のプログラムが実行中であっても、コード補正計画部１０２における動作を並行して実行することができる。図７および図８に示される動作を行う場合、更新対象のプログラムを停止する必要があるのは、図８に示されるコード補正実行部１０３の動作の間のみである。

図８に示される処理は、図９に示されるコード補正処理のステップＳＴ７０８と計算量がほぼ等しい動作であるステップＳＴ１１０２のみを含むループ処理である。また、コード補正実行部１０３が行うループ処理の繰り返し回数は、図９に示されるステップＳＴ７０１、ステップＳＴ７０２、ステップＳＴ７０３、ステップＳＴ７０４、ステップＳＴ７０８、ステップＳＴ７０９およびステップＳＴ７１０のループ処理の繰り返し回数と同じである。図８に示される処理では、図９に示されるステップＳＴ７０８以外の処理がループ処理に含まれないため、ループ処理が終了するまでの時間が短くなる。

したがって、図８に示される処理を用いれば、従来よりも更新対象となるプログラムを停止しなくてはならない時間を短縮することができる。

＜第２の実施の形態＞
本実施の形態に関するコード補正装置、および、コード補正方法について説明する。なお、以下の説明においては、以上に記載された実施の形態で説明された構成要素と同様の構成要素については同じ符号を付して図示し、その詳細な説明については適宜省略するものとする。

＜コード補正装置の構成について＞
コード補正計画リストの作成に際し、本来コード補正が不要な部分についてもコード補正計画リストに出力されてしまう場合がある。

ここでは、図５に示されたリンク処理を例として考える。図５に示される３回目のリンク処理では、図７に示されるステップＳＴ７０１、ステップＳＴ７０２、ステップＳＴ７０３、ステップＳＴ７０４、ステップＳＴ７０７、ステップＳＴ７０９およびステップＳＴ７１０のループ処理によって、ロード済みの関数ｆｏｏ、関数ｂａｒおよび関数ｍａｉｎそれぞれのリロケーションテーブルを処理する。

この場合、ステップＳＴ７０７では、関数ｂａｒにおける関数ｆｏｏの呼び出し箇所と関数ｆｏｏのアドレスとがコード補正計画リストに出力される。そして、図８に示されるように、コード補正実行部１０３によって、関数ｂａｒにおける関数ｆｏｏの呼び出し箇所が実際に書き換えられる。

しかしながら、上記の書き換えは本来不要である。図４に示されたとおり、２回目のリンク処理で関数ｂａｒにおける関数ｆｏｏの呼び出し箇所は補正済みであり、上記の書き換えは不要である。

図１０は、本実施の形態に関するコード補正計画部１０２の動作の例を示すフローチャートである。図１０においては、上記のような、不要なコード補正が抑制される。

具体的には、図７に示された場合とは異なり、ステップＳＴ７０４の後にステップＳＴ７０５が加えられる。

ステップＳＴ７０５では、コード補正計画部１０２が、リロケーションテーブルＴのエントリーＥが示すシンボルＳの参照箇所に格納されている値を確認する。そして、コード補正計画部１０２が、上記の既に格納されている値がステップＳＴ７０４で算出された加工済みのアドレスＢの値と同一であるか否かを判断する。

そして、既に格納されている値がステップＳＴ７０４で算出された加工済みのアドレスＢの値と同一である場合（すなわち、図１０におけるＹｅｓに対応する場合）には、ステップＳＴ７０７をスキップしてステップＳＴ７０９に進む。一方で、既に格納されている値がステップＳＴ７０４で算出された加工済みのアドレスＢの値とは異なる場合（すなわち、図１０におけるＮｏに対応する場合）には、ステップＳＴ７０７に進む。

上記の動作によれば、変更が不要なコード補正に関する情報（要素）がコード補正計画リストに出力されない。このため、コード補正計画リストを用いて補正を行うコード補正実行部１０３においても、不要なコード補正が抑制される。

本実施の形態によれば、ステップＳＴ７０５が備えられることによって不要なコード補正に関するコード補正計画部１０２およびコード補正実行部１０３の動作が抑制されるため、当該動作を省略する分だけ、コード補正動作全体を高速化させることができる。

＜第３の実施の形態＞
本実施の形態に関するコード補正装置、および、コード補正方法について説明する。なお、以下の説明においては、以上に記載された実施の形態で説明された構成要素と同様の構成要素については同じ符号を付して図示し、その詳細な説明については適宜省略するものとする。

＜コード補正装置の構成について＞
コード補正には、本来プログラムを停止する必要がないコード補正も含まれており、そのようなコード補正についてもプログラムを停止させて行われると、プログラムの停止時間が長くなってしまう場合がある。

ここでは、図６に示されたリンク処理を例として考える。図６に示される４回目のリンク処理で、関数ｍａｉｎの関数ｂａｒの呼び出し箇所を新しい関数ｂａｒのアドレスに書き換えるまでは、図５に示される３回目のリンク処理での古い関数ｂａｒが有効なはずである。このため、プログラムの実行中であっても新しい関数ｂａｒの外部シンボルの参照箇所（すなわち、関数ｆｏｏの呼び出し箇所）は安全に書き換えることができる。

しかしながら、図７に示される動作では、新しい関数ｂａｒのリロケーションテーブルも含めて処理され、関数ｆｏｏの呼び出し箇所と関数ｆｏｏのアドレスとがコード補正計画リストに出力される。そして、当該コード補正計画リストに基づいて、コード補正実行部１０３が、新しい関数ｂａｒのコードも含めて補正を行う。すなわち、新しい関数ｂａｒのコード補正もコード補正実行部１０３が行うこととなる。

新しい関数ｂａｒのコードは、コード補正計画部１０２の動作中であっても書き換え可能である。それは、新しい関数ｂａｒのコードは、既にロード済みの他のコードが新しい関数ｂａｒを経由するように補正されるまでは有効にならないためである。

図１１は、本実施の形態に関するコード補正計画部１０２の動作の例を示すフローチャートである。図１１においては、図７に示された場合とは異なり、ステップＳＴ７０４の後にステップＳＴ７０６が加えられる。

ステップＳＴ７０６では、コード補正計画部１０２が、現在処理対象としているリロケーションテーブルＴが、新しく追加されたオブジェクトファイルに対応するものであるか否かを判断する。

そして、新しく追加されたオブジェクトファイルに対応するものである場合（すなわち、図１１におけるＹｅｓに対応する場合）には、ステップＳＴ７０８に進む。一方で、新しく追加されたオブジェクトファイルに対応するものでない場合（すなわち、図１１におけるＮｏに対応する場合）には、ステップＳＴ７０７に進む。

ステップＳＴ７０８では、シンボルＳの参照箇所に加工済みのアドレスＢを直ちに反映する。一方でステップＳＴ７０７では、コード補正計画部１０２が、エントリーＥが示すシンボルＳの参照箇所と加工済みのアドレスＢとの対を、コード補正計画リストに格納する。

本実施の形態によれば、新しく追加されたオブジェクトファイルに起因する要素（新規要素）は、コード補正計画リストへ追加されない。また、ステップＳＴ７０６が備えられることによって、実行中のプログラムの動作に影響ない部分のコード補正（すなわち、新たにロードされたコードのコード補正）だけをコード補正計画リストの作成が終了する前に実行することで、コード補正実行部１０３の処理量を少なくすることができる。結果として、リンク処理時におけるプログラムの停止時間を短縮することができる。

＜第４の実施の形態＞
本実施の形態に関するコード補正装置、および、コード補正方法について説明する。なお、以下の説明においては、以上に記載された実施の形態で説明された構成要素と同様の構成要素については同じ符号を付して図示し、その詳細な説明については適宜省略するものとする。

＜コード補正装置の構成について＞
上記の実施の形態では、オブジェクトファイルをロードする際に、リロケーションテーブルとそれに付随するシンボルテーブルも含めてメモリに格納されていた。また、ロード部１０１で作成するグローバルシンボルテーブル１０５は、コード補正計画部１０２の動作に際しては必要であるが、更新されるプログラム自体の実行には不要である。

上記の場合、プログラムの実行には不要なデータがメモリに格納されることとなるため、メモリ容量が小さいシステムでは適用できない場合がある。

図１２は、本実施の形態に関する、コード補正装置の例を概念的に示す図である。コード補正装置は、ホスト計算機１００と、ターゲット計算機１２００とを備える。

ホスト計算機１００は、ロード部１０１と、コード補正計画部１０２と、コード補正実行部１０３と、更新データ作成部１２０１とを備える。

ターゲット計算機１２００は、ロード部１２０３と、コード補正実行部１２０４とを備える。

更新データ作成部１２０１は、ロード部１０１でロードされたリロケータブルオブジェクトファイル１０４に含まれるコードのバイト列およびロード先アドレスと、コード補正計画部１０２で作成されたコード補正計画リストとをひとまとめにし、更新データ１２０２として記録する、または、ターゲット計算機１２００に送信する。

ターゲット計算機１２００におけるロード部１２０３は、記録されている更新データ１２０２を読み出す、または、ホスト計算機１００から送信された更新データ１２０２を受信することによって、更新データ１２０２に格納されているコードのバイト列、ロード先アドレスおよびコード補正計画リストを取得する。そして、バイト列をメモリ上のロード先アドレスに展開する。

ターゲット計算機１２００におけるコード補正実行部１２０４は、コード補正実行部１０３と同様に、コード補正計画リストを巡回し、コードの書き換えが必要な箇所にコード補正を実行する。

上記の構成のように、コード補正計画部１０２およびコード補正実行部１０３を開発用のホスト計算機１００に備えることによって、プログラムを実行するためのターゲット計算機１２００とは異なるホスト計算機１００でプログラムをコンパイルすることができる。

本実施の形態では、ホスト計算機１００におけるプログラムのコンパイルのみではなく、ターゲット計算機１２００のメモリを模した仮想的なメモリ上で上記の実施の形態で示されたリンク処理を行うことができる。

また、コード補正計画部１０２で作成されたコード補正計画リストとオブジェクトファイルとをホスト計算機１００からターゲット計算機１２００に送信し、さらに、当該データを受信したターゲット計算機１２００が、オブジェクトファイルをメモリ上に展開することによって、ホスト計算機１００においてはコード補正計画リストの作成のみを行いつつ、ターゲット計算機１２００において、コード補正計画リストに基づいてコード補正を実行することができる。

＜コード補正装置のハードウェア構成について＞
図１４および図１５は、図１に例が示されるコード補正装置を実際に運用する場合のハードウェア構成を概略的に例示する図である。

なお、図１４および図１５に例示されるハードウェア構成は、図１に例示される構成とは数などが整合しない場合があるが、これは図１に例示される構成が概念的な単位を示すものであることに起因する。

よって、少なくとも、図１に例示される１つの構成が、図１４および図１５に例示される複数のハードウェア構成から成る場合と、図１に例示される１つの構成が、図１４および図１５に例示されるハードウェア構成の一部に対応する場合と、さらには、図１に例示される複数の構成が、図１４および図１５に例示される１つのハードウェア構成に備えられる場合とが想定され得る。

図１４では、図１中のロード部１０１、コード補正計画部１０２およびコード補正実行部１０３を実現するためのハードウェア構成として、演算を行う処理回路１１０２Ａと、情報を記憶することができる記憶装置１１０３とが示される。これらの構成は、他の実施の形態においても同様である。

図１５では、図１中のロード部１０１、コード補正計画部１０２およびコード補正実行部１０３を実現するためのハードウェア構成として、演算を行う処理回路１１０２Ｂが示される。当該構成は、他の実施の形態においても同様である。

グローバルシンボルテーブル１０５は、記憶装置１１０３または別の記憶装置（ここでは、図示しない）によって実現される。

記憶装置１１０３は、たとえば、ハードディスクドライブ（Ｈａｒｄ ｄｉｓｋ ｄｒｉｖｅ、すなわち、ＨＤＤ）、ランダムアクセスメモリ（ｒａｎｄｏｍ ａｃｃｅｓｓ ｍｅｍｏｒｙ、すなわち、ＲＡＭ）、リードオンリーメモリ（ｒｅａｄ ｏｎｌｙ ｍｅｍｏｒｙ、すなわち、ＲＯＭ）、フラッシュメモリ、ｅｒａｓａｂｌｅ ｐｒｏｇｒａｍｍａｂｌｅ ｒｅａｄ ｏｎｌｙ ｍｅｍｏｒｙ（ＥＰＲＯＭ）およびｅｌｅｃｔｒｉｃａｌｌｙ ｅｒａｓａｂｌｅ ｐｒｏｇｒａｍｍａｂｌｅ ｒｅａｄ－ｏｎｌｙ ｍｅｍｏｒｙ（ＥＥＰＲＯＭ）などの、揮発性または不揮発性の半導体メモリ、磁気ディスク、フレキシブルディスク、光ディスク、コンパクトディスク、ミニディスクまたはＤＶＤなどを含むメモリ（記録媒体）、または、今後使用されるあらゆる記録媒体であってもよい。

処理回路１１０２Ａは、記憶装置１１０３、外部のＣＤ－ＲＯＭ、外部のＤＶＤ－ＲＯＭ、または、外部のフラッシュメモリなどに格納されたプログラムを実行するものであってもよい。すなわち、たとえば、中央演算処理装置（ｃｅｎｔｒａｌ ｐｒｏｃｅｓｓｉｎｇ ｕｎｉｔ、すなわち、ＣＰＵ）、マイクロプロセッサ、マイクロコンピュータ、デジタルシグナルプロセッサ（ｄｉｇｉｔａｌ ｓｉｇｎａｌ ｐｒｏｃｅｓｓｏｒ、すなわち、ＤＳＰ）であってもよい。

処理回路１１０２Ａが記憶装置１１０３、外部のＣＤ－ＲＯＭ、外部のＤＶＤ－ＲＯＭ、または、外部のフラッシュメモリなどに格納されたプログラムを実行するものである場合、ロード部１０１、コード補正計画部１０２およびコード補正実行部１０３は、記憶装置１１０３に格納されたプログラムが処理回路１１０２Ａによって実行されるソフトウェア、ファームウェアまたはソフトウェアとファームウェアとの組み合わせにより実現される。なお、ロード部１０１、コード補正計画部１０２およびコード補正実行部１０３の機能は、たとえば、複数の処理回路が連携することによって実現されてもよい。

ソフトウェアおよびファームウェアはプログラムとして記述され、記憶装置１１０３に記憶されるものであってもよい。その場合、処理回路１１０２Ａは、記憶装置１１０３に格納されたプログラムを読み出して実行することによって、上記の機能を実現する。すなわち、記憶装置１１０３は、処理回路１１０２Ａに実行されることによって、上記の機能が結果的に実現されるプログラムを記憶するものであってもよい。

また、処理回路１１０２Ｂは、専用のハードウェアであってもよい。すなわち、たとえば、単一回路、複合回路、プログラム化されたプロセッサ、並列プログラム化されたプロセッサ、集積回路（ａｐｐｌｉｃａｔｉｏｎ ｓｐｅｃｉｆｉｃ ｉｎｔｅｇｒａｔｅｄ ｃｉｒｃｕｉｔ、すなわち、ＡＳＩＣ）、ｆｉｅｌｄ－ｐｒｏｇｒａｍｍａｂｌｅ ｇａｔｅ ａｒｒａｙ（ＦＰＧＡ）またはこれらを組み合わせた回路であってもよい。

処理回路１１０２Ｂが専用のハードウェアである場合、ロード部１０１、コード補正計画部１０２およびコード補正実行部１０３は、処理回路１１０２Ｂが動作することにより実現される。なお、ロード部１０１、コード補正計画部１０２およびコード補正実行部１０３の機能は、別々の回路で実現されてもよいし、単一の回路で実現されてもよい。

なお、ロード部１０１、コード補正計画部１０２およびコード補正実行部１０３の機能は、一部が記憶装置１１０３に格納されたプログラムを実行するものである処理回路１１０２Ａにおいて実現され、一部が専用のハードウェアである処理回路１１０２Ｂにおいて実現されてもよい。

＜以上に記載された実施の形態によって生じる効果について＞
次に、以上に記載された実施の形態によって生じる効果の例を示す。なお、以下の説明においては、以上に記載された実施の形態に例が示された具体的な構成に基づいて当該効果が記載されるが、同様の効果が生じる範囲で、本願明細書に例が示される他の具体的な構成と置き換えられてもよい。すなわち、以下では便宜上、対応づけられる具体的な構成のうちのいずれか１つのみが代表して記載される場合があるが、代表して記載された具体的な構成が対応づけられる他の具体的な構成に置き換えられてもよい。

また、当該置き換えは、複数の実施の形態に跨ってなされてもよい。すなわち、異なる実施の形態において例が示されたそれぞれの構成が組み合わされて、同様の効果が生じる場合であってもよい。

以上に記載された実施の形態によれば、コード補正装置は、ロード部１０１と、コード補正計画部１０２と、コード補正実行部１０３とを備える。ロード部１０１は、リロケータブルなオブジェクトファイルをロードする。コード補正計画部１０２は、ロード部１０１においてロードされたオブジェクトファイルの、コード補正を行う位置および対応する補正内容の対を要素として、複数の要素を用いてコード補正計画リストを作成する。コード補正実行部１０３は、コード補正計画リストが作成された後で、コード補正計画リストに基づいて複数のコード補正を実行する。

また、以上に記載された実施の形態によれば、コード補正装置は、プログラムを実行する処理回路１１０２Ａと、実行されるプログラムを記憶する記憶装置１１０３とを備える。そして、処理回路１１０２Ａがプログラムを実行することによって、以下の動作が実現される。

すなわち、リロケータブルなオブジェクトファイルがロードされる。そして、ロードされたオブジェクトファイルの、コード補正を行う位置および対応する補正内容の対を要素として、複数の要素を用いてコード補正計画リストが作成される。そして、コード補正計画リストが作成された後で、コード補正計画リストに基づいて複数のコード補正が実行される。

また、以上に記載された実施の形態によれば、コード補正装置は、専用のハードウェアである処理回路１１０２Ｂを備える。そして、専用のハードウェアである処理回路１１０２Ｂは、以下の動作を行う。

すなわち、専用のハードウェアである処理回路１１０２Ｂは、リロケータブルなオブジェクトファイルをロードする。そして、ロードされたオブジェクトファイルの、コード補正を行う位置および対応する補正内容の対を要素として、複数の要素を用いてコード補正計画リストを作成する。そして、コード補正計画リストが作成された後で、コード補正計画リストに基づいて複数のコード補正を実行する。

このような構成によれば、コード補正計画部１０２によってコード補正計画リストが作成されている間は補正が実行されないため、補正対象であるプログラムを停止させる必要がない。そのため、プログラムの停止時間を短縮させることができる。

コード補正計画部１０２では、コード補正計画リストの要素を作成するためにシンボルの検索などの処理を行われる。当該処理には比較的長い時間を要する。一方で、コード補正実行部１０３では、コード補正計画部１０２において既に作成されたコード補正計画リストに基づいて実際の補正、すなわち、コードの書き換えが行われる。このため、コード補正実行部１０３における処理は、比較的短い時間で終了させることができる。

以上に記載された実施の形態によれば、更新対象（すなわち、補正対象）のプログラムを実行しながら、比較的長い時間を要するコード補正計画リストの作成を並行して行うことができるため、更新対象（すなわち、補正対象）のプログラムの停止は、コード補正実行部１０３による比較的短い時間で終了可能なコードの書き換えの間のみとすることができる。その結果、プログラムの部分更新に伴うプログラムの停止時間を短縮することができる。

更新対象（すなわち、補正対象）のプログラムの実行中に並行してコード補正計画部１０２によるコード補正計画リストの作成を行うことができるのは、コード補正計画部１０２はコード補正計画リストを作成するのみであり、実際のプログラムの書き換えは行わないためである。

なお、コード補正計画リストの作成のために用いられる要素は複数であればよく、補正予定のすべての要素である必要はない。また、コード補正実行部１０３によって補正が実行される要素は、コード補正計画リストにおけるすべての要素でなくてもよく、コード補正計画リストにおける一部の要素についてのみ補正が実行される場合であってもよい。

また、上記の構成に本願明細書に例が示された他の構成を適宜追加した場合、すなわち、上記の構成としては言及されなかった本願明細書中の他の構成が適宜追加された場合であっても、同様の効果を生じさせることができる。

また、以上に記載された実施の形態によれば、コード補正実行部１０３は、すべての要素を用いるコード補正計画リストが作成された後で、コード補正計画リストに基づいて複数のコード補正を実行する。このような構成によれば、すべての要素についてのコード補正計画リストが作成された後でコード補正が実行されるため、プログラムを停止させる時間を効果的に短くすることができる。

また、以上に記載された実施の形態によれば、コード補正計画部１０２は、コード補正を行う位置を示すアドレス、および、アドレスで示される位置に補正内容として直接書き込まれる値の対を要素として、複数の要素を用いてコード補正計画リストを作成する。このような構成によれば、コード補正計画部１０２によってコード補正計画リストが作成されている間は補正が実行されないため、補正対象であるプログラムを停止させる必要がない。そのため、プログラムの停止時間を短縮させることができる。

また、以上に記載された実施の形態によれば、コード補正計画部１０２は、コード補正の前後でコード補正を行う位置における値が変化する要素のみを用いてコード補正計画リストを作成する。このような構成によれば、変更が不要なコード補正に関する情報（要素）がコード補正計画リストに出力されない。このため、コード補正計画リストを用いて補正を行うコード補正実行部１０３においても、不要なコード補正が抑制される。

また、以上に記載された実施の形態によれば、コード補正計画部１０２は、コード補正の前後でコード補正を行う位置に新たに追加される要素である新規要素を除いてコード補正計画リストを作成する。このような構成によれば、実行中のプログラムの動作に影響ない部分のコード補正（すなわち、新たにロードされたコードのコード補正）をコード補正計画リストから除くことによって、コード補正実行部１０３の処理量を少なくすることができる。結果として、リンク処理時におけるプログラムの停止時間を短縮することができる。

また、以上に記載された実施の形態によれば、コード補正実行部１０３は、新規要素に基づくコード補正を、コード補正計画リストの作成が終了する前に実行する。このような構成によれば、実行中のプログラムの動作に影響ない部分のコード補正（すなわち、新たにロードされたコードのコード補正）だけを事前に書き換えることで、コード補正実行部１０３の処理量を少なくすることができる。結果として、リンク処理時におけるプログラムの停止時間を短縮することができる。

また、以上に記載された実施の形態によれば、コード補正装置は、計算機であるホスト計算機１００と、ホスト計算機１００とは異なる計算機であるターゲット計算機１２００とを備える。ここで、コード補正計画部１０２は、ホスト計算機１００に設けられる。そして、コード補正実行部１２０４は、ターゲット計算機１２００に設けられる。このような構成によれば、プログラムの更新時にターゲット計算機１２００にアップロードされるデータ量を縮小させることができる。このため、メモリ量が比較的小さい組み込みシステムのプログラムを更新する場合にも、本技術を適用することができる。

以上に記載された実施の形態によれば、コード補正方法において、リロケータブルなオブジェクトファイルをロードする。そして、ロードされたオブジェクトファイルの、コード補正を行う位置および対応する補正内容の対を要素として、複数の要素を用いてコード補正計画リストを作成する。そして、コード補正計画リストが作成された後で、コード補正計画リストに基づいて複数のコード補正を実行する。

このような構成によれば、コード補正計画リストが作成されている間は補正が実行されないため、補正対象であるプログラムを停止させる必要がない。そのため、プログラムの停止時間を短縮させることができる。

なお、特段の制限がない場合には、それぞれの処理が行われる順序は変更することができる。

また、上記の構成に本願明細書に例が示された他の構成を適宜追加した場合、すなわち、上記の構成としては言及されなかった本願明細書中の他の構成が適宜追加された場合であっても、同様の効果を生じさせることができる。

＜以上に記載された実施の形態の変形例について＞
以上に記載された実施の形態では、それぞれの構成要素の寸法、形状、相対的配置関係または実施の条件などについても記載する場合があるが、これらはすべての局面においてひとつの例であって、限定的なものではないものとする。

したがって、例が示されていない無数の変形例、および、均等物が、本願明細書に開示される技術の範囲内において想定される。たとえば、少なくとも１つの構成要素を変形する場合、追加する場合または省略する場合、さらには、少なくとも１つの実施の形態における少なくとも１つの構成要素を抽出し、他の実施の形態における構成要素と組み合わせる場合が含まれるものとする。

また、矛盾が生じない限り、以上に記載された実施の形態において「１つ」の構成要素が備えられる、と記載された場合に、当該構成要素が「１つ以上」備えられていてもよいものとする。

また、本願明細書における説明は、本技術に関連するすべての目的のために参照され、いずれも、従来技術であると認めるものではない。

また、以上に記載された実施の形態で記載されたそれぞれの構成要素は、ソフトウェアまたはファームウェアとしても、それと対応するハードウェアとしても想定され、その双方の概念において、それぞれの構成要素は「部」または「処理回路」（ｃｉｒｃｕｉｔｒｙ）などと称される。

また、本願明細書に開示される技術は、それぞれの構成要素が複数の装置に分散して備えられる場合、すなわち、複数の装置の組み合わせとしてのシステムのような態様であってもよいものとする。

１００ ホスト計算機、１０１，１２０３，３００１ ロード部、１０２，３００２ コード補正計画部、１０３，１２０４，３００３ コード補正実行部、１０４ リロケータブルオブジェクトファイル、１０５ グローバルシンボルテーブル、１１０２Ａ，１１０２Ｂ 処理回路、１１０３ 記憶装置、１２００ ターゲット計算機、１２０１ 更新データ作成部、１２０２ 更新データ。

Claims (7)

1. リロケータブルなオブジェクトファイルをロードするロード部と、
   前記ロード部においてロードされた前記オブジェクトファイルと事前にロード済みの前記オブジェクトファイルとの、コード補正を行う位置および対応する補正内容の対を要素として、複数の前記要素を用いてコード補正計画リストを作成するコード補正計画部と、
   前記コード補正計画リストが作成された後で、前記コード補正計画リストに基づいて複数の前記コード補正を実行するコード補正実行部とを備え、
   前記コード補正計画部は、前記コード補正の前後で前記コード補正を行う位置における値が変化するか否かを確認する手段を備え、前記コード補正計画リストを作成し、
   前記コード補正計画部は、前記コード補正の前後で前記コード補正を行う位置に新たに追加される前記要素である新規要素を除いて前記コード補正計画リストを作成する、
   コード補正装置。
2. リロケータブルなオブジェクトファイルをロードするロード部と、
   前記ロード部においてロードされた前記オブジェクトファイルと事前にロード済みの前記オブジェクトファイルとの、コード補正を行う位置および対応する補正内容の対を要素として、複数の前記要素を用いてコード補正計画リストを作成するコード補正計画部と、
   前記コード補正計画リストが作成された後で、前記コード補正計画リストに基づいて複数の前記コード補正を実行するコード補正実行部とを備え、
   前記コード補正計画部は、前記コード補正の前後で前記コード補正を行う位置における値が変化するか否かを確認する手段を備え、前記コード補正計画リストを作成し、
   計算機であるホスト計算機と、前記ホスト計算機とは異なる計算機であるターゲット計算機とをさらに備え、
   前記コード補正計画部は、前記ホスト計算機に設けられ、
   前記コード補正実行部は、前記ターゲット計算機に設けられる、
   コード補正装置。
3. 請求項１または２に記載のコード補正装置であり、
   前記コード補正実行部は、すべての前記要素を用いる前記コード補正計画リストが作成された後で、前記コード補正計画リストに基づいて複数の前記コード補正を実行する、
   コード補正装置。
4. 請求項１から３のうちのいずれか１つに記載のコード補正装置であり、
   前記コード補正計画部は、前記コード補正を行う位置を示すアドレス、および、前記アドレスで示される位置に前記補正内容として直接書き込まれる値の対を前記要素として、複数の前記要素を用いて前記コード補正計画リストを作成する、
   コード補正装置。
5. 請求項１に記載のコード補正装置であり、
   前記コード補正実行部は、前記新規要素に基づく前記コード補正を、前記コード補正計画リストの作成が終了する前に実行する、
   コード補正装置。
6. リロケータブルなオブジェクトファイルをロードし、
   ロードされた前記オブジェクトファイルと事前にロード済みの前記オブジェクトファイルとの、コード補正を行う位置および対応する補正内容の対を要素として、複数の前記要素を用いてコード補正計画リストを作成し、
   前記コード補正計画リストが作成された後で、前記コード補正計画リストに基づいて複数の前記コード補正を実行し、
   前記コード補正計画リストを作成することは、前記コード補正の前後で前記コード補正を行う位置における値が変化するか否かを確認し、かつ、前記コード補正計画リストを作成することであり、
   前記コード補正計画リストを作成することは、前記コード補正の前後で前記コード補正を行う位置に新たに追加される前記要素である新規要素を除いて前記コード補正計画リストを作成することである、
   コード補正方法。
7. リロケータブルなオブジェクトファイルをロードし、
   ロードされた前記オブジェクトファイルと事前にロード済みの前記オブジェクトファイルとの、コード補正を行う位置および対応する補正内容の対を要素として、複数の前記要素を用いてコード補正計画リストを作成し、
   前記コード補正計画リストが作成された後で、前記コード補正計画リストに基づいて複数の前記コード補正を実行し、
   前記コード補正計画リストを作成することは、前記コード補正の前後で前記コード補正を行う位置における値が変化するか否かを確認し、かつ、前記コード補正計画リストを作成することであり、
   前記コード補正計画リストを作成することは、計算機であるホスト計算機において行われ、
   複数の前記コード補正を実行することは、前記ホスト計算機とは異なる計算機であるターゲット計算機において行われる、
   コード補正方法。

Images