8f716a386b
SMP: Use irq_cpu_locked() in sched_removereadytorun() and sched_setpriority()
2016-12-29 10:40:58 -06:00
af92a67fc5
SMP: Use irq_cpu_locked() in sched_mergepending()
2016-12-29 08:53:31 -06:00
e7d2b9f0e8
SMP: Move sharable function to common file as irq_cpu_locked(). Use irq_cpu_locked() in sched_unlock()
2016-12-29 08:17:10 -06:00
96394f339e
SMP: Fix a gap where we may try to make modifications to the task lists without being in a critical sections. That permits concurrent access to the tasks lists and many subtle problems. This fix just remains in the critical section throughout the operation (and possible until the task is restore in the event of a context switch). Makes a big difference in stability
2016-12-28 13:58:24 -06:00
88da65ad8a
sched_cpulocked: Avoid use of spinlock. That has been reported to cause a deadlock.
2016-12-28 12:10:17 -06:00
72490f84e6
SMP: Make checks for CPU lock set more robust. There are certains conditions early in initialization on during interrupt handling where things need to be done a little differently.
2016-12-28 10:21:05 -06:00
cfb876263a
SMP: There were certain conditions that we must avoid by preventing releasing the pending tasks while withn a critical section. But this logic was incomplete; there was no logic to prevent other CPUs from adding new, running tasks while on CPU is in a critical section.
...
This commit corrects this. This is matching logic in sched_addreadytorun to avoid starting new tasks within the critical section (unless the CPU is the holder of the lock). The holder of the IRQ lock must be permitted to do whatever it needs to do.
2016-12-27 08:49:07 -06:00
e0f3f4ae19
Update some coments
2016-12-26 16:12:27 -06:00
849a5dc2a9
SMP: Enforce this rule: Tasks which are normally restored when sched_unlock() is called must remain pending (1) if we are in a critical section, i.e., g_cpu_irqlock is locked , or (2) other CPUs still have pre-emption disabled, i.e., g_cpu_schedlock is locked. In those cases, the release of the pending tasks must be deferred until those conditions are met.
2016-12-26 08:15:02 -06:00
d45a81d643
Revert "SMP: Fix a error introduced in 36b676eea6 and fully decouple disabling of pre-emption from critical sections."
...
This reverts commit 9aedf1bdec
2016-12-26 07:48:22 -06:00
9aedf1bdec
SMP: Fix a error introduced in 36b676eea6 and fully decouple disabling of pre-emption from critical sections.
2016-12-25 06:54:43 -06:00
efb86382c3
SMP: Back out deferred IRQ locking. This was accidentally merged into master and it looks like it is going to be more work than I thought to get it working again. Changes will go to the irqlock branch.
2016-12-24 19:53:37 -06:00
3af6b2a9a6
Update a comment
2016-12-24 19:01:07 -06:00
f55bad863b
SMP: Fix logic error in last change: Deferred restoration of IRQ lock only applies if the context switch was on this CPU.
2016-12-24 18:52:58 -06:00
36b676eea6
SMP sched_unlock: Should merging depend on g_cpu_irqlock or not? Let's at least be consistent. And don't use irqcount; use g_cpu_irqlock.
2016-12-24 13:45:11 -06:00
d75a7643d0
Fix a trivial typo
2016-12-23 13:01:20 -06:00
e6fff09ef8
Implement deferred IRQ locking. So far only form ARMv7-M.
2016-12-23 07:55:41 -06:00
d648f9c8b4
Add task_testcancel()
2016-12-10 16:34:14 -06:00
f132960789
Add task_setcanceltype()
2016-12-10 16:06:14 -06:00
5fb207eb36
Add task_setcancelstate()
2016-12-10 15:16:46 -06:00
698597a838
task_delete() now obeys all cancellation point semantics.
2016-12-10 14:39:19 -06:00
6997cda1b5
Grrr... cloned typos!
2016-12-10 09:45:55 -06:00
842ec7e612
ifdef out some non-reachable code
2016-12-10 09:43:04 -06:00
b52e4e5ecd
Move cancellation point definitions to their own header file.
2016-12-10 09:08:26 -06:00
bc3ca25cc7
Cancellation points: Close up some logic to eliminte some race conditions.
2016-12-10 08:36:58 -06:00
e62b3bccd3
pthread_setcanceltype() and pthread_testcancel() do not have to be system calls if cancellation points are not enabled.
2016-12-10 07:40:48 -06:00
a0f567f4a3
Update TODO, cosmetic changes, spelling -- US English spells it canceled and canceling vs cancelled and cancelling. No idea why.
2016-12-09 18:39:40 -06:00
018eb7c1d2
Cancellation points no longer depend on EXPERIMENTAL
2016-12-09 17:44:37 -06:00
a76e729b0d
Trivial, cosmetic
2016-12-09 17:27:57 -06:00
113d8bdcca
Fix some SMP-related compilation errors
2016-12-09 17:10:59 -06:00
78cdc9f113
Fix a typo in a debug assertion.
2016-12-09 16:59:10 -06:00
7ee0862e67
Merge remote-tracking branch 'origin/master' into cancelpt
2016-12-09 16:54:15 -06:00
b07964461e
pthread_mutex_destroy(): Fix an error in destorynig a mutex which can occur after a pthread has been canceled while holding the mutex.
2016-12-09 16:53:29 -06:00
7fce8022c6
Finishes all cancellation point logic
2016-12-09 16:50:34 -06:00
d8783a7345
Update Documentation
2016-12-09 14:41:54 -06:00
3eba0acb1c
More cancellation points.
2016-12-09 13:49:36 -06:00
c9ca97b4b5
cancellation points are basically function. More tested is needed and additional cancellation points must be implemented before this can be merged back to master.
2016-12-09 12:01:18 -06:00
018db84567
Flesh out more cancellation point logic.
2016-12-09 10:31:40 -06:00
d35e589d56
Flesh basic cancellation point support
2016-12-09 09:44:23 -06:00
82a79b9c1b
Add framework for cancellation point support.
2016-12-09 08:13:28 -06:00
acaae12e8b
Add pthread_testcancel(), pthread_testcancel(), and definitiions for cancellation types.
2016-12-09 07:23:00 -06:00
6224e47533
pthread cleanup stack: Replace critical section with sched_lock/unlock(). The cleanup stack modification only needs to have the TCB stationary. The stack is never modified from interrupt level logic
2016-12-08 14:33:02 -06:00
ab43681f15
Update TODO and some comments.
2016-12-08 10:24:40 -06:00
a1fbc2ad0d
pthreads: Add pthread_cleanup_push() and pthread_cleanup_pop()
2016-12-08 09:27:13 -06:00
7632dfd6c7
Update some comments.
2016-12-08 07:52:02 -06:00
a7b688e87b
sched notes: Add additional note to see if/when CPU is started in SMP mode.
2016-12-07 09:08:20 -06:00
9ed0387379
Olimex-LPC1766-STK: Enable procfs in NSH configuration. Automount /proc on startup.
2016-12-05 08:52:40 -06:00
13c9031a8d
Fix DEBUGASSERT() in group_signal.c
2016-12-04 06:52:08 -06:00
b78c3fcc30
Finish backing out previous change
2016-11-30 08:13:43 -06:00
e6eb2e8bfa
Back out the last change. I just noticed some complexities that need to be verified before this is released onto the world.
2016-11-30 07:41:48 -06:00
Gregory Nutt
Masayuki Ishikawa