For every mutex held by a thread it is not feasible to have reference to
CORE_mutex_order_list of all mutex that it holds.
* I feel that current solution with CORE_mutex_order_list as argument is
the best choice to have as it is O(1) operation and needs no extra
bookkeeping for the thread.*
In JPF
We will rely on the linker should not pull the function in if unused.
So if it is only referenced by test code, this solution may be fine.
Gedare
On Sun, Aug 16, 2015 at 7:50 PM, Cyrille Artho wrote:
> Hi all,
> As I wrote earlier, I think it makes sense to include validate but
> compile it cond
On Sat, Aug 15, 2015 at 1:22 PM, Rohini Kulkarni wrote:
>
>
> On Wed, Aug 12, 2015 at 1:29 AM, Joel Sherrill
> wrote:
>>
>>
>>
>> On 8/11/2015 2:06 PM, Rohini Kulkarni wrote:
>>>
>>> Hi,
>>>
>>> I would have to register the related mailbox interrupt and associate it
>>> with a handler that should
