[riot-commits] [RIOT-OS/RIOT] 370f92: core: `sched_switch()` switch if not on runqueue

[Ludwig Ortmann]

  Branch: refs/heads/master
  Home:   https://github.com/RIOT-OS/RIOT
  Commit: 370f926bad275d64913391dfd6b869b02184fb05
      https://github.com/RIOT-OS/RIOT/commit/370f926bad275d64913391dfd6b869b02184fb05
  Author: René Kijewski <rene.kijewski at fu-berlin.de>
  Date:   2014-12-11 (Thu, 11 Dec 2014)

  Changed paths:
    M core/include/sched.h
    M core/sched.c

  Log Message:
  -----------
  core: `sched_switch()` switch if not on runqueue

Fixes #1935.

`sched_switch()` should not only switch if the other priority is higher,
but also if the current thread was moved from the runqueue.


  Commit: 310ea35018d94306aeeed1c9df07057954016c13
      https://github.com/RIOT-OS/RIOT/commit/310ea35018d94306aeeed1c9df07057954016c13
  Author: René Kijewski <rene.kijewski at fu-berlin.de>
  Date:   2014-12-11 (Thu, 11 Dec 2014)

  Changed paths:
    M core/sched.c

  Log Message:
  -----------
  Don't evaluate inISR() if not needed


  Commit: ad14b60fe79358549fc1b34bc99fbf6ba97115bf
      https://github.com/RIOT-OS/RIOT/commit/ad14b60fe79358549fc1b34bc99fbf6ba97115bf
  Author: Ludwig Ortmann <ludwig.ortmann at fu-berlin.de>
  Date:   2014-12-16 (Tue, 16 Dec 2014)

  Changed paths:
    M core/include/sched.h
    M core/sched.c

  Log Message:
  -----------
  Merge pull request #1958 from Kijewski/sched_switch-on-run-queue

core: `sched_switch()` switch if not on runqueue


Compare: https://github.com/RIOT-OS/RIOT/compare/e64ab2aed5eb...ad14b60fe793