X10

Change static initialization semantics to be per-place

Details

  • Type: Improvement Improvement
  • Status: Closed Closed
  • Priority: Critical Critical
  • Resolution: Fixed
  • Affects Version/s: None
  • Fix Version/s: X10 2.2.3
  • Component/s: Language Design
  • Labels:
    None
  • Number of attachments :
    0

Description

The language specification (in particular Section 8.6 Static Initialization) defines the semantics of static field initialization in a way that does not consider some of the issues that arise when the entire program is not written in X10. In particular, if one or more X10 libraries are being dynamically loaded into a JVM by a Java (or other JVM-based) main program, it becomes much less clear what the semantics of static field initialization should be.

We need to re-examine this part of the specification without assuming that it is possible to know all of the X10 code that will be executed "up front" and "before the user main".

Issue Links

is depended upon by

Improvement - An improvement or enhancement to an existing feature or task. XTENLANG-3078 Stop preloading classes

  • Major - Major loss of function.
  • Closed - The issue is considered finished, the resolution is correct. Issues which are not closed can be reopened.
is related to

Bug - A problem which impairs or prevents the functions of the product. XTENLANG-3081 Implement new exception semantics in static initialization for Managed X10

  • Critical - Crashes, loss of data, severe memory leak.
  • Closed - The issue is considered finished, the resolution is correct. Issues which are not closed can be reopened.

Activity

Ascending order - Click to sort in descending order
Hide
Permalink
David Grove added a comment -

bulk defer of issues to 2.2.3.

Show
David Grove added a comment - bulk defer of issues to 2.2.3.
Hide
Permalink
Mikio Takeuchi added a comment -

Add a test case to check lazy, per-field, per-place initialization semantics in r23963.

Show
Mikio Takeuchi added a comment - Add a test case to check lazy, per-field, per-place initialization semantics in r23963.
Hide
Permalink
David Grove added a comment -

Olivier committed implementaion change in r23968.

Show
David Grove added a comment - Olivier committed implementaion change in r23968.
Hide
Permalink
David Grove added a comment -

bulk close of issues as part of making 2.2.3 release notes.

Show
David Grove added a comment - bulk close of issues as part of making 2.2.3 release notes.

People

  • Assignee:
    David Grove
    Reporter:
    David Grove
Vote (0)
Watch (2)

Dates

  • Created:
    Updated:
    Resolved: