# Questions about SMP

**URL:** <https://sel4.discourse.group/t/questions-about-smp/531>\
**Category:** seL4 kernel\
**Created:** [June 21, 2022, 2:27pm UTC](https://sel4.discourse.group/t/questions-about-smp/531 "2022-06-21T14:27:54Z")\
**Posts on this page:** 4\
**Page:** 1

<div class="post-metadata">

**Author:** ![Oliver](https://avatars.discourse-cdn.com/v4/letter/o/85f322/32.png) [@Oliver](https://sel4.discourse.group/u/Oliver)\
**Post date:** [June 21, 2022, 2:27pm UTC](https://sel4.discourse.group/t/questions-about-smp/531/1 "2022-06-21T14:27:54Z")

</div>

I mainly want to know how threads is scheduled in SMP configuration.  
Is there any documents or manuals on SMP configuration?

---

<div class="post-metadata">

**Author:** ![axel](https://yyz2.discourse-cdn.com/free1/user_avatar/sel4.discourse.group/axel/32/43_2.png) [@axel](https://sel4.discourse.group/u/axel)\
**Post date:** [June 21, 2022, 2:59pm UTC](https://sel4.discourse.group/t/questions-about-smp/531/2 "2022-06-21T14:59:50Z")

</div>

Didn’t you ask this in [Scheduling in smp configuration](https://sel4.discourse.group/t/scheduling-in-smp-configuration/503) already? Can you be more specific, what information is still missing from the answers there?

---

<div class="post-metadata">

**Author:** ![Oliver](https://avatars.discourse-cdn.com/v4/letter/o/85f322/32.png) [@Oliver](https://sel4.discourse.group/u/Oliver)\
**Post date:** [July 1, 2022, 7:22am UTC](https://sel4.discourse.group/t/questions-about-smp/531/3 "2022-07-01T07:22:40Z")

</div>

For example, the code related to IPI also involves rescheduling, but I just look at the code and don’t understand it very well. Is there any documents explaining IPI in seL4?

---

<div class="post-metadata">

**Author:** ![kent-mcleod2](https://avatars.discourse-cdn.com/v4/letter/k/34f0e0/32.png) [@kent-mcleod2](https://sel4.discourse.group/u/kent-mcleod2)\
**Post date:** [August 26, 2022, 6:59am UTC](https://sel4.discourse.group/t/questions-about-smp/531/4 "2022-08-26T06:59:28Z")

</div>

You can find out more about the design of the SMP configuration in the early paper: [https://trustworthy.systems/publications/nicta\_full\_text/8768.pdf](https://trustworthy.systems/publications/nicta_full_text/8768.pdf)