PSSM 1.1 RTF Avatar
  1. OMG Issue

PSSM11 — DoActivity can cause deadlock in Test Behavior 003-B

  • Key: PSSM11-14
  • Status: open  
  • Source: Budapest University of Technology and Economics ( Ármin Zavada)
  • Summary:

    An alternative execution of test Behavior 003-B is missing. Since "a doActivity Behavior ... is executed on its own thread of execution" (PSSM p. 39), slow doActivity accepter registration is possible, i.e., Continue event is received earlier than the accept(Continue) AcceptEventAction in the doActivity is fired to register EventAccepter. In this case the Continue event is discarded in the lack of a matching accepter, then the doActivity and thereby the whole state machine wait for a new Continue event indefinitely, which results in a deadlock.
    The following trace describes the sequence of events: S1(entry), Continue event dispatched and discarded, S1(doActivityPartI), accept(Continue) in doActivity registers EventAccepter, deadlock.

  • Reported: PSSM 1.0 — Tue, 18 Jul 2023 10:49 GMT
  • Updated: Tue, 18 Jul 2023 18:17 GMT