| 講演名 | 2002/8/15 キャッシュ一致マルチプロセッサにおけるパイプライン化同期のための模擬セマフォア 武末 勝, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 条件付き同期では、プロセスは変数集合がある状態になるまで待ってから先に進む.スピン・ロック同様、キューイング・ロックはこの種の同期に対し非効率である.その理由は、指定状態になるまでエンキューとデキューを繰り返し、ネットワーク・トラフィックが増えるからである.既発表のハードウェア・キューを用いたロック機構では、異なるプロセスが共有データの異なるメモリ・ブロック(または、メモリ語)をパイプライン的にアクセスできる。本論文は、上記のキューイング・ロックの弱点を取り除くため、パイプライン化ロック機構に基づいた模擬セマフォアを提案する。我々のセマフォアはデータ構造として宣言され、P操作とV操作はスリーブとアウェイクのためのISA命令を用いたソフトウェア・ルーチンで実現される。予備評価結果では、パイプライン化ロック機構と比べ模擬セマフォアのスピードアップは約1.2～18.5である. |
| 抄録(英) | A conditional synchronization forces a process to wait until a set of variables is in a specific state before proceeding. Queue-based locking, as well as spin-locking, is inefficient for this type of synchronization, since it repeats a number of enqueues and dequeues until the specified state is satisfied, so that network traffic increases. A hardware queue-based locking scheme has been reported that allows different processes to access different memory blocks (or words) of shared data in a pipelined manner. This paper proposes an emulated semaphore based on the pipelined locking scheme to remove the weak point of queue-based locking mentioned above. Our semaphore is declared as a data structure, and the P and V operations on it are implemented by software routines with two ISA instructions for sleeping and awaking. Preliminary evaluation results show that the emulated semaphore's speedup over the pipelined locking is about 1.2 to 18.5. |
| キーワード(和) | 条件付き同期 / セマフォア / キューイング・ロック / パイプライン化同期 |
| キーワード(英) | Conditional synchronization / semaphores / queue-based locking / pipelined synchronization |
| 資料番号 | CPSY2002-38 |
| 発行日 |
| 研究会情報 | |
| 研究会 | CPSY |
|---|---|
| 開催期間 | 2002/8/15(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Computer Systems (CPSY) |
|---|---|
| 本文の言語 | ENG |
| タイトル（和） | キャッシュ一致マルチプロセッサにおけるパイプライン化同期のための模擬セマフォア |
| サブタイトル（和） | |
| タイトル（英） | Emulated Semaphores for Pipelined Synchronization on Cache-Coherent Multiprocessors |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 条件付き同期 / Conditional synchronization |
| キーワード(2)（和/英） | セマフォア / semaphores |
| キーワード(3)（和/英） | キューイング・ロック / queue-based locking |
| キーワード(4)（和/英） | パイプライン化同期 / pipelined synchronization |
| 第 1 著者 氏名（和/英） | 武末 勝 / Masaru TAKESUE |
| 第 1 著者 所属（和/英） | 法政大学工学部 Faculty of Engineering, Hosei University |
| 発表年月日 | 2002/8/15 |
| 資料番号 | CPSY2002-38 |
| 巻番号（vol） | vol.102 |
| 号番号（no） | 275 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |