Skip to main content
Jump to: navigation, search

Difference between revisions of "ATL/VM Comparison"

< ATL
(added sections and links)
 
(16 intermediate revisions by 2 users not shown)
Line 1: Line 1:
−
The objective of this page is to gather a list of features that are implemented differently in the three ATL Virtual Machines (VMs).
+
The objective of this page is to identify semantics differences between the three ATL Virtual Machines (VMs).
−
Note that the recommended VM is [[ATL_VM_Testing|EMFVM]].
+
−
RegularVM should only be used when EMFVM does not do what you want (increasingly rare).
+
−
[[ATL/EMFTVM|EMFTVM]] should only be used when you need the new experimental research features.
+
  
−
This table does not contain all features that are working similarly on all VMs.
+
== Feature-based Comparison ==
 +
 
 +
This section gathers a list of features that are implemented differently in the three ATL VMs. RegularVM is the first and oldest VM, which was followed up by the more efficient [[ATL_VM_Testing|EMFVM]]. In 2011, the [[ATL/EMFTVM|EMFTVM]] was introduced, and is the most recent VM to this date.
 +
Note that the default VM is [[ATL_VM_Testing|EMFVM]], and the older RegularVM should only be used when EMFVM does not do what you want (increasingly rare).
 +
[[ATL/EMFTVM|EMFTVM]] is not the default VM because of subtle incompatibilities with the older two VMs, most notably it has a different bytecode format. That said, EMFTVM is just as stable for use in production scenarios.
 +
 
 +
The table below does not contain all features that are working similarly on all VMs.
  
 
{| border=1 style="border-collapse: collapse"
 
{| border=1 style="border-collapse: collapse"
Line 29: Line 32:
 
| yes
 
| yes
 
| yes
 
| yes
 +
|
 
|-
 
|-
 
| debugger
 
| debugger
Line 34: Line 38:
 
| partially (does not stop on errors, variable inspection may not always work, especially stack in disassembly mode)
 
| partially (does not stop on errors, variable inspection may not always work, especially stack in disassembly mode)
 
| yes, but without stack inspection
 
| yes, but without stack inspection
 +
|
 
|-
 
|-
 
| .debug(<no argument>)
 
| .debug(<no argument>)
Line 75: Line 80:
 
| In-place
 
| In-place
 
| In-place, without explicit "drop"
 
| In-place, without explicit "drop"
−
|-
 
−
| OclUndefined pretty printed as
 
−
| 'OclUndefined'
 
−
| 'OclUndefined'
 
−
| 'OclUndefined' ([https://bugs.eclipse.org/bugs/show_bug.cgi?id=406457 bug])
 
−
| fix EMFTVM
 
 
|-
 
|-
 
| self instead of thisModule in context-less helpers and rules
 
| self instead of thisModule in context-less helpers and rules
Line 87: Line 86:
 
| no
 
| no
 
| report error for EMFTVM and deprecated for other VMs (see [http://dev.eclipse.org/mhonarc/lists/m2m-atl-dev/msg00210.html corresponding discussion on m2m-atl-dev])
 
| report error for EMFTVM and deprecated for other VMs (see [http://dev.eclipse.org/mhonarc/lists/m2m-atl-dev/msg00210.html corresponding discussion on m2m-atl-dev])
 +
|-
 +
| Assignment/binding semantics
 +
| SET semantics for single-valued properties, ADD semantics for collection properties
 +
| SET semantics for single-valued properties, ADD semantics for collection properties
 +
| SET semantics for all properties (by design; EMFTVM has separate ADD/REMOVE instructions)
 +
|
 +
|-
 +
| Entrypoint rule support
 +
| yes
 +
| yes
 +
| yes, since 4.0
 +
| [https://bugs.eclipse.org/bugs/show_bug.cgi?id=529548 EMFTVM issue]
 +
|-
 +
| Output model navigation
 +
| Forbidden, but not enforced at runtime
 +
| Forbidden, but not enforced at runtime
 +
| Forbidden, and enforced at runtime
 +
| EMFTVM improvement
 +
|-
 +
| Automatic type conversion during assignment/binding
 +
| Yes: collection boxing/unboxing
 +
| Yes: collection boxing/unboxing
 +
| No (types must match exactly)
 +
|
 +
|-
 +
| Module naming
 +
| Doesn't matter
 +
| Doesn't matter
 +
| Module name must match file name
 +
| EMFTVM improvement
 +
|-
 +
| "uses" clause
 +
| Ignored
 +
| Ignored
 +
| Missing imports cause a load-time error
 +
| EMFTVM improvement
 +
|-
 +
| Type references
 +
| Ignored
 +
| Ignored
 +
| Checked: missing types (e.g. metaclasses) cause a load-time error
 +
| EMFTVM improvement
 +
|-
 +
| "foreach - distinct"
 +
| yes
 +
| yes
 +
| no
 +
| report error for EMFTVM and deprecated for other VMs
 +
|-
 +
| lazy rule inheritance
 +
| yes
 +
| yes
 +
| yes, since 4.0
 +
| [https://bugs.eclipse.org/bugs/show_bug.cgi?id=415863 EMFTVM issue]
 +
|-
 +
| binding overriding
 +
| yes
 +
| yes
 +
| overriden binding also executed
 +
| ideally, EMFTVM should not execute overriden binding, but it currently does so to simplify support of inter-module rule inheritance at runtime
 +
|}
 +
 +
== Test-based Comparison ==
 +
 +
The following table lists the status of the ATL non-regression tests for each VM.
 +
Clicking on a VM name, in the first row, opens the corresponding test data folder on the git repository.
 +
 +
{| border=1 style="border-collapse: collapse"
 +
! Test
 +
! RegularVM
 +
! [https://git.eclipse.org/c/mmt/org.eclipse.atl.git/tree/tests/org.eclipse.m2m.atl.tests/data EMFVM]
 +
! [https://git.eclipse.org/c/mmt/org.eclipse.atl.git/tree/tests/org.eclipse.m2m.atl.emftvm.tests/test-data EMFTVM]
 +
! Comment
 +
! Proposed difference resolution
 +
|-
 +
| 291626
 +
| style="color:red;" | FAIL
 +
| style="color:red;" | FAIL
 +
| style="color:red;" | FAIL
 +
| Releng issue
 +
|
 +
|-
 +
| Ant2Maven/Ant2Maven
 +
| style="color:green;" | PASS
 +
| style="color:green;" | PASS
 +
| style="color:red;" | FAIL
 +
| "foreach - distinct" not supported on EMFTVM
 +
|
 +
|-
 +
| Ant2Maven/Maven2XML
 +
| style="color:green;" | PASS
 +
| style="color:green;" | PASS
 +
| style="color:red;" | FAIL
 +
| depends on Ant2Maven
 +
|
 +
|-
 +
| Ant2Maven/XML2Ant
 +
| style="color:green;" | PASS
 +
| style="color:green;" | PASS
 +
| style="color:red;" | FAIL
 +
| depends on Ant2Maven
 +
|
 +
|-
 +
| AssertionModification
 +
| style="color:red;" | FAIL
 +
| style="color:red;" | FAIL
 +
| style="color:green;" | PASS
 +
| Releng issue
 +
|
 +
|-
 +
| AssignementTest/DeclarativeTest
 +
| style="color:green;" | PASS
 +
| style="color:green;" | PASS
 +
| style="color:red;" | FAIL
 +
| EMFTVM assumes SET semantics for all properties, not ADD for collections
 +
|
 +
|-
 +
| AssignementTest/ImperativeTest
 +
| style="color:green;" | PASS
 +
| style="color:green;" | PASS
 +
| style="color:red;" | FAIL
 +
| EMFTVM assumes SET semantics for all properties, not ADD for collections
 +
|
 +
|-
 +
| AssignementTest/RefiningTest
 +
| style="color:green;" | PASS
 +
| style="color:green;" | PASS
 +
| style="color:red;" | FAIL
 +
| EMFTVM assumes SET semantics for all properties, not ADD for collections
 +
|
 +
|-
 +
| atl2010/CreateManyTraceElements
 +
| style="color:red;" | FAIL
 +
| style="color:green;" | PASS
 +
| style="color:red;" | FAIL
 +
| Refining trace mode not supported
 +
|
 +
|-
 +
| atl2010/RemoveClass2010
 +
| style="color:red;" | FAIL
 +
| style="color:green;" | PASS
 +
| style="color:red;" | FAIL
 +
| Refining trace mode not supported
 +
|
 +
|-
 +
| atl2010/RemoveClassAndCreate2010
 +
| style="color:red;" | FAIL
 +
| style="color:green;" | PASS
 +
| style="color:red;" | FAIL
 +
| Refining trace mode not supported
 +
|
 +
|-
 +
| atl2010/RemoveClassAndMoveProperty2010
 +
| style="color:red;" | FAIL
 +
| style="color:green;" | PASS
 +
| style="color:red;" | FAIL
 +
| Refining trace mode not supported
 +
|
 +
|-
 +
| atl2010/RemoveClassAndMovePropertyRB2010
 +
| style="color:red;" | FAIL
 +
| style="color:green;" | PASS
 +
| style="color:red;" | FAIL
 +
| Refining trace mode not supported
 +
|
 +
|-
 +
| atl2010/RemoveProperty2010
 +
| style="color:red;" | FAIL
 +
| style="color:green;" | PASS
 +
| style="color:red;" | FAIL
 +
| Refining trace mode not supported
 +
|
 +
|-
 +
| ATL2Problem
 +
| style="color:green;" | PASS
 +
| style="color:green;" | PASS
 +
| style="color:green;" | PASS
 +
|
 +
|
 +
|-
 +
| BibTeX2DocBook
 +
| style="color:green;" | PASS
 +
| style="color:green;" | PASS
 +
| style="color:red;" | FAIL
 +
| Cannot assign single Book instance to multi-valued field DocBook::books
 +
|
 +
|-
 +
| Book2Publication/Book2Publication
 +
| style="color:green;" | PASS
 +
| style="color:green;" | PASS
 +
| style="color:green;" | PASS
 +
|
 +
|
 +
|-
 +
| Book2Publication/XML2Book
 +
| style="color:green;" | PASS
 +
| style="color:green;" | PASS
 +
| style="color:green;" | PASS
 +
|
 +
|
 +
|-
 +
| Class2Relational/Class2Relational
 +
| style="color:green;" | PASS
 +
| style="color:green;" | PASS
 +
| style="color:green;" | PASS
 +
|
 +
|
 +
|-
 +
| Class2Relational/Ecore2Class
 +
| style="color:green;" | PASS
 +
| style="color:green;" | PASS
 +
| style="color:green;" | PASS
 +
|
 +
|
 +
|-
 +
| DSLBridge/MetamodelBridge/DSL2EMF/DSL2KM3
 +
| style="color:green;" | PASS
 +
| style="color:green;" | PASS
 +
| style="color:red;" | FAIL
 +
| Assigning a Sequence of Sequences to a Collection property
 +
|
 +
|-
 +
| DSLBridge/MetamodelBridge/DSL2EMF/XML2DSL
 +
| style="color:green;" | PASS
 +
| style="color:green;" | PASS
 +
| style="color:red;" | FAIL
 +
| Assigning a Sequence of Sequences to a Collection property
 +
|
 +
|-
 +
| DSLBridge/MetamodelBridge/EMF2DSL/DSL2XML
 +
| style="color:green;" | PASS
 +
| style="color:green;" | PASS
 +
| style="color:red;" | FAIL
 +
| Assigning a single value to a Collection property
 +
|
 +
|-
 +
| DSLBridge/MetamodelBridge/EMF2DSL/KM32DSL
 +
| style="color:green;" | PASS
 +
| style="color:green;" | PASS
 +
| style="color:red;" | FAIL
 +
| Use of "self" in helper without context declaration
 +
|
 +
|-
 +
| DSLBridge/ModelBridge/DSLModel2KM2
 +
| style="color:green;" | PASS
 +
| style="color:green;" | PASS
 +
| style="color:red;" | FAIL
 +
| foreach - distinct not supported on EMFTVM
 +
|
 +
|-
 +
| DSLBridge/ModelBridge/KM32ATL_KM22MM
 +
| style="color:green;" | PASS
 +
| style="color:green;" | PASS
 +
| style="color:red;" | FAIL
 +
| Assigning a single value to a Collection property
 +
|
 +
|-
 +
| DSLBridge/ModelBridge/XML2DSLModel
 +
| style="color:green;" | PASS
 +
| style="color:green;" | PASS
 +
| style="color:red;" | FAIL
 +
| foreach - distinct not supported
 +
|
 +
|-
 +
| Enumerations/Ecore
 +
| style="color:red;" | FAIL
 +
| style="color:red;" | FAIL
 +
| style="color:red;" | FAIL
 +
| Releng issue
 +
|
 +
|-
 +
| Enumerations/UML
 +
| style="color:red;" | FAIL
 +
| style="color:red;" | FAIL
 +
| style="color:red;" | FAIL
 +
| Releng issue
 +
|
 +
|-
 +
| Families2Persons
 +
| style="color:green;" | PASS
 +
| style="color:green;" | PASS
 +
| style="color:green;" | PASS
 +
|
 +
|
 +
|-
 +
| FlattenTest
 +
| style="color:red;" | FAIL
 +
| style="color:red;" | FAIL
 +
| style="color:red;" | FAIL
 +
| Releng issue
 +
|
 +
|-
 +
| InterModelReferences
 +
| style="color:red;" | FAIL
 +
| style="color:red;" | FAIL
 +
| style="color:red;" | FAIL
 +
| Releng issue
 +
|
 +
|-
 +
| IteratorsTests
 +
| style="color:red;" | FAIL
 +
| style="color:red;" | FAIL
 +
| style="color:red;" | FAIL
 +
| Releng issue
 +
|
 +
|-
 +
| MultipleOutputs/MultipleOutputs_V0
 +
| style="color:red;" | FAIL
 +
| style="color:red;" | FAIL
 +
| style="color:green;" | PASS
 +
| Releng issue
 +
|
 +
|-
 +
| MultipleOutputs/MultipleOutputs_V1
 +
| style="color:red;" | FAIL
 +
| style="color:red;" | FAIL
 +
| style="color:green;" | PASS
 +
| Releng issue
 +
|
 +
|-
 +
| OverflowOperandStack
 +
| style="color:red;" | FAIL
 +
| style="color:red;" | FAIL
 +
| style="color:green;" | PASS
 +
|
 +
|
 +
|-
 +
| Relational2UML
 +
| style="color:red;" | FAIL
 +
| style="color:red;" | FAIL
 +
| style="color:red;" | FAIL
 +
| Releng issue
 +
|
 +
|-
 +
| ReverseBindings/NonRefiningMode
 +
| style="color:red;" | FAIL
 +
| style="color:red;" | FAIL
 +
| style="color:red;" | FAIL
 +
| Misconfigured test
 +
|
 +
|-
 +
| ReverseBindings/NonRefiningMode
 +
| style="color:red;" | FAIL
 +
| style="color:red;" | FAIL
 +
| style="color:red;" | FAIL
 +
| Misconfigured test
 +
|
 +
|-
 +
| RSM2TPC
 +
| style="color:red;" | FAIL
 +
| style="color:red;" | FAIL
 +
| style="color:red;" | FAIL
 +
| Long execution time
 +
|
 +
|-
 +
| Sildex2Sam
 +
| style="color:green;" | PASS
 +
| style="color:green;" | PASS
 +
| style="color:red;" | FAIL
 +
| Invalid rule inheritance + invalid module name + invalid metaclass reference "SAM!IPort"
 +
|
 +
|-
 +
| SpreadSheetML2PerformanceUMLStateChart/SpreadsheetMLSimplified2Trace
 +
| style="color:red;" | FAIL
 +
| style="color:red;" | FAIL
 +
| style="color:red;" | FAIL
 +
| Releng issue
 +
|
 +
|-
 +
| SpreadSheetML2PerformanceUMLStateChart/Trace2PerformanceMetrics
 +
| style="color:red;" | FAIL
 +
| style="color:red;" | FAIL
 +
| style="color:red;" | FAIL
 +
| Releng issue
 +
|
 +
|-
 +
| SpreadSheetML2PerformanceUMLStateChart/UMLStateChart2PerformanceAnnotatedUMLStateChart
 +
| style="color:red;" | FAIL
 +
| style="color:red;" | FAIL
 +
| style="color:red;" | FAIL
 +
| Releng issue
 +
|
 +
|-
 +
| UML2Relational
 +
| style="color:red;" | FAIL
 +
| style="color:red;" | FAIL
 +
| style="color:red;" | FAIL
 +
| Releng issue
 +
|
 +
|-
 +
| UniqueLazyRule
 +
| style="color:green;" | PASS
 +
| style="color:green;" | PASS
 +
| style="color:green;" | PASS
 +
|
 +
|
 
|}
 
|}

Latest revision as of 03:47, 11 November 2022

The objective of this page is to identify semantics differences between the three ATL Virtual Machines (VMs).

Feature-based Comparison

This section gathers a list of features that are implemented differently in the three ATL VMs. RegularVM is the first and oldest VM, which was followed up by the more efficient EMFVM. In 2011, the EMFTVM was introduced, and is the most recent VM to this date. Note that the default VM is EMFVM, and the older RegularVM should only be used when EMFVM does not do what you want (increasingly rare). EMFTVM is not the default VM because of subtle incompatibilities with the older two VMs, most notably it has a different bytecode format. That said, EMFTVM is just as stable for use in production scenarios.

The table below does not contain all features that are working similarly on all VMs.

Feature RegularVM EMFVM EMFTVM Proposed difference resolution
supercall yes no yes fix EMFVM
superget (e.g. "super.attribute") no no yes EMFTVM improvement (i.e., no modification of older VMs)
attribute helper on OclUndefined no yes yes
debugger yes partially (does not stop on errors, variable inspection may not always work, especially stack in disassembly mode) yes, but without stack inspection
.debug(<no argument>) no yes yes (commit) EMFVM & EMFTVM improvement (i.e., no modification on Regular VM)
OCL collections yes, eager yes, eager yes, lazy if laziness is never problematic then EMFTVM improvement (i.e., no modification on older VMs) else make it configurable
Rule inheritance yes, single yes, single yes, multiple (via "-- @extends") EMFTVM improvement (i.e., no modification on older VMs), consider ATL syntax extension
Method dispatch virtual virtual multiple virtual EMFTVM improvement (i.e., no modification on older VMs)
Closures no no yes (but ATL syntax does not support defining Lambda parameters) EMFTVM improvement (i.e., no modification on older VMs), consider ATL syntax extension
Helper on Collection context  ?  ? yes, with element type erasure EMFTVM improvement (i.e., no modification on older VMs)
Refining mode In-place In-place In-place, without explicit "drop"
self instead of thisModule in context-less helpers and rules yes yes no report error for EMFTVM and deprecated for other VMs (see corresponding discussion on m2m-atl-dev)
Assignment/binding semantics SET semantics for single-valued properties, ADD semantics for collection properties SET semantics for single-valued properties, ADD semantics for collection properties SET semantics for all properties (by design; EMFTVM has separate ADD/REMOVE instructions)
Entrypoint rule support yes yes yes, since 4.0 EMFTVM issue
Output model navigation Forbidden, but not enforced at runtime Forbidden, but not enforced at runtime Forbidden, and enforced at runtime EMFTVM improvement
Automatic type conversion during assignment/binding Yes: collection boxing/unboxing Yes: collection boxing/unboxing No (types must match exactly)
Module naming Doesn't matter Doesn't matter Module name must match file name EMFTVM improvement
"uses" clause Ignored Ignored Missing imports cause a load-time error EMFTVM improvement
Type references Ignored Ignored Checked: missing types (e.g. metaclasses) cause a load-time error EMFTVM improvement
"foreach - distinct" yes yes no report error for EMFTVM and deprecated for other VMs
lazy rule inheritance yes yes yes, since 4.0 EMFTVM issue
binding overriding yes yes overriden binding also executed ideally, EMFTVM should not execute overriden binding, but it currently does so to simplify support of inter-module rule inheritance at runtime

Test-based Comparison

The following table lists the status of the ATL non-regression tests for each VM. Clicking on a VM name, in the first row, opens the corresponding test data folder on the git repository.

Test RegularVM EMFVM EMFTVM Comment Proposed difference resolution
291626 FAIL FAIL FAIL Releng issue
Ant2Maven/Ant2Maven PASS PASS FAIL "foreach - distinct" not supported on EMFTVM
Ant2Maven/Maven2XML PASS PASS FAIL depends on Ant2Maven
Ant2Maven/XML2Ant PASS PASS FAIL depends on Ant2Maven
AssertionModification FAIL FAIL PASS Releng issue
AssignementTest/DeclarativeTest PASS PASS FAIL EMFTVM assumes SET semantics for all properties, not ADD for collections
AssignementTest/ImperativeTest PASS PASS FAIL EMFTVM assumes SET semantics for all properties, not ADD for collections
AssignementTest/RefiningTest PASS PASS FAIL EMFTVM assumes SET semantics for all properties, not ADD for collections
atl2010/CreateManyTraceElements FAIL PASS FAIL Refining trace mode not supported
atl2010/RemoveClass2010 FAIL PASS FAIL Refining trace mode not supported
atl2010/RemoveClassAndCreate2010 FAIL PASS FAIL Refining trace mode not supported
atl2010/RemoveClassAndMoveProperty2010 FAIL PASS FAIL Refining trace mode not supported
atl2010/RemoveClassAndMovePropertyRB2010 FAIL PASS FAIL Refining trace mode not supported
atl2010/RemoveProperty2010 FAIL PASS FAIL Refining trace mode not supported
ATL2Problem PASS PASS PASS
BibTeX2DocBook PASS PASS FAIL Cannot assign single Book instance to multi-valued field DocBook::books
Book2Publication/Book2Publication PASS PASS PASS
Book2Publication/XML2Book PASS PASS PASS
Class2Relational/Class2Relational PASS PASS PASS
Class2Relational/Ecore2Class PASS PASS PASS
DSLBridge/MetamodelBridge/DSL2EMF/DSL2KM3 PASS PASS FAIL Assigning a Sequence of Sequences to a Collection property
DSLBridge/MetamodelBridge/DSL2EMF/XML2DSL PASS PASS FAIL Assigning a Sequence of Sequences to a Collection property
DSLBridge/MetamodelBridge/EMF2DSL/DSL2XML PASS PASS FAIL Assigning a single value to a Collection property
DSLBridge/MetamodelBridge/EMF2DSL/KM32DSL PASS PASS FAIL Use of "self" in helper without context declaration
DSLBridge/ModelBridge/DSLModel2KM2 PASS PASS FAIL foreach - distinct not supported on EMFTVM
DSLBridge/ModelBridge/KM32ATL_KM22MM PASS PASS FAIL Assigning a single value to a Collection property
DSLBridge/ModelBridge/XML2DSLModel PASS PASS FAIL foreach - distinct not supported
Enumerations/Ecore FAIL FAIL FAIL Releng issue
Enumerations/UML FAIL FAIL FAIL Releng issue
Families2Persons PASS PASS PASS
FlattenTest FAIL FAIL FAIL Releng issue
InterModelReferences FAIL FAIL FAIL Releng issue
IteratorsTests FAIL FAIL FAIL Releng issue
MultipleOutputs/MultipleOutputs_V0 FAIL FAIL PASS Releng issue
MultipleOutputs/MultipleOutputs_V1 FAIL FAIL PASS Releng issue
OverflowOperandStack FAIL FAIL PASS
Relational2UML FAIL FAIL FAIL Releng issue
ReverseBindings/NonRefiningMode FAIL FAIL FAIL Misconfigured test
ReverseBindings/NonRefiningMode FAIL FAIL FAIL Misconfigured test
RSM2TPC FAIL FAIL FAIL Long execution time
Sildex2Sam PASS PASS FAIL Invalid rule inheritance + invalid module name + invalid metaclass reference "SAM!IPort"
SpreadSheetML2PerformanceUMLStateChart/SpreadsheetMLSimplified2Trace FAIL FAIL FAIL Releng issue
SpreadSheetML2PerformanceUMLStateChart/Trace2PerformanceMetrics FAIL FAIL FAIL Releng issue
SpreadSheetML2PerformanceUMLStateChart/UMLStateChart2PerformanceAnnotatedUMLStateChart FAIL FAIL FAIL Releng issue
UML2Relational FAIL FAIL FAIL Releng issue
UniqueLazyRule PASS PASS PASS
Retrieved from "https://wiki.eclipse.org/index.php?title=ATL/VM_Comparison&oldid=446187"

This page was last modified 03:47, 11 November 2022 by Frédéric Jouault. Based on work by Dennis Wagelaar.

Back to the top