JP2019179412A - Deadlock avoidance method and deadlock avoidance device - Google Patents

Deadlock avoidance method and deadlock avoidance device Download PDF

Info

Publication number
JP2019179412A
JP2019179412A JP2018068429A JP2018068429A JP2019179412A JP 2019179412 A JP2019179412 A JP 2019179412A JP 2018068429 A JP2018068429 A JP 2018068429A JP 2018068429 A JP2018068429 A JP 2018068429A JP 2019179412 A JP2019179412 A JP 2019179412A
Authority
JP
Japan
Prior art keywords
deadlock
processing
graph structure
provisional
start node
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
Application number
JP2018068429A
Other languages
Japanese (ja)
Other versions
JP7064367B2 (en
Inventor
祐次郎 谷
Yujiro Tani
祐次郎 谷
一嘉 石渡
Kazuyoshi Ishiwatari
一嘉 石渡
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Denso Corp
NSI Texe Inc
Original Assignee
Denso Corp
NSI Texe Inc
Priority date (The priority date 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 date listed.)
Filing date
Publication date
Application filed by Denso Corp, NSI Texe Inc filed Critical Denso Corp
Priority to JP2018068429A priority Critical patent/JP7064367B2/en
Priority to PCT/JP2019/009627 priority patent/WO2019188175A1/en
Publication of JP2019179412A publication Critical patent/JP2019179412A/en
Application granted granted Critical
Publication of JP7064367B2 publication Critical patent/JP7064367B2/en
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F15/00—Digital computers in general; Data processing equipment in general
    • G06F15/16—Combinations of two or more digital computers each having at least an arithmetic unit, a program unit and a register, e.g. for a simultaneous processing of several programs
    • G06F15/163—Interprocessor communication
    • G06F15/167—Interprocessor communication using a common memory, e.g. mailbox
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/40—Transformation of program code
    • G06F8/41—Compilation

Abstract

To avoid deadlock in a processor running a program written in a graph structure.SOLUTION: A deadlock avoidance device comprises: a graph structure analysis unit (501) configured to extract a provisional deadlock location with an apparent deadlock, where input/output buffers loop in buffer units in a processor running a program with a graph structure; and a deadlock elimination unit (502) for eliminating the deadlock at the provisional deadlock location. The deadlock elimination unit (502) is configured to execute a start identification process for identifying a process start node, from which a process is started at the provisional deadlock location, so that a series of processes can be started from the process start node.SELECTED DRAWING: Figure 5

Description

本開示は、グラフ構造で記述されたプログラムを実行するプロセッサにおけるデッドロックを回避するデッドロック回避方法及びデッドロック回避装置に関する。   The present disclosure relates to a deadlock avoidance method and a deadlock avoidance device for avoiding a deadlock in a processor that executes a program described in a graph structure.

プログラムにおいて、２つ以上の処理単位が互いの処理終了を待ち、結果としてどの処理も先に進めなくなってしまうデッドロックを回避するため、デッドロックが発生する場面に応じたデッドロック回避方法が提案されている。下記特許文献１では、割り込み処理に伴って発生するデッドロックを回避する方法が開示されている。   In order to avoid a deadlock where two or more processing units wait for the end of each other's processing in the program, and as a result no processing can proceed further, a deadlock avoidance method according to the situation where the deadlock occurs is proposed Has been. Patent Document 1 below discloses a method for avoiding a deadlock that occurs with interrupt processing.

国際公開第２０１２／１２０５７３号International Publication No. 2012/120573

特許文献１では、コプロセッサ命令の実行中に割り込み処理によってコプロセッサに対して処理を行うプロセッサシステムにおいて、デッドロックを回避することについては開示がある。   Patent Document 1 discloses that a deadlock is avoided in a processor system that performs processing on a coprocessor by interrupt processing during execution of a coprocessor instruction.

しかしながら、特許文献１に記載の発明では、プログラムをデータと処理とに分割してグラフ構造とし、それを読み込むことで動作するプロセッサ特有のデッドロックを回避することはできない。   However, in the invention described in Patent Document 1, it is impossible to avoid a deadlock unique to a processor that operates by dividing a program into data and processing to form a graph structure and reading the program.

本開示は、グラフ構造で記述されたプログラムを実行するプロセッサにおいてデッドロックを回避するデッドロック回避方法及びデッドロック回避装置を提供することを目的とする。   An object of the present disclosure is to provide a deadlock avoidance method and a deadlock avoidance device that avoid a deadlock in a processor that executes a program described in a graph structure.

本開示は、グラフ構造で記述されたプログラムを実行するプロセッサにおけるデッドロックを回避するデッドロック回避方法であって、グラム構造のプログラムにおいて、入出力バッファがバッファ単位でループし見かけ上デッドロックとなる暫定デッドロック箇所を抽出するグラフ構造解析ステップと、暫定デッドロック箇所におけるデッドロックを解消するデッドロック解消ステップと、を備えている。デッドロック解消ステップにおいて、暫定デッドロック箇所において処理を開始する処理開始ノードを特定し、処理開始ノードから一連の処理が開始されるように特定する開始特定処理を実行する。   The present disclosure relates to a deadlock avoidance method for avoiding a deadlock in a processor that executes a program described in a graph structure. In a program having a gram structure, an input / output buffer loops in units of buffers and apparently becomes a deadlock. A graph structure analysis step for extracting a provisional deadlock location; and a deadlock elimination step for eliminating a deadlock at the provisional deadlock location. In the deadlock elimination step, a process start node for starting the process at the provisional deadlock point is specified, and a start specifying process for specifying a series of processes to be started from the process start node is executed.

また本開示は、グラフ構造で記述されたプログラムを実行するプロセッサにおけるデッドロックを回避するデッドロック回避装置であって、グラム構造のプログラムにおいて、入出力バッファがバッファ単位でループし見かけ上デッドロックとなる暫定デッドロック箇所を抽出するグラフ構造解析部（５０１）と、暫定デッドロック箇所におけるデッドロックを解消するデッドロック解消部（５０２）と、を備えている。デッドロック解消部は、暫定デッドロック箇所において処理を開始する処理開始ノードを特定し、処理開始ノードから一連の処理が開始されるように特定する開始特定処理を実行する。   The present disclosure is also a deadlock avoidance device for avoiding a deadlock in a processor that executes a program described in a graph structure. In a program having a gram structure, an input / output buffer is looped in units of buffers and apparently deadlocks. A graph structure analysis unit (501) for extracting a provisional deadlock location, and a deadlock elimination unit (502) for eliminating a deadlock at the provisional deadlock location. The deadlock elimination unit identifies a process start node that starts processing at the provisional deadlock location, and executes a start identification process that identifies a series of processes to be started from the process start node.

処理開始ノードを特定し、その処理開始ノードから一連の処理が開始するように処理することで、入出力バッファがバッファ単位でループしている場合であっても、適切な処理準を定義することができ、見かけ上のデッドロックを回避して並列実行することができる。   By specifying a process start node and processing so that a series of processes start from that process start node, even if the input / output buffer is looped in units of buffers, define an appropriate process level Can be executed in parallel while avoiding apparent deadlocks.

本開示によれば、グラフ構造で記述されたプログラムを実行するプロセッサにおいてデッドロックを回避するデッドロック回避方法及びデッドロック回避装置を提供することができる。   According to the present disclosure, it is possible to provide a deadlock avoidance method and a deadlock avoidance device that avoid deadlock in a processor that executes a program described in a graph structure.

図１は、本実施形態の前提となる並列処理について説明するための図である。FIG. 1 is a diagram for explaining parallel processing which is a premise of the present embodiment. 図２は、図１に示される並列処理を実行するためのシステム構成例を示す図である。FIG. 2 is a diagram showing a system configuration example for executing the parallel processing shown in FIG. 図３は、図２に用いられるＤＦＰの構成例を示す図である。FIG. 3 is a diagram illustrating a configuration example of the DFP used in FIG. 図４は、コンパイラの機能的な構成例を説明するための図である。FIG. 4 is a diagram for explaining a functional configuration example of the compiler. 図５は、デッドロック回避の一例を説明するための図である。FIG. 5 is a diagram for explaining an example of deadlock avoidance. 図６は、デッドロック回避の一例を説明するための図である。FIG. 6 is a diagram for explaining an example of deadlock avoidance. 図７は、デッドロック回避の一例を説明するための図である。FIG. 7 is a diagram for explaining an example of deadlock avoidance. 図８は、デッドロック回避の一例を説明するための図である。FIG. 8 is a diagram for explaining an example of deadlock avoidance.

以下、添付図面を参照しながら本実施形態について説明する。説明の理解を容易にするため、各図面において同一の構成要素に対しては可能な限り同一の符号を付して、重複する説明は省略する。   Hereinafter, the present embodiment will be described with reference to the accompanying drawings. In order to facilitate the understanding of the description, the same components are denoted by the same reference numerals as much as possible in the drawings, and redundant descriptions are omitted.

図１（Ａ）は、グラフ構造で記述されたプログラムコードを示しており、図１（Ｂ）は、スレッドの状態を示しており、図１（Ｃ）は、並列処理の状況を示している。   FIG. 1A shows program code described in a graph structure, FIG. 1B shows the state of a thread, and FIG. 1C shows the state of parallel processing. .

図１（Ａ）に示されるように、本実施形態が処理対象とするプログラムは、データと処理とが分割されているグラフ構造を有している。このグラフ構造は、プログラムのタスク並列性、グラフ並列性を保持している。   As shown in FIG. 1A, the program to be processed in this embodiment has a graph structure in which data and processing are divided. This graph structure maintains the task parallelism and graph parallelism of the program.

図１（Ａ）に示されるプログラムコードに対して、コンパイラによる自動ベクトル化とグラフ構造の抽出を行うと、図１（Ｂ）に示されるような大量のスレッドを生成することができる。   When automatic vectorization and graph structure extraction by the compiler are performed on the program code shown in FIG. 1A, a large number of threads as shown in FIG. 1B can be generated.

図１（Ｂ）に示される多量のスレッドに対して、ハードウェアによる動的レジスタ配置とスレッド・スケジューリングにより、図１（Ｃ）に示されるような並列実行を行うことができる。実行中にレジスタ資源を動的配置することで、異なる命令ストリームに対しても複数のスレッドを並列実行することができる。   With respect to the large number of threads shown in FIG. 1B, parallel execution as shown in FIG. 1C can be performed by hardware dynamic register allocation and thread scheduling. By dynamically allocating register resources during execution, a plurality of threads can be executed in parallel for different instruction streams.

続いて図２を参照しながら、動的レジスタ配置及びスレッド・スケジューリングを行うアクセラレータとしてのＤＦＰ（Ｄａｔａ Ｆｌｏｗ Ｐｒｏｃｅｓｓｏｒ）１０を含むシステム構成例である、データ処理システム２を説明する。   Next, a data processing system 2, which is a system configuration example including a DFP (Data Flow Processor) 10 as an accelerator for performing dynamic register allocation and thread scheduling, will be described with reference to FIG.

データ処理システム２は、ＤＦＰ１０と、イベントハンドラ２０と、ホストＣＰＵ２１と、ＲＯＭ２２と、ＲＡＭ２３と、外部インターフェイス２４と、システムバス２５と、を備えている。ホストＣＰＵ２１は、データ処理を主として行う演算装置である。ホストＣＰＵ２１は、ＯＳをサポートしている。イベントハンドラ２０は、割り込み処理を生成する部分である。   The data processing system 2 includes a DFP 10, an event handler 20, a host CPU 21, a ROM 22, a RAM 23, an external interface 24, and a system bus 25. The host CPU 21 is an arithmetic unit that mainly performs data processing. The host CPU 21 supports the OS. The event handler 20 is a part that generates an interrupt process.

ＲＯＭ２２は、読込専用のメモリである。ＲＡＭ２３は、読み書き用のメモリである。外部インターフェイス２４は、データ処理システム２外と情報授受を行うためのインターフェイスである。システムバス２５は、ＤＦＰ１０と、ホストＣＰＵ２１と、ＲＯＭ２２と、ＲＡＭ２３と、外部インターフェイス２４との間で情報の送受信を行うためのものである。   The ROM 22 is a read-only memory. The RAM 23 is a read / write memory. The external interface 24 is an interface for exchanging information with the outside of the data processing system 2. The system bus 25 is for transmitting and receiving information between the DFP 10, the host CPU 21, the ROM 22, the RAM 23, and the external interface 24.

ＤＦＰ１０は、ホストＣＰＵ２１の重い演算負荷に対処するために設けられている個別のマスタとして位置づけられている。ＤＦＰ１０は、イベントハンドラ２０が生成した割り込みをサポートするように構成されている。   The DFP 10 is positioned as an individual master provided to cope with a heavy calculation load on the host CPU 21. The DFP 10 is configured to support the interrupt generated by the event handler 20.

続いて図３を参照しながら、ＤＦＰ１０について説明する。図３に示されるように、ＤＦＰ１０は、コマンドユニット１２と、スレッドスケジューラ１４と、実行コア１６と、メモリサブシステム１８と、を備えている。   Next, the DFP 10 will be described with reference to FIG. As shown in FIG. 3, the DFP 10 includes a command unit 12, a thread scheduler 14, an execution core 16, and a memory subsystem 18.

コマンドユニット１２は、コンフィグ・インターフェイスとの間で情報通信可能なように構成されている。コマンドユニット１２は、コマンドバッファとしても機能している。   The command unit 12 is configured to be able to communicate information with the config interface. The command unit 12 also functions as a command buffer.

スレッドスケジューラ１４は、図１（Ｂ）に例示されるような多量のスレッドの処理をスケジューリングする部分である。スレッドスケジューラ１４は、スレッドを跨いだスケジューリングを行うことが可能である。   The thread scheduler 14 is a part that schedules processing of a large number of threads as exemplified in FIG. The thread scheduler 14 can perform scheduling across threads.

実行コア１６は、４つのプロセッシングエレメントである、ＰＥ＃０と、ＰＥ＃１と、ＰＥ＃２と、ＰＥ＃３と、を有している。実行コア１６は、独立してスケジューリング可能な多数のパイプラインを有している。   The execution core 16 has four processing elements, PE # 0, PE # 1, PE # 2, and PE # 3. The execution core 16 has a number of pipelines that can be scheduled independently.

メモリサブシステム１８は、アービタ１８１と、Ｌ１キャッシュ１８ａと、Ｌ２キャッシュ１８ｂと、を有している。メモリサブシステム１８は、システム・バス・インターフェイス及びＲＯＭインターフェイスとの間で情報通信可能なように構成されている。   The memory subsystem 18 includes an arbiter 181, an L1 cache 18a, and an L2 cache 18b. The memory subsystem 18 is configured to allow information communication between the system bus interface and the ROM interface.

続いて、図４を参照しながら、本開示のデッドロック回避装置の一例としてのコンパイラ５０について説明する。本開示のデッドロック回避装置の実施形態はコンパイラ５０に限られるものではなく、図１（Ａ）に例示されるグラフ構造で記述されたプログラムをスレッドに展開するものであれば、図２に示されるようなデータ処理システム２や、図３に示されるようなＤＦＰ１０に実装されてもよい。   Next, the compiler 50 as an example of the deadlock avoidance device of the present disclosure will be described with reference to FIG. The embodiment of the deadlock avoidance device according to the present disclosure is not limited to the compiler 50, and if the program described in the graph structure illustrated in FIG. The data processing system 2 as described above or the DFP 10 as shown in FIG.

コンパイラ５０は、機能的な構成要素として、グラフ構造解析部５０１と、デッドロック解消部５０２と、を有している。   The compiler 50 includes a graph structure analysis unit 501 and a deadlock elimination unit 502 as functional components.

グラフ構造解析部５０１は、グラフ構造で記述されたプログラムにおいて、入出力バッファがバッファ単位でループし見かけ上デッドロックとなる暫定デッドロック箇所を抽出する部分である。   The graph structure analysis unit 501 is a part for extracting a provisional deadlock portion where an input / output buffer loops in buffer units and apparently becomes a deadlock in a program described in a graph structure.

図５に示されるような処理を参照しながら説明する。図５に示される処理では、ｂｕｆ０のデータを用いてｆｕｎｃ１［０］の処理が実行され、その実行結果がｂｕｆ１［０］に保持される。続いて、ｂｕｆ１［０］のデータを用いてｆｕｎｃ２［０］の処理が実行され、その実行結果がｂｕｆ２［０］に保持される。続いて、ｂｕｆ２［０］のデータを用いてｆｕｎｃ１［１］の処理が実行され、その実行結果がｂｕｆ１［１］に保持される。続いて、ｂｕｆ１［１］のデータを用いてｆｕｎｃ２［１］の処理が実行され、その実行結果がｂｕｆ２［１］に保持される。この処理をＮ回行い、最後の計算結果ｆｕｎｃ２［Ｎ］を最終出力とする。   This will be described with reference to the processing shown in FIG. In the process shown in FIG. 5, the process of func1 [0] is executed using the data of buf0, and the execution result is held in buf1 [0]. Subsequently, the process of func2 [0] is executed using the data of buf1 [0], and the execution result is held in buf2 [0]. Subsequently, the process of func1 [1] is executed using the data of buf2 [0], and the execution result is held in buf1 [1]. Subsequently, the process of func2 [1] is executed using the data of buf1 [1], and the execution result is held in buf2 [1]. This process is performed N times, and the final calculation result func2 [N] is used as the final output.

並列実行可能なプロセッサ向けでこのような処理を実現しようとすると、図５のバッファ部分に着目することになり、ｂｕｆ２とｂｕｆ１との間でデッドロックが発生しているように見えるため、並列処理を実行するこができない。   If such processing is to be realized for a processor that can execute in parallel, the buffer portion in FIG. 5 will be focused, and it appears that a deadlock has occurred between buf2 and buf1. Cannot be executed.

しかしながら、上記説明したように、処理の記述を適切に行い、バッファのインデックスを変更することで、図６に示されるようなデッドロックを回避した処理が可能となる。そこで、グラフ構造解析部５０１は、図５に示されるような箇所を、入出力バッファがバッファ単位でループし見かけ上デッドロックとなる暫定デッドロック箇所として抽出する（グラフ構造解析ステップ）。   However, as described above, by appropriately describing the process and changing the buffer index, a process avoiding deadlock as shown in FIG. 6 can be performed. Therefore, the graph structure analysis unit 501 extracts a location as shown in FIG. 5 as a temporary deadlock location where the input / output buffer loops in buffer units and apparently becomes a deadlock (graph structure analysis step).

デッドロック解消部５０２は、暫定デッドロック箇所におけるデッドロックを解消する部分である。デッドロック解消部５０２は、暫定デッドロック箇所において処理を開始する処理開始ノードを特定し、処理開始ノードから一連の処理が開始されるように特定する開始特定処理を実行する（デッドロック解消ステップ）。このようにデッドロック解消部５０２が開始特定処理を実行することで、デッドロック状態を解消し、図６に例示するような処理が可能となる。   The deadlock elimination unit 502 is a part that eliminates deadlock at the provisional deadlock location. The deadlock elimination unit 502 identifies a process start node that starts processing at the provisional deadlock location, and executes a start identification process that identifies a series of processes to be started from the process start node (deadlock resolution step). . In this way, the deadlock canceling unit 502 executes the start specifying process, so that the deadlock state is canceled and the process illustrated in FIG. 6 can be performed.

開始特定処理の一例としては、図７に示されるように、開始特定処理において、処理開始ノードであるｆｕｎｃ１から処理を開始するように、処理開始ノードであるｆｕｎｃ１に対する開始指示情報を付与する。開始指示情報としては、ｋｉｃｋコマンドが用いられる。   As an example of the start specifying process, as shown in FIG. 7, in the start specifying process, start instruction information for func1 that is a process start node is added so that the process starts from func1 that is a process start node. A kick command is used as the start instruction information.

開始特定処理の別例としては、図８に示されるように、開始特定処理において、処理開始ノードであるｆｕｎｃ１から処理を開始するように、処理の順番を指示する処理順番情報を付与する。   As another example of the start specifying process, as shown in FIG. 8, in the start specifying process, process order information for instructing the order of the process is given so as to start the process from func1, which is the process start node.

上記したように本実施形態は、グラフ構造で記述されたプログラムを実行するプロセッサにおけるデッドロックを回避するデッドロック回避方法であって、グラフ構造で記述されたプログラムにおいて、入出力バッファがバッファ単位でループし見かけ上デッドロックとなる暫定デッドロック箇所を抽出するグラフ構造解析ステップと、暫定デッドロック箇所におけるデッドロックを解消するデッドロック解消ステップと、を備えている。デッドロック解消ステップにおいて、暫定デッドロック箇所において処理を開始する処理開始ノードを特定し、処理開始ノードから一連の処理が開始されるように特定する開始特定処理を実行する。   As described above, the present embodiment is a deadlock avoidance method for avoiding a deadlock in a processor that executes a program described in a graph structure. In the program described in the graph structure, the input / output buffer is a buffer unit. A graph structure analysis step for extracting a provisional deadlock portion that loops and becomes an apparent deadlock, and a deadlock elimination step for eliminating a deadlock at the provisional deadlock portion are provided. In the deadlock elimination step, a process start node for starting the process at the provisional deadlock point is specified, and a start specifying process for specifying a series of processes to be started from the process start node is executed.

装置として捉えれば、グラフ構造で記述されたプログラムを実行するプロセッサにおけるデッドロックを回避するデッドロック回避装置であって、グラフ構造で記述されたプログラムにおいて、入出力バッファがバッファ単位でループし見かけ上デッドロックとなる暫定デッドロック箇所を抽出するグラフ構造解析部５０１と、暫定デッドロック箇所におけるデッドロックを解消するデッドロック解消部５０２と、を備えている。デッドロック解消部５０２は、暫定デッドロック箇所において処理を開始する処理開始ノードを特定し、処理開始ノードから一連の処理が開始されるように特定する開始特定処理を実行する。   If considered as a device, it is a deadlock avoidance device that avoids deadlock in a processor that executes a program described in a graph structure. In a program described in a graph structure, an input / output buffer loops in units of buffers, and apparently A graph structure analysis unit 501 that extracts a provisional deadlock location that becomes a deadlock, and a deadlock elimination unit 502 that eliminates a deadlock at the provisional deadlock location. The deadlock elimination unit 502 identifies a process start node that starts processing at the provisional deadlock location, and executes a start identification process that identifies a series of processes to be started from the process start node.

処理開始ノードを特定し、その処理開始ノードから一連の処理が開始するように処理することで、入出力バッファがバッファ単位でループしている場合であっても、適切な処理準を定義することができ、見かけ上のデッドロックを回避して並列実行することができる。   By specifying a process start node and processing so that a series of processes start from that process start node, even if the input / output buffer is looped in units of buffers, define an appropriate process level Can be executed in parallel while avoiding apparent deadlocks.

図７を参照しながら説明したように、デッドロック回避方法では、開始特定処理において、処理開始ノードから処理を開始するように、処理開始ノードに対する開始指示情報を付与することができる。同様に、デッドロック回避装置では、デッドロック解消部５０２が、前記開始特定処理において、前記処理開始ノードから処理を開始するように、前記処理開始ノードに対する開始指示情報を付与することができる。このように、開始指示情報を付与することで、処理開始ノードを特定することができ、並列処理が可能となる。   As described with reference to FIG. 7, in the deadlock avoidance method, in the start specifying process, start instruction information for the process start node can be given so as to start the process from the process start node. Similarly, in the deadlock avoidance device, the deadlock elimination unit 502 can give start instruction information to the process start node so that the start specifying process starts the process from the process start node. Thus, by giving start instruction information, a process start node can be specified and parallel processing becomes possible.

図８を参照しながら説明したように、デッドロック回避方法では、開始特定処理において、処理開始ノードから処理を開始するように、処理の順番を指示する処理順番情報を付与することができる。同様に、デッドロック回避装置では、デッドロック解消部５０２は、開始特定処理において、処理開始ノードから処理を開始するように、処理の順番を指示する処理順番情報を付与することができる。このように、処理順番情報を付与することで、処理順番を特定することができ、並列処理が可能となる。   As described with reference to FIG. 8, in the deadlock avoidance method, in the start specifying process, process order information for instructing the order of processes can be given so as to start the process from the process start node. Similarly, in the deadlock avoidance apparatus, the deadlock elimination unit 502 can add processing order information that instructs the processing order so that the processing is started from the processing start node in the start specifying processing. In this way, by adding the processing order information, the processing order can be specified, and parallel processing becomes possible.

以上、具体例を参照しつつ本実施形態について説明した。しかし、本開示はこれらの具体例に限定されるものではない。これら具体例に、当業者が適宜設計変更を加えたものも、本開示の特徴を備えている限り、本開示の範囲に包含される。前述した各具体例が備える各要素およびその配置、条件、形状などは、例示したものに限定されるわけではなく適宜変更することができる。前述した各具体例が備える各要素は、技術的な矛盾が生じない限り、適宜組み合わせを変えることができる。   The present embodiment has been described above with reference to specific examples. However, the present disclosure is not limited to these specific examples. Those in which those skilled in the art appropriately modify the design of these specific examples are also included in the scope of the present disclosure as long as they have the features of the present disclosure. Each element included in each of the specific examples described above and their arrangement, conditions, shape, and the like are not limited to those illustrated, and can be changed as appropriate. Each element included in each of the specific examples described above can be appropriately combined as long as no technical contradiction occurs.

５０１：グラフ構造解析部
５０２：デッドロック解消部 501: Graph structure analysis unit 502: Deadlock elimination unit

Claims (6)

グラフ構造で記述されたプログラムを実行するプロセッサにおけるデッドロックを回避するデッドロック回避方法であって、
グラフ構造で記述されたプログラムにおいて、入出力バッファがバッファ単位でループし見かけ上デッドロックとなる暫定デッドロック箇所を抽出するグラフ構造解析ステップと、
前記暫定デッドロック箇所におけるデッドロックを解消するデッドロック解消ステップと、を備え、
前記デッドロック解消ステップにおいて、
前記暫定デッドロック箇所において処理を開始する処理開始ノードを特定し、
前記処理開始ノードから一連の処理が開始されるように特定する開始特定処理を実行する、デッドロック回避方法。 A deadlock avoidance method for avoiding a deadlock in a processor that executes a program described in a graph structure,
In a program described in a graph structure, a graph structure analysis step for extracting a provisional deadlock portion where an input / output buffer loops in buffer units and apparently becomes a deadlock;
A deadlock elimination step for eliminating a deadlock at the provisional deadlock location, and
In the deadlock elimination step,
Identify the process start node to start processing at the provisional deadlock location,
A deadlock avoidance method for executing a start specifying process for specifying a series of processes to be started from the process start node. 請求項１に記載のデッドロック回避方法であって、
前記開始特定処理において、前記処理開始ノードから処理を開始するように、前記処理開始ノードに対する開始指示情報を付与する、デッドロック回避方法。 The deadlock avoidance method according to claim 1,
A deadlock avoidance method for providing start instruction information for the process start node so that the process is started from the process start node in the start specifying process. 請求項１に記載のデッドロック回避方法であって、
前記開始特定処理において、前記処理開始ノードから処理を開始するように、処理の順番を指示する処理順番情報を付与する、デッドロック回避方法。 The deadlock avoidance method according to claim 1,
In the start specifying process, a deadlock avoidance method of giving processing order information for instructing a processing order so as to start processing from the processing start node. グラフ構造で記述されたプログラムを実行するプロセッサにおけるデッドロックを回避するデッドロック回避装置であって、
グラフ構造で記述されたプログラムにおいて、入出力バッファがバッファ単位でループし見かけ上デッドロックとなる暫定デッドロック箇所を抽出するグラフ構造解析部（５０１）と、
前記暫定デッドロック箇所におけるデッドロックを解消するデッドロック解消部（５０２）と、を備え、
前記デッドロック解消部は、
前記暫定デッドロック箇所において処理を開始する処理開始ノードを特定し、
前記処理開始ノードから一連の処理が開始されるように特定する開始特定処理を実行する、デッドロック回避装置。 A deadlock avoidance device for avoiding deadlock in a processor that executes a program described in a graph structure,
In a program described in a graph structure, a graph structure analysis unit (501) for extracting a provisional deadlock portion where an input / output buffer loops in buffer units and apparently becomes a deadlock;
A deadlock elimination unit (502) for eliminating a deadlock at the provisional deadlock location,
The deadlock elimination unit is
Identify the process start node to start processing at the provisional deadlock location,
A deadlock avoidance device that executes a start specifying process for specifying a series of processes to be started from the process start node. 請求項４に記載のデッドロック回避装置であって、
前記デッドロック解消部は、前記開始特定処理において、前記処理開始ノードから処理を開始するように、前記処理開始ノードに対する開始指示情報を付与する、デッドロック回避装置。 The deadlock avoidance device according to claim 4,
The deadlock avoiding apparatus, wherein the deadlock elimination unit provides start instruction information for the process start node so that the process is started from the process start node in the start specifying process. 請求項４に記載のデッドロック回避装置であって、
前記デッドロック解消部は、前記開始特定処理において、前記処理開始ノードから処理を開始するように、処理の順番を指示する処理順番情報を付与する、デッドロック回避装置。 The deadlock avoidance device according to claim 4,
The deadlock elimination unit, in the start identification process, provides processing order information that instructs processing order so as to start processing from the processing start node.
JP2018068429A 2018-03-30 2018-03-30 Deadlock avoidance method, deadlock avoidance device Active JP7064367B2 (en)

Priority Applications (2)

Application Number Priority Date Filing Date Title
JP2018068429A JP7064367B2 (en) 2018-03-30 2018-03-30 Deadlock avoidance method, deadlock avoidance device
PCT/JP2019/009627 WO2019188175A1 (en) 2018-03-30 2019-03-11 Deadlock avoidance method and deadlock avoidance device

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP2018068429A JP7064367B2 (en) 2018-03-30 2018-03-30 Deadlock avoidance method, deadlock avoidance device

Publications (2)

Publication Number Publication Date
JP2019179412A true JP2019179412A (en) 2019-10-17
JP7064367B2 JP7064367B2 (en) 2022-05-10

Family

ID=68061541

Family Applications (1)

Application Number Title Priority Date Filing Date
JP2018068429A Active JP7064367B2 (en) 2018-03-30 2018-03-30 Deadlock avoidance method, deadlock avoidance device

Country Status (2)

Country Link
JP (1) JP7064367B2 (en)
WO (1) WO2019188175A1 (en)

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
KR20210124080A (en) * 2020-04-03 2021-10-14 서울대학교산학협력단 Method and system for avoding deadlock

Citations (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2001500656A (en) * 1997-04-28 2001-01-16 エービー イニティオ ソフトウェア コーポレーション Prevention of buffer deadlock in data flow calculation
JP2009512089A (en) * 2005-10-18 2009-03-19 マイトリオニクス エービー How to avoid deadlocks in data flow machines
WO2016151710A1 (en) * 2015-03-20 2016-09-29 株式会社日立製作所 Specification configuration device and method

Patent Citations (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2001500656A (en) * 1997-04-28 2001-01-16 エービー イニティオ ソフトウェア コーポレーション Prevention of buffer deadlock in data flow calculation
JP2009512089A (en) * 2005-10-18 2009-03-19 マイトリオニクス エービー How to avoid deadlocks in data flow machines
WO2016151710A1 (en) * 2015-03-20 2016-09-29 株式会社日立製作所 Specification configuration device and method

Cited By (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
KR20210124080A (en) * 2020-04-03 2021-10-14 서울대학교산학협력단 Method and system for avoding deadlock
KR102531567B1 (en) * 2020-04-03 2023-05-15 서울대학교산학협력단 Method and system for avoding deadlock

Also Published As

Publication number Publication date
JP7064367B2 (en) 2022-05-10
WO2019188175A1 (en) 2019-10-03

Similar Documents

Publication Publication Date Title
US9891949B2 (en) System and method for runtime scheduling of GPU tasks
JP4756553B2 (en) Distributed processing method, operating system, and multiprocessor system
US9830157B2 (en) System and method for selectively delaying execution of an operation based on a search for uncompleted predicate operations in processor-associated queues
WO2020121840A1 (en) Arithmetic control device
US9354932B2 (en) Dynamically allocated thread-local storage
US20180267829A1 (en) Method for configuring an it system, corresponding computer program and it system
US8656393B2 (en) Multi-core system
JP7064367B2 (en) Deadlock avoidance method, deadlock avoidance device
CN104008014A (en) Multi-core processor and related control method and computer system thereof
JP7039365B2 (en) Deadlock avoidance method, deadlock avoidance device
JP6817827B2 (en) Accelerator processing management device, host device, accelerator processing execution system, method and program
WO2019188177A1 (en) Information processing device
US11481250B2 (en) Cooperative workgroup scheduling and context prefetching based on predicted modification of signal values
JPWO2014027444A1 (en) Scheduling apparatus and scheduling method
WO2019188171A1 (en) Code generation method and code generation device
US20150363903A1 (en) Wavefront Resource Virtualization
JP2007122337A (en) Arithmetic unit
JP2019204387A (en) Program execution control method and program converter
WO2019188172A1 (en) Information processing device
WO2019188182A1 (en) Pre-fetch controller
WO2019188180A1 (en) Scheduling method and scheduling device
JP7456437B2 (en) processor and program
WO2019188181A1 (en) Scheduling method, scheduling device
JP7080698B2 (en) Information processing equipment
JP2020181407A (en) Parallelization method, semiconductor control device, and on-vehicle control device

Legal Events

Date Code Title Description
A711 Notification of change in applicant

Free format text: JAPANESE INTERMEDIATE CODE: A711

Effective date: 20190326

A521 Request for written amendment filed

Free format text: JAPANESE INTERMEDIATE CODE: A821

Effective date: 20190327

A621 Written request for application examination

Free format text: JAPANESE INTERMEDIATE CODE: A621

Effective date: 20210215

TRDD Decision of grant or rejection written
A01 Written decision to grant a patent or to grant a registration (utility model)

Free format text: JAPANESE INTERMEDIATE CODE: A01

Effective date: 20220329

A61 First payment of annual fees (during grant procedure)

Free format text: JAPANESE INTERMEDIATE CODE: A61

Effective date: 20220422

R150 Certificate of patent or registration of utility model

Ref document number: 7064367

Country of ref document: JP

Free format text: JAPANESE INTERMEDIATE CODE: R150

S111 Request for change of ownership or part of ownership

Free format text: JAPANESE INTERMEDIATE CODE: R313115

R350 Written notification of registration of transfer

Free format text: JAPANESE INTERMEDIATE CODE: R350