t 1065.0 665.0 {cpu2.unlock(S2)} 0 w n t 1465.0 670.0 {cpu3.unlock(S3)} 0 w n p 115.0 485.0 {icq.no_critiacal_section} 1 n p 1180.0 205.0 {S2.unlocked} 1 n t 335.0 800.0 {Icq.unlock(S1,S2,S3)} s 0 w n {} ne p 715.0 395.0 {cpu1.no_critical_section} 1 n t 715.0 490.0 {cpu1.lock(S1)} 0 w n t 715.0 645.0 {cpu1.unlock(S1)} 0 w n p 715.0 575.0 {cpu1.critical_section} 0 n p 1065.0 580.0 {cpu2.critical_section} 0 n t 1065.0 480.0 {cpu2.lock(S2)} 0 w n p 1065.0 400.0 {cpu2.no_critical_section} 1 n p 1460.0 375.0 {cpu3.no_critical_section} 1 n t 1465.0 475.0 {cpu3.lock(S3)} 0 w n p 1465.0 575.0 {cpu3.critical_section} 0 n p 120.0 865.0 {icq.critical_section_3} 0 n t 180.0 765.0 {Icq.lock(S3)} 0 w n p 110.0 690.0 {icq.critical_section_2} 0 n t 180.0 620.0 {Icq.lock(S2)} 0 w n p 90.0 595.0 {icq.critical_section_1} 0 n t 175.0 520.0 {Icq.lock(S1)} 0 w n p 855.0 215.0 {S1.unlocked} 1 n p 1610.0 220.0 {S3.unlocked} 1 n e {cpu3.unlock(S3)} 0.08509838207 119.707978 {S3.unlocked} 0.7758147461 222.9259967 1 n e {cpu2.unlock(S2)} 0.05377498382 117.6520293 {S2.unlocked} 0.7603489672 215.4553318 1 n e {cpu1.unlock(S1)} 0.07570924548 111.3642672 {S1.unlocked} 0.7348016413 262.1945842 1 n e {Icq.unlock(S1,S2,S3)} 0.9828187387 1020.943191 {S3.unlocked} 0.8129920604 461.6925386 1 n e {Icq.unlock(S1,S2,S3)} 0.9974486363 499.0641241 {S2.unlocked} 0.805639209 624.7919654 1 n e {Icq.unlock(S1,S2,S3)} 0.01500679833 573.5477312 {S1.unlocked} 0.7824970526 202.2003957 1 n e {cpu3.unlock(S3)} 0.5066832514 119.1049957 {cpu3.no_critical_section} 0.5689704072 73.8241153 1 n e {cpu2.unlock(S2)} 0.5171393755 111.6467644 {cpu2.no_critical_section} 0.5557832709 99.02019999 1 n e {S3.unlocked} 0.6993969578 166.3370073 {cpu3.lock(S3)} 0.05651139238 94.9210198 1 n e {S2.unlocked} 0.7294832134 68.06476695 {cpu2.lock(S2)} 0.1678879043 77.02596965 1 n e {S1.unlocked} {cpu1.lock(S1)} 1 n e {S3.unlocked} 0.4087766548 261.8472837 {Icq.lock(S3)} 0.1476851195 940.8001913 1 n e {S2.unlocked} 0.3276135727 204.8828934 {Icq.lock(S2)} 0.1434517697 739.6492412 1 n e {S1.unlocked} 0.3899703105 263.5014231 {Icq.lock(S1)} 0.1776568957 343.9215027 1 n e {cpu1.critical_section} {cpu1.unlock(S1)} 1 n e {cpu3.no_critical_section} {cpu3.lock(S3)} 1 n e {cpu3.critical_section} {cpu3.unlock(S3)} 1 n e {cpu3.lock(S3)} {cpu3.critical_section} 1 n e {cpu2.lock(S2)} {cpu2.critical_section} 1 n e {cpu1.lock(S1)} {cpu1.critical_section} 1 n e {cpu2.critical_section} {cpu2.unlock(S2)} 1 n e {cpu2.no_critical_section} {cpu2.lock(S2)} 1 n e {cpu1.no_critical_section} {cpu1.lock(S1)} 1 n e {Icq.lock(S1)} {icq.critical_section_1} 1 n e {Icq.lock(S2)} {icq.critical_section_2} 1 n e {Icq.lock(S3)} {icq.critical_section_3} 1 n e {Icq.unlock(S1,S2,S3)} 0.4610104348 67.00046642 {icq.no_critiacal_section} 0.06209221579 115.6935608 1 n e {icq.critical_section_2} {Icq.lock(S3)} 1 n e {icq.critical_section_1} {Icq.lock(S2)} 1 n e {icq.no_critiacal_section} {Icq.lock(S1)} 1 n e {cpu1.unlock(S1)} 0.4868667006 133.454112 {cpu1.no_critical_section} 0.5515418493 150.8409759 1 n e {icq.critical_section_3} 0.9048637972 56.8594759 {Icq.unlock(S1,S2,S3)} 0.5998591064 161.8208886 1 n h icq_correction