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

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

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n10http://dbpedia.org/resource/File:
n18https://global.dbpedia.org/id/
yagohttp://dbpedia.org/class/yago/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
n12http://commons.wikimedia.org/wiki/Special:FilePath/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbpedia-zhhttp://zh.dbpedia.org/resource/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
dbphttp://dbpedia.org/property/
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
goldhttp://purl.org/linguistics/gold/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Bolesław_Szymański
dbo:wikiPageWikiLink
dbr:Szymański's_algorithm
Subject Item
dbr:Dekker's_algorithm
dbo:wikiPageWikiLink
dbr:Szymański's_algorithm
Subject Item
dbr:Eisenberg_&_McGuire_algorithm
dbo:wikiPageWikiLink
dbr:Szymański's_algorithm
Subject Item
dbr:Critical_section
dbo:wikiPageWikiLink
dbr:Szymański's_algorithm
Subject Item
dbr:Szymanski's_Algorithm
dbo:wikiPageWikiLink
dbr:Szymański's_algorithm
dbo:wikiPageRedirects
dbr:Szymański's_algorithm
Subject Item
dbr:Peterson's_algorithm
dbo:wikiPageWikiLink
dbr:Szymański's_algorithm
Subject Item
dbr:Mutual_exclusion
dbo:wikiPageWikiLink
dbr:Szymański's_algorithm
Subject Item
dbr:List_of_Polish_Americans
dbo:wikiPageWikiLink
dbr:Szymański's_algorithm
Subject Item
dbr:Lamport's_bakery_algorithm
dbo:wikiPageWikiLink
dbr:Szymański's_algorithm
Subject Item
dbr:Szymański's_algorithm
rdf:type
yago:Event100029378 yago:Abstraction100002137 yago:Algorithm105847438 yago:Rule105846932 yago:PsychologicalFeature100023100 yago:Procedure101023820 yago:Activity100407535 yago:Act100030358 dbo:Software yago:WikicatConcurrencyControlAlgorithms yago:YagoPermanentlyLocatedEntity
rdfs:label
Szymanski算法 Szymański's algorithm
rdfs:comment
Szymanski算法是解决多个线程访问一个共享资源的互斥问题的一个算法。由Boleslaw Szymanski于1988年提出。该算法具有很多优良性能,如线性等待,解决了由Leslie Lamport提出的。 Szymański's Mutual Exclusion Algorithm is a mutual exclusion algorithm devised by computer scientist Dr. Bolesław Szymański, which has many favorable properties including linear wait, and which extension solved the open problem posted by Leslie Lamport whether there is an algorithm with a constant number of communication bits per process that satisfies every reasonable fairness and failure-tolerance requirement that Lamport conceived of (Lamport's solution used n factorial communication variables vs. Szymański's 5).
foaf:depiction
n12:Scheme_of_the_algorithm.png
dcterms:subject
dbc:Concurrency_control_algorithms
dbo:wikiPageID
29398104
dbo:wikiPageRevisionID
1077681388
dbo:wikiPageWikiLink
dbr:Formal_verification n10:Scheme_of_the_algorithm.png dbr:Bolesław_Szymański dbr:Cache_(computing) dbr:Dekker's_algorithm dbr:Mutual_exclusion dbr:Semaphore_(programming) dbr:Eisenberg_&_McGuire_algorithm dbr:Leslie_Lamport dbr:Peterson's_algorithm dbr:Lamport's_bakery_algorithm dbc:Concurrency_control_algorithms
owl:sameAs
wikidata:Q7665041 dbpedia-zh:Szymanski算法 n18:4vcyg freebase:m.0ds03sm
dbp:wikiPageUsesTemplate
dbt:Reflist
dbo:thumbnail
n12:Scheme_of_the_algorithm.png?width=300
dbo:abstract
Szymański's Mutual Exclusion Algorithm is a mutual exclusion algorithm devised by computer scientist Dr. Bolesław Szymański, which has many favorable properties including linear wait, and which extension solved the open problem posted by Leslie Lamport whether there is an algorithm with a constant number of communication bits per process that satisfies every reasonable fairness and failure-tolerance requirement that Lamport conceived of (Lamport's solution used n factorial communication variables vs. Szymański's 5). Szymanski算法是解决多个线程访问一个共享资源的互斥问题的一个算法。由Boleslaw Szymanski于1988年提出。该算法具有很多优良性能,如线性等待,解决了由Leslie Lamport提出的。
gold:hypernym
dbr:Algorithm
prov:wasDerivedFrom
wikipedia-en:Szymański's_algorithm?oldid=1077681388&ns=0
dbo:wikiPageLength
6074
foaf:isPrimaryTopicOf
wikipedia-en:Szymański's_algorithm
Subject Item
dbr:Szymanski's_Mutual_Exclusion_Algorithm
dbo:wikiPageWikiLink
dbr:Szymański's_algorithm
dbo:wikiPageRedirects
dbr:Szymański's_algorithm
Subject Item
dbr:Szymanski's_algorithm
dbo:wikiPageWikiLink
dbr:Szymański's_algorithm
dbo:wikiPageRedirects
dbr:Szymański's_algorithm
Subject Item
wikipedia-en:Szymański's_algorithm
foaf:primaryTopic
dbr:Szymański's_algorithm