Pat

J-GLOBAL ID：200903017186860506

コンピュータシステム及びその動作方法

Inventor： ジェイムス・エイ・ゴスリング
Applicant, Patent owner： サン・マイクロシステムズ・インコーポレイテッド
Agent (1)： 大島 陽一 (外1名)
Gazette classification：公開公報
Application number (International application number)：1995349165
Publication number (International publication number)：1996234994
Application date： Dec. 20, 1995
Publication date： Sep. 13, 1996
Summary：

【要約】【課題】 データタイプなどに関する制約を破らないようにしつつ、プログラムを効率よく実行するコンピュータシステム及びその動作方法を提供すること。【解決手段】 本発明のコンピュータシステムの動作方法は、データタイプに関し制約を有する一連のバイトコードを含むプログラムをメモリに格納する過程と、前記プログラムを実行する前に、前記プログラム内のいずれかのバイトコードの実行がそのバイトコードに対する前記データタイプの制約に違反することがないかどうか判定し、データタイプの制約に違反するものがある場合プログラムフォールト信号を生成する過程と、前の過程でプログラムフォールト信号が生成されなかった場合、前記プログラムの実行をイネーブルする過程と、プログラムフォールト信号が生成された場合、前記プログラムの実行を禁止する過程とをを含むことを特徴とする。

Claim (excerpt)：

コンピュータシステムの動作方法であって、(A)プログラムをメモリに格納する過程であって、前記プログラムは一連のバイトコードを含み、前記バイトコードの各々は、特定のデータタイプのデータについての処理を表すとともに、それによって処理されるデータのデータタイプに関し制約を有している該過程と、(B)前記プログラムを実行する前に、前記プログラム内のいずれかのバイトコードの実行がそのバイトコードに関する前記データタイプの制約に違反することがないかどうか判定し、前記プログラム内のいずれかのバイトコードの実行がそのバイトコードに関する前記データタイプの制約に違反する場合プログラムフォールト信号を生成することによって、前記プログラムの前処理をする過程と、(C)前記プログラムの前処理過程が、プログラムフォールト信号を生成しない結果となった場合、前記プログラムの実行をイネーブルする過程と、(D)前記プログラムの前処理過程が、プログラムフォールト信号を生成する結果となった場合、前記プログラムの実行を禁止する過程とを含むことを特徴とするコンピュータシステムの動作方法。

IPC (5)：

G06F 9/445 ,  G06F 9/06 410 ,  G06F 9/06 530 ,  G06F 9/06 540 ,  G06F 9/45

FI (6)：

G06F 9/06 420 J ,  G06F 9/06 410 Q ,  G06F 9/06 530 A ,  G06F 9/06 540 G ,  G06F 9/06 420 T ,  G06F 9/44 320 C