Commit b1fefb19 authored by bouazizrahma's avatar bouazizrahma

fix the generation of the vcd trace using mutex

parent fd5e2163
......@@ -62,15 +62,15 @@ int __po_hi_protected_init ()
int __po_hi_protected_lock (__po_hi_protected_t protected_id)
{
__PO_HI_INSTRUMENTATION_VCD_WRITE("1w%d\n", protected_id);
//__PO_HI_INSTRUMENTATION_VCD_WRITE("1w%d\n", protected_id);
if (__po_hi_mutex_lock (&__po_hi_protected_mutexes[protected_id]) != __PO_HI_SUCCESS )
{
__PO_HI_INSTRUMENTATION_VCD_WRITE("0w%d\n", protected_id);
//__PO_HI_INSTRUMENTATION_VCD_WRITE("0w%d\n", protected_id);
__PO_HI_DEBUG_CRITICAL ("[PROTECTED] Error when lock protected resource %d\n", protected_id);
return __PO_HI_ERROR_PROTECTED_LOCK;
}
__PO_HI_INSTRUMENTATION_VCD_WRITE("0w%d\n", protected_id);
__PO_HI_INSTRUMENTATION_VCD_WRITE("1l%d\n", protected_id);
//__PO_HI_INSTRUMENTATION_VCD_WRITE("0w%d\n", protected_id);
//__PO_HI_INSTRUMENTATION_VCD_WRITE("1l%d\n", protected_id);
return __PO_HI_SUCCESS;
}
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment