Bug 525857 - QvtReconciler concurrency is unsound
Summary: QvtReconciler concurrency is unsound
Status: NEW
Alias: None
Product: QVTo
Classification: Modeling
Component: UI (show other bugs)
Version: unspecified   Edit
Hardware: PC Windows NT
: P3 normal (vote)
Target Milestone: ---   Edit
Assignee: Project Inbox CLA
QA Contact:
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2017-10-11 06:56 EDT by Ed Willink CLA
Modified: 2017-10-11 06:58 EDT (History)
0 users

See Also:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Ed Willink CLA 2017-10-11 06:56:32 EDT 
The classic Ecore OCL is not concurrent; all (lazy) data structures must be initialized on a single thread.

Bug 525852 demonstrates that the QvtReconciler running on a worker thread may provoke lazy initialization that conflicts with the main thread.

Since making the main thread thread safe, all lazy data structures must be eagerly initialized before the QVTreconciler starts.