Relationship between thread compute time and calls sequence compute times

[stevevestal]

When a thread has both a calls sequence declaration whose subprograms declare Compute_Execution_Times, and the thread itself declares a value for that property, what is the relationship? Is the thread value added to the sum of the sequence times? Or is the thread value an upper bound on the sums of the various calls sequences declared (there could be different sequences in different modes)?

[stevevestal]

I should add, my recommendation is to say they add. That is, any compute time associated with a parent subprogram or thread is added to the sum of the compute times of its call sequence. This declares the compute time of the "body" of the thread or calling subprogram that invokes the sequence of calls. This is just a clarification for what the standard means.

[jjhugues]

The initial definition is

_The values specified for this property for a thread are bounds on the Compute_ExecutionTime values specified for ports or subprogram access that dispatch execution.

so they should not add, but serve as a contract. A natural errata is thus

_The values specified for this property for a thread or subprograms are bounds on the Compute_ExecutionTime values specified for ports (in the case of threads), subprogram access that dispatch execution, and of the subprogram or call sequences that are executed..

[jjhugues]

This has been captured in the document