JPH03188529A - タスク内共有変数検出処理方式 - Google Patents
タスク内共有変数検出処理方式Info
- Publication number
- JPH03188529A JPH03188529A JP32775489A JP32775489A JPH03188529A JP H03188529 A JPH03188529 A JP H03188529A JP 32775489 A JP32775489 A JP 32775489A JP 32775489 A JP32775489 A JP 32775489A JP H03188529 A JPH03188529 A JP H03188529A
- Authority
- JP
- Japan
- Prior art keywords
- task
- program
- intra
- inter
- shared variable
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Granted
Links
- 238000004458 analytical method Methods 0.000 claims abstract description 26
- 238000001514 detection method Methods 0.000 claims description 9
- 238000003672 processing method Methods 0.000 claims description 9
- 238000000034 method Methods 0.000 description 18
- 230000007246 mechanism Effects 0.000 description 15
- 238000010586 diagram Methods 0.000 description 9
- 230000008569 process Effects 0.000 description 7
- 230000000694 effects Effects 0.000 description 4
- 230000004913 activation Effects 0.000 description 3
- 241000282412 Homo Species 0.000 description 2
- 238000006243 chemical reaction Methods 0.000 description 2
- 238000003491 array Methods 0.000 description 1
- 230000000903 blocking effect Effects 0.000 description 1
- 230000007423 decrease Effects 0.000 description 1
- 230000006870 function Effects 0.000 description 1
- 230000009467 reduction Effects 0.000 description 1
- 238000004904 shortening Methods 0.000 description 1
Landscapes
- Devices For Executing Special Programs (AREA)
Abstract
(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。
め要約のデータは記録されません。
Description
【発明の詳細な説明】
〔産業上の利用分野〕
本発明はマルチプロセッサでの実行を記述可能な高級プ
ログラミング言語で記述された原始プログラムからタス
ク内共有変数とみなせるタスク間共有変数を検出してタ
スク内共有変数に置き換える処理方式に関するものであ
る。
ログラミング言語で記述された原始プログラムからタス
ク内共有変数とみなせるタスク間共有変数を検出してタ
スク内共有変数に置き換える処理方式に関するものであ
る。
複数のプログラム単位から構成される原始プログラムで
は、変数（配列）のために割り当てられる記憶領域を削
減したり、プログラム単位間でのデータのやりとりを簡
易化したりする目的で、共通ブロック化の手法が多く用
いられる０例えば、ＦＯＲＴＲＡＮ言語ではＣｏＭＭｏ
Ｎ文が用いられる。
は、変数（配列）のために割り当てられる記憶領域を削
減したり、プログラム単位間でのデータのやりとりを簡
易化したりする目的で、共通ブロック化の手法が多く用
いられる０例えば、ＦＯＲＴＲＡＮ言語ではＣｏＭＭｏ
Ｎ文が用いられる。
ところで、マルチプロセッサでの実行を記述可能な高級
プログラミング言語、例えばＦＯＲＴＲＡＮ言語で記述
された原始プログラムにおいて、ＣｏＭＭｏＮ文により
宣言された変数は、その宣言の含まれるプログラム単位
が属する複数のタスクによって共有されるタスク間共有
変数となり、プログラムの実行時においては複数のタス
クからの参照・書込に対して内容の正当性を保持するた
めに排他制御が行われる。
プログラミング言語、例えばＦＯＲＴＲＡＮ言語で記述
された原始プログラムにおいて、ＣｏＭＭｏＮ文により
宣言された変数は、その宣言の含まれるプログラム単位
が属する複数のタスクによって共有されるタスク間共有
変数となり、プログラムの実行時においては複数のタス
クからの参照・書込に対して内容の正当性を保持するた
めに排他制御が行われる。
しかしながら、原始プログラム中で宣言されたタスク間
共有変数の全ての要素が複数のタスクによって現実に共
有されているとは限られず、多分に無用な宣言を含んで
おり、これがため、無用な排他制御によっ°ζプログラ
ムの実行効率が低下するという問題がある。
共有変数の全ての要素が複数のタスクによって現実に共
有されているとは限られず、多分に無用な宣言を含んで
おり、これがため、無用な排他制御によっ°ζプログラ
ムの実行効率が低下するという問題がある。
上記の問題を解決するには、原始プログラム中で宣言さ
れたタスク間共有変数が実質的に特定のタスク内のプロ
グラム単位間でしか共有されない変数（タスク内共有変
数）であることが明らかである場合には、ＴＡＳＫＣＯ
ＭＭＯＮ文によるタスク内共有変数の宣言に置き換えた
り、無用な宣言を削除するのが効果的である。
れたタスク間共有変数が実質的に特定のタスク内のプロ
グラム単位間でしか共有されない変数（タスク内共有変
数）であることが明らかである場合には、ＴＡＳＫＣＯ
ＭＭＯＮ文によるタスク内共有変数の宣言に置き換えた
り、無用な宣言を削除するのが効果的である。
従来、上記の処理は専ら人間によって行われており、原
始プログラムのタスク構成を調べつつ、プログラム単位
毎の変数の参照情報リスト等を目視で比較し、実質的な
タスク内共有変数を発見した場合、エディタ等により原
始プログラムに修正を加えるようにしていた。
始プログラムのタスク構成を調べつつ、プログラム単位
毎の変数の参照情報リスト等を目視で比較し、実質的な
タスク内共有変数を発見した場合、エディタ等により原
始プログラムに修正を加えるようにしていた。
上述したように、従来、原始プログラムからタスク内共
有変数とみなせるタスク間共存変数を検出してタスク内
共有変数に置き換える等の処理は人手にまかされていた
ため、作業が煩雑で担当者の負担が重いと共に、処理に
時間がかかるという欠点があった。また、人間の作業で
あるため、検出漏れ、修正漏れ等が発生することもあり
、充分な実行時間短縮の効果が上げられない欠点もあっ
本発明は上記の点に鑑み提案されたものであり、その目
的とするところは、原始プログラムからタスク内共有変
数とみなせるタスク間共有変数を検出してタスク内共有
変数に置き換える処理を全て自動的に行えるタスク内共
有変数検出処理方式を提供するごとにある。
有変数とみなせるタスク間共存変数を検出してタスク内
共有変数に置き換える等の処理は人手にまかされていた
ため、作業が煩雑で担当者の負担が重いと共に、処理に
時間がかかるという欠点があった。また、人間の作業で
あるため、検出漏れ、修正漏れ等が発生することもあり
、充分な実行時間短縮の効果が上げられない欠点もあっ
本発明は上記の点に鑑み提案されたものであり、その目
的とするところは、原始プログラムからタスク内共有変
数とみなせるタスク間共有変数を検出してタスク内共有
変数に置き換える処理を全て自動的に行えるタスク内共
有変数検出処理方式を提供するごとにある。
本発明は上記の目的を達成するため、マルチプロセッサ
での実行を記述可能な高級プログラミング１語で記述さ
れた原始プログラムからタスク内共有変数とみなせるタ
スク間共有変数を検出してタスク内共有変数に置き換え
る処理方式において、原始プログラムを入力してプログ
ラム単位共有変数情報およびプログラム構成情報を生成
するプログラム単位解析処理手段と、 生成されたプログラム単位共有変数情報およびプログラ
ム構成情報を参照してタスク単位共有変数情報を生成す
るタスク単位解析処理手段と、生成されたタスク単位共
有変数情報を参照してタスク間共有変数情報を生成する
タスク間解析処理手段と、 生成されたタスク間共有変数情報を参照して原始プログ
ラム中のタスク間共有変数の宣言のうち、自タスクのタ
スク内共有変数とみなせるものはタスク内共有変数の宣
言に置き換えるかタスク内共有変数であることの指示行
を原始プログラム中に挿入し、別タスクのタスク内共有
変数とみなせるものは原始プログラム中から削除して、
新たな原始プログラムを生成するプログラム変換処理手
段とを備えるようにしている。
での実行を記述可能な高級プログラミング１語で記述さ
れた原始プログラムからタスク内共有変数とみなせるタ
スク間共有変数を検出してタスク内共有変数に置き換え
る処理方式において、原始プログラムを入力してプログ
ラム単位共有変数情報およびプログラム構成情報を生成
するプログラム単位解析処理手段と、 生成されたプログラム単位共有変数情報およびプログラ
ム構成情報を参照してタスク単位共有変数情報を生成す
るタスク単位解析処理手段と、生成されたタスク単位共
有変数情報を参照してタスク間共有変数情報を生成する
タスク間解析処理手段と、 生成されたタスク間共有変数情報を参照して原始プログ
ラム中のタスク間共有変数の宣言のうち、自タスクのタ
スク内共有変数とみなせるものはタスク内共有変数の宣
言に置き換えるかタスク内共有変数であることの指示行
を原始プログラム中に挿入し、別タスクのタスク内共有
変数とみなせるものは原始プログラム中から削除して、
新たな原始プログラムを生成するプログラム変換処理手
段とを備えるようにしている。
本発明のタスク内共有変数検出処理方式にあっては、プ
ログラム単位解析処理手段が原始プログラムを入力して
プログラム単位共有変数情報およびプログラム構成情報
を生成し、生成されたプログラム単位共有変数情報およ
びプログラム構成情報をタスク単位解析処理手段が参照
してタスク単位共有変数情報を生成し、生成されたタス
ク単位共有変数情報をタスク間解析処理手段が参照して
タスク間共有変数情報を生成し、生成されたタスク間共
有変数情報をプログラム変換処理手段が参照し、原始プ
ログラム中のタスク間共有変数の宣ｉ゛のうち、自タス
クのタスク内共有変数とみなせるものはタスク内共有変
数の宣言に置き換えるかタスク内共有変数であることの
指示行を原始プログラム中に挿入し、別タスクのタスク
内共有変数とみなせるものは原始プログラム中から削除
して、新たな原始プログラムを生成する。
ログラム単位解析処理手段が原始プログラムを入力して
プログラム単位共有変数情報およびプログラム構成情報
を生成し、生成されたプログラム単位共有変数情報およ
びプログラム構成情報をタスク単位解析処理手段が参照
してタスク単位共有変数情報を生成し、生成されたタス
ク単位共有変数情報をタスク間解析処理手段が参照して
タスク間共有変数情報を生成し、生成されたタスク間共
有変数情報をプログラム変換処理手段が参照し、原始プ
ログラム中のタスク間共有変数の宣ｉ゛のうち、自タス
クのタスク内共有変数とみなせるものはタスク内共有変
数の宣言に置き換えるかタスク内共有変数であることの
指示行を原始プログラム中に挿入し、別タスクのタスク
内共有変数とみなせるものは原始プログラム中から削除
して、新たな原始プログラムを生成する。
以下、本発明の実施例につき図面を参照して説明する。
第１図は本発明のタスク内共有変数検出処理方式の一実
施例を示す構成図である。第１図において、本発明のタ
スク内共有変数検出処理方式は、プログラム解析・生成
機構２として具体化され、このプログラム解析・生成機
構２はマルチプロセッサでの実行を記述可能な高級プロ
グラミング言語、例えばＦＯＲＴＲＡＮ言語で記述され
た原始プログラム１を入力し、タスク内共有変数とみな
せるタスク間共有変数をタスク内共有変数に置き換えた
新たな原始プログラム３および共有変数情報リスト４を
出力するようになっている。なお、プログラム解析・生
成機構２は、機能部として、プログラム解析機構２１と
プログラム生成機構２５とを有し、情報格納領域として
、構成情報領域２８と共有変数情報領域２９とを有して
いる。また、プログラム解析機構２１はプログラム単位
解析処理手段２２とタスク単位解析処理手段２３とタス
ク間解析処理手段２４とから構成され、プログラム生成
機構２５は共有変数情報編集・出力処理手段２６とプロ
グラム変換処理手段２７とから構成されている。各部の
機能は後述の動作を通して説明することとする。
施例を示す構成図である。第１図において、本発明のタ
スク内共有変数検出処理方式は、プログラム解析・生成
機構２として具体化され、このプログラム解析・生成機
構２はマルチプロセッサでの実行を記述可能な高級プロ
グラミング言語、例えばＦＯＲＴＲＡＮ言語で記述され
た原始プログラム１を入力し、タスク内共有変数とみな
せるタスク間共有変数をタスク内共有変数に置き換えた
新たな原始プログラム３および共有変数情報リスト４を
出力するようになっている。なお、プログラム解析・生
成機構２は、機能部として、プログラム解析機構２１と
プログラム生成機構２５とを有し、情報格納領域として
、構成情報領域２８と共有変数情報領域２９とを有して
いる。また、プログラム解析機構２１はプログラム単位
解析処理手段２２とタスク単位解析処理手段２３とタス
ク間解析処理手段２４とから構成され、プログラム生成
機構２５は共有変数情報編集・出力処理手段２６とプロ
グラム変換処理手段２７とから構成されている。各部の
機能は後述の動作を通して説明することとする。
第２図はＦＯＲＴＲＡＮ言語で記述した原始プログラム
１の一例を示したものであり、５つのプログラム単位１
００，２００，３００，４００゜５００から構成されて
いるものとする。
１の一例を示したものであり、５つのプログラム単位１
００，２００，３００，４００゜５００から構成されて
いるものとする。
プログラム単位１００は、名前付き共通ブロックである
タスク間共有変数ＡＡ、ＣＣ，ＤＤを宣ｉするタスク間
共有変数宣言文１１０，１１１゜１１２と、タスク間共
有変数ＤＤの要素ＤＭ２と配列Ｃの領域結合を宣言する
ＥＱＵ Ｉ ＶＡＬＥＮＣＥ文１１３と、プログラム単
位３００の手続き副プログラムＡをタスクとして起動す
るタスク起動文１２０と、プログラム単位２００の手続
き副プログラムＤを呼び出す手続き呼び出し文１２１と
、タスク間共存変数の要素ＡＭ３．ＤＭＩ、Ｃの参照を
含む共有変数参照文１３０，１３１，１３２とを含んで
いる。
タスク間共有変数ＡＡ、ＣＣ，ＤＤを宣ｉするタスク間
共有変数宣言文１１０，１１１゜１１２と、タスク間共
有変数ＤＤの要素ＤＭ２と配列Ｃの領域結合を宣言する
ＥＱＵ Ｉ ＶＡＬＥＮＣＥ文１１３と、プログラム単
位３００の手続き副プログラムＡをタスクとして起動す
るタスク起動文１２０と、プログラム単位２００の手続
き副プログラムＤを呼び出す手続き呼び出し文１２１と
、タスク間共存変数の要素ＡＭ３．ＤＭＩ、Ｃの参照を
含む共有変数参照文１３０，１３１，１３２とを含んで
いる。
プログラム単位２００は、名前付き共通ブロックである
タスク間共有変数ＤＤを宣言するタスク間共有変数宣言
文２１０と、タスク間共有変数の要素ＤＤＩ、ＤＤ２の
参照を含む共有変数参照文２３０ ２３１とを含んでい
る。
タスク間共有変数ＤＤを宣言するタスク間共有変数宣言
文２１０と、タスク間共有変数の要素ＤＤＩ、ＤＤ２の
参照を含む共有変数参照文２３０ ２３１とを含んでい
る。
プログラム単位３００は、名前付き共通ブロックである
タスク間共有変数ＡＡ、ＣＣを宣言するタスク間共有変
数宣言文３１０．３１１と、プログラム単位４００の手
続き副プログラムＢを呼び出す手続き呼び出し文３２０
およびプログラム単位５００の手続き副プログラムＣを
呼び出す手続き呼び出し文３２１と、タスク間共有変数
の要素ＣＡ３ ＣＡ２．ＣＡＩ、ＡＡＩの参照を含む
共有変数参照文３３０，３３１，３３２，３３３とを含
んでいる。
タスク間共有変数ＡＡ、ＣＣを宣言するタスク間共有変
数宣言文３１０．３１１と、プログラム単位４００の手
続き副プログラムＢを呼び出す手続き呼び出し文３２０
およびプログラム単位５００の手続き副プログラムＣを
呼び出す手続き呼び出し文３２１と、タスク間共有変数
の要素ＣＡ３ ＣＡ２．ＣＡＩ、ＡＡＩの参照を含む
共有変数参照文３３０，３３１，３３２，３３３とを含
んでいる。
プログラム単位４００は、名前付き共通ブロックである
タスク間共有変数ＡＡを宣言するタスク間共有変数宣言
文４１０と、タスク間共有変数の要素ＡＢ２の参照を含
む共有変数参照文４３０とを含んでいる。
タスク間共有変数ＡＡを宣言するタスク間共有変数宣言
文４１０と、タスク間共有変数の要素ＡＢ２の参照を含
む共有変数参照文４３０とを含んでいる。
プログラム単位５００は、名前付き共通ブロックである
タスク間共有変数ＡＡ、ＣＣを宣言するタスク間共有変
数宣言文５１０，５１１と、タスク量弁を変数の要素Ａ
ＣＩ、ＡＣ２，ＣＣＩの参照を含む共有変数参照文５３
０，５３１，５３２とを含んでいる。
タスク間共有変数ＡＡ、ＣＣを宣言するタスク間共有変
数宣言文５１０，５１１と、タスク量弁を変数の要素Ａ
ＣＩ、ＡＣ２，ＣＣＩの参照を含む共有変数参照文５３
０，５３１，５３２とを含んでいる。
以下、第２図に示した原始プログラム１を例にとり、第
１図に示した実施例の動作を説明する。
１図に示した実施例の動作を説明する。
プログラム解析・生成機構２は、プログラム単位１００
，２００，３００，４００，５００から構成される原始
プログラムｌを入力する。
，２００，３００，４００，５００から構成される原始
プログラムｌを入力する。
プログラム解析機構２１のプログラム単位解析処理手段
２２は、各プログラム単位に出現する文の種類に応じ°
Ｃ以下の処理を行う、すなわち、プログラム単位１００
のタスク間共有変数宣言文１１０を検出すると、第３図
に示すプログラム単位共有変数情報１０１の一部として
、共存変数名ＡＡと、その要素名（名前）ＡＭＩ、ＡＭ
２．ＡＭ３と、その要素長（長さ）４，８．８を含む共
有変数ＡＡにかかる情報を共有変数情報領域２９に格納
する。なお、参照情報は初期値とし°ζ未参照とし°Ｃ
おく、タスク間共有変数宣言文１．１１，１１２につい
ても同様の処理を行い、タスク間共有変数ＣＣ，ＤＤに
かかる情報を共有変数情報領域２９に格納する。
２２は、各プログラム単位に出現する文の種類に応じ°
Ｃ以下の処理を行う、すなわち、プログラム単位１００
のタスク間共有変数宣言文１１０を検出すると、第３図
に示すプログラム単位共有変数情報１０１の一部として
、共存変数名ＡＡと、その要素名（名前）ＡＭＩ、ＡＭ
２．ＡＭ３と、その要素長（長さ）４，８．８を含む共
有変数ＡＡにかかる情報を共有変数情報領域２９に格納
する。なお、参照情報は初期値とし°ζ未参照とし°Ｃ
おく、タスク間共有変数宣言文１．１１，１１２につい
ても同様の処理を行い、タスク間共有変数ＣＣ，ＤＤに
かかる情報を共有変数情報領域２９に格納する。
次いで、プログラム単位解析処理手段２２はタスク間共
有変数ＤＤの要素ＤＭ２と配列Ｃの領域を結合するＥＱ
ＵＩ ＶＡＬＥＮＣＥ文１１３を検出すると、この領域
結合によりタスク間共有変数の他の要素が領域結合され
るか否かを調べる。この場合、配列Ｃは複素型なので要
素長が４０であり、要素長２０の要素ＤＭ２と要素長２
０の要素ＤＭ３の真領域に対応するので、要素ＤＭ３も
配列Ｃと領域結合され、要素ＤＭ２．ＤＭ３はＩ要素と
なる。そごで、共有変数情報領域２９内のプログラム単
位共有変数情報１０１（第３図参照）の共有変数ＤＤの
情報を、要素名ＤＭＩをもつ長さ４の要素と要素名ＤＭ
２．ＤＭ３、Ｃをもつ長さ４０の要素とから構成される
ように変更する。
有変数ＤＤの要素ＤＭ２と配列Ｃの領域を結合するＥＱ
ＵＩ ＶＡＬＥＮＣＥ文１１３を検出すると、この領域
結合によりタスク間共有変数の他の要素が領域結合され
るか否かを調べる。この場合、配列Ｃは複素型なので要
素長が４０であり、要素長２０の要素ＤＭ２と要素長２
０の要素ＤＭ３の真領域に対応するので、要素ＤＭ３も
配列Ｃと領域結合され、要素ＤＭ２．ＤＭ３はＩ要素と
なる。そごで、共有変数情報領域２９内のプログラム単
位共有変数情報１０１（第３図参照）の共有変数ＤＤの
情報を、要素名ＤＭＩをもつ長さ４の要素と要素名ＤＭ
２．ＤＭ３、Ｃをもつ長さ４０の要素とから構成される
ように変更する。
次いで、プログラム単位解析処理手段２２はタスク起動
文１２０を検出すると、手続き名、引数情報およびタス
ク起動であるというプログラム構成情報を構成情報領域
２日に格納する０手続き呼び出し文１２１についても同
様に処理する。
文１２０を検出すると、手続き名、引数情報およびタス
ク起動であるというプログラム構成情報を構成情報領域
２日に格納する０手続き呼び出し文１２１についても同
様に処理する。
次いで、プログラム単位解析処理手段２２はタスク間共
有変数ＡＡの要素ＡＭ３を参照する共有変数参照文１３
０を検出すると、プログラム単位共有変数情報１０１
（第３図参照）のタスク間共有変数ＡＡの要素ＡＭ３の
参照情報を参照有に変更する。共有変数参照文１３１，
１３２についても同様に処理する。
有変数ＡＡの要素ＡＭ３を参照する共有変数参照文１３
０を検出すると、プログラム単位共有変数情報１０１
（第３図参照）のタスク間共有変数ＡＡの要素ＡＭ３の
参照情報を参照有に変更する。共有変数参照文１３１，
１３２についても同様に処理する。
これらの処理を他のプログラム単位２００，３００．４
００，５００に対しても実行し、第３図に示す如きプロ
グラム単位共有変数情９！２０１゜３０１．４０１，５
０１を共有変数情報領域２９上に生成する。
００，５００に対しても実行し、第３図に示す如きプロ
グラム単位共有変数情９！２０１゜３０１．４０１，５
０１を共有変数情報領域２９上に生成する。
次に、プログラム解析機構２１のタスク単位解析処理手
段２３は、構成情報領域２８のプログラム構成情報を参
照し、プログラム単位をタスク毎に分類する。すなわち
、プログラム名ＭＡＩＮのプログラム単位１００は手続
き副プログラム名りであるプログラム単位２００を呼び
出しており、プログラム単位２００は他の手続き副プロ
グラムを呼び出していないので、プログラム単位１００
とプログラム単位２００とは同一のタスクに属すると判
定し、そのように分類する。同様に、プログラム単位１
００からタスク起動される手続き副プログラム名Ａのプ
ログラム単位３００は手続き副プログラム名Ｂ、 Ｃの
プログラム単位４００゜５００を呼び出しており、プロ
グラム単位４００゜５００は他の手続きを呼び出してい
ないので、プログラム単位３００，４００，５００は同
一のタスクに属すると判定し、そのように分類する。す
なわち、プログラム単位１００，２００により構成され
るタスク（以下、タスクｌＯと呼ぶ、）と、プログラム
単位３００，４００，５００により構成されるタスク（
以下、タスク２０と呼ぶ、）との２つのタスクに分類さ
れる。
段２３は、構成情報領域２８のプログラム構成情報を参
照し、プログラム単位をタスク毎に分類する。すなわち
、プログラム名ＭＡＩＮのプログラム単位１００は手続
き副プログラム名りであるプログラム単位２００を呼び
出しており、プログラム単位２００は他の手続き副プロ
グラムを呼び出していないので、プログラム単位１００
とプログラム単位２００とは同一のタスクに属すると判
定し、そのように分類する。同様に、プログラム単位１
００からタスク起動される手続き副プログラム名Ａのプ
ログラム単位３００は手続き副プログラム名Ｂ、 Ｃの
プログラム単位４００゜５００を呼び出しており、プロ
グラム単位４００゜５００は他の手続きを呼び出してい
ないので、プログラム単位３００，４００，５００は同
一のタスクに属すると判定し、そのように分類する。す
なわち、プログラム単位１００，２００により構成され
るタスク（以下、タスクｌＯと呼ぶ、）と、プログラム
単位３００，４００，５００により構成されるタスク（
以下、タスク２０と呼ぶ、）との２つのタスクに分類さ
れる。
これらのタスク毎にプログラム単位を分類する処理が終
了すると、タスク単位解析処理手段２３は、タスク１０
を構成するプログラム単位１００゜２００のプログラム
単位共有変数情報１０１，２０１（第３図参照）を参照
し、宣５′されているタスク間共有変数ＡＡ、ＣＣ，Ｄ
Ｄのタスク内での要素の再構成を行い、共存変数情報領
域２９上にタスク単位共有変数情報１１の生成を行う、
この場合、タスク間共存変数ＡＡ、ＣＣは、単一のプロ
グラム単位１００でのみ宣言されているので、参照した
プログラム単位共有変数情報１０１の情報をそのまま使
用し、第４図に示すように、タスり単位共有変数情報１
１を生成する。一方、タスク間共存変数ＤＤは、複数の
プログラム単位１００．２００で宣言されているので、
各々の要素を対応させる。すなわち、要素の対応の結果
、２番目の要素の重なりが不一致なので、領域の重なり
の最大値を１要素とするように情報を変更する。
了すると、タスク単位解析処理手段２３は、タスク１０
を構成するプログラム単位１００゜２００のプログラム
単位共有変数情報１０１，２０１（第３図参照）を参照
し、宣５′されているタスク間共有変数ＡＡ、ＣＣ，Ｄ
Ｄのタスク内での要素の再構成を行い、共存変数情報領
域２９上にタスク単位共有変数情報１１の生成を行う、
この場合、タスク間共存変数ＡＡ、ＣＣは、単一のプロ
グラム単位１００でのみ宣言されているので、参照した
プログラム単位共有変数情報１０１の情報をそのまま使
用し、第４図に示すように、タスり単位共有変数情報１
１を生成する。一方、タスク間共存変数ＤＤは、複数の
プログラム単位１００．２００で宣言されているので、
各々の要素を対応させる。すなわち、要素の対応の結果
、２番目の要素の重なりが不一致なので、領域の重なり
の最大値を１要素とするように情報を変更する。
これにより、タスク間共有変数ＤＤは、長さ４でタスク
内で参照有の要素と長さ４０で参照有の要素とし′ζタ
スク単位共有変数情報１１が生成される。
内で参照有の要素と長さ４０で参照有の要素とし′ζタ
スク単位共有変数情報１１が生成される。
他のタスク２０についても同様の処理を行い、第４図に
示すようなタスク単位共有変数情報２１を生成する。
示すようなタスク単位共有変数情報２１を生成する。
次に、プログラム解析ｉ横２１のタスク間解析処理手段
２４は、共：ｆ変数情報領域２９のタスク単位共有変数
情報１１．２１（第４図参照）を参照し、タスク間共有
変数ＡＡ、ＣＣ，ＤＤを１つずつ抽出し、そのタスク間
共有変数の部分毎に参照情報を付したタスク間共有変数
情報３１を共有変数情報領域２９上に生成する。すなわ
ち、タスク間共有変数ＡＡを抽出した際には、このタス
ク間共有変数ＡＡを参照するタスクを部分毎に検索し、
この場合、タスク間共有変数ＡＡの先頭から長さ１２の
部分がプログラム単位３００，４００゜５００から構成
されるタスク２０でのみ参照され、次の長さ８の部分が
プログラム単位１００，２００から構成されるタスク１
０とプログラム単位３００．４００，５００から構成さ
れるタスク２０との両者で参照されているため、第５図
に示すように、その旨の情報を共有変数名ＡＡと対応付
けてタスク間共有変数情報３１を生成する。
２４は、共：ｆ変数情報領域２９のタスク単位共有変数
情報１１．２１（第４図参照）を参照し、タスク間共有
変数ＡＡ、ＣＣ，ＤＤを１つずつ抽出し、そのタスク間
共有変数の部分毎に参照情報を付したタスク間共有変数
情報３１を共有変数情報領域２９上に生成する。すなわ
ち、タスク間共有変数ＡＡを抽出した際には、このタス
ク間共有変数ＡＡを参照するタスクを部分毎に検索し、
この場合、タスク間共有変数ＡＡの先頭から長さ１２の
部分がプログラム単位３００，４００゜５００から構成
されるタスク２０でのみ参照され、次の長さ８の部分が
プログラム単位１００，２００から構成されるタスク１
０とプログラム単位３００．４００，５００から構成さ
れるタスク２０との両者で参照されているため、第５図
に示すように、その旨の情報を共有変数名ＡＡと対応付
けてタスク間共有変数情報３１を生成する。
他のタスク間共有変数ＣＣ，ＤＤについても同様の処理
を行う。
を行う。
次に、プログラム生成機構２５の共有変数情報編集・出
力処理手段２６は、共有変数情報領域２９のプログラム
単位共有変数情報１０１，２０１゜３０１ ４０１．５
０１．タスク単位共有変数情報１１，２１．タスク間共
有変数情報３１を参照し、所定の形式に編集した上で、
第６図に示す如き共有変数情報リスト４を出力する。こ
れは、プログラム開発者等の参考に供される。
力処理手段２６は、共有変数情報領域２９のプログラム
単位共有変数情報１０１，２０１゜３０１ ４０１．５
０１．タスク単位共有変数情報１１，２１．タスク間共
有変数情報３１を参照し、所定の形式に編集した上で、
第６図に示す如き共有変数情報リスト４を出力する。こ
れは、プログラム開発者等の参考に供される。
最後に、プログラム生成機構２５のプログラム変換処理
手段２７は、原始プログラムｌを再度入力し、共有変数
情報領域２９のタスク間共有変数情報３１（第５図参照
）を参照し゛ζ原始プログラム１中の各プログラム単位
中のタスク間共有変数の宣言のうち、自タスクのタスク
内共有変数とみなせるものはタスク内共有変数の宣言に
置き換えるかタスク内共有変数であることの指示行を原
始プログラム１中に挿入し、別タスクのタスク内共有変
数とみなせるものは原始プログラム１中から削除して、
新たな原始プログラム３を生成する。
手段２７は、原始プログラムｌを再度入力し、共有変数
情報領域２９のタスク間共有変数情報３１（第５図参照
）を参照し゛ζ原始プログラム１中の各プログラム単位
中のタスク間共有変数の宣言のうち、自タスクのタスク
内共有変数とみなせるものはタスク内共有変数の宣言に
置き換えるかタスク内共有変数であることの指示行を原
始プログラム１中に挿入し、別タスクのタスク内共有変
数とみなせるものは原始プログラム１中から削除して、
新たな原始プログラム３を生成する。
すなわち、プログラム単位１００（第２図参照）中のタ
スク間共有変数情報編集１１０を検出すると、タスク間
共有変数情報３１を参照し、当該タスク間共有変数ＡＡ
がタスク内共有変数であるか否かを判定する。この場合
、タスク間共有変数宣言文１１０のタスク間共有変数Ａ
Ａの３要素ＡＭＩ。
スク間共有変数情報編集１１０を検出すると、タスク間
共有変数情報３１を参照し、当該タスク間共有変数ＡＡ
がタスク内共有変数であるか否かを判定する。この場合
、タスク間共有変数宣言文１１０のタスク間共有変数Ａ
Ａの３要素ＡＭＩ。
ＡＭ２．ＡＭ３の中で要素ＡＭＩ、ＡＭ２に相当する先
頭から長さ１２の部分が、プログラム単位１００の属す
るタスク１０とは別のタスク２０の実質的なタスク内共
有変数であるごとが判明するため、タスク間共有変数Ａ
Ａから要素ＡＭＩ、ＡＭ２を削除し、第７図に示すよう
に、１つの要素ＡＭ３から構成されるタスク間共有変数
ＡＡのタスク間共有変数宣言文１１０ａをプログラム単
位１００中に生成する。
頭から長さ１２の部分が、プログラム単位１００の属す
るタスク１０とは別のタスク２０の実質的なタスク内共
有変数であるごとが判明するため、タスク間共有変数Ａ
Ａから要素ＡＭＩ、ＡＭ２を削除し、第７図に示すよう
に、１つの要素ＡＭ３から構成されるタスク間共有変数
ＡＡのタスク間共有変数宣言文１１０ａをプログラム単
位１００中に生成する。
次いで、プログラム単位１００（第２図参照）中からタ
スク間共有変数宣言文１１１を検出すると、タスク間共
有変数ＣＣは全要素がプログラム単位１００の属するタ
スク１０とは別のタスク２０の実質的なタスク内共有変
数なので、この宣言文１１１を削除する。
スク間共有変数宣言文１１１を検出すると、タスク間共
有変数ＣＣは全要素がプログラム単位１００の属するタ
スク１０とは別のタスク２０の実質的なタスク内共有変
数なので、この宣言文１１１を削除する。
次いで、プログラム単位１００（第２図参照）中からタ
スク間共有変数宣言文１１２を検出すると、タスク間共
有変数ＤＤは全要素がプログラム単位１００の属するタ
スク１０の実質的なタスク内共有変数なので、この宣言
文１１２を第７図に示すようにタスク内共有変数宣言文
１１２ａに変更する。
スク間共有変数宣言文１１２を検出すると、タスク間共
有変数ＤＤは全要素がプログラム単位１００の属するタ
スク１０の実質的なタスク内共有変数なので、この宣言
文１１２を第７図に示すようにタスク内共有変数宣言文
１１２ａに変更する。
同様の処理を他のプログラム単位についても実行し、ｉ
終的に第７図全体のような原始プログラム３を生成する
。
終的に第７図全体のような原始プログラム３を生成する
。
以上説明したように、本発明のタスク内共有変数検出処
理力式にあっ°Ｃは、原始プログラムからタスク内共有
変数とみなせるタスク間共有変数を検出してタスク内共
有変数に置き換える等の処理が自動的に行えるため、煩
雑な作業から人間が解放されると共に、処理時間が大幅
に短縮される効果がある。また、検出漏れ等が発生しな
いため、プログラム実行時の効率も充分に高めることが
できる。
理力式にあっ°Ｃは、原始プログラムからタスク内共有
変数とみなせるタスク間共有変数を検出してタスク内共
有変数に置き換える等の処理が自動的に行えるため、煩
雑な作業から人間が解放されると共に、処理時間が大幅
に短縮される効果がある。また、検出漏れ等が発生しな
いため、プログラム実行時の効率も充分に高めることが
できる。
第１図は本発明のタスク内共有変数検出処理方式の一実
施例を示す構成図、 第２図は原始プログラムの例を示す図、第３図はプログ
ラム単位共有変数情報の例を示す図、 第４図はタスク単位共有変数情報の例を示す図、第５図
はタスク間共有変数情報の例を示す図、第６図は共有変
数情報リストの例を示す図および、 第７図は変換後の原始プログラムの例を示す図である。 図において、 ｌ・・・・・・原始プログラム ２・・・・・・プログラム解析・生成機構２１・・・プ
ログラム解析機構 ２２・・・プログラム単位解析処理手段２３・・・タス
ク単位解析処理手段 ２４・・・タスク間解析処理手段 ２５・・・プログラム生成機構 ２６・・・共有変数情報編集・出力処理手段２７・・・
プログラム変換処理手段 ２８・・・構成情報領域 ２９・・・共有変数情報領域 ３・・・・・・原始プログラム ４・・・・・・共有変数情報リスト 原始プログラムの例を示す図 第 図 タスク単位共有変数情報の例を示す図 第 図 タスク間共有変数情報の例を示す図 第 図 変換後の原始プログラムの例を示す図 第 図
施例を示す構成図、 第２図は原始プログラムの例を示す図、第３図はプログ
ラム単位共有変数情報の例を示す図、 第４図はタスク単位共有変数情報の例を示す図、第５図
はタスク間共有変数情報の例を示す図、第６図は共有変
数情報リストの例を示す図および、 第７図は変換後の原始プログラムの例を示す図である。 図において、 ｌ・・・・・・原始プログラム ２・・・・・・プログラム解析・生成機構２１・・・プ
ログラム解析機構 ２２・・・プログラム単位解析処理手段２３・・・タス
ク単位解析処理手段 ２４・・・タスク間解析処理手段 ２５・・・プログラム生成機構 ２６・・・共有変数情報編集・出力処理手段２７・・・
プログラム変換処理手段 ２８・・・構成情報領域 ２９・・・共有変数情報領域 ３・・・・・・原始プログラム ４・・・・・・共有変数情報リスト 原始プログラムの例を示す図 第 図 タスク単位共有変数情報の例を示す図 第 図 タスク間共有変数情報の例を示す図 第 図 変換後の原始プログラムの例を示す図 第 図
Claims (1)
- 【特許請求の範囲】 マルチプロセッサでの実行を記述可能な高級プログラミ
ング言語で記述された原始プログラムからタスク内共有
変数とみなせるタスク間共有変数を検出してタスク内共
有変数に置き換える処理方式において、 原始プログラムを入力してプログラム単位共有変数情報
およびプログラム構成情報を生成するプログラム単位解
析処理手段と、 生成されたプログラム単位共有変数情報およびプログラ
ム構成情報を参照してタスク単位共有変数情報を生成す
るタスク単位解析処理手段と、生成されたタスク単位共
有変数情報を参照してタスク間共有変数情報を生成する
タスク間解析処理手段と、 生成されたタスク間共有変数情報を参照して原始プログ
ラム中のタスク間共有変数の宣言のうち、自タスクのタ
スク内共有変数とみなせるものはタスク内共有変数の宣
言に置き換えるかタスク内共有変数であることの指示行
を原始プログラム中に挿入し、別タスクのタスク内共有
変数とみなせるものは原始プログラム中から削除して、
新たな原始プログラムを生成するプログラム変換処理手
段とを備えたことを特徴とするタスク内共有変数検出処
理方式。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP1327754A JP2527055B2 (ja) | 1989-12-18 | 1989-12-18 | タスク内共有変数検出処理方式 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP1327754A JP2527055B2 (ja) | 1989-12-18 | 1989-12-18 | タスク内共有変数検出処理方式 |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| JPH03188529A true JPH03188529A (ja) | 1991-08-16 |
| JP2527055B2 JP2527055B2 (ja) | 1996-08-21 |
Family
ID=18202615
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP1327754A Expired - Lifetime JP2527055B2 (ja) | 1989-12-18 | 1989-12-18 | タスク内共有変数検出処理方式 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JP2527055B2 (ja) |
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2000029742A (ja) * | 1998-05-21 | 2000-01-28 | Lucent Technol Inc | オ―プンシステムを閉じる方法 |
Citations (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPS62216042A (ja) * | 1986-03-17 | 1987-09-22 | Nec Corp | デ−タ領域のメモリ割付方式 |
| JPH01295336A (ja) * | 1988-05-23 | 1989-11-29 | Nec Corp | クリティカルセクション最適化方式 |
-
1989
- 1989-12-18 JP JP1327754A patent/JP2527055B2/ja not_active Expired - Lifetime
Patent Citations (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPS62216042A (ja) * | 1986-03-17 | 1987-09-22 | Nec Corp | デ−タ領域のメモリ割付方式 |
| JPH01295336A (ja) * | 1988-05-23 | 1989-11-29 | Nec Corp | クリティカルセクション最適化方式 |
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2000029742A (ja) * | 1998-05-21 | 2000-01-28 | Lucent Technol Inc | オ―プンシステムを閉じる方法 |
Also Published As
| Publication number | Publication date |
|---|---|
| JP2527055B2 (ja) | 1996-08-21 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| Walker et al. | MPI: a standard message passing interface | |
| Olsson et al. | A dataflow approach to event‐based debugging | |
| JP2005510790A (ja) | ソフトウェア・オブジェクトを作成する方法と装置 | |
| JPS6325733A (ja) | コンパイラ処理方式 | |
| Kaiser | Incremental dynamic semantics for language-based programming environments | |
| JPH03188529A (ja) | タスク内共有変数検出処理方式 | |
| Kalé | The reduce-or process model for parallel execution of logic programs | |
| JP3102030B2 (ja) | プログラム作成装置 | |
| Dhamdhere | Register assignment using code placement techniques | |
| US6233732B1 (en) | Compiling system using intermediate codes to store a plurality of values | |
| Chandy et al. | A deterministic notation for cooperating processes | |
| Barghouti et al. | Implementation of a knowledge-based programming environment | |
| Lima et al. | A formal semantics for sequence diagrams and a strategy for system analysis | |
| Allard et al. | Real-time programming in Common Lisp | |
| Chandy et al. | A notation for deterministic cooperating processes | |
| Bouteldja et al. | Buidling an Embedded Knowledge-Based Application Using Abstractions. | |
| Matsumoto | Automatic software reuse process in integrated case environment | |
| Wu | Methodology of generating recovery procedures in a robotic cell | |
| Davies | CAREL: A visible distributed lisp | |
| JPH0337201B2 (ja) | ||
| Wakita | First class continuation facilities in concurrent programming language Harmony/2 | |
| Darscht et al. | An object-oriented approach to handle complex real-time industrial automation projects | |
| Aridor et al. | Design of an Actor language for implicit parallel programming | |
| JPS6347838A (ja) | 知識継承制御方式 | |
| Slaby et al. | The use of parallel genetic algorithms for optimization in the early design phases |