# LaTeX2HTML 2008 (1.71)
# Associate labels original text with physical files.


$key = q/fig:app:rcuimpl:rcutreewt:Code_for_rcu-init-percpu-data/;
$external_labels{$key} = "$URL/" . q|node380.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:analysis:QRCU_Initialization_Process/;
$external_labels{$key} = "$URL/" . q|node432.html|; 
$noresave{$key} = "$nosave";

$key = q/app:formal:Validating_Nested_Interrupt_Handlers/;
$external_labels{$key} = "$URL/" . q|node449.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_Shavit95/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:rcuimpl:rcutreewt:Code_for_rcu-check-quiescent-state/;
$external_labels{$key} = "$URL/" . q|node388.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:intro:Software_Layers_and_Performance__Productivity__and_Generality/;
$external_labels{$key} = "$URL/" . q|node9.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:defer:Performance_of_RCU_vs._Reference_Counting/;
$external_labels{$key} = "$URL/" . q|node142.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_MichaelScott2006Textbook/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:toolsoftrade:The_Right_Tool_for_the_Job:_How_to_Choose_/;
$external_labels{$key} = "$URL/" . q|node50.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:SMPdesign:Code-Locking_Hash_Table_Search/;
$external_labels{$key} = "$URL/" . q|node86.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:Composite_Capabilities/;
$external_labels{$key} = "$URL/" . q|node19.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:count:Applying_Specialized_Parallel_Counters/;
$external_labels{$key} = "$URL/" . q|node71.html|; 
$noresave{$key} = "$nosave";

$key = q/defer:Starvation-Free_Counter-Based_RCU/;
$external_labels{$key} = "$URL/" . q|node158.html|; 
$noresave{$key} = "$nosave";

$key = q/tab:app:whymb:Memory_Barrier_Example_2/;
$external_labels{$key} = "$URL/" . q|node312.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:rcutreewt:Per-CPU_Data/;
$external_labels{$key} = "$URL/" . q|node366.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:defer:Multistage_SRCU_Deadlocks/;
$external_labels{$key} = "$URL/" . q|node467.html|; 
$noresave{$key} = "$nosave";

$key = q/defer:RCU_Based_on_Quiescent_States/;
$external_labels{$key} = "$URL/" . q|node163.html|; 
$noresave{$key} = "$nosave";

$key = q/app:formal:Introduction_to_Preemptible_RCU_and_dynticks/;
$external_labels{$key} = "$URL/" . q|node439.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:intro:Alternatives_to_Parallel_Programming/;
$external_labels{$key} = "$URL/" . q|node10.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_SETIatHOME2008/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/app:formal:Alternative_Approach:_More_Capable_Tools/;
$external_labels{$key} = "$URL/" . q|node436.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:defer:RCU_Update_Using_Per-Thread_Reference-Count_Pair/;
$external_labels{$key} = "$URL/" . q|node159.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:SMPdesign:Design_Criteria/;
$external_labels{$key} = "$URL/" . q|node83.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:defer:RCU_has_Publish-Subscribe_and_Version-Maintenance_APIs/;
$external_labels{$key} = "$URL/" . q|node151.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_JonathanCorbet2006lockdep/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:rcutreewt:CPU-Stall_Detection/;
$external_labels{$key} = "$URL/" . q|node399.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:app:whymb:Cache-Coherence_Protocols/;
$external_labels{$key} = "$URL/" . q|node295.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_Inman85/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_PaulMcKenney2005i/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:rcutreewt:Noting_New_Grace_Periods/;
$external_labels{$key} = "$URL/" . q|node385.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:rcuimpl:rcutreewt:Code_for_rcu-online-cpu/;
$external_labels{$key} = "$URL/" . q|node381.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:analysis:Differential_Profiling/;
$external_labels{$key} = "$URL/" . q|node178.html|; 
$noresave{$key} = "$nosave";

$key = q/app:formal:Summary/;
$external_labels{$key} = "$URL/" . q|node459.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:datastruct:Lists/;
$external_labels{$key} = "$URL/" . q|node181.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:rcutree:Brief_Overview_of_Classic_RCU_Implementation/;
$external_labels{$key} = "$URL/" . q|node344.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:SMPdesign:Allocator_Cache_Performance/;
$external_labels{$key} = "$URL/" . q|node99.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:toolsoftrade:Demonstration_of_Exclusive_Locks/;
$external_labels{$key} = "$URL/" . q|node46.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:SMPdesign:Parallel-Fastpath_Design_Patterns/;
$external_labels{$key} = "$URL/" . q|node90.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:rcuimpl:rcutreewt:Code_for_record-gp-stall-check-time/;
$external_labels{$key} = "$URL/" . q|node399.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:Preemptible_RCU_with_Grace-Period_Memory_Barriers/;
$external_labels{$key} = "$URL/" . q|node418.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:easy:Rusty_Scale_for_API_Design/;
$external_labels{$key} = "$URL/" . q|node245.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:advsync:Explicit_Memory_Barriers/;
$external_labels{$key} = "$URL/" . q|node215.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_PaulMcKenney2005d/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:defer:Data_for_Quiescent-State-Based_RCU/;
$external_labels{$key} = "$URL/" . q|node163.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:rcuimpl:rcutreewt:Handling_Offline_and_Holdout_CPUs/;
$external_labels{$key} = "$URL/" . q|node396.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:advsync:Guarantees/;
$external_labels{$key} = "$URL/" . q|node213.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:intro:Execution_Diagram_for_Parallel_Shell_Execution/;
$external_labels{$key} = "$URL/" . q|node42.html|; 
$noresave{$key} = "$nosave";

$key = q/app:formal:Promela_Parable:_dynticks_and_Preemptible_RCU/;
$external_labels{$key} = "$URL/" . q|node438.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:Resource_Partitioning_and_Replication/;
$external_labels{$key} = "$URL/" . q|node17.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:app:rcuimpl:SRCU_Summary/;
$external_labels{$key} = "$URL/" . q|node341.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:app:rcuimpl:SRCU_Implementation_Strategy/;
$external_labels{$key} = "$URL/" . q|node328.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:future:Extra-Transactional_Accesses/;
$external_labels{$key} = "$URL/" . q|node254.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_z80Wikipedia/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:locking:Exclusive_Locks/;
$external_labels{$key} = "$URL/" . q|node109.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:rcuimpl:SRCU_API/;
$external_labels{$key} = "$URL/" . q|node331.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:rcutreewt:Data_Structures_and_Kernel_Parameters/;
$external_labels{$key} = "$URL/" . q|node363.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_TatianaShpeisman2009CppTM/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_McKenney95b/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_PaulEMcKenney2008dynticksRCU/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/tab:defer:Reference_Counting_and_Synchronization_Mechanisms/;
$external_labels{$key} = "$URL/" . q|node116.html|; 
$noresave{$key} = "$nosave";

$key = q/tab:advsync:Memory-Barrier_Combinations/;
$external_labels{$key} = "$URL/" . q|node196.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:rcuimpl:rcutreewt:NMIs_from_Dyntick-Idle_Mode/;
$external_labels{$key} = "$URL/" . q|node391.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:intro:What_Makes_Parallel_Programming_Hard_/;
$external_labels{$key} = "$URL/" . q|node14.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:locking:Reader-Writer_Locks/;
$external_labels{$key} = "$URL/" . q|node110.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:count:Signal-Theft_Limit_Counter_Add_and_Subtract_Functions/;
$external_labels{$key} = "$URL/" . q|node69.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:rcutree:Towards_a_Greener_RCU_Implementation/;
$external_labels{$key} = "$URL/" . q|node347.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:deferRCU_is_a_Way_of_Providing_Type-Safe_Memory/;
$external_labels{$key} = "$URL/" . q|node146.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:rcutree:RCU_Desiderata/;
$external_labels{$key} = "$URL/" . q|node345.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:rcuimpl:SRCU_Cleanup/;
$external_labels{$key} = "$URL/" . q|node338.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_MauriceHerlihy2005-TM-manifesto.pldi/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:defer:Counter_Optimizations/;
$external_labels{$key} = "$URL/" . q|node123.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_AMDOpteron02/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:intro:Clock-Frequency_Trend_for_Intel_CPUs/;
$external_labels{$key} = "$URL/" . q|node7.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_GordonMoore03a/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:defer:Linux_Linked_List_Abbreviated/;
$external_labels{$key} = "$URL/" . q|node126.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:whymb:Caches_With_Store_Buffers/;
$external_labels{$key} = "$URL/" . q|node301.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:rcutree:Pass_Through_a_Quiescent_State/;
$external_labels{$key} = "$URL/" . q|node351.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:whymb:Writes_See_Unnecessary_Stalls/;
$external_labels{$key} = "$URL/" . q|node300.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_Blundell2005DebunkTM/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:rcutree:Review_of_RCU_Fundamentals/;
$external_labels{$key} = "$URL/" . q|node343.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:rcuimpl:SRCU_Initialization/;
$external_labels{$key} = "$URL/" . q|node338.html|; 
$noresave{$key} = "$nosave";

$key = q/tab:cpu:Performance_of_Synchronization_Mechanisms_on_4-CPU_1.8GHz_AMD_Opteron_844_System/;
$external_labels{$key} = "$URL/" . q|node34.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:datastruct:Design_Tradeoffs/;
$external_labels{$key} = "$URL/" . q|node183.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:rcutreewt:Reporting_Quiescent_States/;
$external_labels{$key} = "$URL/" . q|node388.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_CorbetLWN/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:advsync:Advanced_Synchronization/;
$external_labels{$key} = "$URL/" . q|node187.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:rcutreewt:RCU_Global_State/;
$external_labels{$key} = "$URL/" . q|node367.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:count:Just_Count_Atomically_/;
$external_labels{$key} = "$URL/" . q|node52.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:count:Approximate_Limit_Counters/;
$external_labels{$key} = "$URL/" . q|node59.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:rcuimpl:rcutree:Initialized_RCU_Data_Layout/;
$external_labels{$key} = "$URL/" . q|node375.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:count:Signal-Theft_Limit_Counter_Initialization_Functions/;
$external_labels{$key} = "$URL/" . q|node69.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:SMPdesign:Allocator-Cache_Free_Function/;
$external_labels{$key} = "$URL/" . q|node98.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:locking:Protocol_Layering_and_Deadlock/;
$external_labels{$key} = "$URL/" . q|node105.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:count:Per-Thread-Variable-Based_Implementation/;
$external_labels{$key} = "$URL/" . q|node57.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:rcutreewt:Read-Side_Critical_Sections/;
$external_labels{$key} = "$URL/" . q|node370.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:rcuimpl:rcutreewt:Code_for_rcu-offline-cpu/;
$external_labels{$key} = "$URL/" . q|node382.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:whymb:Caches_With_Invalidate_Queues/;
$external_labels{$key} = "$URL/" . q|node306.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:whymb:MESI_Cache-Coherency_State_Diagram/;
$external_labels{$key} = "$URL/" . q|node298.html|; 
$noresave{$key} = "$nosave";

$key = q/tab:app:whymb:Memory_Barrier_Example_1/;
$external_labels{$key} = "$URL/" . q|node311.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_PaulEMcKenney2007whatisRCU/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:rcu_ctrlblk/;
$external_labels{$key} = "$URL/" . q|node406.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:app:rcuimpl:Initialization_and_Cleanup/;
$external_labels{$key} = "$URL/" . q|node332.html|; 
$noresave{$key} = "$nosave";

$key = q/app:formal:Alternative_Approach:_Proof_of_Correctness/;
$external_labels{$key} = "$URL/" . q|node435.html|; 
$noresave{$key} = "$nosave";

$key = q/codesample:advsync:What_Can_You_Count_On__3/;
$external_labels{$key} = "$URL/" . q|node208.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:SMPdesign:Allocator-Cache_Data_Structures/;
$external_labels{$key} = "$URL/" . q|node96.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:count:Eventually_Consistent_Implementation/;
$external_labels{$key} = "$URL/" . q|node56.html|; 
$noresave{$key} = "$nosave";

$key = q/app:formal:Promela_Example:_Non-Atomic_Increment/;
$external_labels{$key} = "$URL/" . q|node425.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:rcu_read_unlock__/;
$external_labels{$key} = "$URL/" . q|node417.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:rcuimpl:rcutree:RCU_State_Machine_and_Hierarchical_RCU_Data_Structures/;
$external_labels{$key} = "$URL/" . q|node348.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_PaulEMcKenney2007PreemptibleRCUPatch/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:applyrcu:RCU_and_Per-Thread-Variable-Based_Statistical_Counters/;
$external_labels{$key} = "$URL/" . q|node167.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:SMPdesign:Ethernet_Bandwidth_vs._Intel_x86_CPU_Performance/;
$external_labels{$key} = "$URL/" . q|node85.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:rcuimpl:rcu_try_flip_waitzero___Implementation/;
$external_labels{$key} = "$URL/" . q|node414.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:rcuimpl:rcutreewt:Starting_a_Grace_Period/;
$external_labels{$key} = "$URL/" . q|node387.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:count:Per-Thread_Statistical_Counters_With_Lockless_Summation/;
$external_labels{$key} = "$URL/" . q|node464.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:whymb:Example_Ordering-Hostile_Architecture/;
$external_labels{$key} = "$URL/" . q|node310.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:app:whymb:Are_Memory_Barriers_Forever_/;
$external_labels{$key} = "$URL/" . q|node324.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:rcuimpl:rcutreewt:Code_for_rcutree_force-quiescent-state/;
$external_labels{$key} = "$URL/" . q|node398.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:rcutreewt:rcu-offline-cpu/;
$external_labels{$key} = "$URL/" . q|node382.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:defer:Performance_Advantage_of_RCU_Over_Reader-Writer_Locking/;
$external_labels{$key} = "$URL/" . q|node135.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:count:Exact_Limit_Counters/;
$external_labels{$key} = "$URL/" . q|node65.html|; 
$noresave{$key} = "$nosave";

$key = q/tab:count:Limit_Counter_Performance_on_Power_5/;
$external_labels{$key} = "$URL/" . q|node72.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_Volos2008TRANSACT/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/tab:app:whymb:Memory_Barrier_Example_3/;
$external_labels{$key} = "$URL/" . q|node313.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:rcutree:Hierarchical_RCU_Overview/;
$external_labels{$key} = "$URL/" . q|node342.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_PowerPC94/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/tab:advsync:Memory_Usage_of_QRCU_Model/;
$external_labels{$key} = "$URL/" . q|node433.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:locking:Deadlock_Cycle/;
$external_labels{$key} = "$URL/" . q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:rcutreewt:Noting_End_of_Old_Grace_Periods/;
$external_labels{$key} = "$URL/" . q|node386.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_MagedMichael04a/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:rcutreewt:Initialization/;
$external_labels{$key} = "$URL/" . q|node375.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_HansJBoehm2009HOTPAR/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_Rajwar01a/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:rcutree:Detect_a_Too-Long_Grace_Period/;
$external_labels{$key} = "$URL/" . q|node359.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:rcuimpl:rcutreewt:Code_for_rcu-init-levelspread/;
$external_labels{$key} = "$URL/" . q|node376.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:defer:Simple_Reference-Count_API/;
$external_labels{$key} = "$URL/" . q|node118.html|; 
$noresave{$key} = "$nosave";

$key = q/app:formal:State_Variables_for_Simplified_Dynticks_Interface/;
$external_labels{$key} = "$URL/" . q|node453.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:defer:RCU_is_a_Way_of_Providing_Existence_Guarantees/;
$external_labels{$key} = "$URL/" . q|node145.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:defer:RCU_Usage/;
$external_labels{$key} = "$URL/" . q|node133.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:defer:Data_Structure_Publication__Unsafe_/;
$external_labels{$key} = "$URL/" . q|node126.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:advsync:What_Can_You_Trust_/;
$external_labels{$key} = "$URL/" . q|node193.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:rcutreewt:rcu-init-one/;
$external_labels{$key} = "$URL/" . q|node377.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:rcutreewt:Entering_and_Exiting_Dyntick-Idle_Mode/;
$external_labels{$key} = "$URL/" . q|node390.html|; 
$noresave{$key} = "$nosave";

$key = q/chp:defer:Deferred_Processing/;
$external_labels{$key} = "$URL/" . q|node114.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:toolsoftrade:Atomic_Operations/;
$external_labels{$key} = "$URL/" . q|node48.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:intro:Example_Child_Thread/;
$external_labels{$key} = "$URL/" . q|node278.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:rcuimpl:rcutreewt:Code_for_rcu-do-batch/;
$external_labels{$key} = "$URL/" . q|node388.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:rcuimpl:rcutree:Scanning_Leaf_rcu-node_Structures/;
$external_labels{$key} = "$URL/" . q|node397.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_McKenney92b/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:SMPdesign:Partitioning_Exercises/;
$external_labels{$key} = "$URL/" . q|node74.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:SMPdesign:Data-Locking_Hash_Table_Search/;
$external_labels{$key} = "$URL/" . q|node87.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:locking:Locking:_Workhorse_or_Hero_/;
$external_labels{$key} = "$URL/" . q|node102.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:intro:Performance_Optimization/;
$external_labels{$key} = "$URL/" . q|node13.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:rcuimpl:rcutreewt:Code_for_rcu-needs-cpu_and_rcu-cpu-notify/;
$external_labels{$key} = "$URL/" . q|node374.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:rcutreewt:Possible_Flaws_and_Changes/;
$external_labels{$key} = "$URL/" . q|node400.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_ScottGriffen2000/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:cpu:Pipelined_CPUs/;
$external_labels{$key} = "$URL/" . q|node26.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:defer:Nestable_RCU_Using_a_Free-Running_Counter/;
$external_labels{$key} = "$URL/" . q|node162.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:datastruct:Bits_and_Bytes/;
$external_labels{$key} = "$URL/" . q|node185.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:count:Array-Based_Per-Thread_Eventually_Consistent_Counters/;
$external_labels{$key} = "$URL/" . q|node56.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:SMPdesign:Data_Locking/;
$external_labels{$key} = "$URL/" . q|node87.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_DouglasEngelbart1968/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:SMPdesign:Hierarchical-Locking_Hash_Table_Search/;
$external_labels{$key} = "$URL/" . q|node92.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:advsync:Memory_Ordering_and_Memory_Barriers/;
$external_labels{$key} = "$URL/" . q|node190.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_CorbetRubiniKroahHartman/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:defer:Data_for_Free-Running_Counter_Using_RCU/;
$external_labels{$key} = "$URL/" . q|node161.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_PaulMcKenney2005j/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:rcutreewt:Hierarchical_RCU_Code_Walkthrough/;
$external_labels{$key} = "$URL/" . q|node362.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:Parallel_Access_Control/;
$external_labels{$key} = "$URL/" . q|node16.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:intro:Work_Partitioning/;
$external_labels{$key} = "$URL/" . q|node15.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:cpu:Hardware_Free_Lunch_/;
$external_labels{$key} = "$URL/" . q|node35.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:rcuimpl:rcutreewt:Code_for_print-cpu-stall/;
$external_labels{$key} = "$URL/" . q|node399.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_ManfredSpraul2008dyntickIRQNMI/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:count:Simple_Limit_Counter_Utility_Functions/;
$external_labels{$key} = "$URL/" . q|node61.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:rcutreewt:Scanning_for_Holdout_CPUs/;
$external_labels{$key} = "$URL/" . q|node397.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_YossiLev2009SNZIrwlock/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/defer:Scalable_Counter-Based_RCU/;
$external_labels{$key} = "$URL/" . q|node159.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_McKenney01e/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:toolsoftrade:Processes_Created_Via_fork___Do_Not_Share_Memory/;
$external_labels{$key} = "$URL/" . q|node44.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_Martinez01a/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_HMassalinPhD/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:future:Memory-Mapping_Operations/;
$external_labels{$key} = "$URL/" . q|node252.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:count:Atomic_Limit_Counter_Read/;
$external_labels{$key} = "$URL/" . q|node66.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:rcuimpl:rcutreewt:Noting_End_of_Old_Grace_Periods/;
$external_labels{$key} = "$URL/" . q|node386.html|; 
$noresave{$key} = "$nosave";

$key = q/tab:defer:RCU_Publish_and_Subscribe_Primitives/;
$external_labels{$key} = "$URL/" . q|node126.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:rcuimpl:rcutree:Generic_RCU_State_Machine/;
$external_labels{$key} = "$URL/" . q|node348.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:Preemptible_RCU_Callback_Flow/;
$external_labels{$key} = "$URL/" . q|node407.html|; 
$noresave{$key} = "$nosave";

$key = q/app:formal:Validating_Liveness/;
$external_labels{$key} = "$URL/" . q|node446.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:count:Why_Isn_t_Concurrent_Counting_Trivial_/;
$external_labels{$key} = "$URL/" . q|node52.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_MichaelLyons02a/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:rcutree:Announce_a_Quiescent_State_to_RCU/;
$external_labels{$key} = "$URL/" . q|node352.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:cpu:Atomic_Operations/;
$external_labels{$key} = "$URL/" . q|node28.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:app:whymb:MESI_State_Diagram/;
$external_labels{$key} = "$URL/" . q|node298.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_Garg90/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:SMPdesign:Allocator_Cache_Schematic/;
$external_labels{$key} = "$URL/" . q|node95.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:defer:Canonical_RCU_Replacement_Example/;
$external_labels{$key} = "$URL/" . q|node127.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:defer:RCU_Read-Side_Using_Per-Thread_Reference-Count_Pair_and_Shared_Update/;
$external_labels{$key} = "$URL/" . q|node160.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_BryanGardiner2007/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:count:Signal-Theft_Limit_Counter_Value-Migration_Functions/;
$external_labels{$key} = "$URL/" . q|node69.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:intro:Per-Thread-Variable_API/;
$external_labels{$key} = "$URL/" . q|node285.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_PaulEMcKenney2007WhatIsRCUFundamentally/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:SMPdesign:Compound_Double-Ended_Queue/;
$external_labels{$key} = "$URL/" . q|node78.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:whymb:Safe_Insert_and_Lock-Free_Search/;
$external_labels{$key} = "$URL/" . q|node315.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:whymb:Modern_Computer_System_Cache_Structure/;
$external_labels{$key} = "$URL/" . q|node294.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:locking:Barriers/;
$external_labels{$key} = "$URL/" . q|node115.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:count:Approximate_Limit_Counter_Implementation/;
$external_labels{$key} = "$URL/" . q|node63.html|; 
$noresave{$key} = "$nosave";

$key = q/app:primitives:Per-Thread_Variables/;
$external_labels{$key} = "$URL/" . q|node285.html|; 
$noresave{$key} = "$nosave";

$key = q/_1/;
$external_labels{$key} = "$URL/" . q|perfbook_html.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:defer:RCU_has_a_Family_of_Wait-to-Finish_APIs/;
$external_labels{$key} = "$URL/" . q|node150.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:rcutree:Online_a_CPU/;
$external_labels{$key} = "$URL/" . q|node358.html|; 
$noresave{$key} = "$nosave";

$key = q/chp:Counting/;
$external_labels{$key} = "$URL/" . q|node51.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:rcuimpl:SRCU_Data_Structures/;
$external_labels{$key} = "$URL/" . q|node337.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:advsync:Review_of_Locking_Implementations/;
$external_labels{$key} = "$URL/" . q|node209.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_Gharachorloo95/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:defer:Linux_Kernel_dst-clone_API/;
$external_labels{$key} = "$URL/" . q|node120.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_LorinHochstein2005SC/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/tab:advsync:Ordering_With_Multiple_CPUs_on_One_Lock/;
$external_labels{$key} = "$URL/" . q|node235.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_RyanEccles2006HPCSNoviceNeeds/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:app:rcuimpl:Read-Side_Implementation/;
$external_labels{$key} = "$URL/" . q|node339.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:applyrcu:RCU_and_Counters_for_Removable_I_O_Devices/;
$external_labels{$key} = "$URL/" . q|node171.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:cpu:Memory_References/;
$external_labels{$key} = "$URL/" . q|node27.html|; 
$noresave{$key} = "$nosave";

$key = q/cha:Partitioning_and_Synchronization_Design/;
$external_labels{$key} = "$URL/" . q|node73.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:defer:RCU_Implementation_Using_Single_Global_Reference_Counter/;
$external_labels{$key} = "$URL/" . q|node157.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:SMPdesign:Hashed_Double-Ended_Queue/;
$external_labels{$key} = "$URL/" . q|node79.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:defer:Simple_Counting/;
$external_labels{$key} = "$URL/" . q|node118.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_Reinders2007Textbook/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:intro:How_Do_Languages_and_Environments_Assist_With_These_Tasks_/;
$external_labels{$key} = "$URL/" . q|node20.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:count:Atomic_Limit_Counter_Variables_and_Access_Functions/;
$external_labels{$key} = "$URL/" . q|node66.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_DougLea1997Textbook/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:defer:RCU_Fundamentals/;
$external_labels{$key} = "$URL/" . q|node125.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_Ali-Reza-Adl-Tabatabai2009CppTM/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:cpu:Existing_Parallel_Software/;
$external_labels{$key} = "$URL/" . q|node39.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:locking:Avoiding_Deadlock_Via_Conditional_Locking/;
$external_labels{$key} = "$URL/" . q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_IntelItanium02v3/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/codesample:advsync:Naive_Lock_and_Unlock_Pseudocode/;
$external_labels{$key} = "$URL/" . q|node209.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_McKenney04a/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_PaulEMcKenneyN2745r2009/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:app:whymb:POWER___Power_PC/;
$external_labels{$key} = "$URL/" . q|node320.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:rcu_try_flip_flag/;
$external_labels{$key} = "$URL/" . q|node410.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:intro:Ordering_of_Parallel-Programming_Tasks/;
$external_labels{$key} = "$URL/" . q|node19.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:Read-Copy_Update_Implementations/;
$external_labels{$key} = "$URL/" . q|node326.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:SMPdesign:Synchronization_Efficiency/;
$external_labels{$key} = "$URL/" . q|node89.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:Sleepable_RCU_Implementation/;
$external_labels{$key} = "$URL/" . q|node327.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:analysis:QRCU_Global_Variables/;
$external_labels{$key} = "$URL/" . q|node432.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:future:RPC_Operations/;
$external_labels{$key} = "$URL/" . q|node251.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:SMPdesign:Allocator-Cache_Allocator_Function/;
$external_labels{$key} = "$URL/" . q|node97.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:toolsoftrade:Using_the_wait___Primitive/;
$external_labels{$key} = "$URL/" . q|node44.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:defer:RCU_Per-Thread_Reference-Count_Pair_Data/;
$external_labels{$key} = "$URL/" . q|node159.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:future:Transactional_Memory/;
$external_labels{$key} = "$URL/" . q|node249.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:defer:Using_RCU_to_Wait_for_NMIs_to_Finish/;
$external_labels{$key} = "$URL/" . q|node147.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:intro:Guide_to_This_Book/;
$external_labels{$key} = "$URL/" . q|node21.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:SMPdesign:Partitioning_Example_Discussion/;
$external_labels{$key} = "$URL/" . q|node82.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:rcutreewt:Code_for_force-quiescent-state/;
$external_labels{$key} = "$URL/" . q|node398.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:rcutree:NMI_from_Dynticks_Idle_Mode/;
$external_labels{$key} = "$URL/" . q|node355.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:advsync:Atomic_Data_Structures/;
$external_labels{$key} = "$URL/" . q|node242.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:rcutree:Note_That_a_CPU_is_in_Dynticks_Idle_Mode/;
$external_labels{$key} = "$URL/" . q|node356.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:app:rcuimpl:Cleaning_Up_Safely/;
$external_labels{$key} = "$URL/" . q|node335.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_TheOpenGroup1997SUS/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:advsync:SMP_Barrier_Pairing/;
$external_labels{$key} = "$URL/" . q|node226.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:app:rcuimpl:Update-Side_Implementation/;
$external_labels{$key} = "$URL/" . q|node340.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:rcuimpl:rcutreewt:Code_for_print-other-cpu-stall/;
$external_labels{$key} = "$URL/" . q|node399.html|; 
$noresave{$key} = "$nosave";

$key = q/defer:Per-Thread_Lock-Based_RCU/;
$external_labels{$key} = "$URL/" . q|node156.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:app:whymb:MESI_States/;
$external_labels{$key} = "$URL/" . q|node296.html|; 
$noresave{$key} = "$nosave";

$key = q/tab:app:whymb:Summary_of_Memory_Ordering/;
$external_labels{$key} = "$URL/" . q|node314.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:advsync:A_Variable_With_Multiple_Simultaneous_Values/;
$external_labels{$key} = "$URL/" . q|node192.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:advsync:The_Effects_of_the_CPU_Cache/;
$external_labels{$key} = "$URL/" . q|node236.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:SMPdesign:Lock-Based_Parallel_Double-Ended_Queue_Implementation/;
$external_labels{$key} = "$URL/" . q|node79.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_McKusick88/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:defer:Where_Can_RCU_s_APIs_Be_Used_/;
$external_labels{$key} = "$URL/" . q|node152.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:future:Process-Based_Parallel_Functional_Programming/;
$external_labels{$key} = "$URL/" . q|node265.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:whymb:SRCU_Data-Structure_Diagram/;
$external_labels{$key} = "$URL/" . q|node337.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:app:whymb:Store_Forwarding/;
$external_labels{$key} = "$URL/" . q|node302.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:count:Simple_Limit_Counter_Implementation/;
$external_labels{$key} = "$URL/" . q|node61.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:advsync:__Macho___NBS/;
$external_labels{$key} = "$URL/" . q|node243.html|; 
$noresave{$key} = "$nosave";

$key = q/chp:Tools_of_the_Trade/;
$external_labels{$key} = "$URL/" . q|node41.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:rcuimpl:rcutreewt:Code_for_cpu-quiet/;
$external_labels{$key} = "$URL/" . q|node388.html|; 
$noresave{$key} = "$nosave";

$key = q/app:formal:Validating_Interrupt_Handlers/;
$external_labels{$key} = "$URL/" . q|node448.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_WRichardStevens1992/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/app:formal:What_are_Promela_and_Spin_/;
$external_labels{$key} = "$URL/" . q|node424.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:defer:Publish-Subscribe_Mechanism/;
$external_labels{$key} = "$URL/" . q|node126.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:rcuimpl:rcutreewt:Code_for_Recording_Quiescent_States/;
$external_labels{$key} = "$URL/" . q|node388.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:defer:Quiescent-State-Based_RCU_Read_Side/;
$external_labels{$key} = "$URL/" . q|node163.html|; 
$noresave{$key} = "$nosave";

$key = q/app:formal:Lessons__Re_Learned/;
$external_labels{$key} = "$URL/" . q|node451.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_PaulEMcKenney2009BloatwatchRCU/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/app:formal:Combinatorial_Explosion/;
$external_labels{$key} = "$URL/" . q|node427.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_McKenney2007PLOSTM/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:defer:Maintain_Multiple_Versions_of_Recently_Updated_Objects/;
$external_labels{$key} = "$URL/" . q|node128.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:rcuimpl:rcutree:Mapping_rcu-node_Hierarchy_Into_Array/;
$external_labels{$key} = "$URL/" . q|node346.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:rcutreewt:rcu-init/;
$external_labels{$key} = "$URL/" . q|node378.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_LinusTorvalds2001a/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/app:formal:Interrupt_Interface/;
$external_labels{$key} = "$URL/" . q|node441.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:advsync:Avoiding_Locks/;
$external_labels{$key} = "$URL/" . q|node188.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_Intel64IA32v3A2009/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:locking:Lock-Based_Existence_Guarantees/;
$external_labels{$key} = "$URL/" . q|node112.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:SMPdesign:Compound_Parallel_Double-Ended_Queue_Implementation/;
$external_labels{$key} = "$URL/" . q|node80.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_Arcangeli03/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/defer:Summary_of_Toy_RCU_Implementations/;
$external_labels{$key} = "$URL/" . q|node164.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:rcutree:Conclusion/;
$external_labels{$key} = "$URL/" . q|node361.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:SMPdesign:Sequential-Program_Hash_Table_Search/;
$external_labels{$key} = "$URL/" . q|node85.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:rcuimpl:Update-Side_Implementation/;
$external_labels{$key} = "$URL/" . q|node340.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:locking:Unfairness/;
$external_labels{$key} = "$URL/" . q|node106.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:analysis:QRCU_Reader_Process/;
$external_labels{$key} = "$URL/" . q|node432.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:defer:Atomic_Counting_With_Release_Memory_Barrier/;
$external_labels{$key} = "$URL/" . q|node120.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:intro:Locking_API/;
$external_labels{$key} = "$URL/" . q|node279.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:questions:Locked_After_Program_Sample_Output/;
$external_labels{$key} = "$URL/" . q|node267.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:advsync:Memory_Barriers/;
$external_labels{$key} = "$URL/" . q|node189.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_PaulEMcKenney2007rcubarrier/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:rcu_data/;
$external_labels{$key} = "$URL/" . q|node407.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:rcuimpl:rcutree:Hierarchical_RCU_State_With_BH/;
$external_labels{$key} = "$URL/" . q|node346.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:rcutreewt:rcu-needs-cpu_and_rcu-cpu-notify/;
$external_labels{$key} = "$URL/" . q|node374.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:advsync:Software_Logic_Analyzer/;
$external_labels{$key} = "$URL/" . q|node192.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_PeterSewell2010weakmemory/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:defer:Free-Running_Counter_Using_RCU/;
$external_labels{$key} = "$URL/" . q|node161.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:defer:RCU_Global_Reference-Count_Pair_Data/;
$external_labels{$key} = "$URL/" . q|node158.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:count:Signal-Theft_Limit_Counter_Data/;
$external_labels{$key} = "$URL/" . q|node69.html|; 
$noresave{$key} = "$nosave";

$key = q/chp:Introduction/;
$external_labels{$key} = "$URL/" . q|node4.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_MathieuDesnoyers2009URCU/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:defer:RCU_Update_Side_Using_Quiescent_States/;
$external_labels{$key} = "$URL/" . q|node163.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:advsync:Memory-Barrier_Examples/;
$external_labels{$key} = "$URL/" . q|node230.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:rcutree:Offline_a_CPU/;
$external_labels{$key} = "$URL/" . q|node357.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:rcuimpl:rcutreewt:Code_for_cpu-quiet-msk/;
$external_labels{$key} = "$URL/" . q|node388.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_McKenney03a/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:rcu_flipctr/;
$external_labels{$key} = "$URL/" . q|node408.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_GerryKane96a/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:defer:Performance_Advantage_of_Preemptible_RCU_Over_Reader-Writer_Locking/;
$external_labels{$key} = "$URL/" . q|node135.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:rcuimpl:Read-Side_Acquisition/;
$external_labels{$key} = "$URL/" . q|node339.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:defer:RCU_Shared_Update_Using_Per-Thread_Reference-Count_Pair/;
$external_labels{$key} = "$URL/" . q|node160.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:future:Reader-Writer_Locking/;
$external_labels{$key} = "$URL/" . q|node257.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:locking:Deadlock/;
$external_labels{$key} = "$URL/" . q|node104.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:defer:Converting_Reader-Writer_Locking_to_RCU:_Data/;
$external_labels{$key} = "$URL/" . q|node141.html|; 
$noresave{$key} = "$nosave";

$key = q/tab:advsync:Lock-Based_Critical_Sections/;
$external_labels{$key} = "$URL/" . q|node233.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:app:whymb:MESI_Protocol_Messages/;
$external_labels{$key} = "$URL/" . q|node297.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:rcutree:Towards_a_More_Scalable_RCU_Implementation/;
$external_labels{$key} = "$URL/" . q|node346.html|; 
$noresave{$key} = "$nosave";

$key = q/app:formal:Discussion/;
$external_labels{$key} = "$URL/" . q|node458.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:SMPdesign:Compound_Double-Ended_Queue_Revisited/;
$external_labels{$key} = "$URL/" . q|node80.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:whymb:Caches_With_Store_Forwarding/;
$external_labels{$key} = "$URL/" . q|node302.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:advsync:Locking_Constraints/;
$external_labels{$key} = "$URL/" . q|node229.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:defer:Implementation_of_Reference-Counting_Categories/;
$external_labels{$key} = "$URL/" . q|node117.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:SMPdesign:Hashed_Double-Ended_Queue/;
$external_labels{$key} = "$URL/" . q|node79.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:advsync:Simple_NBS/;
$external_labels{$key} = "$URL/" . q|node240.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:locking:Locking:_Villain_or_Slob_/;
$external_labels{$key} = "$URL/" . q|node102.html|; 
$noresave{$key} = "$nosave";

$key = q/chp:Data_Structures/;
$external_labels{$key} = "$URL/" . q|node180.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:analysis:Non-Atomic_Increment_Error_Trail/;
$external_labels{$key} = "$URL/" . q|node425.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:rcutreewt:Recording_and_Recalling_Dynticks-Idle_Grace_Period/;
$external_labels{$key} = "$URL/" . q|node395.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:cpu:Costs_of_Operations/;
$external_labels{$key} = "$URL/" . q|node34.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:app:rcuimpl:Data_Structures/;
$external_labels{$key} = "$URL/" . q|node337.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_DIS9075SQL92/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:rcuimpl:rcu_check_callbacks___Implementation/;
$external_labels{$key} = "$URL/" . q|node414.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_HerbSutter2008EffectiveConcurrency/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:analysis:Promela_Code_to_Test_Spinlocks/;
$external_labels{$key} = "$URL/" . q|node431.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:rcuimpl:rcutreewt:Miscellaneous_Functions/;
$external_labels{$key} = "$URL/" . q|node383.html|; 
$noresave{$key} = "$nosave";

$key = q/defer:rcu_rcgp:RCU_Read_Side_Start/;
$external_labels{$key} = "$URL/" . q|node467.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_SchmidtStalRohnertBuschmann2000v2Textbook/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_IntelXeonV3-96a/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_IntelItanium02v2/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_ALPHA95/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_SpearMichaelScott2008InevitableSTM/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:future:RCU/;
$external_labels{$key} = "$URL/" . q|node262.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:rcutree:Use_Cases/;
$external_labels{$key} = "$URL/" . q|node349.html|; 
$noresave{$key} = "$nosave";

$key = q/app:formal:Alternative_Approach:_Divide_and_Conquer/;
$external_labels{$key} = "$URL/" . q|node437.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:defer:RCU_Usage_Summary/;
$external_labels{$key} = "$URL/" . q|node148.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:locking:Staying_Alive/;
$external_labels{$key} = "$URL/" . q|node103.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:analysis:Atomic_Block_for_Complex_Promela_Assertion/;
$external_labels{$key} = "$URL/" . q|node430.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:future:Discussion/;
$external_labels{$key} = "$URL/" . q|node263.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:count:Signal-Theft_Limit_Counter_Implementation/;
$external_labels{$key} = "$URL/" . q|node69.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:rcutree:Testing/;
$external_labels{$key} = "$URL/" . q|node360.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_DavidECuller1999/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:defer:Lock-Based_RCU_Implementation/;
$external_labels{$key} = "$URL/" . q|node155.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:app:rcuimpl:Abolish_Asynchronous_Grace-Period_APIs/;
$external_labels{$key} = "$URL/" . q|node329.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:rcuimpl:rcu_try_flip_waitmb___Implementation/;
$external_labels{$key} = "$URL/" . q|node414.html|; 
$noresave{$key} = "$nosave";

$key = q/chp:Locking/;
$external_labels{$key} = "$URL/" . q|node102.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:Preemptible_RCU_with_Read-Side_Memory_Barriers/;
$external_labels{$key} = "$URL/" . q|node418.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_MauriceHerlihy90a/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:count:Per-Thread_Statistical_Counters/;
$external_labels{$key} = "$URL/" . q|node57.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:deferRCU_is_a_Way_of_Waiting_for_Things_to_Finish/;
$external_labels{$key} = "$URL/" . q|node147.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:advsync:A_Few_Simple_Rules/;
$external_labels{$key} = "$URL/" . q|node210.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:rcuimpl:rcutreewt:Noting_New_Grace_Periods/;
$external_labels{$key} = "$URL/" . q|node385.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_PaulEMcKenney2008WhatIsRCUUsage/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:defer:RCU_API_Usage_Constraints/;
$external_labels{$key} = "$URL/" . q|node152.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:app:rcuimpl:Implementation/;
$external_labels{$key} = "$URL/" . q|node336.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_DonaldEPorter2007TRANSACT/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:questions:After_Consumer_Function/;
$external_labels{$key} = "$URL/" . q|node267.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_DaveDice2009ASPLOSRockHTM/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:locking:Livelock_and_Starvation/;
$external_labels{$key} = "$URL/" . q|node105.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:Preemptible_RCU_State_Machine_Timeline/;
$external_labels{$key} = "$URL/" . q|node413.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:rcutreewt:rcu-check-callbacks/;
$external_labels{$key} = "$URL/" . q|node372.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:defer:Atomic_Counting_With_Check_and_Release_Memory_Barrier/;
$external_labels{$key} = "$URL/" . q|node121.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:cpu:System_Hardware_Architecture/;
$external_labels{$key} = "$URL/" . q|node33.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:SMPdesign:Reader_Writer_Locking/;
$external_labels{$key} = "$URL/" . q|node91.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:advsync:Variables_Can_Have_More_Than_One_Value/;
$external_labels{$key} = "$URL/" . q|node192.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:cpu:Overview/;
$external_labels{$key} = "$URL/" . q|node25.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:advsync:Device_Operations/;
$external_labels{$key} = "$URL/" . q|node212.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:rcutree:State_Machine/;
$external_labels{$key} = "$URL/" . q|node348.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:analysis:Complex_Promela_Assertion/;
$external_labels{$key} = "$URL/" . q|node430.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:count:Atomic_Increment_Scalability_on_Nehalem/;
$external_labels{$key} = "$URL/" . q|node52.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:datastruct:Hardware_Considerations/;
$external_labels{$key} = "$URL/" . q|node186.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:app:whymb:Memory-Barrier_Instructions_For_Specific_CPUs/;
$external_labels{$key} = "$URL/" . q|node314.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_Herlihy93a/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:count:Array-Based_Implementation/;
$external_labels{$key} = "$URL/" . q|node55.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:defer:Comparison_of_RCU_to_Reader-Writer_Locking_as_Function_of_Critical-Section_Duration/;
$external_labels{$key} = "$URL/" . q|node135.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:Grace-Period_State_Machine/;
$external_labels{$key} = "$URL/" . q|node412.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:intro:MIPS_per_Die_for_Intel_CPUs/;
$external_labels{$key} = "$URL/" . q|node8.html|; 
$noresave{$key} = "$nosave";

$key = q/app:primitives:Performance/;
$external_labels{$key} = "$URL/" . q|node292.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:count:Approximate_Limit_Counter_Variables/;
$external_labels{$key} = "$URL/" . q|node63.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:rcuimpl:rcutreewt:Interrupts_from_Dyntick-Idle_Mode/;
$external_labels{$key} = "$URL/" . q|node392.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_IntelXeonV2b-96a/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/tab:app:rcuimpl:SRCU_Update_and_Read-Side_Critical_Sections/;
$external_labels{$key} = "$URL/" . q|node334.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_Dove90/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:toolsoftrade:Measuring_Reader-Writer_Lock_Scalability/;
$external_labels{$key} = "$URL/" . q|node47.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:rcuimpl:rcutreewt:Code_for_rcu-init-one/;
$external_labels{$key} = "$URL/" . q|node377.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:formal:NMIs_From_Dynticks-Idle_Mode/;
$external_labels{$key} = "$URL/" . q|node455.html|; 
$noresave{$key} = "$nosave";

$key = q/app:formal:Validating_Safety/;
$external_labels{$key} = "$URL/" . q|node445.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:toolsoftrade:Demonstration_of_Different_Exclusive_Locks/;
$external_labels{$key} = "$URL/" . q|node46.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:app:whymb:Example_Memory-Barrier_Sequences/;
$external_labels{$key} = "$URL/" . q|node309.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:rcutreewt:rcu-process-callbacks/;
$external_labels{$key} = "$URL/" . q|node373.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_Kung80/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:count:Simple_Limit_Counter_Variable_Relationships/;
$external_labels{$key} = "$URL/" . q|node61.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:rcuimpl:__rcu_read_unlock___Implementation/;
$external_labels{$key} = "$URL/" . q|node417.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:defer:Discussion/;
$external_labels{$key} = "$URL/" . q|node131.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_ARMv7A:2010/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:cpu:3D_Integration/;
$external_labels{$key} = "$URL/" . q|node36.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:defer:Example_1:_Maintaining_Multiple_Versions_During_Deletion/;
$external_labels{$key} = "$URL/" . q|node129.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_Knuth73/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:defer:RCU_Update_Using_Global_Reference-Count_Pair/;
$external_labels{$key} = "$URL/" . q|node158.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_BOINC2008/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:app:whymb:Invalidate_Queues_and_Memory_Barriers/;
$external_labels{$key} = "$URL/" . q|node307.html|; 
$noresave{$key} = "$nosave";

$key = q/tab:cpu:Performance_of_Synchronization_Mechanisms_on_16-CPU_2.8GHz_Intel_X5550__Nehalem__System/;
$external_labels{$key} = "$URL/" . q|node462.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:rcuimpl:rcutreewt:Determining_Shape_of_RCU_Hierarchy/;
$external_labels{$key} = "$URL/" . q|node368.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:advsync:Parallel_Hardware_is_Non-Causal/;
$external_labels{$key} = "$URL/" . q|node191.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_Beck85/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/app:formal:Promela_Peculiarities/;
$external_labels{$key} = "$URL/" . q|node429.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:Preemptible_RCU/;
$external_labels{$key} = "$URL/" . q|node401.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:applyrcu:RCU_and_Per-Thread_Statistical_Counters/;
$external_labels{$key} = "$URL/" . q|node169.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:rcuimpl:rcutreewt:Code_for_dyntick-save-progress-counter/;
$external_labels{$key} = "$URL/" . q|node393.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:Interacting_With_Hardware/;
$external_labels{$key} = "$URL/" . q|node18.html|; 
$noresave{$key} = "$nosave";

$key = q/tab:advsync:Memory_Usage_of_Increment_Model/;
$external_labels{$key} = "$URL/" . q|node427.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:defer:RCU_Linux-Kernel_API/;
$external_labels{$key} = "$URL/" . q|node149.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:defer:So__What_is_RCU_Really_/;
$external_labels{$key} = "$URL/" . q|node153.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:formal:Variable-Name-Typo_Fix_Patch/;
$external_labels{$key} = "$URL/" . q|node451.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:locking:Beyond_Reader-Writer_Locks/;
$external_labels{$key} = "$URL/" . q|node111.html|; 
$noresave{$key} = "$nosave";

$key = q/app:formal:How_to_Use_Promela/;
$external_labels{$key} = "$URL/" . q|node428.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:SMPdesign:Reader-Writer-Locking_Hash_Table_Search/;
$external_labels{$key} = "$URL/" . q|node91.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:defer:Converting_Reader-Writer_Locking_to_RCU:_Search/;
$external_labels{$key} = "$URL/" . q|node141.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:SMPdesign:Double-Ended_Queue/;
$external_labels{$key} = "$URL/" . q|node76.html|; 
$noresave{$key} = "$nosave";

$key = q/app:primitives:Organization_and_Initialization/;
$external_labels{$key} = "$URL/" . q|node269.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_OlegNesterov2006aQRCU/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:SMPdesign:Matrix_Multiply_Efficiency/;
$external_labels{$key} = "$URL/" . q|node89.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:defer:Existence_Guarantees_Enable_Per-Element_Locking/;
$external_labels{$key} = "$URL/" . q|node145.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:formal:Checking_Dyntick_Progress_Counters/;
$external_labels{$key} = "$URL/" . q|node457.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:Memory-Barrier_Considerations/;
$external_labels{$key} = "$URL/" . q|node418.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:Preemptible_RCU_State_Machine/;
$external_labels{$key} = "$URL/" . q|node413.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:SMPdesign:Allocator_Pool_Schematic/;
$external_labels{$key} = "$URL/" . q|node96.html|; 
$noresave{$key} = "$nosave";

$key = q/tab:count:Statistical_Counter_Performance_on_Power_5/;
$external_labels{$key} = "$URL/" . q|node72.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:future:Debugging/;
$external_labels{$key} = "$URL/" . q|node260.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:rcuimpl:rcutreewt:Code_for_rcutree_call-rcu/;
$external_labels{$key} = "$URL/" . q|node371.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_TPC/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:defer:RCU_is_a_Poor_Man_s_Garbage_Collector/;
$external_labels{$key} = "$URL/" . q|node144.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:time:Time_Management/;
$external_labels{$key} = "$URL/" . q|node247.html|; 
$noresave{$key} = "$nosave";

$key = q/app:formal:Validating_Preemptible_RCU_and_dynticks/;
$external_labels{$key} = "$URL/" . q|node443.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:Read-Side_Primitives/;
$external_labels{$key} = "$URL/" . q|node415.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:rcu_try_flip_state/;
$external_labels{$key} = "$URL/" . q|node409.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:defer:RCU_Exercises/;
$external_labels{$key} = "$URL/" . q|node165.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:rcutreewt:Dyntick-Idle_Functions/;
$external_labels{$key} = "$URL/" . q|node389.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:app:whymb:MESI_Protocol_Example/;
$external_labels{$key} = "$URL/" . q|node299.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:rcutreewt:call-rcu/;
$external_labels{$key} = "$URL/" . q|node371.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:rcuimpl:rcutreewt:Code_for_rcu-init/;
$external_labels{$key} = "$URL/" . q|node378.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:app:whymb:Read_and_Write_Memory_Barriers/;
$external_labels{$key} = "$URL/" . q|node308.html|; 
$noresave{$key} = "$nosave";

$key = q/app:formal:Validating_NMI_Handlers/;
$external_labels{$key} = "$URL/" . q|node450.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_PostgreSQL2008/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_Molnar00a/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:cpu:Memory_Barriers/;
$external_labels{$key} = "$URL/" . q|node29.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_Cheriton96a/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:count:Simple_Limit_Counter_Add__Subtract__and_Read/;
$external_labels{$key} = "$URL/" . q|node61.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_PaulEMcKenney2008WhatIsRCUAPI/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:defer:RCU_Deletion_From_Linked_List/;
$external_labels{$key} = "$URL/" . q|node129.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:Data_Structures/;
$external_labels{$key} = "$URL/" . q|node405.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:whymb:CPU_Cache_Structure/;
$external_labels{$key} = "$URL/" . q|node294.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:toolsoftrade:Threads_Created_Via_pthread-create___Share_Memory/;
$external_labels{$key} = "$URL/" . q|node45.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:analysis:Profiling/;
$external_labels{$key} = "$URL/" . q|node177.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:count:Signal-Theft_State_Machine/;
$external_labels{$key} = "$URL/" . q|node68.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:intro:Performance/;
$external_labels{$key} = "$URL/" . q|node7.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:rcuimpl:rcutreewt:Code_for_rcutree_rcu-process-callbacks/;
$external_labels{$key} = "$URL/" . q|node373.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:rcutreewt:Forcing_Quiescent_States/;
$external_labels{$key} = "$URL/" . q|node394.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:SMPdesign:Double-Ended_Queue_Discussion/;
$external_labels{$key} = "$URL/" . q|node81.html|; 
$noresave{$key} = "$nosave";

$key = q/tab:defer:RCU_Usage/;
$external_labels{$key} = "$URL/" . q|node133.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:future:Shared-Memory_Parallel_Functional_Programming/;
$external_labels{$key} = "$URL/" . q|node264.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:datastruct:Protection/;
$external_labels{$key} = "$URL/" . q|node184.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:intro:Productivity/;
$external_labels{$key} = "$URL/" . q|node8.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:cpu:I_O_Operations/;
$external_labels{$key} = "$URL/" . q|node31.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:defer:Concurrent_RCU_Deletion/;
$external_labels{$key} = "$URL/" . q|node467.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:Validation_of_Preemptible_RCU/;
$external_labels{$key} = "$URL/" . q|node419.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:rcuimpl:rcutree:Hierarchical_RCU_State_With_Dynticks/;
$external_labels{$key} = "$URL/" . q|node347.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:rcutreewt:Checking_for_Dyntick-Idle_Mode/;
$external_labels{$key} = "$URL/" . q|node393.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:count:Just_Count_/;
$external_labels{$key} = "$URL/" . q|node52.html|; 
$noresave{$key} = "$nosave";

$key = q/app:primitives:Synchronization_Primitives/;
$external_labels{$key} = "$URL/" . q|node268.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:app:whymb:Ordering-Hostile_Architecture/;
$external_labels{$key} = "$URL/" . q|node310.html|; 
$noresave{$key} = "$nosave";

$key = q/chp:Validation:_Debugging_and_Analysis/;
$external_labels{$key} = "$URL/" . q|node172.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:defer:Atomic_Counting/;
$external_labels{$key} = "$URL/" . q|node119.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:future:Multithreaded_Transactions/;
$external_labels{$key} = "$URL/" . q|node253.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:intro:Example_Parent_Thread/;
$external_labels{$key} = "$URL/" . q|node278.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:future:I_O_Operations/;
$external_labels{$key} = "$URL/" . q|node250.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:locking:Inefficiency/;
$external_labels{$key} = "$URL/" . q|node107.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:app:rcuimpl:Read-Side_Primitives/;
$external_labels{$key} = "$URL/" . q|node333.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:future:Locking/;
$external_labels{$key} = "$URL/" . q|node256.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_Intelx86MemoryOrdering2007/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:defer:Using_RCU_to_Wait_for_Mythical_Preemptible_NMIs_to_Finish/;
$external_labels{$key} = "$URL/" . q|node467.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:advsync:Examples_of_Memory_Barrier_Pairings/;
$external_labels{$key} = "$URL/" . q|node227.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:defer:RCU_Read-Side_Using_Global_Reference-Count_Pair/;
$external_labels{$key} = "$URL/" . q|node158.html|; 
$noresave{$key} = "$nosave";

$key = q/app:formal:Grace-Period_Interface/;
$external_labels{$key} = "$URL/" . q|node442.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:count:Signal-Theft_Limit_Counter_Read_Function/;
$external_labels{$key} = "$URL/" . q|node69.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:formal:Variables_for_Simple_Dynticks_Interface/;
$external_labels{$key} = "$URL/" . q|node453.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:advsync:What_Are_Memory_Barriers_/;
$external_labels{$key} = "$URL/" . q|node214.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:rcutreewt:Interrupts_from_Dyntick-Idle_Mode/;
$external_labels{$key} = "$URL/" . q|node392.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:future:The_exec_System_Call/;
$external_labels{$key} = "$URL/" . q|node261.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:count:Array-Based_Per-Thread_Statistical_Counters/;
$external_labels{$key} = "$URL/" . q|node55.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:app:whymb:Invalidate_Queues_and_Invalidate_Acknowledge/;
$external_labels{$key} = "$URL/" . q|node306.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:rcuimpl:__rcu_advance_callbacks___Implementation/;
$external_labels{$key} = "$URL/" . q|node414.html|; 
$noresave{$key} = "$nosave";

$key = q/app:formal:Simplicity_Avoids_Formal_Verification/;
$external_labels{$key} = "$URL/" . q|node452.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:defer:Response_Time_of_RCU_vs._Reference_Counting/;
$external_labels{$key} = "$URL/" . q|node142.html|; 
$noresave{$key} = "$nosave";

$key = q/Performance_Summary/;
$external_labels{$key} = "$URL/" . q|node101.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:SMPdesign:Synchronization_Granularity/;
$external_labels{$key} = "$URL/" . q|node84.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_Olukotun96/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_McKenney93/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:Grace-Period_State_Machine_Overview/;
$external_labels{$key} = "$URL/" . q|node413.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:defer:RCU_is_a_Bulk_Reference-Counting_Mechanism/;
$external_labels{$key} = "$URL/" . q|node143.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:defer:Read-Copy_Update__RCU_/;
$external_labels{$key} = "$URL/" . q|node124.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_RobertLove2005/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:datastruct:Computational_Complexity_and_Performance/;
$external_labels{$key} = "$URL/" . q|node182.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:count:Data_Flow_For_Global_Atomic_Increment/;
$external_labels{$key} = "$URL/" . q|node52.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:rcuimpl:rcu_try_flip_waitack___Implementation/;
$external_labels{$key} = "$URL/" . q|node414.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:questions:Effect_of_Locking_on_Snapshot_Collection/;
$external_labels{$key} = "$URL/" . q|node267.html|; 
$noresave{$key} = "$nosave";

$key = q/defer:RCU_Based_on_Free-Running_Counter/;
$external_labels{$key} = "$URL/" . q|node161.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:app:whymb:Example_2/;
$external_labels{$key} = "$URL/" . q|node312.html|; 
$noresave{$key} = "$nosave";

$key = q/tab:defer:Sleepable_RCU_Wait-to-Finish_APIs/;
$external_labels{$key} = "$URL/" . q|node150.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:toolsoftrade:POSIX_Reader-Writer_Locking/;
$external_labels{$key} = "$URL/" . q|node47.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:count:Approximate_Limit_Counter_Balancing/;
$external_labels{$key} = "$URL/" . q|node63.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:defer:Readers_and_RCU_Grace_Period/;
$external_labels{$key} = "$URL/" . q|node127.html|; 
$noresave{$key} = "$nosave";

$key = q/tab:advsync:Mapping_from_POSIX_to_Linux-Kernel_Primitives/;
$external_labels{$key} = "$URL/" . q|node49.html|; 
$noresave{$key} = "$nosave";

$key = q/app:primitives:Locking/;
$external_labels{$key} = "$URL/" . q|node279.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:advsync:What_May_Not_Be_Assumed_About_Memory_Barriers_/;
$external_labels{$key} = "$URL/" . q|node223.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:defer:Linux_Linear_Linked_List/;
$external_labels{$key} = "$URL/" . q|node126.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:defer:Response_Time_of_RCU_vs._Reader-Writer_Locking/;
$external_labels{$key} = "$URL/" . q|node138.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:advsync:Data_Dependency_Barriers/;
$external_labels{$key} = "$URL/" . q|node224.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:advsync:Non-Blocking_Synchronization/;
$external_labels{$key} = "$URL/" . q|node239.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_BovetCesati2005/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:defer:RCU_Read-Side_Using_Per-Thread_Reference-Count_Pair/;
$external_labels{$key} = "$URL/" . q|node159.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:questions:After_Producer_Function/;
$external_labels{$key} = "$URL/" . q|node267.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:rcutreewt:Nodes_in_the_Hierarchy/;
$external_labels{$key} = "$URL/" . q|node365.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:intro:Historic_Parallel_Programming_Difficulties/;
$external_labels{$key} = "$URL/" . q|node5.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:rcuimpl:rcutreewt:Recording_and_Recalling_Dynticks-Idle_Grace_Period/;
$external_labels{$key} = "$URL/" . q|node395.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:Preemptible_RCU_Counter_Flip_Operation/;
$external_labels{$key} = "$URL/" . q|node404.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:app:whymb:Store_Buffers_and_Memory_Barriers/;
$external_labels{$key} = "$URL/" . q|node303.html|; 
$noresave{$key} = "$nosave";

$key = q/chp:Ease_of_Use/;
$external_labels{$key} = "$URL/" . q|node244.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:rcuimpl:rcutreewt:Entering_and_Exiting_Dyntick-Idle_Mode/;
$external_labels{$key} = "$URL/" . q|node390.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:rcuimpl:rcutreewt:Code_for_rcutree_rcu-check-callbacks/;
$external_labels{$key} = "$URL/" . q|node372.html|; 
$noresave{$key} = "$nosave";

$key = q/app:formal:Interrupts/;
$external_labels{$key} = "$URL/" . q|node447.html|; 
$noresave{$key} = "$nosave";

$key = q/app:formal:Basic_Model/;
$external_labels{$key} = "$URL/" . q|node444.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:toolsoftrade:POSIX_Thread_Creation_and_Destruction/;
$external_labels{$key} = "$URL/" . q|node45.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:count:Statistical_Counters/;
$external_labels{$key} = "$URL/" . q|node53.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:count:Data_Flow_For_Global_Combining-Tree_Atomic_Increment/;
$external_labels{$key} = "$URL/" . q|node464.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_ThomasEHart2006a/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:intro:Reader-Writer_Lock_Scalability/;
$external_labels{$key} = "$URL/" . q|node47.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:rcutreewt:Grace-Period-Detection_Functions/;
$external_labels{$key} = "$URL/" . q|node384.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:future:Persistence/;
$external_labels{$key} = "$URL/" . q|node258.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:defer:RCU_hlist_Publication/;
$external_labels{$key} = "$URL/" . q|node126.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:locking:Per-Element_Locking_With_Lock-Based_Existence_Guarantees/;
$external_labels{$key} = "$URL/" . q|node112.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:SMPdesign:Resource_Allocator_Caches/;
$external_labels{$key} = "$URL/" . q|node93.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:rcuimpl:rcu_try_flip___Implementation/;
$external_labels{$key} = "$URL/" . q|node414.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:analysis:Promela_Code_for_Spinlock/;
$external_labels{$key} = "$URL/" . q|node431.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:rcu_mb_flag/;
$external_labels{$key} = "$URL/" . q|node411.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_PaulEMcKenney2007PreemptibleRCU/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_MySQL2008/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:app:whymb:Stores_Result_in_Unnecessary_Stalls/;
$external_labels{$key} = "$URL/" . q|node300.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:defer:Summary_of_RCU_Fundamentals/;
$external_labels{$key} = "$URL/" . q|node132.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:rcutreewt:External_Interfaces/;
$external_labels{$key} = "$URL/" . q|node369.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:SMPdesign:Right-_and_Left-Hand_Locks/;
$external_labels{$key} = "$URL/" . q|node77.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:app:rcuimpl:Update-Side_Primitives/;
$external_labels{$key} = "$URL/" . q|node334.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_Bonwick01slab/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_Gamsa99/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/item:app:whymb:Need_Store_Buffer/;
$external_labels{$key} = "$URL/" . q|node302.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:debugging:Assertions/;
$external_labels{$key} = "$URL/" . q|node174.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:rcuimpl:SRCU_Safe_Cleanup/;
$external_labels{$key} = "$URL/" . q|node335.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:defer:Linux_Kernel_fget_fput_API/;
$external_labels{$key} = "$URL/" . q|node121.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_PaulMcKenney2007QRCUpatch/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:defer:Deadlock_in_Lock-Based_RCU_Implementation/;
$external_labels{$key} = "$URL/" . q|node467.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:app:whymb:Example_1/;
$external_labels{$key} = "$URL/" . q|node311.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:Conceptual_Validation/;
$external_labels{$key} = "$URL/" . q|node421.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:rcutreewt:Starting_a_Grace_Period/;
$external_labels{$key} = "$URL/" . q|node387.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:SMPdesign:Hashed_Double-Ended_Queue_With_12_Elements/;
$external_labels{$key} = "$URL/" . q|node79.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:defer:Linux_Kernel_kref_API/;
$external_labels{$key} = "$URL/" . q|node119.html|; 
$noresave{$key} = "$nosave";

$key = q/app:formal:Formal_Verification/;
$external_labels{$key} = "$URL/" . q|node423.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_MPIForum2008/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:rcuimpl:rcutree:Flat_Classic_RCU_State/;
$external_labels{$key} = "$URL/" . q|node344.html|; 
$noresave{$key} = "$nosave";

$key = q/app:formal:Promela_Example:_Atomic_Increment/;
$external_labels{$key} = "$URL/" . q|node426.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_JohnKnickerbocker2008:3DI/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:whymb:Insert_and_Lock-Free_Search/;
$external_labels{$key} = "$URL/" . q|node315.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_GeneAmdahl1967AmdahlsLaw/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_ManfredSpraul2008StateMachineRCU/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/app:formal:Interrupts_From_Dynticks-Idle_Mode/;
$external_labels{$key} = "$URL/" . q|node456.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:rcuimpl:rcutreewt:RCU_Read-Side_Critical_Sections/;
$external_labels{$key} = "$URL/" . q|node370.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_WilsonCHsieh92a/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:rcu_read_lock__/;
$external_labels{$key} = "$URL/" . q|node416.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_PaulEMcKenney2009ProgrammingHard/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_Alexander79/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:advsync:Where_Are_Memory_Barriers_Needed_/;
$external_labels{$key} = "$URL/" . q|node238.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:app:rcuimpl:Initialization_Implementation/;
$external_labels{$key} = "$URL/" . q|node338.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:intro:Parallel_Programming_Goals/;
$external_labels{$key} = "$URL/" . q|node6.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:app:whymb:Store_Buffers/;
$external_labels{$key} = "$URL/" . q|node301.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_WernerVogels:2009:EventuallyConsistent/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:intro:Thread_API/;
$external_labels{$key} = "$URL/" . q|node271.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:Classic_vs._Preemptible_RCU_Callback_Processing/;
$external_labels{$key} = "$URL/" . q|node404.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:SMPdesign:Sequential_Program/;
$external_labels{$key} = "$URL/" . q|node85.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:count:Atomic_Limit_Counter_Utility_Functions/;
$external_labels{$key} = "$URL/" . q|node66.html|; 
$noresave{$key} = "$nosave";

$key = q/defer:Lock-Based_RCU/;
$external_labels{$key} = "$URL/" . q|node155.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_Spraul01/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:count:Atomic_Limit_Counter_Add_and_Subtract/;
$external_labels{$key} = "$URL/" . q|node66.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:future:Dynamic_Linking_and_Loading/;
$external_labels{$key} = "$URL/" . q|node259.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_RyanEccles2005HPCSNovice/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_OlegNesterov2006QRCU/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_CSIRACMuseumVictoria/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_DBLomet1977SIGSOFT/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/cha:app:Important_Questions/;
$external_labels{$key} = "$URL/" . q|node266.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:defer:RCU_is_a_Restricted_Reference-Counting_Mechanism/;
$external_labels{$key} = "$URL/" . q|node142.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:analysis:Non-Atomic_Increment_spin_Output/;
$external_labels{$key} = "$URL/" . q|node425.html|; 
$noresave{$key} = "$nosave";

$key = q/app:formal:Task_Interface/;
$external_labels{$key} = "$URL/" . q|node440.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:defer:Linux_Circular_Linked_List/;
$external_labels{$key} = "$URL/" . q|node126.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:rcuimpl:rcutreewt:Scanning_for_Holdout_CPUs/;
$external_labels{$key} = "$URL/" . q|node397.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_PaulEMcKenney2008HierarchicalRCU/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/tab:app:whymb:Cache_Coherence_Example/;
$external_labels{$key} = "$URL/" . q|node299.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:cpu:Latency_Benefit_of_3D_Integration/;
$external_labels{$key} = "$URL/" . q|node36.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_HerlihyShavit2008Textbook/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:Grace-Period_State_Machine_Walkthrough/;
$external_labels{$key} = "$URL/" . q|node414.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:analysis:Promela_Code_for_Atomic_Increment/;
$external_labels{$key} = "$URL/" . q|node426.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:intro:Categories_of_Tasks_Required_of_Parallel_Programmers/;
$external_labels{$key} = "$URL/" . q|node14.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:SMPdesign:Design_Patterns_and_Lock_Granularity/;
$external_labels{$key} = "$URL/" . q|node84.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:rcuimpl:rcutree:RCU_Callback_List/;
$external_labels{$key} = "$URL/" . q|node386.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:cpu:Hardware_System_Architecture/;
$external_labels{$key} = "$URL/" . q|node33.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:defer:RCU_Replacement_in_Linked_List/;
$external_labels{$key} = "$URL/" . q|node130.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_LaninShasha1986TSM/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:rcuimpl:rcu_check_mb___Implementation/;
$external_labels{$key} = "$URL/" . q|node414.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:app:whymb:Store_Sequences_Result_in_Unnecessary_Stalls/;
$external_labels{$key} = "$URL/" . q|node304.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:analysis:QRCU_Unordered_Summation/;
$external_labels{$key} = "$URL/" . q|node432.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_Goetz2007Textbook/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:rcutreewt:CPU_Hotplug/;
$external_labels{$key} = "$URL/" . q|node379.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_Dijkstra1971HOoSP/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:advsync:Control_Dependencies/;
$external_labels{$key} = "$URL/" . q|node225.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:defer:RCU_Read-Side_Using_Per-Thread_Reference-Count_Pair_and_Shared_Update_Data/;
$external_labels{$key} = "$URL/" . q|node160.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_OpenMPI2008/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:analysis:Atomic_Increment_spin_Output/;
$external_labels{$key} = "$URL/" . q|node426.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:formal:Entering_and_Exiting_Dynticks-Idle_Mode/;
$external_labels{$key} = "$URL/" . q|node454.html|; 
$noresave{$key} = "$nosave";

$key = q/chp:app:whymb:Why_Memory_Barriers_/;
$external_labels{$key} = "$URL/" . q|node293.html|; 
$noresave{$key} = "$nosave";

$key = q/tab:defer:RCU_Publish-Subscribe_and_Version_Maintenance_APIs/;
$external_labels{$key} = "$URL/" . q|node151.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_Torvalds2.6kernel/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:SMPdesign:Double-Ended_Queue_With_Left-_and_Right-Hand_Locks/;
$external_labels{$key} = "$URL/" . q|node77.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:Buggy_Grace_Period_From_Broken_RCU/;
$external_labels{$key} = "$URL/" . q|node402.html|; 
$noresave{$key} = "$nosave";

$key = q/defer:rcu_rcgp:RCU_Grace_Period_Start/;
$external_labels{$key} = "$URL/" . q|node467.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:formal:Saving_Dyntick_Progress_Counters/;
$external_labels{$key} = "$URL/" . q|node457.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:count:Atomic_Limit_Counter_Implementation/;
$external_labels{$key} = "$URL/" . q|node66.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:advsync:Hazard_Pointers/;
$external_labels{$key} = "$URL/" . q|node241.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:rcuimpl:rcutree:Hierarchical_RCU_State_4_096_CPUs/;
$external_labels{$key} = "$URL/" . q|node346.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:count:Simple_Limit_Counter_Variables/;
$external_labels{$key} = "$URL/" . q|node61.html|; 
$noresave{$key} = "$nosave";

$key = q/tab:defer:RCU_Wait-to-Finish_APIs/;
$external_labels{$key} = "$URL/" . q|node150.html|; 
$noresave{$key} = "$nosave";

$key = q/codesample:advsync:What_Can_You_Count_On__2/;
$external_labels{$key} = "$URL/" . q|node208.html|; 
$noresave{$key} = "$nosave";

$key = q/chp:applyrcu:Applying_RCU/;
$external_labels{$key} = "$URL/" . q|node166.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:toolsoftrade:Linux-Kernel_Equivalents_to_POSIX_Operations/;
$external_labels{$key} = "$URL/" . q|node49.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:questions:Schematic_of_Real-World_Parallel_Allocator/;
$external_labels{$key} = "$URL/" . q|node100.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:General_Approach/;
$external_labels{$key} = "$URL/" . q|node404.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_Butenhof1997pthreads/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_Snaman87/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:rcuimpl:rcutree:Scanning_rcu-node_Structures_When_Applying_Quiescent_States/;
$external_labels{$key} = "$URL/" . q|node388.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:toolsoftrade:Using_the_fork___Primitive/;
$external_labels{$key} = "$URL/" . q|node44.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:defer:Example_2:_Maintaining_Multiple_Versions_During_Replacement/;
$external_labels{$key} = "$URL/" . q|node130.html|; 
$noresave{$key} = "$nosave";

$key = q/defer:Scalable_Counter-Based_RCU_With_Shared_Grace_Periods/;
$external_labels{$key} = "$URL/" . q|node160.html|; 
$noresave{$key} = "$nosave";

$key = q/app:formal:Checking_For_Dynticks_Quiescent_States/;
$external_labels{$key} = "$URL/" . q|node457.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_PaulEMcKenney2006c/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:SMPdesign:Hashed_Double-Ended_Queue_After_Insertions/;
$external_labels{$key} = "$URL/" . q|node79.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:defer:Linux_Primitives_Supporting_Reference_Counting/;
$external_labels{$key} = "$URL/" . q|node122.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:rcuimpl:rcu_try_flip_idle___Implementation/;
$external_labels{$key} = "$URL/" . q|node414.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_LaiJiangshan2008NewClassicAlgorithm/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/app:formal:Promela_Coding_Tricks/;
$external_labels{$key} = "$URL/" . q|node430.html|; 
$noresave{$key} = "$nosave";

$key = q/app:ack:Credits/;
$external_labels{$key} = "$URL/" . q|node479.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:SMPdesign:Lock-Based_Parallel_Double-Ended_Queue_Data_Structure/;
$external_labels{$key} = "$URL/" . q|node79.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_IngoMolnar05a/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_OpenGroup1997pthreads/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_PanagiotisMetaxas1999PDCS/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:rcuimpl:rcutreewt:Code_for_check-cpu-stall/;
$external_labels{$key} = "$URL/" . q|node399.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:SMPdesign:Code_Locking/;
$external_labels{$key} = "$URL/" . q|node86.html|; 
$noresave{$key} = "$nosave";

$key = q/defer:__Toy___RCU_Implementations/;
$external_labels{$key} = "$URL/" . q|node154.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_PaulEMcKenney2007BoostRCU/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:debugging:Static_Analysis/;
$external_labels{$key} = "$URL/" . q|node175.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:cpu:Software_Design_Implications/;
$external_labels{$key} = "$URL/" . q|node40.html|; 
$noresave{$key} = "$nosave";

$key = q/app:formal:NMIs_From_Dynticks-Idle_Mode/;
$external_labels{$key} = "$URL/" . q|node455.html|; 
$noresave{$key} = "$nosave";

$key = q/app:formal:How_Many_Readers_and_Updaters_Are_Really_Needed_/;
$external_labels{$key} = "$URL/" . q|node434.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_PaulEMcKenney2009TMeverywhere/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:app:whymb:Invalidate_Queues/;
$external_labels{$key} = "$URL/" . q|node305.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:rcutree:Interrupt_from_Dynticks_Idle_Mode/;
$external_labels{$key} = "$URL/" . q|node354.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:count:Data_Flow_For_Per-Thread_Increment/;
$external_labels{$key} = "$URL/" . q|node55.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_DuaneSzafron1994PEMPDS/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:rcuimpl:Read-Side_Release/;
$external_labels{$key} = "$URL/" . q|node339.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:advsync:Read_Memory_Barriers_vs._Load_Speculation/;
$external_labels{$key} = "$URL/" . q|node228.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:analysis:Promela_Code_for_Non-Atomic_Increment/;
$external_labels{$key} = "$URL/" . q|node425.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:rcutree:Enter_and_Leave_Dynticks_Idle_Mode/;
$external_labels{$key} = "$URL/" . q|node353.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_Blundell2006TMdeadlock/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:SMPdesign:Compound_Double-Ended_Queue/;
$external_labels{$key} = "$URL/" . q|node78.html|; 
$noresave{$key} = "$nosave";

$key = q/defer:Simple_Counter-Based_RCU/;
$external_labels{$key} = "$URL/" . q|node157.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:cpu:Novel_Materials_and_Processes/;
$external_labels{$key} = "$URL/" . q|node37.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:locking:Per-Element_Locking_Without_Existence_Guarantees/;
$external_labels{$key} = "$URL/" . q|node112.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_Holzmann03a/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_PaulEMcKenney2007QRCUspin/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:advsync:Modern_Computer_System_Cache_Structure/;
$external_labels{$key} = "$URL/" . q|node190.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:rcutreewt:Kernel_Parameters/;
$external_labels{$key} = "$URL/" . q|node368.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:app:questions:What_Does___After___Mean_/;
$external_labels{$key} = "$URL/" . q|node267.html|; 
$noresave{$key} = "$nosave";

$key = q/chp:Conflicting_Visions_of_the_Future/;
$external_labels{$key} = "$URL/" . q|node248.html|; 
$noresave{$key} = "$nosave";

$key = q/app:formal:Promela_Example:_Locking/;
$external_labels{$key} = "$URL/" . q|node431.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:rcutreewt:rcu-online-cpu/;
$external_labels{$key} = "$URL/" . q|node381.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:rcutree:Start_a_New_Grace_Period/;
$external_labels{$key} = "$URL/" . q|node350.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:intro:Generality/;
$external_labels{$key} = "$URL/" . q|node9.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:app:whymb:Advice_to_Hardware_Designers/;
$external_labels{$key} = "$URL/" . q|node325.html|; 
$noresave{$key} = "$nosave";

$key = q/defer:Nestable_RCU_Based_on_Free-Running_Counter/;
$external_labels{$key} = "$URL/" . q|node162.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:defer:Per-Thread_Lock-Based_RCU_Implementation/;
$external_labels{$key} = "$URL/" . q|node156.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:defer:Reference_Counting/;
$external_labels{$key} = "$URL/" . q|node116.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:rcutreewt:Miscellaneous_Functions/;
$external_labels{$key} = "$URL/" . q|node383.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_McKenney98/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:rcutreewt:rcu-init-percpu-data/;
$external_labels{$key} = "$URL/" . q|node380.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:Formal_Validation/;
$external_labels{$key} = "$URL/" . q|node422.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:locking:Types_of_Locks/;
$external_labels{$key} = "$URL/" . q|node108.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:rcuimpl:__rcu_read_lock___Implementation/;
$external_labels{$key} = "$URL/" . q|node416.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_WikipediaRCU/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_ElGhazawi2003UPC/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:app:whymb:Cache_Structure/;
$external_labels{$key} = "$URL/" . q|node294.html|; 
$noresave{$key} = "$nosave";

$key = q/app:formal:Promela_Example:_QRCU/;
$external_labels{$key} = "$URL/" . q|node432.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_DanGrossman2007TMGCAnalogy/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_CSIRACUniversityMelbourne/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:app:rcuimpl:Isolate_Grace-Period_Detection/;
$external_labels{$key} = "$URL/" . q|node330.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:Conceptual_RCU/;
$external_labels{$key} = "$URL/" . q|node402.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:analysis:Performance_Estimation/;
$external_labels{$key} = "$URL/" . q|node179.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:easy:Mandelbrot_Set/;
$external_labels{$key} = "$URL/" . q|node246.html|; 
$noresave{$key} = "$nosave";

$key = q/codesample:advsync:What_Can_You_Count_On__1/;
$external_labels{$key} = "$URL/" . q|node208.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:rcutreewt:Tracking_Dyntick_State/;
$external_labels{$key} = "$URL/" . q|node364.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:toolsoftrade:Demonstration_of_Same_Exclusive_Lock/;
$external_labels{$key} = "$URL/" . q|node46.html|; 
$noresave{$key} = "$nosave";

$key = q/chp:Hardware_and_its_Habits/;
$external_labels{$key} = "$URL/" . q|node24.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_Hennessy95a/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:questions:After_Program_Sample_Output/;
$external_labels{$key} = "$URL/" . q|node267.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:toolsoftrade:POSIX_Locking/;
$external_labels{$key} = "$URL/" . q|node46.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_GOF95/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_PaulEdwardMcKenneyPhD/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_BuschmannHenneySchmidt2007v4Textbook/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_McKenney92a/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:count:Parallel_Counting_Discussion/;
$external_labels{$key} = "$URL/" . q|node72.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:intro:Tradeoff_Between_Productivity_and_Generality/;
$external_labels{$key} = "$URL/" . q|node9.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_Mattson2005Textbook/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:defer:RCU_Data_Structure_Publication/;
$external_labels{$key} = "$URL/" . q|node126.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:future:Time_Delays/;
$external_labels{$key} = "$URL/" . q|node255.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:easy:Shaving_the_Mandelbrot_Set/;
$external_labels{$key} = "$URL/" . q|node246.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:Testing/;
$external_labels{$key} = "$URL/" . q|node420.html|; 
$noresave{$key} = "$nosave";

$key = q/app:primitives:Thread_Creation__Destruction__and_Control/;
$external_labels{$key} = "$URL/" . q|node271.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:rcuimpl:rcutree:Hierarchical_RCU_Grace_Period/;
$external_labels{$key} = "$URL/" . q|node346.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:toolsoftrade:POSIX_Process_Creation_and_Destruction/;
$external_labels{$key} = "$URL/" . q|node44.html|; 
$noresave{$key} = "$nosave";

$key = q/chp:Answers_to_Quick_Quizzes/;
$external_labels{$key} = "$URL/" . q|node460.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:formal:Memory-Barrier_Fix_Patch/;
$external_labels{$key} = "$URL/" . q|node451.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:advsync:If_B_Follows_A__and_C_Follows_B__Why_Doesn_t_C_Follow_A_/;
$external_labels{$key} = "$URL/" . q|node191.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:toolsoftrade:POSIX_Multiprocessing/;
$external_labels{$key} = "$URL/" . q|node43.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_DaveDice2006DISC/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_DinakarGuniguntala2008IBMSysJ/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_ChistopherJRossbach2007a/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:analysis:Output_for_Spinlock_Test/;
$external_labels{$key} = "$URL/" . q|node431.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:defer:Data_for_Nestable_RCU_Using_a_Free-Running_Counter/;
$external_labels{$key} = "$URL/" . q|node162.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:rcuimpl:rcutreewt:Code_for_rcu-implicit-dynticks-qs/;
$external_labels{$key} = "$URL/" . q|node393.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:whymb:Why_smp-read-barrier-depends___is_Required/;
$external_labels{$key} = "$URL/" . q|node315.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:intro:Make_Use_of_Existing_Parallel_Software/;
$external_labels{$key} = "$URL/" . q|node12.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:Overview_of_Preemptible_RCU_Algorithm/;
$external_labels{$key} = "$URL/" . q|node403.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:defer:Wait_For_Pre-Existing_RCU_Readers_to_Complete/;
$external_labels{$key} = "$URL/" . q|node127.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:app:whymb:Example_3/;
$external_labels{$key} = "$URL/" . q|node313.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:Preemptible_RCU_Worst-Case_Scenario/;
$external_labels{$key} = "$URL/" . q|node421.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:app:rcuimpl:SRCU_API_and_Usage/;
$external_labels{$key} = "$URL/" . q|node331.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_JimGray2002SmokingHairyGolfBalls/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_PaulEMcKenney2006b/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:rcutreewt:rcu-init-levelspread/;
$external_labels{$key} = "$URL/" . q|node376.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:cpu:Overheads/;
$external_labels{$key} = "$URL/" . q|node32.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_DavidDice:2010:SCA:HTM:deque/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:defer:Converting_Reader-Writer_Locking_to_RCU:_Deletion/;
$external_labels{$key} = "$URL/" . q|node141.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:SMPdesign:Hierarchical_Locking/;
$external_labels{$key} = "$URL/" . q|node92.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_JMStone93/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:defer:RCU_is_a_Reader-Writer_Lock_Replacement/;
$external_labels{$key} = "$URL/" . q|node134.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:rcutreewt:NMIs_from_Dyntick-Idle_Mode/;
$external_labels{$key} = "$URL/" . q|node391.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:Good_Grace_Period_From_Correct_RCU/;
$external_labels{$key} = "$URL/" . q|node402.html|; 
$noresave{$key} = "$nosave";

$key = q/app:formal:Running_the_QRCU_Example/;
$external_labels{$key} = "$URL/" . q|node433.html|; 
$noresave{$key} = "$nosave";

$key = q/tab:advsync:Ordering_With_Multiple_Locks/;
$external_labels{$key} = "$URL/" . q|node234.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:toolsoftrade:Scripting_Languages/;
$external_labels{$key} = "$URL/" . q|node42.html|; 
$noresave{$key} = "$nosave";

$key = q/app:rcuimpl:rcutreewt:Handling_Offline_and_Holdout_CPUs/;
$external_labels{$key} = "$URL/" . q|node396.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_IBMzSeries04a/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:formal:Interrupts_From_Dynticks-Idle_Mode/;
$external_labels{$key} = "$URL/" . q|node456.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:debugging:Tracing/;
$external_labels{$key} = "$URL/" . q|node173.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:intro:Multiple_Instances_of_a_Sequential_Application/;
$external_labels{$key} = "$URL/" . q|node11.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:cpu:Special-Purpose_Accelerators/;
$external_labels{$key} = "$URL/" . q|node38.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:analysis:QRCU_Updater_Process/;
$external_labels{$key} = "$URL/" . q|node432.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:analysis:Probability_and_Heisenbugs/;
$external_labels{$key} = "$URL/" . q|node176.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_AMDOpteron:2:2007/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_SPARC94/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:SMPdesign:Clock-Frequency_Trend_for_Intel_CPUs/;
$external_labels{$key} = "$URL/" . q|node85.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_PaulMcKenney05b/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:SMPdesign:Locking_Granularity_and_Performance/;
$external_labels{$key} = "$URL/" . q|node89.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:defer:Diverse_RCU_Read-Side_Nesting/;
$external_labels{$key} = "$URL/" . q|node467.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:app:rcuimpl:rcutree:Hierarchical_RCU_State/;
$external_labels{$key} = "$URL/" . q|node346.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:SMPdesign:Dining_Philosophers_Problem/;
$external_labels{$key} = "$URL/" . q|node75.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:SMPdesign:Parallel_Fastpath/;
$external_labels{$key} = "$URL/" . q|node90.html|; 
$noresave{$key} = "$nosave";

$key = q/app:formal:Entering_and_Leaving_Dynticks-Idle_Mode/;
$external_labels{$key} = "$URL/" . q|node454.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_LukeDalessandro:2011:ASPLOS:HybridNOrecSTM:deque/;
$external_labels{$key} = "$URL/" . q|node478.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:cpu:Cache_Misses/;
$external_labels{$key} = "$URL/" . q|node30.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:SMPdesign:Data_Ownership/;
$external_labels{$key} = "$URL/" . q|node88.html|; 
$noresave{$key} = "$nosave";

1;


# LaTeX2HTML 2008 (1.71)
# labels from external_latex_labels array.


1;

