Ticket #123 (closed defect: fixed)

Opened 9 years ago

Last modified 9 years ago

Fix close bug (as reported by Brian Lynn)

Reported by: aydan Owned by: aydan
Priority: major Milestone:
Component: ORCA: Shirako Core Version: Bella 2.1
Keywords: Cc:


Change History

Changed 9 years ago by aydan

  • status changed from new to closed
  • resolution set to fixed

This bug unearthed a lot of problems in the Orca core related to closing reservations ahead of their expiration time. There were a number of places where resources could be leaked depending on thread interleaving. I fixed all problems I found, but there may still be more.

I spent a lot of time fighting with this problem and I am very convinced that we need to review the interaction between policy/reservation state machines/and concrete sets. Our model can be simplified and improved to make reasoning about resources and correctness easier.

Should be fixed in revision #2453 and #2454.

Note: See TracTickets for help on using tickets.