diff --git a/src/vault/gear/scheduler.hpp b/src/vault/gear/scheduler.hpp index abb08f232..2592c074e 100644 --- a/src/vault/gear/scheduler.hpp +++ b/src/vault/gear/scheduler.hpp @@ -205,20 +205,8 @@ namespace gear { /** build Activity chain and hand-over to the Scheduler. */ ScheduleSpec post(); - - ScheduleSpec - linkToSuccessor (ScheduleSpec& succSpec) - { - term_->appendNotificationTo (*succSpec.term_); - return move(*this); - } - - ScheduleSpec - linkToPredecessor (ScheduleSpec& predSpec) - { - predSpec.term_->appendNotificationTo (*term_); - return move(*this); - } + ScheduleSpec linkToSuccessor (ScheduleSpec&); + ScheduleSpec linkToPredecessor(ScheduleSpec&); }; @@ -588,6 +576,23 @@ namespace gear { return move(*this); } + inline ScheduleSpec + ScheduleSpec::linkToSuccessor (ScheduleSpec& succSpec) + { // protect allocation + auto guard = theScheduler_->layer2_.requireGroomingTokenHere(); + term_->appendNotificationTo (*succSpec.term_); + return move(*this); + } + + inline ScheduleSpec + ScheduleSpec::linkToPredecessor (ScheduleSpec& predSpec) + { // protect allocation + auto guard = theScheduler_->layer2_.requireGroomingTokenHere(); + predSpec.term_->appendNotificationTo (*term_); + return move(*this); + } + + /** * Enqueue for time-bound execution, possibly dispatch immediately. diff --git a/wiki/thinkPad.ichthyo.mm b/wiki/thinkPad.ichthyo.mm index b346273ea..155dcfcb0 100644 --- a/wiki/thinkPad.ichthyo.mm +++ b/wiki/thinkPad.ichthyo.mm @@ -105715,7 +105715,7 @@ Date:   Thu Apr 20 18:53:17 2023 +0200
- + @@ -105822,8 +105822,31 @@ Date:   Thu Apr 20 18:53:17 2023 +0200
- + + + + + + + + + + +

+ ...und diese wird im aktuellen Test-Setup nicht von der Grooming-Token-Klammer erfaßt +

+ + + + + + + + + + + @@ -106554,7 +106577,7 @@ Date:   Thu Apr 20 18:53:17 2023 +0200
 - + @@ -107116,12 +107139,26 @@ Date:   Thu Apr 20 18:53:17 2023 +0200
 + + + + + + + + + + + + + + @@ -107144,7 +107181,7 @@ Date:   Thu Apr 20 18:53:17 2023 +0200
 - + @@ -108012,6 +108049,7 @@ Date:   Thu Apr 20 18:53:17 2023 +0200
 + @@ -108103,6 +108141,17 @@ Date:   Thu Apr 20 18:53:17 2023 +0200
 + + + + + + + + + + + @@ -108147,7 +108196,7 @@ Date:   Thu Apr 20 18:53:17 2023 +0200
- + @@ -108157,19 +108206,23 @@ Date:   Thu Apr 20 18:53:17 2023 +0200
 + + - - + + + + - - - - - - + + + + + +