<?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-3Ashiftlock_mitigate_one_sided_rdma_lock_contention_via_handover_a5d67e63">
		<swivt:creationDate rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2026-09-08T16:38:29+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-3Ashiftlock_mitigate_one_sided_rdma_lock_contention_via_handover_a5d67e63">
		<rdf:type rdf:resource="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Category-3ALessons"/>
		<rdfs:label>Lesson:shiftlock mitigate one sided rdma lock contention via handover a5d67e63</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://s3wiki.yonsei.ac.kr/index.php/Special:ExportRDF/Lesson-3Ashiftlock_mitigate_one_sided_rdma_lock_contention_via_handover_a5d67e63"/>
		<swivt:page rdf:resource="https://s3wiki.yonsei.ac.kr/index.php/Lesson-3Ashiftlock_mitigate_one_sided_rdma_lock_contention_via_handover_a5d67e63"/>
		<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">RDMA-based distributed storage and transaction systems.

Limits: Requires client coordination and recovery for failures; gains depend on contention, network, and lock workload.</property:Applicability>
		<property:Attempt rdf:datatype="http://www.w3.org/2001/XMLSchema#string">ShiftLock uses nonblocking direct client-to-client handover inspired by MCS queues, with reader-writer semantics, starvation freedom, CPU efficiency, and fault handling.</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">Venue: FAST. Year: 2025.

Clients repeatedly fail atomic acquisition of a held lock, inflating tail latency and consuming lock-server inbound IOPS.

Verification: official_abstract; confidence=high.</property:Context>
		<property:Created_at rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2026-07-16T14:58:03Z</property:Created_at>
		<property:Created_at-23aux rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2461238.1236458</property:Created_at-23aux>
		<property:Evidence_overview rdf:datatype="http://www.w3.org/2001/XMLSchema#string">ShiftLock: Mitigate One-sided RDMA Lock Contention via Handover. FAST 2025.</property:Evidence_overview>
		<property:Interpretation rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Explicit ownership transfer replaces remote contention with local waiting and bounded coordination.</property:Interpretation>
		<property:Lesson_title rdf:datatype="http://www.w3.org/2001/XMLSchema#string">ShiftLock: Mitigate One-sided RDMA Lock Contention via Handover</property:Lesson_title>
		<property:Observation rdf:datatype="http://www.w3.org/2001/XMLSchema#string">workloads=RDMA lock microbenchmarks; transaction workloads; baselines=existing one-sided RDMA locks; metrics=goodput; tail latency; transaction goodput; results=up to 3.62x microbenchmark goodput; up to 76.6% lower tail latency; up to 2.85x transaction goodput</property:Observation>
		<property:Question rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Can one-sided RDMA locks avoid retry storms and server-NIC IOPS collapse under contention?</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">Under high contention, hand work directly to a known successor instead of reopening global competition.</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-18T14:59:05Z</property:Updated_at>
		<property:Updated_at-23aux rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2461240.1243634</property:Updated_at-23aux>
		<swivt:wikiPageModificationDate rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2026-07-18T14:59:05Z</swivt:wikiPageModificationDate>
		<property:Modification_date-23aux rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2461240.1243634</property:Modification_date-23aux>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">shiftlock mitigate one sided rdma lock contention via handover a5d67e63</swivt:wikiPageSortKey>
		<property:Has_subobject rdf:resource="&wiki;Lesson-3Ashiftlock_mitigate_one_sided_rdma_lock_contention_via_handover_a5d67e63-23_d9e10139e5fdc6ce3112bc52d94f3efb"/>
		<property:Has_subobject rdf:resource="&wiki;Lesson-3Ashiftlock_mitigate_one_sided_rdma_lock_contention_via_handover_a5d67e63-23_1f7c8afcdb6dce0a396d367c06ffb49b"/>
		<property:Has_subobject rdf:resource="&wiki;Lesson-3Ashiftlock_mitigate_one_sided_rdma_lock_contention_via_handover_a5d67e63-23_746b3cd5adf40c1efb5bde9b1cd65628"/>
		<property:Has_subobject rdf:resource="&wiki;Lesson-3Ashiftlock_mitigate_one_sided_rdma_lock_contention_via_handover_a5d67e63-23_50b4aaede1132bf33490a2c8d00e1ba5"/>
		<property:Has_subobject rdf:resource="&wiki;Lesson-3Ashiftlock_mitigate_one_sided_rdma_lock_contention_via_handover_a5d67e63-23_3380eadc3eef394f2d5770445c634c38"/>
		<property:Has_subobject rdf:resource="&wiki;Lesson-3Ashiftlock_mitigate_one_sided_rdma_lock_contention_via_handover_a5d67e63-23_4b2b5c632f15b91c048af5d1adabedeb"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Lesson-3Ashiftlock_mitigate_one_sided_rdma_lock_contention_via_handover_a5d67e63-23_d9e10139e5fdc6ce3112bc52d94f3efb">
		<swivt:masterPage rdf:resource="&wiki;Lesson-3Ashiftlock_mitigate_one_sided_rdma_lock_contention_via_handover_a5d67e63"/>
		<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">ev_339907610cde434d</property:Evidence_ID>
		<property:Evidence_added_at rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2026-07-16T14:58:04Z</property:Evidence_added_at>
		<property:Evidence_added_at-23aux rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2461238.1236574</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">ShiftLock: Mitigate One-sided RDMA Lock Contention via Handover. FAST 2025.</property:Evidence_citation>
		<property:Evidence_kind rdf:datatype="http://www.w3.org/2001/XMLSchema#string">paper</property:Evidence_kind>
		<property:Evidence_note rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Bibliographic paper record.</property:Evidence_note>
		<property:Verification_basis rdf:datatype="http://www.w3.org/2001/XMLSchema#string">not_recorded</property:Verification_basis>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">shiftlock mitigate one sided rdma lock contention via handover a5d67e63# d9e10139e5fdc6ce3112bc52d94f3efb</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Lesson-3Ashiftlock_mitigate_one_sided_rdma_lock_contention_via_handover_a5d67e63-23_1f7c8afcdb6dce0a396d367c06ffb49b">
		<swivt:masterPage rdf:resource="&wiki;Lesson-3Ashiftlock_mitigate_one_sided_rdma_lock_contention_via_handover_a5d67e63"/>
		<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">verified-content-v1-0098</property:Evidence_ID>
		<property:Evidence_URL rdf:resource="https://www.usenix.org/conference/fast25/presentation/gao"/>
		<property:Evidence_added_at rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2026-07-16T18:55:12Z</property:Evidence_added_at>
		<property:Evidence_added_at-23aux rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2461238.2883333</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">Jian Gao et al., "ShiftLock: Mitigate One-sided RDMA Lock Contention via Handover", FAST 2025.</property:Evidence_citation>
		<property:Evidence_kind rdf:datatype="http://www.w3.org/2001/XMLSchema#string">paper</property:Evidence_kind>
		<property:Evidence_note rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Verification: official_abstract; confidence=high.
Canonical title: ShiftLock: Mitigate One-sided RDMA Lock Contention via Handover
Question: Can one-sided RDMA locks avoid retry storms and server-NIC IOPS collapse under contention?
Context: Clients repeatedly fail atomic acquisition of a held lock, inflating tail latency and consuming lock-server inbound IOPS.
Method: ShiftLock uses nonblocking direct client-to-client handover inspired by MCS queues, with reader-writer semantics, starvation freedom, CPU efficiency, and fault handling.
Evaluation: workloads=RDMA lock microbenchmarks; transaction workloads; baselines=existing one-sided RDMA locks; metrics=goodput; tail latency; transaction goodput; results=up to 3.62x microbenchmark goodput; up to 76.6% lower tail latency; up to 2.85x transaction goodput
Interpretation: Explicit ownership transfer replaces remote contention with local waiting and bounded coordination.
Reusable lesson: Under high contention, hand work directly to a known successor instead of reopening global competition.
Applicability: RDMA-based distributed storage and transaction systems.
Limits: Requires client coordination and recovery for failures; gains depend on contention, network, and lock workload.</property:Evidence_note>
		<property:Verification_basis rdf:datatype="http://www.w3.org/2001/XMLSchema#string">not_recorded</property:Verification_basis>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">shiftlock mitigate one sided rdma lock contention via handover a5d67e63# 1f7c8afcdb6dce0a396d367c06ffb49b</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Lesson-3Ashiftlock_mitigate_one_sided_rdma_lock_contention_via_handover_a5d67e63-23_746b3cd5adf40c1efb5bde9b1cd65628">
		<swivt:masterPage rdf:resource="&wiki;Lesson-3Ashiftlock_mitigate_one_sided_rdma_lock_contention_via_handover_a5d67e63"/>
		<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">canonical-paper-v2-a5d67e63</property:Evidence_ID>
		<property:Evidence_URL rdf:resource="https://www.usenix.org/conference/fast25/presentation/gao"/>
		<property:Evidence_added_at rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2026-07-18T05:37:26Z</property:Evidence_added_at>
		<property:Evidence_added_at-23aux rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2461239.7343287</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">Jian Gao et al., "ShiftLock: Mitigate One-sided RDMA Lock Contention via Handover", FAST 2025.</property:Evidence_citation>
		<property:Evidence_kind rdf:datatype="http://www.w3.org/2001/XMLSchema#string">paper</property:Evidence_kind>
		<property:Evidence_note rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Verification: official_abstract; confidence=medium.
Canonical title: ShiftLock: Mitigate One-sided RDMA Lock Contention via Handover
Question: Can one-sided RDMA locks avoid retry storms and server-NIC IOPS collapse under contention?
Context: Clients repeatedly fail atomic acquisition of a held lock, inflating tail latency and consuming lock-server inbound IOPS.
Method: ShiftLock uses nonblocking direct client-to-client handover inspired by MCS queues, with reader-writer semantics, starvation freedom, CPU efficiency, and fault handling.
Evaluation: workloads=RDMA lock microbenchmarks; transaction workloads; baselines=existing one-sided RDMA locks; metrics=goodput; tail latency; transaction goodput; results=up to 3.62x microbenchmark goodput; up to 76.6% lower tail latency; up to 2.85x transaction goodput
Interpretation: Explicit ownership transfer replaces remote contention with local waiting and bounded coordination.
Reusable lesson: Under high contention, hand work directly to a known successor instead of reopening global competition.
Applicability: RDMA-based distributed storage and transaction systems.
Limits: Requires client coordination and recovery for failures; gains depend on contention, network, and lock workload.</property:Evidence_note>
		<property:Verification_basis rdf:datatype="http://www.w3.org/2001/XMLSchema#string">official_abstract</property:Verification_basis>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">shiftlock mitigate one sided rdma lock contention via handover a5d67e63# 746b3cd5adf40c1efb5bde9b1cd65628</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Lesson-3Ashiftlock_mitigate_one_sided_rdma_lock_contention_via_handover_a5d67e63-23_50b4aaede1132bf33490a2c8d00e1ba5">
		<swivt:masterPage rdf:resource="&wiki;Lesson-3Ashiftlock_mitigate_one_sided_rdma_lock_contention_via_handover_a5d67e63"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">3000</swivt:wikiNamespace>
		<property:Evidence_verified_at rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2026-07-18T14:59:04Z</property:Evidence_verified_at>
		<property:Evidence_verified_at-23aux rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2461240.1243519</property:Evidence_verified_at-23aux>
		<property:Evidence_verified_by rdf:datatype="http://www.w3.org/2001/XMLSchema#string">S3ResearchAgent</property:Evidence_verified_by>
		<property:Verification_ID rdf:datatype="http://www.w3.org/2001/XMLSchema#string">verify_5dfff09e9b1fc1fe9224</property:Verification_ID>
		<property:Verification_basis rdf:datatype="http://www.w3.org/2001/XMLSchema#string">partial_source</property:Verification_basis>
		<property:Verification_claim_fields rdf:datatype="http://www.w3.org/2001/XMLSchema#string">context</property:Verification_claim_fields>
		<property:Verification_coverage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">보존 원문 객체를 확보했으나 이 일괄 검증에서는 claim-bearing 범위를 재판정하지 않아 결론을 보류함.</property:Verification_coverage>
		<property:Verification_outcome rdf:datatype="http://www.w3.org/2001/XMLSchema#string">inconclusive</property:Verification_outcome>
		<property:Verification_source_SHA256 rdf:datatype="http://www.w3.org/2001/XMLSchema#string">2d1f69b136a36d6297a7345be75c5656bdc9ca5b43b2363c09108e9942960763</property:Verification_source_SHA256>
		<property:Verification_source_identity rdf:datatype="http://www.w3.org/2001/XMLSchema#string">R2-RESTIC:7f893ca5afd2cfb6fe320e9b61063ccc70e75a7a96589420038c8cf338b273be; archive-manifest-sha256=e28171fb69e141ce306d92dfe4b10e6cdc6e81d4fa910c30a846204dbcf8edf8; sha256=2d1f69b136a36d6297a7345be75c5656bdc9ca5b43b2363c09108e9942960763</property:Verification_source_identity>
		<property:Verification_source_locator rdf:datatype="http://www.w3.org/2001/XMLSchema#string">보존 파일 objects/sha256/2d/2d1f69b136a36d6297a7345be75c5656bdc9ca5b43b2363c09108e9942960763</property:Verification_source_locator>
		<property:Verified_evidence_ID rdf:datatype="http://www.w3.org/2001/XMLSchema#string">ev_339907610cde434d</property:Verified_evidence_ID>
		<property:Verified_evidence_digest rdf:datatype="http://www.w3.org/2001/XMLSchema#string">dc43c9fa2b845d7168d77c0ad02d8516ebbc30506614ceb5f12a0de663e273ed</property:Verified_evidence_digest>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">shiftlock mitigate one sided rdma lock contention via handover a5d67e63# 50b4aaede1132bf33490a2c8d00e1ba5</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Lesson-3Ashiftlock_mitigate_one_sided_rdma_lock_contention_via_handover_a5d67e63-23_3380eadc3eef394f2d5770445c634c38">
		<swivt:masterPage rdf:resource="&wiki;Lesson-3Ashiftlock_mitigate_one_sided_rdma_lock_contention_via_handover_a5d67e63"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">3000</swivt:wikiNamespace>
		<property:Evidence_verified_at rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2026-07-18T14:59:05Z</property:Evidence_verified_at>
		<property:Evidence_verified_at-23aux rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2461240.1243634</property:Evidence_verified_at-23aux>
		<property:Evidence_verified_by rdf:datatype="http://www.w3.org/2001/XMLSchema#string">S3ResearchAgent</property:Evidence_verified_by>
		<property:Verification_ID rdf:datatype="http://www.w3.org/2001/XMLSchema#string">verify_0da1ddf969fbd87123d0</property:Verification_ID>
		<property:Verification_basis rdf:datatype="http://www.w3.org/2001/XMLSchema#string">partial_source</property:Verification_basis>
		<property:Verification_claim_fields rdf:datatype="http://www.w3.org/2001/XMLSchema#string">context</property:Verification_claim_fields>
		<property:Verification_coverage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">보존 원문 객체를 확보했으나 이 일괄 검증에서는 claim-bearing 범위를 재판정하지 않아 결론을 보류함.</property:Verification_coverage>
		<property:Verification_outcome rdf:datatype="http://www.w3.org/2001/XMLSchema#string">inconclusive</property:Verification_outcome>
		<property:Verification_source_SHA256 rdf:datatype="http://www.w3.org/2001/XMLSchema#string">2d1f69b136a36d6297a7345be75c5656bdc9ca5b43b2363c09108e9942960763</property:Verification_source_SHA256>
		<property:Verification_source_identity rdf:datatype="http://www.w3.org/2001/XMLSchema#string">R2-RESTIC:7f893ca5afd2cfb6fe320e9b61063ccc70e75a7a96589420038c8cf338b273be; archive-manifest-sha256=e28171fb69e141ce306d92dfe4b10e6cdc6e81d4fa910c30a846204dbcf8edf8; sha256=2d1f69b136a36d6297a7345be75c5656bdc9ca5b43b2363c09108e9942960763</property:Verification_source_identity>
		<property:Verification_source_locator rdf:datatype="http://www.w3.org/2001/XMLSchema#string">보존 파일 objects/sha256/2d/2d1f69b136a36d6297a7345be75c5656bdc9ca5b43b2363c09108e9942960763</property:Verification_source_locator>
		<property:Verified_evidence_ID rdf:datatype="http://www.w3.org/2001/XMLSchema#string">verified-content-v1-0098</property:Verified_evidence_ID>
		<property:Verified_evidence_digest rdf:datatype="http://www.w3.org/2001/XMLSchema#string">cfaa4ad7aadf2656be42854cea00c2b41e1c4b8026ab747873d1f0b22a084bf0</property:Verified_evidence_digest>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">shiftlock mitigate one sided rdma lock contention via handover a5d67e63# 3380eadc3eef394f2d5770445c634c38</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Lesson-3Ashiftlock_mitigate_one_sided_rdma_lock_contention_via_handover_a5d67e63-23_4b2b5c632f15b91c048af5d1adabedeb">
		<swivt:masterPage rdf:resource="&wiki;Lesson-3Ashiftlock_mitigate_one_sided_rdma_lock_contention_via_handover_a5d67e63"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">3000</swivt:wikiNamespace>
		<property:Evidence_verified_at rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2026-07-18T14:59:05Z</property:Evidence_verified_at>
		<property:Evidence_verified_at-23aux rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2461240.1243634</property:Evidence_verified_at-23aux>
		<property:Evidence_verified_by rdf:datatype="http://www.w3.org/2001/XMLSchema#string">S3ResearchAgent</property:Evidence_verified_by>
		<property:Verification_ID rdf:datatype="http://www.w3.org/2001/XMLSchema#string">verify_3cddfe10167ddb8aa9b0</property:Verification_ID>
		<property:Verification_basis rdf:datatype="http://www.w3.org/2001/XMLSchema#string">partial_source</property:Verification_basis>
		<property:Verification_claim_fields rdf:datatype="http://www.w3.org/2001/XMLSchema#string">context</property:Verification_claim_fields>
		<property:Verification_coverage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">보존 원문 객체를 확보했으나 이 일괄 검증에서는 claim-bearing 범위를 재판정하지 않아 결론을 보류함.</property:Verification_coverage>
		<property:Verification_outcome rdf:datatype="http://www.w3.org/2001/XMLSchema#string">inconclusive</property:Verification_outcome>
		<property:Verification_source_SHA256 rdf:datatype="http://www.w3.org/2001/XMLSchema#string">2d1f69b136a36d6297a7345be75c5656bdc9ca5b43b2363c09108e9942960763</property:Verification_source_SHA256>
		<property:Verification_source_identity rdf:datatype="http://www.w3.org/2001/XMLSchema#string">R2-RESTIC:7f893ca5afd2cfb6fe320e9b61063ccc70e75a7a96589420038c8cf338b273be; archive-manifest-sha256=e28171fb69e141ce306d92dfe4b10e6cdc6e81d4fa910c30a846204dbcf8edf8; sha256=2d1f69b136a36d6297a7345be75c5656bdc9ca5b43b2363c09108e9942960763</property:Verification_source_identity>
		<property:Verification_source_locator rdf:datatype="http://www.w3.org/2001/XMLSchema#string">보존 파일 objects/sha256/2d/2d1f69b136a36d6297a7345be75c5656bdc9ca5b43b2363c09108e9942960763</property:Verification_source_locator>
		<property:Verified_evidence_ID rdf:datatype="http://www.w3.org/2001/XMLSchema#string">canonical-paper-v2-a5d67e63</property:Verified_evidence_ID>
		<property:Verified_evidence_digest rdf:datatype="http://www.w3.org/2001/XMLSchema#string">0ed3206b2b3ed38c944e679672b0d4a21f2bfe29eed421389138d16600cd5e3c</property:Verified_evidence_digest>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">shiftlock mitigate one sided rdma lock contention via handover a5d67e63# 4b2b5c632f15b91c048af5d1adabedeb</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" />
	<owl:ObjectProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AEvidence_URL" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AEvidence_verified_at" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AEvidence_verified_at-23aux" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AEvidence_verified_by" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AVerification_ID" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AVerification_claim_fields" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AVerification_coverage" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AVerification_outcome" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AVerification_source_SHA256" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AVerification_source_identity" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AVerification_source_locator" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AVerified_evidence_ID" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AVerified_evidence_digest" />
	<!-- Created by Semantic MediaWiki, https://www.semantic-mediawiki.org/ -->
</rdf:RDF>