This HTML5 document contains 138 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dbpedia-dehttp://de.dbpedia.org/resource/
dctermshttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
n16http://dbpedia.org/resource/File:
n19http://hy.dbpedia.org/resource/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-kohttp://ko.dbpedia.org/resource/
dbpedia-cahttp://ca.dbpedia.org/resource/
dbpedia-eshttp://es.dbpedia.org/resource/
n11https://global.dbpedia.org/id/
dbpedia-trhttp://tr.dbpedia.org/resource/
yagohttp://dbpedia.org/class/yago/
dbpedia-ruhttp://ru.dbpedia.org/resource/
dbthttp://dbpedia.org/resource/Template:
dbpedia-ukhttp://uk.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
dbpedia-srhttp://sr.dbpedia.org/resource/
dbpedia-plhttp://pl.dbpedia.org/resource/
n31http://mn.dbpedia.org/resource/
n4http://commons.wikimedia.org/wiki/Special:FilePath/
dbpedia-fahttp://fa.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
dbpedia-ithttp://it.dbpedia.org/resource/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbpedia-frhttp://fr.dbpedia.org/resource/
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbpedia-idhttp://id.dbpedia.org/resource/
goldhttp://purl.org/linguistics/gold/
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/
dbpedia-jahttp://ja.dbpedia.org/resource/

Statements

Subject Item
dbr:List_of_algorithms
dbo:wikiPageWikiLink
dbr:Dekker's_algorithm
Subject Item
dbr:Dekker
dbo:wikiPageWikiLink
dbr:Dekker's_algorithm
dbo:wikiPageDisambiguates
dbr:Dekker's_algorithm
Subject Item
dbr:Dekkers_algorithm
dbo:wikiPageWikiLink
dbr:Dekker's_algorithm
dbo:wikiPageRedirects
dbr:Dekker's_algorithm
Subject Item
dbr:List_of_Dutch_inventions_and_innovations
dbo:wikiPageWikiLink
dbr:Dekker's_algorithm
Subject Item
dbr:Dekker's_algorithm
rdf:type
yago:PsychologicalFeature100023100 dbo:Software yago:WikicatConcurrencyControlAlgorithms yago:Algorithm105847438 yago:Creativity105624700 yago:WikicatAlgorithms yago:Procedure101023820 yago:Act100030358 yago:Invention105633385 yago:Abstraction100002137 yago:Ability105616246 yago:WikicatDutchInventions yago:Event100029378 yago:YagoPermanentlyLocatedEntity yago:Activity100407535 yago:Cognition100023271 yago:Rule105846932
rdfs:label
Algoritmo di Dekker Algoritmo de Dekker 데커의 알고리즘 Dekker's algorithm Algorisme de Dekker Algoritma dekker Алгоритм Деккера デッカーのアルゴリズム Algorithme de Dekker Dekker-Algorithmus Algorytm Dekkera Алгоритм Декера
rdfs:comment
Algorytm Dekkera – pierwszy algorytm poprawnie rozwiązujący problem wzajemnego wykluczania się równolegle działających procesów. Tylko jeden z nich może w danej chwili wykonywać ich wspólną sekcję krytyczną (zob. programowanie współbieżne). Rozwiązanie to zostało przypisane holenderskiemu matematykowi T. J. Dekkerowi przez Edsgera Dijkstrę w jego manuskrypcie na temat współdziałania procesów sekwencyjnych. Algorytm pozwala dwóm wątkom na bezkonfliktową pracę na danych pochodzących z jednego źródła przy użyciu do komunikacji między nimi jedynie pamięci dzielonej. Algoritme Dekker adalah algoritme yang menjabarkan dua atau lebih proses tentang yang berbagi sumber yang sama tanpa adanya konflik. Algoritme ini diciptakan oleh , seorang matematikawan Belanda, yang diterapkan oleh Edsger W. Dijkstra. L'algorithme de Dekker est un algorithme d'exclusion mutuelle. Il est basé sur une approche par attente active et est divisé en deux parties, à savoir le protocole d'entrée dans la section critique et le protocole de sortie. L'algorithme présenté dans cet article est une version pouvant fonctionner avec N thread, version due à Edsger Dijkstra. Алгоритм Декера — перший відомий правильний розв'язок задачі взаємного виключення в паралельному програмуванні. Едсгер Дейкстра посилається на голландського математика Теодора Декера як на його винахідника в своєму рукописі про взаємодію між процесами. Він дозволяє двом процесам спільно використовувати одновикористовний ресурс без конфліктів, використовуючи тільки спільну пам'ять для зв'язку. El algoritmo de Dekker es un algoritmo de programación concurrente para exclusión mutua, que permite a dos procesos o hilos de ejecución compartir un recurso sin conflictos. Fue uno de los primeros algoritmos de exclusión mutua inventados, implementado por Edsger Dijkstra. Si ambos procesos intentan acceder a la sección crítica simultáneamente, el algoritmo elige un proceso según una variable de turno. Si el otro proceso está ejecutando en su sección crítica, deberá esperar su finalización. Condiciones • No hay prioridad entre procesos. • La capacidad de los equipos es irrelevante. Ventajas 데커의 알고리즘(Dekker's algorithm)은 네덜란드의 수학자 테오도루스 데커가 상호 배제를 위해 고안한 병행 프로그래밍 알고리즘이다. 이 알고리즘은 의사소통을 위해 공유 메모리를 사용하여 두 프로세스(또는 스레드)가 하나의 자원을 혼란 없이 공유할 수 있게 한다. 데커의 알고리즘은 (test-and-set) 명령과 같은 원자적 명령이 없는 경우에도 사용할 수 있으며, 바쁜 대기(busy waiting) 알고리즘에 속한다. L'algorisme de Dekker, és un algorisme de programació concurrent que permet que dos processos accedeixin sense conflicte a un recurs compartit, utilitzant només memòria compartida per a comunicar-se. Aquest algorisme fou inventat pel matemàtic neerlandès i fou un dels primers algorismes dissenyats per garantir exclusió mútua. L'algoritmo di Dekker, noto anche come algoritmo di proiezione di Dijkstra, costituisce una soluzione completa al problema della mutua esclusione nella coordinazione decentrata di processi (sincronizzazione), impedendo lo stallo (deadlock) ed assicurando che soltanto un processo alla volta possa eseguire una sezione critica (serializzazione). Tale algoritmo è attribuito al matematico olandese da Edsger W. Dijkstra nel suo manoscritto sui processi cooperanti sequenziali. Dekker's algorithm is the first known correct solution to the mutual exclusion problem in concurrent programming where processes only communicate via shared memory. The solution is attributed to Dutch mathematician Th. J. Dekker by Edsger W. Dijkstra in an unpublished paper on sequential process descriptions and his manuscript on cooperating sequential processes. It allows two threads to share a single-use resource without conflict, using only shared memory for communication. Алгоритм Деккера — первое известное корректное решение проблемы взаимного исключения в параллельном программировании. Эдсгер Дейкстра ссылается на голландского математика как на автора данного алгоритма в своей работе о межпроцессном взаимодействии. Он позволяет двум потокам выполнения совместно использовать неразделяемый ресурс без возникновения конфликтов, используя только общую память для коммуникации. Der Dekker-Algorithmus ist die älteste bekannte vollständige Lösung des Problems, den wechselseitigen Ausschluss (Mutex) in der dezentralen Steuerung von Prozessen (Prozesssynchronisation) zu gewährleisten. Er vermeidet gegenseitiges Blockieren (Deadlock) und gewährleistet, dass stets genau ein Prozess in einen kritischen Abschnitt gelangen kann (Sequentialisierung). Der Algorithmus wurde 1965 von dem niederländischen Mathematiker Theodorus Dekker formuliert. In der hier beschriebenen Form kann er aber nur zwei Prozesse wechselseitig ausschließen. デッカーのアルゴリズムはオランダ人数学者 T・J・デッカーの考案した相互排他のためのアルゴリズムである。これにより、共有メモリによる通信のみで、2つのプロセスが1つのリソースを競合することなく共有することができる。 厳密に交互にとっていく素朴なアルゴリズムを避けて発明された世界初の相互排他アルゴリズムの1つである。 ふたつのプロセスが同時に同じクリティカルセクションにアクセスしようとしたとき、このアルゴリズムはどちらのプロセスがアクセス権を得るかを決定する。もしもう一方のプロセスが既にクリティカルセクションに変更を加えていたら、その完了を待つ。
foaf:depiction
n4:Dekker's_Algorithm.svg
dcterms:subject
dbc:Articles_with_example_pseudocode dbc:Concurrency_control_algorithms dbc:Edsger_W._Dijkstra
dbo:wikiPageID
36826
dbo:wikiPageRevisionID
1123217173
dbo:wikiPageWikiLink
dbr:Mathematician dbr:Eisenberg_&_McGuire_algorithm dbr:Deadlock dbc:Articles_with_example_pseudocode n16:Dekker's_Algorithm.svg dbr:Volatile_variable dbr:Dutch_people dbr:Szymański's_algorithm dbr:CPU dbr:Lamport's_bakery_algorithm dbr:C++11 dbr:Memory_barrier dbr:Concurrent_programming dbr:Resource_starvation dbr:Theodorus_Dekker dbr:Pseudocode dbr:Memory_ordering dbc:Concurrency_control_algorithms dbr:Semaphore_(programming) dbr:Mutual_exclusion dbr:Infinite_loop dbr:Critical_section dbr:Peterson's_algorithm dbr:Loop-invariant_code_motion dbr:Symmetric_multiprocessing dbr:Busy_waiting dbr:Busy_wait dbr:Edsger_W._Dijkstra dbr:Test-and-set dbc:Edsger_W._Dijkstra dbr:Shared_memory_(interprocess_communication)
owl:sameAs
yago-res:Dekker's_algorithm n11:ETTn dbpedia-ca:Algorisme_de_Dekker dbpedia-fr:Algorithme_de_Dekker dbpedia-sr:Dekerov_algoritam n19:Դեկկերի_ալգորիթմ dbpedia-tr:Dekker_algoritması dbpedia-fa:الگوریتم_دکر dbpedia-pl:Algorytm_Dekkera dbpedia-de:Dekker-Algorithmus dbpedia-uk:Алгоритм_Декера dbpedia-id:Algoritma_dekker dbpedia-es:Algoritmo_de_Dekker freebase:m.0962r n31:Деккерийн_алгоритм dbpedia-it:Algoritmo_di_Dekker dbpedia-ja:デッカーのアルゴリズム dbpedia-ru:Алгоритм_Деккера wikidata:Q1183654 dbpedia-ko:데커의_알고리즘
dbp:wikiPageUsesTemplate
dbt:Reflist dbt:Edsger_Dijkstra dbt:Mono dbt:Unreferenced_section
dbo:thumbnail
n4:Dekker's_Algorithm.svg?width=300
dbo:abstract
Алгоритм Декера — перший відомий правильний розв'язок задачі взаємного виключення в паралельному програмуванні. Едсгер Дейкстра посилається на голландського математика Теодора Декера як на його винахідника в своєму рукописі про взаємодію між процесами. Він дозволяє двом процесам спільно використовувати одновикористовний ресурс без конфліктів, використовуючи тільки спільну пам'ять для зв'язку. Algorytm Dekkera – pierwszy algorytm poprawnie rozwiązujący problem wzajemnego wykluczania się równolegle działających procesów. Tylko jeden z nich może w danej chwili wykonywać ich wspólną sekcję krytyczną (zob. programowanie współbieżne). Rozwiązanie to zostało przypisane holenderskiemu matematykowi T. J. Dekkerowi przez Edsgera Dijkstrę w jego manuskrypcie na temat współdziałania procesów sekwencyjnych. Algorytm pozwala dwóm wątkom na bezkonfliktową pracę na danych pochodzących z jednego źródła przy użyciu do komunikacji między nimi jedynie pamięci dzielonej. Algoritme Dekker adalah algoritme yang menjabarkan dua atau lebih proses tentang yang berbagi sumber yang sama tanpa adanya konflik. Algoritme ini diciptakan oleh , seorang matematikawan Belanda, yang diterapkan oleh Edsger W. Dijkstra. Der Dekker-Algorithmus ist die älteste bekannte vollständige Lösung des Problems, den wechselseitigen Ausschluss (Mutex) in der dezentralen Steuerung von Prozessen (Prozesssynchronisation) zu gewährleisten. Er vermeidet gegenseitiges Blockieren (Deadlock) und gewährleistet, dass stets genau ein Prozess in einen kritischen Abschnitt gelangen kann (Sequentialisierung). Der Algorithmus wurde 1965 von dem niederländischen Mathematiker Theodorus Dekker formuliert. In der hier beschriebenen Form kann er aber nur zwei Prozesse wechselseitig ausschließen. El algoritmo de Dekker es un algoritmo de programación concurrente para exclusión mutua, que permite a dos procesos o hilos de ejecución compartir un recurso sin conflictos. Fue uno de los primeros algoritmos de exclusión mutua inventados, implementado por Edsger Dijkstra. Si ambos procesos intentan acceder a la sección crítica simultáneamente, el algoritmo elige un proceso según una variable de turno. Si el otro proceso está ejecutando en su sección crítica, deberá esperar su finalización. Condiciones • No hay prioridad entre procesos. • La capacidad de los equipos es irrelevante. • Si un proceso muere fuera de la región crítica, el algoritmo sigue funcionando. • Un bloqueo mutuo no se considera como solución válida. Existen cinco versiones del algoritmo Dekker, teniendo ciertos fallos los primeros cuatro. La versión 5 es la que trabaja más eficientemente, siendo una combinación de la 1 y la 4. * Versión 1: Alternancia estricta. Garantiza la exclusión mutua, pero su desventaja es que acopla los procesos fuertemente, esto significa que los procesos lentos atrasan a los procesos rápidos. * Versión 2: Problema interbloqueo. No existe la alternancia, aunque ambos procesos caen a un mismo estado y nunca salen de ahí. * Versión 3: Colisión región crítica no garantiza la exclusión mutua. Este algoritmo no evita que dos procesos puedan acceder al mismo tiempo a la región crítica. * Versión 4: Postergación indefinida. Aunque los procesos no están en interbloqueo, un proceso o varios se quedan esperando a que suceda un evento que tal vez nunca suceda. shared int cierto = 1;/* ''Definición de variables compartidas'' */ shared int bandera[2] = {0,0}; shared int turno = 0; while (cierto) { bandera[proc_id] = cierto; // Está listo para acceder a la Sección Crítica while (bandera[1-proc_id] == cierto) { // Mientras el otro esté procesando if (turno == 1-proc_id) { // si es su turno bandera[proc_id] = 0; // indicar que no está listo y while (turno == (1-proc_id)) {} // esperar activamente. bandera[proc_id] = 1; // Cuando terminó de esperar, está listo } } /* ''Sección crítica'' */ turno = 1-proc_id; // Indicar el turno del otro proceso bandera[proc_id] = 0; // Indicar que ya no está listo (para acceder a la Sección Crítica) /* ''Sección no crítica'' */ } Ventajas • Este algoritmo garantiza la exclusión mutua. • Garantiza la libertad de bloqueos mutuos. • Garantiza la libertad de inanición. • Es un algoritmo simple y portable. Desventajas • Solo puede manejar un máximo de dos procesos. • Hace uso de espera activa. • No suspende a los procesos que están esperando acceso. • Puede llegar a entrar en ciclos infinitos. デッカーのアルゴリズムはオランダ人数学者 T・J・デッカーの考案した相互排他のためのアルゴリズムである。これにより、共有メモリによる通信のみで、2つのプロセスが1つのリソースを競合することなく共有することができる。 厳密に交互にとっていく素朴なアルゴリズムを避けて発明された世界初の相互排他アルゴリズムの1つである。 ふたつのプロセスが同時に同じクリティカルセクションにアクセスしようとしたとき、このアルゴリズムはどちらのプロセスがアクセス権を得るかを決定する。もしもう一方のプロセスが既にクリティカルセクションに変更を加えていたら、その完了を待つ。 f0 := false f1 := false turn := 0 // or 1 p0: f0 := true p1: f1 := true while f1 = true { while f0 = true { if turn ≠ 0 { if turn ≠ 1 { f0 := false f1 := false while turn ≠ 0 { while turn ≠ 1 { } } f0 := true f1 := true } } } } // Start of Critical Section ・・・ // End of Critical Section turn := 1 turn := 0 f0 := false f1 := false L'algorithme de Dekker est un algorithme d'exclusion mutuelle. Il est basé sur une approche par attente active et est divisé en deux parties, à savoir le protocole d'entrée dans la section critique et le protocole de sortie. L'algorithme présenté dans cet article est une version pouvant fonctionner avec N thread, version due à Edsger Dijkstra. L'algoritmo di Dekker, noto anche come algoritmo di proiezione di Dijkstra, costituisce una soluzione completa al problema della mutua esclusione nella coordinazione decentrata di processi (sincronizzazione), impedendo lo stallo (deadlock) ed assicurando che soltanto un processo alla volta possa eseguire una sezione critica (serializzazione). Tale algoritmo è attribuito al matematico olandese da Edsger W. Dijkstra nel suo manoscritto sui processi cooperanti sequenziali. Алгоритм Деккера — первое известное корректное решение проблемы взаимного исключения в параллельном программировании. Эдсгер Дейкстра ссылается на голландского математика как на автора данного алгоритма в своей работе о межпроцессном взаимодействии. Он позволяет двум потокам выполнения совместно использовать неразделяемый ресурс без возникновения конфликтов, используя только общую память для коммуникации. 데커의 알고리즘(Dekker's algorithm)은 네덜란드의 수학자 테오도루스 데커가 상호 배제를 위해 고안한 병행 프로그래밍 알고리즘이다. 이 알고리즘은 의사소통을 위해 공유 메모리를 사용하여 두 프로세스(또는 스레드)가 하나의 자원을 혼란 없이 공유할 수 있게 한다. 데커의 알고리즘은 (test-and-set) 명령과 같은 원자적 명령이 없는 경우에도 사용할 수 있으며, 바쁜 대기(busy waiting) 알고리즘에 속한다. Dekker's algorithm is the first known correct solution to the mutual exclusion problem in concurrent programming where processes only communicate via shared memory. The solution is attributed to Dutch mathematician Th. J. Dekker by Edsger W. Dijkstra in an unpublished paper on sequential process descriptions and his manuscript on cooperating sequential processes. It allows two threads to share a single-use resource without conflict, using only shared memory for communication. It avoids the strict alternation of a naïve turn-taking algorithm, and was one of the first mutual exclusion algorithms to be invented. L'algorisme de Dekker, és un algorisme de programació concurrent que permet que dos processos accedeixin sense conflicte a un recurs compartit, utilitzant només memòria compartida per a comunicar-se. Aquest algorisme fou inventat pel matemàtic neerlandès i fou un dels primers algorismes dissenyats per garantir exclusió mútua.
gold:hypernym
dbr:Solution
prov:wasDerivedFrom
wikipedia-en:Dekker's_algorithm?oldid=1123217173&ns=0
dbo:wikiPageLength
8444
foaf:isPrimaryTopicOf
wikipedia-en:Dekker's_algorithm
Subject Item
dbr:Eisenberg_&_McGuire_algorithm
dbo:wikiPageWikiLink
dbr:Dekker's_algorithm
Subject Item
dbr:Critical_section
dbo:wikiPageWikiLink
dbr:Dekker's_algorithm
Subject Item
dbr:Theodorus_Dekker
dbo:wikiPageWikiLink
dbr:Dekker's_algorithm
Subject Item
dbr:Peterson's_algorithm
dbo:wikiPageWikiLink
dbr:Dekker's_algorithm
Subject Item
dbr:Mutual_exclusion
dbo:wikiPageWikiLink
dbr:Dekker's_algorithm
Subject Item
dbr:Lock_(computer_science)
dbo:wikiPageWikiLink
dbr:Dekker's_algorithm
Subject Item
dbr:Heerhugowaard
dbo:wikiPageWikiLink
dbr:Dekker's_algorithm
Subject Item
dbr:Lamport's_bakery_algorithm
dbo:wikiPageWikiLink
dbr:Dekker's_algorithm
Subject Item
dbr:Interference_freedom
dbo:wikiPageWikiLink
dbr:Dekker's_algorithm
Subject Item
dbr:Szymański's_algorithm
dbo:wikiPageWikiLink
dbr:Dekker's_algorithm
Subject Item
dbr:Dekker_algorithm
dbo:wikiPageWikiLink
dbr:Dekker's_algorithm
dbo:wikiPageRedirects
dbr:Dekker's_algorithm
Subject Item
wikipedia-en:Dekker's_algorithm
foaf:primaryTopic
dbr:Dekker's_algorithm