ロゴ
ユニオンペディア
コミュニケーション
Google Play で手に入れよう
新しい! あなたのAndroid™デバイスでユニオンペディアをダウンロードしてください!
ダウンロード
ブラウザよりも高速アクセス!
 

同期 (計算機科学)

索引 同期 (計算機科学)

同期(どうき、Synchronization)とは、コンピュータ関係(コンピュータ科学でも重要なテーマであるが、話題の広がりとしてはそれに留まらない)では、プロセスなどといった複数のエージェントの動作について、時系列的にタイミングを合わせる制御のことや、複数個所に格納された同一であるべき情報を同一に保つことである。.

34 関係: 同期信号同期方式並行計算ミューテックスマルチプロセッシングマルチタスクハードウェアバリア (計算機科学)モニタ (同期)ロック (情報工学)プロセスプロセス間通信ファイル同期フォールトトレラントシステムイベント (プログラミング)キャッシュメモリキャッシュコヒーレンシクリティカルセクションクロック同期設計コンピュータネットワークシグナル (Unix)スレッド (コンピュータ)セマフォ遠隔手続き呼出し計算機科学通信プロトコルHigh-Level Data Link ControlITunesLock-freeとWait-freeアルゴリズムMESIプロトコルNetwork Time ProtocolPersonal Information ManagerSimple Network Time Protocol排他制御

同期信号

同期信号(どうきしんごう)は、映像信号やデジタル信号の伝送を行うとき、受信側に信号の読み出しタイミングを伝えるために送られる信号のことである。.

新しい!!: 同期 (計算機科学)と同期信号 · 続きを見る »

同期方式

電気通信における同期方式(どうきほうしき)とは、送信元と受信先との間で通信を行う際に情報の区切りをあわせるために用いられる方式である。.

新しい!!: 同期 (計算機科学)と同期方式 · 続きを見る »

並行計算

並行計算(へいこうけいさん、concurrent computing)とは、コンピュータプログラムにおいて複数の相互作用を及ぼす計算タスクの(同時)並行的実行を指す。.

新しい!!: 同期 (計算機科学)と並行計算 · 続きを見る »

ミューテックス

ミューテックス (Mutex) とは、コンピュータプログラミングにおける技術用語。クリティカルセクションでアトミック性を確保するための排他制御や同期機構の一種である。Mutexという語はMUTual EXclusion (相互排他、排他制御) の省略形である。ここでは、狭義の排他制御について述べる。.

新しい!!: 同期 (計算機科学)とミューテックス · 続きを見る »

マルチプロセッシング

マルチプロセッシング(multi processing)とは、(本来は)ひとつのプロセスだけではなく複数の並行プロセスを同一システム内で使用することを意味する。 マルチタスクと同様ひとつのCPUを複数のプロセスが共有することも示すが、ひとつのシステム内の複数のCPUが複数のスレッドを動作させることも意味する。マルチプロセッサと言う場合は一般に後者のみを指す。.

新しい!!: 同期 (計算機科学)とマルチプロセッシング · 続きを見る »

マルチタスク

マルチタスク (multi tasking) は、コンピュータにおいて複数のタスク(プロセス)を切り替えて実行できるシステムのことである。Unixなど「プロセス」という用語を使うシステムではマルチプロセスともいう(ほぼ同じものを別のシステムでは別の名で呼んでいることもあれば、違うものを同じ名で呼んでいることもあれば、何らかの理由で呼び分けていることもある)。マルチプログラミングという語は複数のプログラムを動かすという点に着目した語である(一般に、「タスク」とか「プロセス」は、プログラムの活動実体、といったようなものを指す語である)。逆に、同時に一つのタスクしか実行できない方式をシングルタスクという。.

新しい!!: 同期 (計算機科学)とマルチタスク · 続きを見る »

ハードウェア

ハードウェア (hardware) とは、システムの物理的な構成要素を指す一般用語である。日本語では機械、装置、設備のことを指す。ソフトウェアとの対比語であり、単に「ハード」とも呼ばれる。.

新しい!!: 同期 (計算機科学)とハードウェア · 続きを見る »

バリア (計算機科学)

並列コンピューティングにおけるバリア(英: Barrier)とは、同期方法の一つであり、ソースコード中でスレッドやプロセスがある箇所で停止し、他の全てのスレッドプロセスがバリアに到達するまで進行しないようなものを示す。 並列計算のライブラリや、命令による並列言語では、暗黙のうちにバリアが使用されることが多い。 たとえばOpenMPを使用したFORTRANにおける並列のdoループは、ループ処理の最後の繰り返しが完了するまで次に進まない。これは、プログラムがループの結果に依存しているという例である。 メッセージ・パッシングでは、大域的な通信(reductionやscatter)が、暗黙のバリアとなっている場合がある。 Category:並列コンピューティング.

新しい!!: 同期 (計算機科学)とバリア (計算機科学) · 続きを見る »

モニタ (同期)

モニタ(Monitor)は、リソース(何らかのハードウェア機器や変数群)を共有する複数のタスクの同期を実現する手法である。 Per Brinch Hansen が発明し、Concurrent Pascal 言語に最初に実装され、Solo Operating System でのプロセス間通信方式として使われた。.

新しい!!: 同期 (計算機科学)とモニタ (同期) · 続きを見る »

ロック (情報工学)

情報工学におけるロック (lock) とは、計算機システム内に複数の動作主体(プロセス,スレッド等)のある環境で、データやデバイスなどのリソースへのアクセス制限を課す同期機構。ロックは並行性制御ポリシーを実施する手法のひとつである。アクセス制限を課す動作を「ロックする」,「ロックを取得する」などと表現する.また対義語として,制限を解除することをunlock(アンロック,ロック解放,ロック解除)と言う..

新しい!!: 同期 (計算機科学)とロック (情報工学) · 続きを見る »

プロセス

プロセスとは、情報処理においてプログラムの動作中のインスタンスを意味し、プログラムのコードおよび全ての変数やその他の状態を含む。オペレーティングシステム (OS) によっては、プロセスが複数のスレッドで構成される場合があり、命令を同時並行して実行する。.

新しい!!: 同期 (計算機科学)とプロセス · 続きを見る »

プロセス間通信

プロセス間通信(IPC、interprocess communication)はコンピュータの動作において複数のプロセス間(の複数のスレッド間)でデータをやりとりするための仕組み。通信するプロセスは同一コンピュータ上にある場合と、ネットワークで接続された別のコンピュータ上にある場合がある。そのようなローカル内対リモート間といったような分類以外にも多くの観点から分類でき、また、スレッド間の通信の帯域幅とレイテンシは様々であり、やりとりされるデータの種類も様々である。メッセージパッシング、同期、共有メモリ、RPCなどといったメカニズムやプリミティブがある。 プロセス間通信の目的・理由には以下のようなものがある。.

新しい!!: 同期 (計算機科学)とプロセス間通信 · 続きを見る »

ファイル同期

ファイル同期(ファイルどうき、File synchronization)は、2つ以上の場所にある同じファイルが同じ内容になるようにする処理である。ある場所にあるファイルに何らかの変更を加えたとき、同期処理によって別の場所にある同じファイルにも同じ変更がなされる。 ファイル同期は一方向の場合と双方向の場合がある。一方向同期はミラーリングとも呼ばれ、ファイルは常にソースからターゲットに向けてコピーされ、ターゲット側からソース側に書き戻されることはない。双方向同期では任意の方向にコピーが行われ、複数の場所で互いに同期をとる。本項目では後者の双方向同期を扱う。前者についてはミラーリングを参照されたい。 ファイル同期はファイル群の同じバージョンを複数の場所で保持可能にする。ファイルの格納される場所はコンピュータのハードディスク上のディレクトリの場合もあるし、USBメモリなどの可搬記憶媒体の場合もある。同期を行うと、どちらが最後に更新されたかに関わらず、同期対象となったそれぞれの場所のファイルが最新版になる。ファイル同期はモバイル機器を良く使う場合や、複数のコンピュータを使う場合に便利である。 バックアップ目的で使うこともできるが、バックアップが主たる目的というわけではない。 ディレクトリを手で同期させることも可能だが、ソフトウェアツールを使った方が高速で間違いがない。.

新しい!!: 同期 (計算機科学)とファイル同期 · 続きを見る »

フォールトトレラントシステム

フォールトトレラントシステム(Fault tolerant system)は、その構成部品の一部が故障しても正常に処理を続行するシステムである。本項目はフォールトトレラントシステムの特定の実装方法に関して記述する。一般的な理論についてはフォールトトレラント設計を参照されたい。.

新しい!!: 同期 (計算機科学)とフォールトトレラントシステム · 続きを見る »

イベント (プログラミング)

イベント とは、コンピュータ・プログラムの実行に際し、(プロセス間で共有するイベントカウンタのインスタンスが条件を満たしたときなど)何らかのアクションが発生した際にプログラムに発信される信号(これをメッセージと呼んだりする)を指す。.

新しい!!: 同期 (計算機科学)とイベント (プログラミング) · 続きを見る »

キャッシュメモリ

ャッシュメモリ は、CPUなど処理装置がデータや命令などの情報を取得/更新する際に主記憶装置やバスなどの遅延/低帯域を隠蔽し、処理装置と記憶装置の性能差を埋めるために用いる高速小容量メモリのことである。略してキャッシュとも呼ぶ。コンピュータは以前から記憶装置や伝送路の性能が処理装置の性能に追いつけず、この差が全体性能に対するボトルネックとされてきた(ノイマンズ・ボトルネック)。そしてムーアの法則に基づく処理装置の加速度的な高性能化により現在ではますますこの差が拡大されている。キャッシュメモリは、記憶階層の観点からこれを解消しようとするものである。 主に、主記憶装置とCPUなど処理装置との間に構成される。この場合、処理装置がアクセスしたいデータやそのアドレス、状態、設定など属性情報をコピーし保持することで、本来アクセスすべき記憶装置に代わってデータを入出力する。通常はキャッシュメモリが自動的にデータ保存や主記憶装置の代替を行うため、基本的にCPUのプログラムなど処理装置側がキャッシュメモリを意識する必要はない。 キャッシュの一般的な概念はキャッシュ (コンピュータシステム)を参照のこと。.

新しい!!: 同期 (計算機科学)とキャッシュメモリ · 続きを見る »

キャッシュコヒーレンシ

リソースを共有する複数のキャッシュの概念図 キャッシュコヒーレンシ(英: cache coherency)とは、共有リソースに対する複数のキャッシュの一貫性を意味する。キャッシュコヒーレンシはメモリ一貫性の一種である。 複数のクライアントが共有メモリリソースのキャッシュを保持するとき、キャッシュ間のデータの不一致という問題が生じる。この問題は特にマルチプロセッシングシステムのCPU間で顕著である。右図において、上のクライアントがメモリのある部分を以前に読み込んでいてキャッシュ上にコピーを保持しているとき、下のクライアントが同じメモリ部分を更新すると、更新を何らかの方法で伝えない限り上のクライアントのキャッシュの内容は不正となる。キャッシュコヒーレンシはそのような状況に対処し、キャッシュとメモリの間の一貫性を保つことである。.

新しい!!: 同期 (計算機科学)とキャッシュコヒーレンシ · 続きを見る »

クリティカルセクション

リティカルセクション(Critical section)とは、計算機上において、単一のリソースに対して、複数の処理が同時期に実行されると、破綻をきたす部分を指す。クリティカルセクションにおいては、排他制御を行うなどしてアトミック性を確保する必要がある。 リソースの同一性が保証されなくなる可能性がある場合は、クリティカルセクションでは常に排他制御を行う必要がある。 クリティカルセクションの排他制御ではデッドロックに注意する必要がある。.

新しい!!: 同期 (計算機科学)とクリティカルセクション · 続きを見る »

クロック同期設計

ック同期設計 (クロックどうきせっけい) は、デジタル論理回路の設計技術のひとつである。 クロック信号と呼ばれる一定の周期でHi-Lowを繰り返す信号をフリップフロップに入力すると、データ信号などフリップフロップに入力された他の信号をクロック信号の周期に合わせて遅延させることができる。 これを間に挟むように用いて論理回路を構成すれば、その中の論理回路はそのクロック周期を越えない限り設計者はタイミング設計ではクロック信号からの遅れ要素だけ考慮すれば済む。回路規模がクロック周期を超えることをタイミング・バイオレーションと呼ぶ。このような回路をクロック同期回路と呼ぶ。またそのクロック信号を回路全体に行き渡らせ全ての回路をクロック同期させれば、設計者はタイミング・バイオレーションのみ気を付けることで調和を保った回路を設計することができる。このことをクロック同期設計と呼ぶ。.

新しい!!: 同期 (計算機科学)とクロック同期設計 · 続きを見る »

コンピュータネットワーク

ンピュータネットワーク(computer network)は、複数のコンピュータを接続する技術。または、接続されたシステム全体。コンピュータシステムにおける「通信インフラ」自体、あるいは通信インフラによって実現される接続や通信の総体が(コンピュータ)ネットワークである、とも言える。.

新しい!!: 同期 (計算機科学)とコンピュータネットワーク · 続きを見る »

シグナル (Unix)

ナル(signal)とは、Unix系(POSIX標準に類似の)OSにおける、限定的なプロセス間通信の形式を使って、プロセスに対し、非同期で、イベントの発生を伝える機構である。シグナルが送信された際、OSは宛先プロセスの正常な処理の流れに割り込む。どんな不可分でない処理の間でも割り込むことができる。受信プロセスが以前にシグナルハンドラを登録しておけば、シグナル受信時にそのルーチンが実行される。さもなくば、デフォルトのシグナル処理が行われる。(同様なものは他のTSSなどでも開発されてはいるが、UNIXのシグナルは)1970年ごろベル研究所でUNIXに実装された。後にPOSIXである程度は標準化されているが、標準化が諦められているような振舞などもいくつかあり、特に他の幾つかの要素(fork等)とマルチスレッドとシグナルが絡むと実装毎の対処にプログラミングが大変になることがある。.

新しい!!: 同期 (計算機科学)とシグナル (Unix) · 続きを見る »

スレッド (コンピュータ)

レッド(thread)とは、CPU利用の単位。プロセスに比べて、プログラムを実行するときのコンテキスト情報が最小で済むので切り替えが速くなる。スレッドは、thread of execution(実行の脈絡)という言葉を省略したものである。 プログラミングの観点からみると、アプリケーションの処理の「実行の脈絡」は1つでないことが多い。これをシングルスレッドで実現しようとするとシグナルやタイマーを駆使してコーディングすることになる。また、複数のプロセスに分割してプロセス間通信で協調動作させるという方法もある。しかし、いずれの場合もそれらの機能を使うための余分な、本来のアルゴリズムと関係ないコーディングが必要となる。スレッドを使用したプログラミングは本来のアルゴリズムに集中しやすくなり、プログラムの構造が改善されるという効果がある。.

新しい!!: 同期 (計算機科学)とスレッド (コンピュータ) · 続きを見る »

セマフォ

マフォ(semaphore)とは、計算機科学において、並列プログラミング環境での複数の実行単位(主にプロセス)が共有する資源にアクセスするのを制御する際の、単純だが便利な抽象化を提供する変数または抽象データ型である。 ある資源が何個使用可能かを示す記録と考えればわかりやすく、それにその資源を使用する際や解放する際にその記録を「安全に」(すなわち競合状態となることなく)書き換え、必要に応じて資源が使用可能になるまで待つ操作が結びついている。セマフォは競合状態を防ぐ便利なツールであるが、セマフォを使うことでプログラムにおける競合状態がなくなると保証するものではない。任意個の資源を扱うセマフォをカウンティングセマフォ、値が0と1に制限されている(ロック/アンロック、使用可能/使用不可の意味がある)セマフォをバイナリセマフォと呼ぶ。後者はミューテックスと同等の機能を持つ。 セマフォの概念はオランダ人計算機科学者エドガー・ダイクストラが考案した。今ではさまざまなオペレーティングシステムで採用されている。 「semaphore」の本来の語義は「視覚による通信・信号」全般を指し、腕木通信や、それから派生した鉄道の腕木信号(や自動車の方向指示器)、手旗信号などが含まれる。日本語でのセマフォは、本用途(コンピュータ、プログラミング関連)に限られる。 語源の腕木式信号機.

新しい!!: 同期 (計算機科学)とセマフォ · 続きを見る »

遠隔手続き呼出し

遠隔手続き呼出し(remote procedure call、リモートプロシージャコール、略してRPC)とは、プログラムから別のアドレス空間(通常、共有ネットワーク上の別のコンピュータ上)にあるサブルーチンや手続きを実行することを可能にする技術。その際に遠隔相互作用の詳細を明示的にコーディングする必要がない。つまり、プログラマはローカルなサブルーチン呼び出しと基本的に同じコードをリモート呼び出しについても行う。遠隔手続き呼出しを行うソフトウェアがオブジェクト指向プログラミングに基づく場合、遠隔手続き呼出しのことを リモート呼び出し(remote invocation)あるいは リモートメソッド呼び出し (remote method invocation、RMI)と呼ぶこともある(Java RMIなど)。 遠隔手続き呼出しには例えば、ONC RPCやDCE/RPCといった互いに非互換な様々な技術が存在する。.

新しい!!: 同期 (計算機科学)と遠隔手続き呼出し · 続きを見る »

計算機科学

計算機科学(けいさんきかがく、computer science、コンピュータ科学)とは、情報と計算の理論的基礎、及びそのコンピュータ上への実装と応用に関する研究分野である。計算機科学には様々な下位領域がある。コンピュータグラフィックスのように特定の処理に集中する領域もあれば、計算理論のように数学的な理論に関する領域もある。またある領域は計算の実装を試みることに集中している。例えば、プログラミング言語理論は計算を記述する手法に関する学問領域であり、プログラミングは特定のプログラミング言語を使って問題を解決する領域である。.

新しい!!: 同期 (計算機科学)と計算機科学 · 続きを見る »

通信プロトコル

通信プロトコル(つうしんプロトコル、Communications protocol)、あるいはネットワーク・プロトコルは、ネットワーク上での通信に関する規約を定めたものである。「通信規約」や「通信手順」と訳す場合もある。.

新しい!!: 同期 (計算機科学)と通信プロトコル · 続きを見る »

High-Level Data Link Control

High-Level Data Link Control(ハイレベルデータリンク制御手順、以下HDLCと略す)は国際標準化機構(ISO)によって標準化された、ビットオリエンテッドなフレーム同期型のデータリンク層プロトコルである。.

新しい!!: 同期 (計算機科学)とHigh-Level Data Link Control · 続きを見る »

ITunes

iTunes(アイチューンズ)は、アップルが開発及び配布しているメディアプレーヤーである。.

新しい!!: 同期 (計算機科学)とITunes · 続きを見る »

Lock-freeとWait-freeアルゴリズム

Lock-freeとWait-freeアルゴリズムとは、共有データにロックをかけてアクセスを防ぐアルゴリズムとは違い、複数のスレッドが同時並行的に、ある対象データを壊すことなしに読み書きすることを可能にするアルゴリズムである。Lock-free とはスレッドがロックしないことを意味しており、全てのステップにおいてシステムが必ず進行する。これはLock-free ではミューテックスやセマフォといった、排他制御のためのプリミティブを使ってはならないことを意味する。なぜならロックを持っているスレッドの実行が中断した場合、全体の進行を阻止しうるからである。Wait-free とは、他のスレッドの動作に関係なく、スレッドがいかなる操作も有限のステップで操作を完了させられることを指す。あるアルゴリズムがLock-freeであるがWait-freeでないことはありうる。Wait-free なアルゴリズムは Lock-free である。.

新しい!!: 同期 (計算機科学)とLock-freeとWait-freeアルゴリズム · 続きを見る »

MESIプロトコル

MESIプロトコル(別名、イリノイ・プロトコル)とは、マルチプロセッサシステムでメモリやキャッシュメモリの同期をとるキャッシュコヒーレンシとメモリ一貫性のプロトコルであり、ライトバック方式のキャッシュで広く使われている。イリノイ・プロトコルという別名はイリノイ大学アーバナ・シャンペーン校で開発されたことに由来する。 インテルは、「486プロセッサで以前から使われていたライトスルーキャッシュに加えて、より効率的なライトバックキャッシュをサポートする」としてPentiumプロセッサでMESIプロトコルを採用した。そのためパーソナルコンピュータでも広く使われている。.

新しい!!: 同期 (計算機科学)とMESIプロトコル · 続きを見る »

Network Time Protocol

Network Time Protocol(ネットワーク・タイム・プロトコル、略称NTP(エヌティーピー))は、ネットワークに接続される機器において、機器が持つ時計を正しい時刻へ同期するための通信プロトコルである。 OSI基本参照モデルの第7層(アプリケーション層)に位置し、UDPポートRFC1700のWELL KNOWN PORT NUMBERSではTCPとUDPの2つが指定されているが、NTPの規格を示したRFC1305ではUDPのみとなっている。の123番を使用する。.

新しい!!: 同期 (計算機科学)とNetwork Time Protocol · 続きを見る »

Personal Information Manager

Personal Information Manager (PIM) とは、各種の個人情報を管理するためのアプリケーションソフトウェアのこと、または各種携帯機器における同様の機能のこと。システム手帳の機能を電子化したものということもできる。主にビジネス用途を対象としている。 提供形態としては、パーソナルコンピュータ向けアプリケーション、電子手帳・携帯情報端末 (PDA)、スマートフォンなどがある。また、近年の携帯電話・PHS端末は、電話帳機能から発達したアドレス帳機能を始めとして、基本的なPIM機能を備えているものが多い。 英語ではパーソナル・オーガナイザー(personal organizer)または単にオーガナイザー(organizer)と呼ぶことも多かった。これはもともと、日本でいうところのシステム手帳に相当するものを指したが、後に電子的なものをも指すようになった。.

新しい!!: 同期 (計算機科学)とPersonal Information Manager · 続きを見る »

Simple Network Time Protocol

Simple Network Time Protocol(シンプルネットワークタイムプロトコル、SNTPと略記)とは、NTPパケットを利用した、簡単な時計補正プロトコルである。.

新しい!!: 同期 (計算機科学)とSimple Network Time Protocol · 続きを見る »

排他制御

排他制御せずに ''i'' と ''i+1'' という2つのノードを同時に連結リストから外す操作を行うと、結果として ''i+1'' のノードが外れないという状態になりうる。 排他制御(はいたせいぎょ)とは、コンピュータ・プログラムの実行において、複数のプロセスが利用出来る共有資源に対し、複数のプロセスからの同時アクセスにより競合が発生する場合に、あるプロセスに資源を独占的に利用させている間は、他のプロセスが利用できないようにする事で整合性を保つ処理の事をいう。相互排除または相互排他(mutual exclusion)ともいう。最大k個のプロセスが共有資源にアクセスして良い場合を k-相互排除という。 換言すれば1つのクリティカルセクションに複数のプロセス(またはスレッド)が同時に入ることを防ぐことである。クリティカルセクションとは、プロセスが共有メモリなどの共有資源にアクセスしている期間を指す。排他制御の問題は1965年、エドガー・ダイクストラが Solution of a problem in concurrent programming control(並行プログラミング制御における問題の解法)と題した論文で扱ったのが最初であるTaubenfeld.

新しい!!: 同期 (計算機科学)と排他制御 · 続きを見る »

ここにリダイレクトされます:

同期 (情報工学)同期プリミティブ

出ていきます入ってきます
ヘイ!私たちは今、Facebook上です! »