€•xP      Œsphinx.addnodes”Œdocument”“”)”}”(Œ	rawsource”Œ ”Œchildren”]”(Œtranslations”ŒLanguagesNode”“”)”}”(hhh]”(h Œpending_xref”“”)”}”(hhh]”Œdocutils.nodes”ŒText”“”ŒChinese (Simplified)”…””}”Œparent”hsbaŒ
attributes”}”(Œids”]”Œclasses”]”Œnames”]”Œdupnames”]”Œbackrefs”]”Œ	refdomain”Œstd”Œreftype”Œdoc”Œ	reftarget”Œ7/translations/zh_CN/trace/rv/da_monitor_instrumentation”Œmodname”NŒ	classname”NŒrefexplicit”ˆuŒtagname”hhhubh)”}”(hhh]”hŒChinese (Traditional)”…””}”hh2sbah}”(h]”h ]”h"]”h$]”h&]”Œ	refdomain”h)Œreftype”h+Œ	reftarget”Œ7/translations/zh_TW/trace/rv/da_monitor_instrumentation”Œmodname”NŒ	classname”NŒrefexplicit”ˆuh1hhhubh)”}”(hhh]”hŒItalian”…””}”hhFsbah}”(h]”h ]”h"]”h$]”h&]”Œ	refdomain”h)Œreftype”h+Œ	reftarget”Œ7/translations/it_IT/trace/rv/da_monitor_instrumentation”Œmodname”NŒ	classname”NŒrefexplicit”ˆuh1hhhubh)”}”(hhh]”hŒJapanese”…””}”hhZsbah}”(h]”h ]”h"]”h$]”h&]”Œ	refdomain”h)Œreftype”h+Œ	reftarget”Œ7/translations/ja_JP/trace/rv/da_monitor_instrumentation”Œmodname”NŒ	classname”NŒrefexplicit”ˆuh1hhhubh)”}”(hhh]”hŒKorean”…””}”hhnsbah}”(h]”h ]”h"]”h$]”h&]”Œ	refdomain”h)Œreftype”h+Œ	reftarget”Œ7/translations/ko_KR/trace/rv/da_monitor_instrumentation”Œmodname”NŒ	classname”NŒrefexplicit”ˆuh1hhhubh)”}”(hhh]”hŒSpanish”…””}”hh‚sbah}”(h]”h ]”h"]”h$]”h&]”Œ	refdomain”h)Œreftype”h+Œ	reftarget”Œ7/translations/sp_SP/trace/rv/da_monitor_instrumentation”Œmodname”NŒ	classname”NŒrefexplicit”ˆuh1hhhubeh}”(h]”h ]”h"]”h$]”h&]”Œcurrent_language”ŒEnglish”uh1h
hhŒ	_document”hŒsource”NŒline”NubhŒsection”“”)”}”(hhh]”(hŒtitle”“”)”}”(hŒ&Deterministic Automata Instrumentation”h]”hŒ&Deterministic Automata Instrumentation”…””}”(hh¨hžhhŸNh Nubah}”(h]”h ]”h"]”h$]”h&]”uh1h¦hh£hžhhŸŒQ/var/lib/git/docbuild/linux/Documentation/trace/rv/da_monitor_instrumentation.rst”h KubhŒ	paragraph”“”)”}”(hŒtThe RV monitor file created by dot2k, with the name "$MODEL_NAME.c"
includes a section dedicated to instrumentation.”h]”hŒxThe RV monitor file created by dot2k, with the name â€œ$MODEL_NAME.câ€
includes a section dedicated to instrumentation.”…””}”(hh¹hžhhŸNh Nubah}”(h]”h ]”h"]”h$]”h&]”uh1h·hŸh¶h Khh£hžhubh¸)”}”(hŒIIn the example of the wip.dot monitor created on [1], it will look like::”h]”hŒHIn the example of the wip.dot monitor created on [1], it will look like:”…””}”(hhÇhžhhŸNh Nubah}”(h]”h ]”h"]”h$]”h&]”uh1h·hŸh¶h Khh£hžhubhŒliteral_block”“”)”}”(hX®  /*
 * This is the instrumentation part of the monitor.
 *
 * This is the section where manual work is required. Here the kernel events
 * are translated into model's event.
 *
 */
static void handle_preempt_disable(void *data, /* XXX: fill header */)
{
      da_handle_event_wip(preempt_disable_wip);
}

static void handle_preempt_enable(void *data, /* XXX: fill header */)
{
      da_handle_event_wip(preempt_enable_wip);
}

static void handle_sched_waking(void *data, /* XXX: fill header */)
{
      da_handle_event_wip(sched_waking_wip);
}

static int enable_wip(void)
{
      int retval;

      retval = da_monitor_init_wip();
      if (retval)
              return retval;

      rv_attach_trace_probe("wip", /* XXX: tracepoint */, handle_preempt_disable);
      rv_attach_trace_probe("wip", /* XXX: tracepoint */, handle_preempt_enable);
      rv_attach_trace_probe("wip", /* XXX: tracepoint */, handle_sched_waking);

      return 0;
}”h]”hX®  /*
 * This is the instrumentation part of the monitor.
 *
 * This is the section where manual work is required. Here the kernel events
 * are translated into model's event.
 *
 */
static void handle_preempt_disable(void *data, /* XXX: fill header */)
{
      da_handle_event_wip(preempt_disable_wip);
}

static void handle_preempt_enable(void *data, /* XXX: fill header */)
{
      da_handle_event_wip(preempt_enable_wip);
}

static void handle_sched_waking(void *data, /* XXX: fill header */)
{
      da_handle_event_wip(sched_waking_wip);
}

static int enable_wip(void)
{
      int retval;

      retval = da_monitor_init_wip();
      if (retval)
              return retval;

      rv_attach_trace_probe("wip", /* XXX: tracepoint */, handle_preempt_disable);
      rv_attach_trace_probe("wip", /* XXX: tracepoint */, handle_preempt_enable);
      rv_attach_trace_probe("wip", /* XXX: tracepoint */, handle_sched_waking);

      return 0;
}”…””}”hh×sbah}”(h]”h ]”h"]”h$]”h&]”Œ	xml:space”Œpreserve”uh1hÕhŸh¶h K	hh£hžhubh¸)”}”(hŒ‘The comment at the top of the section explains the general idea: the
instrumentation section translates *kernel events* into the *model's
event*.”h]”(hŒhThe comment at the top of the section explains the general idea: the
instrumentation section translates ”…””}”(hhçhžhhŸNh NubhŒemphasis”“”)”}”(hŒ*kernel events*”h]”hŒkernel events”…””}”(hhñhžhhŸNh Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hïhhçubhŒ
 into the ”…””}”(hhçhžhhŸNh Nubhð)”}”(hŒ*model's
event*”h]”hŒmodelâ€™s
event”…””}”(hj  hžhhŸNh Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hïhhçubhŒ.”…””}”(hhçhžhhŸNh Nubeh}”(h]”h ]”h"]”h$]”h&]”uh1h·hŸh¶h K.hh£hžhubh¢)”}”(hhh]”(h§)”}”(hŒTracing callback functions”h]”hŒTracing callback functions”…””}”(hj  hžhhŸNh Nubah}”(h]”h ]”h"]”h$]”h&]”uh1h¦hj  hžhhŸh¶h K3ubh¸)”}”(hŒÙThe first three functions are the starting point of the callback *handler
functions* for each of the three events from the wip model. The developer
does not necessarily need to use them: they are just starting points.”h]”(hŒAThe first three functions are the starting point of the callback ”…””}”(hj,  hžhhŸNh Nubhð)”}”(hŒ*handler
functions*”h]”hŒhandler
functions”…””}”(hj4  hžhhŸNh Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hïhj,  ubhŒ… for each of the three events from the wip model. The developer
does not necessarily need to use them: they are just starting points.”…””}”(hj,  hžhhŸNh Nubeh}”(h]”h ]”h"]”h$]”h&]”uh1h·hŸh¶h K5hj  hžhubh¸)”}”(hŒUsing the example of::”h]”hŒUsing the example of:”…””}”(hjL  hžhhŸNh Nubah}”(h]”h ]”h"]”h$]”h&]”uh1h·hŸh¶h K9hj  hžhubhÖ)”}”(hŒtvoid handle_preempt_disable(void *data, /* XXX: fill header */)
{
       da_handle_event_wip(preempt_disable_wip);
}”h]”hŒtvoid handle_preempt_disable(void *data, /* XXX: fill header */)
{
       da_handle_event_wip(preempt_disable_wip);
}”…””}”hjZ  sbah}”(h]”h ]”h"]”h$]”h&]”håhæuh1hÕhŸh¶h K;hj  hžhubh¸)”}”(hŒÈThe preempt_disable event from the model connects directly to the
preemptirq:preempt_disable. The preemptirq:preempt_disable event
has the following signature, from include/trace/events/preemptirq.h::”h]”hŒÇThe preempt_disable event from the model connects directly to the
preemptirq:preempt_disable. The preemptirq:preempt_disable event
has the following signature, from include/trace/events/preemptirq.h:”…””}”(hjh  hžhhŸNh Nubah}”(h]”h ]”h"]”h$]”h&]”uh1h·hŸh¶h K@hj  hžhubhÖ)”}”(hŒ3TP_PROTO(unsigned long ip, unsigned long parent_ip)”h]”hŒ3TP_PROTO(unsigned long ip, unsigned long parent_ip)”…””}”hjv  sbah}”(h]”h ]”h"]”h$]”h&]”håhæuh1hÕhŸh¶h KDhj  hžhubh¸)”}”(hŒ=Hence, the handle_preempt_disable() function will look like::”h]”hŒ<Hence, the handle_preempt_disable() function will look like:”…””}”(hj„  hžhhŸNh Nubah}”(h]”h ]”h"]”h$]”h&]”uh1h·hŸh¶h KFhj  hžhubhÖ)”}”(hŒRvoid handle_preempt_disable(void *data, unsigned long ip, unsigned long parent_ip)”h]”hŒRvoid handle_preempt_disable(void *data, unsigned long ip, unsigned long parent_ip)”…””}”hj’  sbah}”(h]”h ]”h"]”h$]”h&]”håhæuh1hÕhŸh¶h KHhj  hžhubh¸)”}”(hŒˆIn this case, the kernel event translates one to one with the automata
event, and indeed, no other change is required for this function.”h]”hŒˆIn this case, the kernel event translates one to one with the automata
event, and indeed, no other change is required for this function.”…””}”(hj   hžhhŸNh Nubah}”(h]”h ]”h"]”h$]”h&]”uh1h·hŸh¶h KJhj  hžhubh¸)”}”(hŒÕThe next handler function, handle_preempt_enable() has the same argument
list from the handle_preempt_disable(). The difference is that the
preempt_enable event will be used to synchronize the system to the model.”h]”hŒÕThe next handler function, handle_preempt_enable() has the same argument
list from the handle_preempt_disable(). The difference is that the
preempt_enable event will be used to synchronize the system to the model.”…””}”(hj®  hžhhŸNh Nubah}”(h]”h ]”h"]”h$]”h&]”uh1h·hŸh¶h KMhj  hžhubh¸)”}”(hX  Initially, the *model* is placed in the initial state. However, the *system*
might or might not be in the initial state. The monitor cannot start
processing events until it knows that the system has reached the initial state.
Otherwise, the monitor and the system could be out-of-sync.”h]”(hŒInitially, the ”…””}”(hj¼  hžhhŸNh Nubhð)”}”(hŒ*model*”h]”hŒmodel”…””}”(hjÄ  hžhhŸNh Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hïhj¼  ubhŒ. is placed in the initial state. However, the ”…””}”(hj¼  hžhhŸNh Nubhð)”}”(hŒ*system*”h]”hŒsystem”…””}”(hjÖ  hžhhŸNh Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hïhj¼  ubhŒÑ
might or might not be in the initial state. The monitor cannot start
processing events until it knows that the system has reached the initial state.
Otherwise, the monitor and the system could be out-of-sync.”…””}”(hj¼  hžhhŸNh Nubeh}”(h]”h ]”h"]”h$]”h&]”uh1h·hŸh¶h KQhj  hžhubh¸)”}”(hX  Looking at the automata definition, it is possible to see that the system
and the model are expected to return to the initial state after the
preempt_enable execution. Hence, it can be used to synchronize the
system and the model at the initialization of the monitoring section.”h]”hX  Looking at the automata definition, it is possible to see that the system
and the model are expected to return to the initial state after the
preempt_enable execution. Hence, it can be used to synchronize the
system and the model at the initialization of the monitoring section.”…””}”(hjî  hžhhŸNh Nubah}”(h]”h ]”h"]”h$]”h&]”uh1h·hŸh¶h KVhj  hžhubh¸)”}”(hŒwThe start is informed via a special handle function, the
"da_handle_start_event_$(MONITOR_NAME)(event)", in this case::”h]”hŒzThe start is informed via a special handle function, the
â€œda_handle_start_event_$(MONITOR_NAME)(event)â€, in this case:”…””}”(hjü  hžhhŸNh Nubah}”(h]”h ]”h"]”h$]”h&]”uh1h·hŸh¶h K[hj  hžhubhÖ)”}”(hŒ.da_handle_start_event_wip(preempt_enable_wip);”h]”hŒ.da_handle_start_event_wip(preempt_enable_wip);”…””}”hj
  sbah}”(h]”h ]”h"]”h$]”h&]”håhæuh1hÕhŸh¶h K^hj  hžhubh¸)”}”(hŒ*So, the callback function will look like::”h]”hŒ)So, the callback function will look like:”…””}”(hj  hžhhŸNh Nubah}”(h]”h ]”h"]”h$]”h&]”uh1h·hŸh¶h K`hj  hžhubhÖ)”}”(hŒŠvoid handle_preempt_enable(void *data, unsigned long ip, unsigned long parent_ip)
{
      da_handle_start_event_wip(preempt_enable_wip);
}”h]”hŒŠvoid handle_preempt_enable(void *data, unsigned long ip, unsigned long parent_ip)
{
      da_handle_start_event_wip(preempt_enable_wip);
}”…””}”hj&  sbah}”(h]”h ]”h"]”h$]”h&]”håhæuh1hÕhŸh¶h Kbhj  hžhubh¸)”}”(hŒ5Finally, the "handle_sched_waking()" will look like::”h]”hŒ8Finally, the â€œhandle_sched_waking()â€ will look like:”…””}”(hj4  hžhhŸNh Nubah}”(h]”h ]”h"]”h$]”h&]”uh1h·hŸh¶h Kghj  hžhubhÖ)”}”(hŒovoid handle_sched_waking(void *data, struct task_struct *task)
{
      da_handle_event_wip(sched_waking_wip);
}”h]”hŒovoid handle_sched_waking(void *data, struct task_struct *task)
{
      da_handle_event_wip(sched_waking_wip);
}”…””}”hjB  sbah}”(h]”h ]”h"]”h$]”h&]”håhæuh1hÕhŸh¶h Kihj  hžhubh¸)”}”(hŒ:And the explanation is left for the reader as an exercise.”h]”hŒ:And the explanation is left for the reader as an exercise.”…””}”(hjP  hžhhŸNh Nubah}”(h]”h ]”h"]”h$]”h&]”uh1h·hŸh¶h Knhj  hžhubeh}”(h]”Œtracing-callback-functions”ah ]”h"]”Œtracing callback functions”ah$]”h&]”uh1h¡hh£hžhhŸh¶h K3ubh¢)”}”(hhh]”(h§)”}”(hŒenable and disable functions”h]”hŒenable and disable functions”…””}”(hji  hžhhŸNh Nubah}”(h]”h ]”h"]”h$]”h&]”uh1h¦hjf  hžhhŸh¶h Kqubh¸)”}”(hŒ3dot2k automatically creates two special functions::”h]”hŒ2dot2k automatically creates two special functions:”…””}”(hjw  hžhhŸNh Nubah}”(h]”h ]”h"]”h$]”h&]”uh1h·hŸh¶h Kshjf  hžhubhÖ)”}”(hŒ2enable_$(MONITOR_NAME)()
disable_$(MONITOR_NAME)()”h]”hŒ2enable_$(MONITOR_NAME)()
disable_$(MONITOR_NAME)()”…””}”hj…  sbah}”(h]”h ]”h"]”h$]”h&]”håhæuh1hÕhŸh¶h Kuhjf  hžhubh¸)”}”(hŒRThese functions are called when the monitor is enabled and disabled,
respectively.”h]”hŒRThese functions are called when the monitor is enabled and disabled,
respectively.”…””}”(hj“  hžhhŸNh Nubah}”(h]”h ]”h"]”h$]”h&]”uh1h·hŸh¶h Kxhjf  hžhubh¸)”}”(hŒÎThey should be used to *attach* and *detach* the instrumentation to the running
system. The developer must add to the relative function all that is needed to
*attach* and *detach* its monitor to the system.”h]”(hŒThey should be used to ”…””}”(hj¡  hžhhŸNh Nubhð)”}”(hŒ*attach*”h]”hŒattach”…””}”(hj©  hžhhŸNh Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hïhj¡  ubhŒ and ”…””}”(hj¡  hžhhŸNh Nubhð)”}”(hŒ*detach*”h]”hŒdetach”…””}”(hj»  hžhhŸNh Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hïhj¡  ubhŒr the instrumentation to the running
system. The developer must add to the relative function all that is needed to
”…””}”(hj¡  hžhhŸNh Nubhð)”}”(hŒ*attach*”h]”hŒattach”…””}”(hjÍ  hžhhŸNh Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hïhj¡  ubhŒ and ”…””}”hj¡  sbhð)”}”(hŒ*detach*”h]”hŒdetach”…””}”(hjß  hžhhŸNh Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hïhj¡  ubhŒ its monitor to the system.”…””}”(hj¡  hžhhŸNh Nubeh}”(h]”h ]”h"]”h$]”h&]”uh1h·hŸh¶h K{hjf  hžhubh¸)”}”(hŒ.For the wip case, these functions were named::”h]”hŒ-For the wip case, these functions were named:”…””}”(hj÷  hžhhŸNh Nubah}”(h]”h ]”h"]”h$]”h&]”uh1h·hŸh¶h Khjf  hžhubhÖ)”}”(hŒenable_wip()
disable_wip()”h]”hŒenable_wip()
disable_wip()”…””}”hj  sbah}”(h]”h ]”h"]”h$]”h&]”håhæuh1hÕhŸh¶h Khjf  hžhubh¸)”}”(hŒBut no change was required because: by default, these functions *attach* and
*detach* the tracepoints_to_attach, which was enough for this case.”h]”(hŒ@But no change was required because: by default, these functions ”…””}”(hj  hžhhŸNh Nubhð)”}”(hŒ*attach*”h]”hŒattach”…””}”(hj  hžhhŸNh Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hïhj  ubhŒ and
”…””}”(hj  hžhhŸNh Nubhð)”}”(hŒ*detach*”h]”hŒdetach”…””}”(hj-  hžhhŸNh Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hïhj  ubhŒ; the tracepoints_to_attach, which was enough for this case.”…””}”(hj  hžhhŸNh Nubeh}”(h]”h ]”h"]”h$]”h&]”uh1h·hŸh¶h K„hjf  hžhubeh}”(h]”Œenable-and-disable-functions”ah ]”h"]”Œenable and disable functions”ah$]”h&]”uh1h¡hh£hžhhŸh¶h Kqubh¢)”}”(hhh]”(h§)”}”(hŒInstrumentation helpers”h]”hŒInstrumentation helpers”…””}”(hjP  hžhhŸNh Nubah}”(h]”h ]”h"]”h$]”h&]”uh1h¦hjM  hžhhŸh¶h Kˆubh¸)”}”(hŒTo complete the instrumentation, the *handler functions* need to be attached to a
kernel event, at the monitoring enable phase.”h]”(hŒ%To complete the instrumentation, the ”…””}”(hj^  hžhhŸNh Nubhð)”}”(hŒ*handler functions*”h]”hŒhandler functions”…””}”(hjf  hžhhŸNh Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hïhj^  ubhŒG need to be attached to a
kernel event, at the monitoring enable phase.”…””}”(hj^  hžhhŸNh Nubeh}”(h]”h ]”h"]”h$]”h&]”uh1h·hŸh¶h KŠhjM  hžhubh¸)”}”(hX  The RV interface also facilitates this step. For example, the macro "rv_attach_trace_probe()"
is used to connect the wip model events to the relative kernel event. dot2k automatically
adds "rv_attach_trace_probe()" function call for each model event in the enable phase, as
a suggestion.”h]”hX'  The RV interface also facilitates this step. For example, the macro â€œrv_attach_trace_probe()â€
is used to connect the wip model events to the relative kernel event. dot2k automatically
adds â€œrv_attach_trace_probe()â€ function call for each model event in the enable phase, as
a suggestion.”…””}”(hj~  hžhhŸNh Nubah}”(h]”h ]”h"]”h$]”h&]”uh1h·hŸh¶h KhjM  hžhubh¸)”}”(hŒ(For example, from the wip sample model::”h]”hŒ'For example, from the wip sample model:”…””}”(hjŒ  hžhhŸNh Nubah}”(h]”h ]”h"]”h$]”h&]”uh1h·hŸh¶h K’hjM  hžhubhÖ)”}”(hXŽ  static int enable_wip(void)
{
      int retval;

      retval = da_monitor_init_wip();
      if (retval)
              return retval;

      rv_attach_trace_probe("wip", /* XXX: tracepoint */, handle_preempt_enable);
      rv_attach_trace_probe("wip", /* XXX: tracepoint */, handle_sched_waking);
      rv_attach_trace_probe("wip", /* XXX: tracepoint */, handle_preempt_disable);

      return 0;
}”h]”hXŽ  static int enable_wip(void)
{
      int retval;

      retval = da_monitor_init_wip();
      if (retval)
              return retval;

      rv_attach_trace_probe("wip", /* XXX: tracepoint */, handle_preempt_enable);
      rv_attach_trace_probe("wip", /* XXX: tracepoint */, handle_sched_waking);
      rv_attach_trace_probe("wip", /* XXX: tracepoint */, handle_preempt_disable);

      return 0;
}”…””}”hjš  sbah}”(h]”h ]”h"]”h$]”h&]”håhæuh1hÕhŸh¶h K”hjM  hžhubh¸)”}”(hŒ9The probes then need to be detached at the disable phase.”h]”hŒ9The probes then need to be detached at the disable phase.”…””}”(hj¨  hžhhŸNh Nubah}”(h]”h ]”h"]”h$]”h&]”uh1h·hŸh¶h K£hjM  hžhubh¸)”}”(hŒ#[1] The wip model is presented in::”h]”hŒ"[1] The wip model is presented in:”…””}”(hj¶  hžhhŸNh Nubah}”(h]”h ]”h"]”h$]”h&]”uh1h·hŸh¶h K¥hjM  hžhubhÖ)”}”(hŒ1Documentation/trace/rv/deterministic_automata.rst”h]”hŒ1Documentation/trace/rv/deterministic_automata.rst”…””}”hjÄ  sbah}”(h]”h ]”h"]”h$]”h&]”håhæuh1hÕhŸh¶h K§hjM  hžhubh¸)”}”(hŒ!The wip monitor is presented in::”h]”hŒ The wip monitor is presented in:”…””}”(hjÒ  hžhhŸNh Nubah}”(h]”h ]”h"]”h$]”h&]”uh1h·hŸh¶h K©hjM  hžhubhÖ)”}”(hŒ/Documentation/trace/rv/da_monitor_synthesis.rst”h]”hŒ/Documentation/trace/rv/da_monitor_synthesis.rst”…””}”hjà  sbah}”(h]”h ]”h"]”h$]”h&]”håhæuh1hÕhŸh¶h K«hjM  hžhubeh}”(h]”Œinstrumentation-helpers”ah ]”h"]”Œinstrumentation helpers”ah$]”h&]”uh1h¡hh£hžhhŸh¶h Kˆubeh}”(h]”Œ&deterministic-automata-instrumentation”ah ]”h"]”Œ&deterministic automata instrumentation”ah$]”h&]”uh1h¡hhhžhhŸh¶h Kubeh}”(h]”h ]”h"]”h$]”h&]”Œsource”h¶uh1hŒcurrent_source”NŒcurrent_line”NŒsettings”Œdocutils.frontend”ŒValues”“”)”}”(h¦NŒ	generator”NŒ	datestamp”NŒsource_link”NŒ
source_url”NŒtoc_backlinks”Œentry”Œfootnote_backlinks”KŒsectnum_xform”KŒstrip_comments”NŒstrip_elements_with_classes”NŒstrip_classes”NŒreport_level”KŒ
halt_level”KŒexit_status_level”KŒdebug”NŒwarning_stream”NŒ	traceback”ˆŒinput_encoding”Œ	utf-8-sig”Œinput_encoding_error_handler”Œstrict”Œoutput_encoding”Œutf-8”Œoutput_encoding_error_handler”j!  Œerror_encoding”Œutf-8”Œerror_encoding_error_handler”Œbackslashreplace”Œlanguage_code”Œen”Œrecord_dependencies”NŒconfig”NŒ	id_prefix”hŒauto_id_prefix”Œid”Œdump_settings”NŒdump_internals”NŒdump_transforms”NŒdump_pseudo_xml”NŒexpose_internals”NŒstrict_visitor”NŒ_disable_config”NŒ_source”h¶Œ_destination”NŒ_config_files”]”Œ7/var/lib/git/docbuild/linux/Documentation/docutils.conf”aŒfile_insertion_enabled”ˆŒraw_enabled”KŒline_length_limit”M'Œpep_references”NŒpep_base_url”Œhttps://peps.python.org/”Œpep_file_url_template”Œpep-%04d”Œrfc_references”NŒrfc_base_url”Œ&https://datatracker.ietf.org/doc/html/”Œ	tab_width”KŒtrim_footnote_reference_space”‰Œsyntax_highlight”Œlong”Œsmart_quotes”ˆŒsmartquotes_locales”]”Œcharacter_level_inline_markup”‰Œdoctitle_xform”‰Œdocinfo_xform”KŒsectsubtitle_xform”‰Œimage_loading”Œlink”Œembed_stylesheet”‰Œcloak_email_addresses”ˆŒsection_self_link”‰Œenv”NubŒreporter”NŒindirect_targets”]”Œsubstitution_defs”}”Œsubstitution_names”}”Œrefnames”}”Œrefids”}”Œnameids”}”(jû  jø  jc  j`  jJ  jG  jó  jð  uŒ	nametypes”}”(jû  ‰jc  ‰jJ  ‰jó  ‰uh}”(jø  h£j`  j  jG  jf  jð  jM  uŒfootnote_refs”}”Œcitation_refs”}”Œautofootnotes”]”Œautofootnote_refs”]”Œsymbol_footnotes”]”Œsymbol_footnote_refs”]”Œ	footnotes”]”Œ	citations”]”Œautofootnote_start”KŒsymbol_footnote_start”K Œ
id_counter”Œcollections”ŒCounter”“”}”…”R”Œparse_messages”]”Œtransform_messages”]”Œtransformer”NŒinclude_log”]”Œ
decoration”Nhžhub.