AnsweredAssumed Answered

VRf - 'looping' bug(s)

Question asked by VRFuser on Jul 10, 1996
> > Hello everybody:
> >
> > I've detected a strange thing that seems to be an apparently random
> > problem with repeat objects (at least 'For Count' and 'Until Break').
> > What I've seen is that sometimes the thread which is hosted by one of
> > this object is executed only once beacause the repeat object does not
> > fire again its output pin when all the thread has been executed.
> > This behaviour use to occur after a programme modification.
> > I solve it by replacing the repeat object by a new one of the same type.
> >
> > Does anyone detect something similar or have any explanation ?
>
> We have reports of this exact same behavior from a customer in Haifa right
> now ... this second report makes matters more interesting.  We have three
> possibilities:
>
>  % Propagation problem with program architecture.
>  % Corrupted VEE source file.
>  % As-yet-unknown VEE bug.
>
> Can we get a simple program we can run overnight to see if we can duplicate
> this bug?
>
> > * VEE version is 3.2 under HP-UX *
> > ---------------------------------------------
> > Juan Vera       <jvera@mdr.inisel-espacio.es>
> > Indra Espacio S.A.
> > ---------------------------------------------
>
> [<>] regards -- gvg

We found out a strange with a very-very-very simple program
with an 'Until-Break' object AND 'Animate On': After a apperently
random number of itterations (min detected = 2, max about 700) the program
hangs. With 'Control-C' or 'kill -2' it does recover.
(We use vee 3.12 on hpux 9.05 on a 9000/715 machine)

Try the program from below, without and with 'Animate on'.

--
Remi Tuijtelaars
  Philips Semiconductors, Dev. T&D, Building BY2.021,
  Gerstweg 2, NL-6534 AE Nijmegen, Netherlands.
  tel/fax: + 31 24 353 - 2812 / 3160.
  email: Remi.Tuijtelaars@nym.sc.philips.com
  (seri: nytuijte@nyhp02)

====================================================================================
 
#! /usr/lib/veetest/veetest -r
(saveFormat "1.2")
(date "Mon 12/Feb/1996")
(SaveCF "no")
(filterNAN 0)
(component 0 "ROOTCONTEXT"
(name "Untitled")
(interface
)
(implementation
  (locked no)
  (trigMode deg)
  (nextID 17)
  (component 3 "COUNTER"
   (interface
    (sequence in)
    (sequence out)
    (input 1
     (name "Data")
    )
    (output 1
     (name "Count")
     (tag "Count")
     (lock name constraints)
    )
   )
   (implementation
    (component clearAtPrerun 1)
    (component clearAtActivate 1)
   )
   (views
    (icon
    )
    (detail
     (origin 76 315)
     (extent 89 31)
    )
    (active detail)
   )
  )
  (component 4 "REPEATUNTILBREAK"
   (interface
    (sequence in)
    (sequence out)
    (output 1
     (name "Continuous")
     (lock name constraints)
    )
   )
   (implementation
   )
   (views
    (icon
     (origin 94 176)
     (extent 73 49)
     (iconImage "loop.icn")
    )
    (detail
     (origin 34 235)
     (extent 12 30)
    )
    (terminals on)
    (active icon)
   )
  )
  (component 5 "START25"
   (interface
    (sequence out)
   )
   (implementation
   )
   (views
    (icon
    )
    (detail
     (origin 96 120)
     (extent 49 20)
    )
    (title off)
    (active detail)
   )
  )
  (component 9 "JUNCTION"
   (name "JCT")
   (interface
    (input 1
     (name "A")
     (lock name constraints)
    )
    (input 2
     (name "B")
     (lock name constraints)
    )
    (output 1
     (name "Data")
     (lock name constraints)
    )
   )
   (implementation
   )
   (views
    (icon
     (origin 288 328)
     (extent 25 25)
    )
    (detail
     (origin 633 285)
     (extent 5 51)
    )
    (terminals on)
    (active icon)
   )
  )
  (component 15 "TEXTDISPLAY"
   (interface
    (sequence in)
    (sequence out)
    (input 1
     (name "Data")
    )
   )
   (implementation
    (component clearAtPrerun 1)
    (component clearAtActivate 1)
   )
   (views
    (icon
     (origin 383 323)
     (extent 94 14)
    )
    (detail
     (origin 775 218)
     (extent 130 25)
    )
    (active icon)
   )
  )
  (configuration
   (connect D1:1 D0:1)
   (connect D2:0 D1:0)
   (connect D0:1 D3:1)
   (connect D0:1 D3:2)
   (connect D3:1 D4:1)
  )
)
(views
  (detail
   (origin 0 47)
   (extent 905 532)
   (configuration
    (connect D1:1 D0:1
     (Point 169 200)
     (Point 190 200)
     (Point 190 250)
     (Point 60 250)
     (Point 60 330)
     (Point 73 330)
    )
    (connect D2:0 D1:0
     (Point 120 142)
     (Point 120 150)
     (Point 130 150)
     (Point 130 173)
    )
    (connect D0:1 D3:1
     (Point 167 330)
     (Point 285 330)
    )
    (connect D0:1 D3:2
     (Point 167 330)
     (Point 260 330)
     (Point 260 350)
     (Point 285 350)
    )
    (connect D3:1 D4:1
     (Point 315 340)
     (Point 340 340)
     (Point 340 330)
     (Point 380 330)
    )
   )
   (stackingOrder 1 0 2 3 4)
  )
  (active detail)
  (numberFormats
   (realFormat standard)
   (realSigDigits 4)
   (realRadixSpec 4)
   (integerBase decimal)
  )
)
)

Outcomes