Gregory Nutt d65be718c2 sched_note: Extend OS instrumentation to include some SMP events.

2016-11-27 17:14:57 -06:00

..

clock

sched/clock: Correct calculation for the case of Tickless mode with a 32-bit timer. In that case, the calculation was returning millisecond accuracy. That is not good when the timer accuracy is < 1 msec.

2016-11-19 09:55:21 -06:00

environ

…

errno

…

group

…

init

…

irq

SMP: Add support for linking spinlocks into a special, non-cached memory region.

2016-11-26 08:47:03 -06:00

module

…

mqueue

…

paging

…

pthread

…

sched

sched_note: Extend OS instrumentation to include some SMP events.

2016-11-27 17:14:57 -06:00

semaphore

SMP: Add support for linking spinlocks into a special, non-cached memory region.

2016-11-26 08:47:03 -06:00

signal

This commit adds a new internal interfaces and fixes a problem with three APIs in the SMP configuration. The new internal interface is sched_cpu_pause(tcb). This function will pause a CPU if the task associated with 'tcb' is running on that CPU. This allows a different CPU to modify that OS data stuctures associated with the CPU. When the other CPU is resumed, those modifications can safely take place.

2016-11-20 07:57:18 -06:00

task

SMP: Add logic to avoid a deadlock condition when CPU1 is hung waiting for g_cpu_irqlock and CPU0 is waitin for g_cpu_paused

2016-11-22 11:34:16 -06:00

timer

…

wdog

Most interrupt handling logic interacts with tasks via standard mechanism such as sem_post, sigqueue, mq_send, etc. This all call enter_critical_section and are assumed to be safe in the SMP case.

2016-11-18 13:57:30 -06:00

wqueue

Signal sent from work_signal() may interrupt the low priority worker thread that is already running. For example, the worker thread that is waiting for a semaphore could be woken up by the signal and break any synchronization assumption as a result. It also does not make any sense to send signal if it is already running and busy. This commit fixes it.

2016-11-06 08:00:12 -06:00

.gitignore

…

Kconfig

sched_note: Extend OS instrumentation to include some SMP events.

2016-11-27 17:14:57 -06:00

Makefile

…