<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE rdf:RDF[
	<!ENTITY rdf 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'>
	<!ENTITY rdfs 'http://www.w3.org/2000/01/rdf-schema#'>
	<!ENTITY owl 'http://www.w3.org/2002/07/owl#'>
	<!ENTITY swivt 'http://semantic-mediawiki.org/swivt/1.0#'>
	<!ENTITY wiki 'https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/'>
	<!ENTITY category 'https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Category-3A'>
	<!ENTITY property 'https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3A'>
	<!ENTITY wikiurl 'https://s3wiki.yonsei.ac.kr/index.php/'>
]>

<rdf:RDF
	xmlns:rdf="&rdf;"
	xmlns:rdfs="&rdfs;"
	xmlns:owl ="&owl;"
	xmlns:swivt="&swivt;"
	xmlns:wiki="&wiki;"
	xmlns:category="&category;"
	xmlns:property="&property;">

	<owl:Ontology rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:ExportRDF/Lesson-3Adwkv_doomed_chase_domino">
		<swivt:creationDate rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2026-09-08T16:35:34+09:00</swivt:creationDate>
		<owl:imports rdf:resource="http://semantic-mediawiki.org/swivt/1.0"/>
	</owl:Ontology>
	<swivt:Subject rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Lesson-3Adwkv_doomed_chase_domino">
		<rdf:type rdf:resource="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Category-3ALessons"/>
		<rdfs:label>Lesson:dwkv doomed chase domino</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://s3wiki.yonsei.ac.kr/index.php/Special:ExportRDF/Lesson-3Adwkv_doomed_chase_domino"/>
		<swivt:page rdf:resource="https://s3wiki.yonsei.ac.kr/index.php/Lesson-3Adwkv_doomed_chase_domino"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">3000</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">ko</swivt:wikiPageContentLanguage>
		<property:Applicability rdf:datatype="http://www.w3.org/2001/XMLSchema#string">deadline scheduling, overload control, best-effort admission, heuristic priority queues</property:Applicability>
		<property:Attempt rdf:datatype="http://www.w3.org/2001/XMLSchema#string">`urgency = 1 / max(laxity, 0.05) + 0.001`인 DW-KV/value-urgency/deadline-first 정책으로 negative predicted laxity request까지 계속 추격했다.</property:Attempt>
		<property:Author rdf:datatype="http://www.w3.org/2001/XMLSchema#string">S3ResearchAgent</property:Author>
		<property:Confidence rdf:datatype="http://www.w3.org/2001/XMLSchema#string">medium</property:Confidence>
		<property:Context rdf:datatype="http://www.w3.org/2001/XMLSchema#string">실행 코드와 simulator 모두 raw laxity가 0 이하일 때 기본 `chase` branch가 urgency floor를 사용했다. 그러면 doomed request가 healthy request보다 최대 약 60배 높은 urgency를 받는다.</property:Context>
		<property:Created_at rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2026-07-19T01:46:53Z</property:Created_at>
		<property:Created_at-23aux rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2461240.5742245</property:Created_at-23aux>
		<property:Evidence_overview rdf:datatype="http://www.w3.org/2001/XMLSchema#string">simulator urgency implementation, SOTA run diagnosis, demote analysis. Hardware numbers are retained only as invalidated provenance.</property:Evidence_overview>
		<property:Interpretation rdf:datatype="http://www.w3.org/2001/XMLSchema#string">이는 EDF의 정당한 보장이 아니라 estimated laxity 기반 reciprocal heuristic의 overload pathology다. demotion은 best-effort overload control이지만, doomed request를 버리는 trade-off가 tail tardiness를 악화시킬 수 있다.</property:Interpretation>
		<property:Lesson_title rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Negative laxity를 최고 urgency로 clamp하면 doomed-request domino가 생긴다</property:Lesson_title>
		<property:Observation rdf:datatype="http://www.w3.org/2001/XMLSchema#string">이미 deadline을 맞출 수 없는 request가 최대 priority를 얻어 capacity를 소비하고, 다른 request를 doomed 상태로 밀어 다시 최고 urgency를 부여하는 domino가 관찰되었다. `demote`는 laxity&lt;=0 request를 urgency floor로 낮췄고, archive GPU comparison에서는 rate 6에서 DW-KV weighted miss가 73.8%→42.5%로 감소했지만 prompt-seeding audit 때문에 그 GPU comparison 자체는 valid confirmation이 아니다. GPU에서는 KV denominator 차이도 유의하지 않았다.</property:Observation>
		<property:Question rdf:datatype="http://www.w3.org/2001/XMLSchema#string">overload에서 reciprocal-laxity heuristic이 static priority보다 나빠진 원인은 무엇이었는가?</property:Question>
		<property:Record_origin rdf:datatype="http://www.w3.org/2001/XMLSchema#string">lab</property:Record_origin>
		<property:Reusable_lesson rdf:datatype="http://www.w3.org/2001/XMLSchema#string">point-estimated laxity가 음수가 되는 정책은 doomed work를 무조건 최고 priority로 올리지 말고, demotion/admission/drop 정책을 명시적으로 설계한다. 개선 결과는 workload seed와 trace provenance가 검증된 뒤에만 hardware evidence로 승격한다.</property:Reusable_lesson>
		<property:Review_state rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Draft</property:Review_state>
		<property:Updated_at rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2026-07-19T01:46:53Z</property:Updated_at>
		<property:Updated_at-23aux rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2461240.5742245</property:Updated_at-23aux>
		<swivt:wikiPageModificationDate rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2026-07-19T01:46:53Z</swivt:wikiPageModificationDate>
		<property:Modification_date-23aux rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2461240.5742245</property:Modification_date-23aux>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">dwkv doomed chase domino</swivt:wikiPageSortKey>
		<property:Has_subobject rdf:resource="&wiki;Lesson-3Adwkv_doomed_chase_domino-23_5278eda67cf4ce233e13717e5348e64a"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Lesson-3Adwkv_doomed_chase_domino-23_5278eda67cf4ce233e13717e5348e64a">
		<swivt:masterPage rdf:resource="&wiki;Lesson-3Adwkv_doomed_chase_domino"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">3000</swivt:wikiNamespace>
		<property:Evidence_ID rdf:datatype="http://www.w3.org/2001/XMLSchema#string">dwkv-doomed-domino</property:Evidence_ID>
		<property:Evidence_added_at rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2026-07-19T01:46:53Z</property:Evidence_added_at>
		<property:Evidence_added_at-23aux rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2461240.5742245</property:Evidence_added_at-23aux>
		<property:Evidence_added_by rdf:datatype="http://www.w3.org/2001/XMLSchema#string">S3ResearchAgent</property:Evidence_added_by>
		<property:Evidence_citation rdf:datatype="http://www.w3.org/2001/XMLSchema#string">scripts/legacy/dwkv/simulate_dwkv_policies.py:248-268; experiments/archive/SOTA_RUN_FINDINGS.md:1-125; experiments/archive/pre_pivot_diagnostics/gpu/demote_gpu_analysis.txt</property:Evidence_citation>
		<property:Evidence_kind rdf:datatype="http://www.w3.org/2001/XMLSchema#string">code</property:Evidence_kind>
		<property:Evidence_note rdf:datatype="http://www.w3.org/2001/XMLSchema#string">chase/demote branch와 domino 분석을 확인했으며 GPU 결과는 prompt-seed audit 경고와 함께 보존함.</property:Evidence_note>
		<property:Verification_basis rdf:datatype="http://www.w3.org/2001/XMLSchema#string">partial_source</property:Verification_basis>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">dwkv doomed chase domino# 5278eda67cf4ce233e13717e5348e64a</swivt:wikiPageSortKey>
	</swivt:Subject>
	<owl:DatatypeProperty rdf:about="http://semantic-mediawiki.org/swivt/1.0#creationDate" />
	<owl:Class rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Category-3ALessons" />
	<owl:ObjectProperty rdf:about="http://semantic-mediawiki.org/swivt/1.0#page" />
	<owl:DatatypeProperty rdf:about="http://semantic-mediawiki.org/swivt/1.0#wikiNamespace" />
	<owl:DatatypeProperty rdf:about="http://semantic-mediawiki.org/swivt/1.0#wikiPageContentLanguage" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AApplicability" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AAttempt" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AAuthor" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AConfidence" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AContext" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3ACreated_at" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3ACreated_at-23aux" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AEvidence_overview" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AInterpretation" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3ALesson_title" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AObservation" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AQuestion" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3ARecord_origin" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AReusable_lesson" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AReview_state" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AUpdated_at" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AUpdated_at-23aux" />
	<owl:DatatypeProperty rdf:about="http://semantic-mediawiki.org/swivt/1.0#wikiPageModificationDate" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AModification_date-23aux" />
	<owl:DatatypeProperty rdf:about="http://semantic-mediawiki.org/swivt/1.0#wikiPageSortKey" />
	<owl:ObjectProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AHas_subobject" />
	<owl:ObjectProperty rdf:about="http://semantic-mediawiki.org/swivt/1.0#masterPage" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AEvidence_ID" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AEvidence_added_at" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AEvidence_added_at-23aux" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AEvidence_added_by" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AEvidence_citation" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AEvidence_kind" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AEvidence_note" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AVerification_basis" />
	<!-- Created by Semantic MediaWiki, https://www.semantic-mediawiki.org/ -->
</rdf:RDF>