Add three separate definitions for priority policy compliance

This is a follow up from !188 (closed).

Instead of [respects_policy_at_preemption_time] we now have

• [respects_JLDP_policy_at_preemption_point]
• [respects_JLFP_policy_at_preemption_point]
• [respects_FP_policy_at_preemption_point]

This helps in avoiding the issue we were having with preemptions discussed here

mentioned in merge request !188 (closed)

@mmaida @sbozhko — Marco, Sergey, could you please review this MR?

added 1 commit

• 6723083f - add missing commments

Compare with previous version

added 3 commits

• 6723083f...f41e95cd - 2 commits from branch RT-PROOFS:master
• 8529459d - Add three separate definitions for priority policy compliance

Compare with previous version

added 1 commit

• 6ee7ec37 - make comments better

Compare with previous version

resolved all threads

added 1 commit

• 202f222d - add comments and polish

Compare with previous version

resolved all threads

Excellent work, thank you!

merged