View Issue Details [ Jump to Notes ]

[ Print ]

Project

Category

View Status

Date Submitted

Last Update

0010144

IGSTK

public

2010-01-14 19:42

2010-01-14 20:20

Reporter

Kevin Gary

Assigned To

Priority

normal

Severity

major

Reproducibility

always

Status

assigned

Resolution

open

Platform

OS Version

Summary

0010144: StateMachine Validation fails to initialize from multiple sendEvent files

Description

The SMViz tool fails hard with an OutOfMemoryError on initialization. the empty main window will show but will not render the state machines, and in the console you will see

java.lang.OutOfMemoryError: GC overhead limit exceeded
<deleted lines here>
    [java] Caused by: java.lang.OutOfMemoryError: GC overhead limit exceeded
    [java] at java.util.Arrays.copyOf(Arrays.java:2746)
    [java] at java.util.ArrayList.ensureCapacity(ArrayList.java:187)
    [java] at java.util.ArrayList.addAll(ArrayList.java:499)
    [java] at org.igstk.validation.simulator.rules.IgstkvtMergeList.insert(IgstkvtMergeList.java:112)
    [java] at org.igstk.validation.simulator.rules.IgstkvtMergeList.insert(IgstkvtMergeList.java:131)

Additional Information

The error is due to large (but not infinite) recursion used to merge sendEvent lists in org.igstk.validation.simulator.rules.IgstkvtMergeList.java. The merge algorithm was found to be hopelessly complex and incorrect.

Defect discovered by Charles Garraud (charles.garraud@irisa.fr) in the IGSTK-VT-ELO-Base directory of the IGSTK Contribution module.

Tags

Contribution, validation

Attached Files

Relationships

Notes
(0019143) Kevin Gary (reporter) 2010-01-14 19:43	Patrick please assign to me

Issue History
Date Modified	Username	Field	Change
2010-01-14 19:42	Kevin Gary	New Issue
2010-01-14 19:42	Kevin Gary	Status	new => assigned
2010-01-14 19:42	Kevin Gary	Assigned To	=> Patrick Cheng
2010-01-14 19:43	Kevin Gary	Note Added: 0019143
2010-01-14 19:43	Kevin Gary	Tag Attached: validation
2010-01-14 19:43	Kevin Gary	Tag Attached: Contribution
2010-01-14 20:19	Andinet	Assigned To	Patrick Cheng => Andinet
2010-01-14 20:20	Andinet	Assigned To	Andinet =>