Work at SourceForge, help us to make it a better place! We have an immediate need for a Support Technician in our San Francisco or Denver office.

Close

#74 Not found all race condition problems

closed-rejected
Vaclav Vacek
5
2012-06-26
2012-06-25
Matus Madzin
No

The Race algorithm does not found all race problems (races) in the attached MSC. The algorithm finds one race problem but there are two race problems, message from the client can also be delivered before register message from the proxy.

Discussion

  • Matus  Madzin
    Matus Madzin
    2012-06-25

     
    Attachments
  • Matus  Madzin
    Matus Madzin
    2012-06-25

    • assigned_to: nobody --> vacek
     
  • Vaclav Vacek
    Vaclav Vacek
    2012-06-26

    • status: open --> closed-rejected
     
  • Vaclav Vacek
    Vaclav Vacek
    2012-06-26

    The Race algorithm does not find all race problems by design - only events that are in a footprint are considered, which is not the case in the attached file.