€•ÁQ      Œ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”Œ*/translations/zh_CN/trace/rv/monitor_sched”Œ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”Œ*/translations/zh_TW/trace/rv/monitor_sched”Œ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”Œ*/translations/it_IT/trace/rv/monitor_sched”Œ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”Œ*/translations/ja_JP/trace/rv/monitor_sched”Œ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”Œ*/translations/ko_KR/trace/rv/monitor_sched”Œ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”Œ*/translations/sp_SP/trace/rv/monitor_sched”Œ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ŒScheduler monitors”h]”hŒScheduler monitors”…””}”(hh¨hžhhŸNh Nubah}”(h]”h ]”h"]”h$]”h&]”uh1h¦hh£hžhhŸŒD/var/lib/git/docbuild/linux/Documentation/trace/rv/monitor_sched.rst”h KubhŒbullet_list”“”)”}”(hhh]”(hŒ	list_item”“”)”}”(hŒName: sched”h]”hŒ	paragraph”“”)”}”(hhÀh]”hŒName: sched”…””}”(hhÄhžhhŸNh Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÂhŸh¶h Khh¾ubah}”(h]”h ]”h"]”h$]”h&]”uh1h¼hh¹hžhhŸh¶h Nubh½)”}”(hŒ%Type: container for multiple monitors”h]”hÃ)”}”(hhÙh]”hŒ%Type: container for multiple monitors”…””}”(hhÛhžhhŸNh Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÂhŸh¶h Khh×ubah}”(h]”h ]”h"]”h$]”h&]”uh1h¼hh¹hžhhŸh¶h Nubh½)”}”(hŒ^Author: Gabriele Monaco <gmonaco@redhat.com>, Daniel Bristot de Oliveira <bristot@kernel.org>
”h]”hÃ)”}”(hŒ]Author: Gabriele Monaco <gmonaco@redhat.com>, Daniel Bristot de Oliveira <bristot@kernel.org>”h]”(hŒAuthor: Gabriele Monaco <”…””}”(hhòhžhhŸNh NubhŒ	reference”“”)”}”(hŒgmonaco@redhat.com”h]”hŒgmonaco@redhat.com”…””}”(hhühžhhŸNh Nubah}”(h]”h ]”h"]”h$]”h&]”Œrefuri”Œmailto:gmonaco@redhat.com”uh1húhhòubhŒ>, Daniel Bristot de Oliveira <”…””}”(hhòhžhhŸNh Nubhû)”}”(hŒbristot@kernel.org”h]”hŒbristot@kernel.org”…””}”(hj  hžhhŸNh Nubah}”(h]”h ]”h"]”h$]”h&]”Œrefuri”Œmailto:bristot@kernel.org”uh1húhhòubhŒ>”…””}”(hhòhžhhŸNh Nubeh}”(h]”h ]”h"]”h$]”h&]”uh1hÂhŸh¶h Khhîubah}”(h]”h ]”h"]”h$]”h&]”uh1h¼hh¹hžhhŸh¶h Nubeh}”(h]”h ]”h"]”h$]”h&]”Œbullet”Œ-”uh1h·hŸh¶h Khh£hžhubh¢)”}”(hhh]”(h§)”}”(hŒDescription”h]”hŒDescription”…””}”(hj;  hžhhŸNh Nubah}”(h]”h ]”h"]”h$]”h&]”uh1h¦hj8  hžhhŸh¶h K	ubhÃ)”}”(hX  Monitors describing complex systems, such as the scheduler, can easily grow to
the point where they are just hard to understand because of the many possible
state transitions.
Often it is possible to break such descriptions into smaller monitors,
sharing some or all events. Enabling those smaller monitors concurrently is,
in fact, testing the system as if we had one single larger monitor.
Splitting models into multiple specification is not only easier to
understand, but gives some more clues when we see errors.”h]”hX  Monitors describing complex systems, such as the scheduler, can easily grow to
the point where they are just hard to understand because of the many possible
state transitions.
Often it is possible to break such descriptions into smaller monitors,
sharing some or all events. Enabling those smaller monitors concurrently is,
in fact, testing the system as if we had one single larger monitor.
Splitting models into multiple specification is not only easier to
understand, but gives some more clues when we see errors.”…””}”(hjI  hžhhŸNh Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÂhŸh¶h Khj8  hžhubhÃ)”}”(hŒÛThe sched monitor is a set of specifications to describe the scheduler behaviour.
It includes several per-cpu and per-task monitors that work independently to verify
different specifications the scheduler should follow.”h]”hŒÛThe sched monitor is a set of specifications to describe the scheduler behaviour.
It includes several per-cpu and per-task monitors that work independently to verify
different specifications the scheduler should follow.”…””}”(hjW  hžhhŸNh Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÂhŸh¶h Khj8  hžhubhÃ)”}”(hXk  To make this system as straightforward as possible, sched specifications are *nested*
monitors, whereas sched itself is a *container*.
From the interface perspective, sched includes other monitors as sub-directories,
enabling/disabling or setting reactors to sched, propagates the change to all monitors,
however single monitors can be used independently as well.”h]”(hŒMTo make this system as straightforward as possible, sched specifications are ”…””}”(hje  hžhhŸNh NubhŒemphasis”“”)”}”(hŒ*nested*”h]”hŒnested”…””}”(hjo  hžhhŸNh Nubah}”(h]”h ]”h"]”h$]”h&]”uh1jm  hje  ubhŒ%
monitors, whereas sched itself is a ”…””}”(hje  hžhhŸNh Nubjn  )”}”(hŒ*container*”h]”hŒ	container”…””}”(hj  hžhhŸNh Nubah}”(h]”h ]”h"]”h$]”h&]”uh1jm  hje  ubhŒæ.
From the interface perspective, sched includes other monitors as sub-directories,
enabling/disabling or setting reactors to sched, propagates the change to all monitors,
however single monitors can be used independently as well.”…””}”(hje  hžhhŸNh Nubeh}”(h]”h ]”h"]”h$]”h&]”uh1hÂhŸh¶h Khj8  hžhubhÃ)”}”(hŒíIt is important that future modules are built after their container (sched, in
this case), otherwise the linker would not respect the order and the nesting
wouldn't work as expected.
To do so, simply add them after sched in the Makefile.”h]”hŒïIt is important that future modules are built after their container (sched, in
this case), otherwise the linker would not respect the order and the nesting
wouldnâ€™t work as expected.
To do so, simply add them after sched in the Makefile.”…””}”(hj™  hžhhŸNh Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÂhŸh¶h Khj8  hžhubeh}”(h]”Œdescription”ah ]”h"]”Œdescription”ah$]”h&]”uh1h¡hh£hžhhŸh¶h K	ubh¢)”}”(hhh]”(h§)”}”(hŒSpecifications”h]”hŒSpecifications”…””}”(hj²  hžhhŸNh Nubah}”(h]”h ]”h"]”h$]”h&]”uh1h¦hj¯  hžhhŸh¶h K$ubhÃ)”}”(hŒ}The specifications included in sched are currently a work in progress, adapting the ones
defined in by Daniel Bristot in [1].”h]”hŒ}The specifications included in sched are currently a work in progress, adapting the ones
defined in by Daniel Bristot in [1].”…””}”(hjÀ  hžhhŸNh Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÂhŸh¶h K&hj¯  hžhubhÃ)”}”(hŒ$Currently we included the following:”h]”hŒ$Currently we included the following:”…””}”(hjÎ  hžhhŸNh Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÂhŸh¶h K)hj¯  hžhubh¢)”}”(hhh]”(h§)”}”(hŒMonitor tss”h]”hŒMonitor tss”…””}”(hjß  hžhhŸNh Nubah}”(h]”h ]”h"]”h$]”h&]”uh1h¦hjÜ  hžhhŸh¶h K,ubhÃ)”}”(hŒThe task switch while scheduling (tss) monitor ensures a task switch happens
only in scheduling context, that is inside a call to `__schedule`::”h]”(hŒ‚The task switch while scheduling (tss) monitor ensures a task switch happens
only in scheduling context, that is inside a call to ”…””}”(hjí  hžhhŸNh NubhŒtitle_reference”“”)”}”(hŒ`__schedule`”h]”hŒ
__schedule”…””}”(hj÷  hžhhŸNh Nubah}”(h]”h ]”h"]”h$]”h&]”uh1jõ  hjí  ubhŒ:”…””}”(hjí  hžhhŸNh Nubeh}”(h]”h ]”h"]”h$]”h&]”uh1hÂhŸh¶h K.hjÜ  hžhubhŒliteral_block”“”)”}”(hXÙ                     |
                   |
                   v
                 +-----------------+
                 |     thread      | <+
                 +-----------------+  |
                   |                  |
                   | schedule_entry   | schedule_exit
                   v                  |
  sched_switch                        |
+---------------                      |
|                       sched         |
+-------------->                     -+”h]”hXÙ                     |
                   |
                   v
                 +-----------------+
                 |     thread      | <+
                 +-----------------+  |
                   |                  |
                   | schedule_entry   | schedule_exit
                   v                  |
  sched_switch                        |
+---------------                      |
|                       sched         |
+-------------->                     -+”…””}”hj  sbah}”(h]”h ]”h"]”h$]”h&]”Œ	xml:space”Œpreserve”uh1j  hŸh¶h K1hjÜ  hžhubeh}”(h]”Œmonitor-tss”ah ]”h"]”Œmonitor tss”ah$]”h&]”uh1h¡hj¯  hžhhŸh¶h K,ubh¢)”}”(hhh]”(h§)”}”(hŒMonitor sco”h]”hŒMonitor sco”…””}”(hj,  hžhhŸNh Nubah}”(h]”h ]”h"]”h$]”h&]”uh1h¦hj)  hžhhŸh¶h K@ubhÃ)”}”(hŒoThe scheduling context operations (sco) monitor ensures changes in a task state
happen only in thread context::”h]”hŒnThe scheduling context operations (sco) monitor ensures changes in a task state
happen only in thread context:”…””}”(hj:  hžhhŸNh Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÂhŸh¶h KBhj)  hžhubj  )”}”(hX                        |
                      |
                      v
  sched_set_state   +------------------+
+------------------ |                  |
|                   |  thread_context  |
+-----------------> |                  | <+
                    +------------------+  |
                      |                   |
                      | schedule_entry    | schedule_exit
                      v                   |
                                          |
                     scheduling_context  -+”h]”hX                        |
                      |
                      v
  sched_set_state   +------------------+
+------------------ |                  |
|                   |  thread_context  |
+-----------------> |                  | <+
                    +------------------+  |
                      |                   |
                      | schedule_entry    | schedule_exit
                      v                   |
                                          |
                     scheduling_context  -+”…””}”hjH  sbah}”(h]”h ]”h"]”h$]”h&]”j  j   uh1j  hŸh¶h KFhj)  hžhubeh}”(h]”Œmonitor-sco”ah ]”h"]”Œmonitor sco”ah$]”h&]”uh1h¡hj¯  hžhhŸh¶h K@ubh¢)”}”(hhh]”(h§)”}”(hŒMonitor snroc”h]”hŒMonitor snroc”…””}”(hja  hžhhŸNh Nubah}”(h]”h ]”h"]”h$]”h&]”uh1h¦hj^  hžhhŸh¶h KUubhÃ)”}”(hŒ£The set non runnable on its own context (snroc) monitor ensures changes in a
task state happens only in the respective task's context. This is a per-task
monitor::”h]”hŒ¤The set non runnable on its own context (snroc) monitor ensures changes in a
task state happens only in the respective taskâ€™s context. This is a per-task
monitor:”…””}”(hjo  hžhhŸNh Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÂhŸh¶h KWhj^  hžhubj  )”}”(hX                        |
                      |
                      v
                    +------------------+
                    |  other_context   | <+
                    +------------------+  |
                      |                   |
                      | sched_switch_in   | sched_switch_out
                      v                   |
  sched_set_state                         |
+------------------                       |
|                       own_context       |
+----------------->                      -+”h]”hX                        |
                      |
                      v
                    +------------------+
                    |  other_context   | <+
                    +------------------+  |
                      |                   |
                      | sched_switch_in   | sched_switch_out
                      v                   |
  sched_set_state                         |
+------------------                       |
|                       own_context       |
+----------------->                      -+”…””}”hj}  sbah}”(h]”h ]”h"]”h$]”h&]”j  j   uh1j  hŸh¶h K[hj^  hžhubeh}”(h]”Œmonitor-snroc”ah ]”h"]”Œmonitor snroc”ah$]”h&]”uh1h¡hj¯  hžhhŸh¶h KUubh¢)”}”(hhh]”(h§)”}”(hŒMonitor scpd”h]”hŒMonitor scpd”…””}”(hj–  hžhhŸNh Nubah}”(h]”h ]”h"]”h$]”h&]”uh1h¦hj“  hžhhŸh¶h KjubhÃ)”}”(hŒqThe schedule called with preemption disabled (scpd) monitor ensures schedule is
called with preemption disabled::”h]”hŒpThe schedule called with preemption disabled (scpd) monitor ensures schedule is
called with preemption disabled:”…””}”(hj¤  hžhhŸNh Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÂhŸh¶h Klhj“  hžhubj  )”}”(hX)                       |
                     |
                     v
                   +------------------+
                   |    cant_sched    | <+
                   +------------------+  |
                     |                   |
                     | preempt_disable   | preempt_enable
                     v                   |
  schedule_entry                         |
  schedule_exit                          |
+-----------------      can_sched        |
|                                        |
+---------------->                      -+”h]”hX)                       |
                     |
                     v
                   +------------------+
                   |    cant_sched    | <+
                   +------------------+  |
                     |                   |
                     | preempt_disable   | preempt_enable
                     v                   |
  schedule_entry                         |
  schedule_exit                          |
+-----------------      can_sched        |
|                                        |
+---------------->                      -+”…””}”hj²  sbah}”(h]”h ]”h"]”h$]”h&]”j  j   uh1j  hŸh¶h Kohj“  hžhubeh}”(h]”Œmonitor-scpd”ah ]”h"]”Œmonitor scpd”ah$]”h&]”uh1h¡hj¯  hžhhŸh¶h Kjubh¢)”}”(hhh]”(h§)”}”(hŒMonitor snep”h]”hŒMonitor snep”…””}”(hjË  hžhhŸNh Nubah}”(h]”h ]”h"]”h$]”h&]”uh1h¦hjÈ  hžhhŸh¶h KubhÃ)”}”(hŒhThe schedule does not enable preempt (snep) monitor ensures a schedule call
does not enable preemption::”h]”hŒgThe schedule does not enable preempt (snep) monitor ensures a schedule call
does not enable preemption:”…””}”(hjÙ  hžhhŸNh Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÂhŸh¶h KhjÈ  hžhubj  )”}”(hXo                        |
                      |
                      v
  preempt_disable   +------------------------+
  preempt_enable    |                        |
+------------------ | non_scheduling_context |
|                   |                        |
+-----------------> |                        | <+
                    +------------------------+  |
                      |                         |
                      | schedule_entry          | schedule_exit
                      v                         |
                                                |
                        scheduling_contex      -+”h]”hXo                        |
                      |
                      v
  preempt_disable   +------------------------+
  preempt_enable    |                        |
+------------------ | non_scheduling_context |
|                   |                        |
+-----------------> |                        | <+
                    +------------------------+  |
                      |                         |
                      | schedule_entry          | schedule_exit
                      v                         |
                                                |
                        scheduling_contex      -+”…””}”hjç  sbah}”(h]”h ]”h"]”h$]”h&]”j  j   uh1j  hŸh¶h K„hjÈ  hžhubeh}”(h]”Œmonitor-snep”ah ]”h"]”Œmonitor snep”ah$]”h&]”uh1h¡hj¯  hžhhŸh¶h Kubh¢)”}”(hhh]”(h§)”}”(hŒMonitor sncid”h]”hŒMonitor sncid”…””}”(hj   hžhhŸNh Nubah}”(h]”h ]”h"]”h$]”h&]”uh1h¦hjý  hžhhŸh¶h K”ubhÃ)”}”(hŒxThe schedule not called with interrupt disabled (sncid) monitor ensures
schedule is not called with interrupt disabled::”h]”hŒwThe schedule not called with interrupt disabled (sncid) monitor ensures
schedule is not called with interrupt disabled:”…””}”(hj  hžhhŸNh Nubah}”(h]”h ]”h"]”h$]”h&]”uh1hÂhŸh¶h K–hjý  hžhubj  )”}”(hXð                       |
                     |
                     v
  schedule_entry   +--------------+
  schedule_exit    |              |
+----------------- |  can_sched   |
|                  |              |
+----------------> |              | <+
                   +--------------+  |
                     |               |
                     | irq_disable   | irq_enable
                     v               |
                                     |
                      cant_sched    -+”h]”hXð                       |
                     |
                     v
  schedule_entry   +--------------+
  schedule_exit    |              |
+----------------- |  can_sched   |
|                  |              |
+----------------> |              | <+
                   +--------------+  |
                     |               |
                     | irq_disable   | irq_enable
                     v               |
                                     |
                      cant_sched    -+”…””}”hj  sbah}”(h]”h ]”h"]”h$]”h&]”j  j   uh1j  hŸh¶h K™hjý  hžhubeh}”(h]”Œmonitor-sncid”ah ]”h"]”Œmonitor sncid”ah$]”h&]”uh1h¡hj¯  hžhhŸh¶h K”ubeh}”(h]”Œspecifications”ah ]”h"]”Œspecifications”ah$]”h&]”uh1h¡hh£hžhhŸh¶h K$ubh¢)”}”(hhh]”(h§)”}”(hŒ
References”h]”hŒ
References”…””}”(hj=  hžhhŸNh Nubah}”(h]”h ]”h"]”h$]”h&]”uh1h¦hj:  hžhhŸh¶h K©ubhÃ)”}”(hŒ)[1] - https://bristot.me/linux-task-model”h]”(hŒ[1] - ”…””}”(hjK  hžhhŸNh Nubhû)”}”(hŒ#https://bristot.me/linux-task-model”h]”hŒ#https://bristot.me/linux-task-model”…””}”(hjS  hžhhŸNh Nubah}”(h]”h ]”h"]”h$]”h&]”Œrefuri”jU  uh1húhjK  ubeh}”(h]”h ]”h"]”h$]”h&]”uh1hÂhŸh¶h K«hj:  hžhubeh}”(h]”Œ
references”ah ]”h"]”Œ
references”ah$]”h&]”uh1h¡hh£hžhhŸh¶h K©ubeh}”(h]”Œscheduler-monitors”ah ]”h"]”Œscheduler monitors”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”}”(ju  jr  j¬  j©  j7  j4  j&  j#  j[  jX  j  j  jÅ  jÂ  jú  j÷  j/  j,  jm  jj  uŒ	nametypes”}”(ju  ‰j¬  ‰j7  ‰j&  ‰j[  ‰j  ‰jÅ  ‰jú  ‰j/  ‰jm  ‰uh}”(jr  h£j©  j8  j4  j¯  j#  jÜ  jX  j)  j  j^  jÂ  j“  j÷  jÈ  j,  jý  jj  j:  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.