You can subscribe to this list here.
2007 |
Jan
(2) |
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
---|---|---|---|---|---|---|---|---|---|---|---|---|
2008 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
(1) |
Dec
(1) |
2009 |
Jan
|
Feb
|
Mar
(1) |
Apr
|
May
|
Jun
(1) |
Jul
|
Aug
(1) |
Sep
|
Oct
(1) |
Nov
(1) |
Dec
|
2010 |
Jan
(1) |
Feb
|
Mar
(2) |
Apr
(1) |
May
|
Jun
(1) |
Jul
(1) |
Aug
|
Sep
(1) |
Oct
(2) |
Nov
|
Dec
|
2011 |
Jan
(3) |
Feb
(2) |
Mar
|
Apr
|
May
(1) |
Jun
(1) |
Jul
|
Aug
|
Sep
(1) |
Oct
|
Nov
|
Dec
|
2012 |
Jan
(1) |
Feb
(3) |
Mar
(1) |
Apr
|
May
|
Jun
|
Jul
|
Aug
(1) |
Sep
|
Oct
(1) |
Nov
|
Dec
|
2013 |
Jan
(2) |
Feb
|
Mar
(1) |
Apr
(1) |
May
|
Jun
(1) |
Jul
|
Aug
|
Sep
(1) |
Oct
|
Nov
|
Dec
(1) |
2014 |
Jan
|
Feb
(2) |
Mar
(1) |
Apr
|
May
(2) |
Jun
|
Jul
|
Aug
|
Sep
|
Oct
(1) |
Nov
(1) |
Dec
(1) |
2015 |
Jan
|
Feb
(1) |
Mar
(1) |
Apr
|
May
(2) |
Jun
(1) |
Jul
(1) |
Aug
(2) |
Sep
(1) |
Oct
|
Nov
|
Dec
(1) |
2016 |
Jan
|
Feb
(1) |
Mar
|
Apr
|
May
(1) |
Jun
(1) |
Jul
|
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
2017 |
Jan
|
Feb
|
Mar
|
Apr
|
May
(1) |
Jun
|
Jul
(1) |
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
From: Lauren S. <ll...@su...> - 2013-06-13 14:35:56
|
Please note below: The PGAS 2013 Deadline has been extended to 20 June 2013 17:00 GMT!! Get your submissions in! =============================================================================== CALL FOR PAPERS 7th International Conference on Partitioned Global Address Space Programming Models (PGAS 2013) Edinburgh, Scotland, UK October 3-4, 2013 http://www.pgas2013.org.uk =============================================================================== Partitioned Global Address Space (PGAS) programming models offer a shared address space model that simplifies programming while exposing data/thread locality to enhance performance. The PGAS conference is the premier forum to present and discuss ideas and research developments in the area of: PGAS models, languages, compilers, runtimes, applications and tools, PGAS architectures and hardware features. TOPICS Submissions are invited in related areas, including, but not limited to: * Applications. New applications that are uniquely enabled by the PGAS model, existing applications and effective application development practices for PGAS codes. * Performance. Analysis of application performance over various programming models. * Developments in Programming Models and Languages. PGAS models, language extensions, and hybrid models to address emerging architectures, such as multicore, hybrid, heterogeneous, SIMD and reconfigurable architectures. * Tools, Compilers, and Implementations. Integrated Development Environments, performance analysis tools and debuggers. Compiler optimisations for PGAS languages, low level libraries, memory consistency models. Hardware support for PGAS languages, performance studies and insights, productivity studies, and language interoperability. SUBMISSION CATEGORIES & GUIDELINES Papers should report on original research, and should include enough background material to make them accessible to the entire PGAS research community. Papers describing experiences should indicate how they illustrate general principles; papers about parallel programming foundations should indicate how they relate to practice. There are three submission categories: * Research papers: submission of full paper of up to 8 pages at 10pt font. * "Hot" PGAS papers: submission of extended abstracts, 3 pages maximum at 10pt font. Submissions in this category target work-in-progress research and will, if accepted, be given shorter presentation slots than the full research papers. * Posters: submission of extended abstracts, 1 page maximum at 10pt font. Publication of conference proceedings Accepted submissions in the "Research papers" category will be published in the conference proceedings. The Programme Committee will also offer a selection of "Hot PGAS" submissions the chance for publication. KEY DATES Submission opens: 1 May 2013 Submission deadline: *20 June 2013* 17:00 GMT Author notification: late July 2013 Early Bird Registration: 1 June 2013 - 09:00 BST 10 September 2013 Registration deadline: 09:00 BST 25 September 2013 PROGRAMME COMMITTEE Chair: Michèle Weiland, EPCC, The University of Edinburgh, UK Sadaf Alam, CSCS, Switzerland Reinhold Bader, LZR, Germany Jason Beech-Brandt, Cray Inc, UK Brad Chamberlain, Cray Inc, USA Adrian Jackson, EPCC, The University of Edinburgh, UK Nick Johnson, EPCC, The University of Edinburgh, UK Chris Maynard, UK Metoffice, UK George Mozdzynski, ECMWF, UK John Reid, STFC, UK Mitsuhisa Sato, University of Tsukuba, Japan Tim Stitt, University of Notre Dame, USA Yonghong Yan, University of Houston, USA -- +++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Lauren L. Smith Visiting Member of the Research Staff IDA Center for Computing Sciences Phone: 301-805-7473 Email: ll...@su... |
From: Lauren S. <ll...@su...> - 2013-04-08 18:28:57
|
=============================================================================== CALL FOR PAPERS 7th International Conference on Partitioned Global Address Space Programming Models (PGAS 2013) Edinburgh, Scotland, UK October 3-4, 2013 http://www.pgas2013.org.uk =============================================================================== Partitioned Global Address Space (PGAS) programming models offer a shared address space model that simplifies programming while exposing data/thread locality to enhance performance. The PGAS conference is the premier forum to present and discuss ideas and research developments in the area of: PGAS models, languages, compilers, runtimes, applications and tools, PGAS architectures and hardware features. TOPICS Submissions are invited in related areas, including, but not limited to: * Applications. New applications that are uniquely enabled by the PGAS model, existing applications and effective application development practices for PGAS codes. * Performance. Analysis of application performance over various programming models. * Developments in Programming Models and Languages. PGAS models, language extensions, and hybrid models to address emerging architectures, such as multicore, hybrid, heterogeneous, SIMD and reconfigurable architectures. * Tools, Compilers, and Implementations. Integrated Development Environments, performance analysis tools and debuggers. Compiler optimisations for PGAS languages, low level libraries, memory consistency models. Hardware support for PGAS languages, performance studies and insights, productivity studies, and language interoperability. SUBMISSION CATEGORIES& GUIDELINES Papers should report on original research, and should include enough background material to make them accessible to the entire PGAS research community. Papers describing experiences should indicate how they illustrate general principles; papers about parallel programming foundations should indicate how they relate to practice. There are three submission categories: * Research papers: submission of full paper of up to 8 pages at 10pt font. * "Hot" PGAS papers: submission of extended abstracts, 3 pages maximum at 10pt font. Submissions in this category target work-in-progress research and will, if accepted, be given shorter presentation slots than the full research papers. * Posters: submission of extended abstracts, 1 page maximum at 10pt font. Publication of conference proceedings Accepted submissions in the "Research papers" category will be published in the conference proceedings. The Programme Committee will also offer a selection of "Hot PGAS" submissions the chance for publication. KEY DATES Submission opens: 1 May 2013 Submission deadline: 15 June 2013 Author notification: late July 2013 Early Bird Registration: 1 June 2013 - 09:00 BST 10 September 2013 Registration deadline: 09:00 BST 25 September 2013 PROGRAMME COMMITTEE Chair: Michèle Weiland, EPCC, The University of Edinburgh, UK Sadam Alaf, CSCS, Switzerland Reinhold Bader, LZR, Germany Jason Beech-Brandt, Cray Inc, UK Brad Chamberlain, Cray Inc, USA Adrian Jackson, EPCC, The University of Edinburgh, UK Nick Johnson, EPCC, The University of Edinburgh, UK Chris Maynard, UK Metoffice, UK George Mozdzynski, ECMWF, UK John Reid, STFC, UK Mitsuhisa Sato, University of Tsukuba, Japan Tim Stitt, University of Notre Dame, USA Yonghong Yan, University of Houston, USA -- Dr Michele Weiland Project Manager EPCC - University of Edinburgh m.w...@ep... Tel: +44 (0)131 651 3580 Fax: +44 (0)131 650 6555 The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336. |
From: David P G. <gr...@us...> - 2013-03-15 02:32:17
|
For those of you working on X10'13 submissions, we have decided to extend the submission deadline by three days. Papers are now due by Monday March 18. As a reminder, the online call for papers can be found at: http://x10-lang.org/workshop/workshop13.html --dave |
From: Mikio T. <mik...@gm...> - 2013-01-30 07:00:21
|
Dear the X10 programming language users, We will have the first X10 Day in Japan (the third X10 Day following in U. S. and China). There will be a talk by Vijay Saraswat on his recent projects, followed by short presentations and/or discussions on some X10 related projects in Japan. We are inviting most serious X10 users in Japan as well as active X10 project members from IBM T. J. Watson Research Center and IBM Research - Tokyo, so this should be a good opportunity to meet them in-person and discuss current and future X10 and its applications. Please join us! Date and Time: February 26, 2013, 13:30-18:00 Place: IBM Research - Tokyo (Toyosu, Koto-ku) http://www.research.ibm.com/labs/tokyo/visitor_toyosu.shtml Temporary Agenda: - Talk by Vijay Saraswat - Short presentations and/or discussions on some X10 related projects in Japan. - Free discussion Due to limited space capacity, we may not be able to provide you a seat for late registration. Please register yourself as early as possible. For details, please contact mt...@jp.... Sincerely yours, Mikio Takeuchi IBM Research - Tokyo |
From: David P G. <gr...@us...> - 2013-01-28 16:24:09
|
The 2013 ACM SIGPLAN X10 Workshop (X10'13) co-located with PLDI'13 in Seattle, WA The concurrency and scale-out era is upon us. Application programmers need to confront the architectural challenge of multiples cores and accelerators, clusters and supercomputers. A central need is the development of a usable programming model that can address these challenges -- dealing with thousands of cores and peta-bytes of data. The open-source X10 programming language is designed to address these twin challenges of productivity and performance. It is organized around four basic principles of asynchrony, locality, atomicity and order, developed on a type-safe, class-based, object-oriented foundation. This foundation is robust enough to support fine-grained concurrency, Cilk-style fork-join programming, GPU programming, SPMD computations, phased computations, active messaging, MPI-style communicators and cluster programming. X10 implementations are available on a wide range of systems ranging from laptops, to clusters, to supercomputers. The X10 Workshop is intended as a forum for X10 programmers, developers, researchers, and educators. The program may include presentation of invited and selected papers, panels and a late evening X10 hackathon. Original papers are invited on all aspects of X10, including theory, design, implementation, practice, curriculum development and experience, applications and tools. Accepted authors will have the option of having their paper published in the workshop proceedings in ACM Digital Library. Important Dates Paper submission deadline: March 15, 2013 Author Notification: April 10, 2013 Workshop: Thu or Fri, June 20 or 21, 2013 (with PLDI '13) Submission Information: Submissions must be in ACM proceedings format, 9-point type, and may not exceed 10 pages (all inclusive). Papers must describe unpublished work that is not currently submitted for publication elsewhere. Program Committee: Jose Nelson Amaral (University of Alberta) David Grove (IBM Research) - PC Chair Dave Hudak (Ohio Supercomputer Center) Martha Kim (Columbia University) I-Ting Angelina Lee (MIT) Igor Peshansky (Google) Toyotaro Suzumura (IBM Research / Tokyo Institute of Technology) Olivier Tardieu (IBM Research) Eli Tilevich (Virginia Tech) Jisheng Zhao (Rice University) For more information, please see the online call for papers at http://x10-lang.org/workshop/workshop13.html. |
From: David P G. <gr...@us...> - 2012-10-15 21:44:00
|
We're very happy to announce that X10 and X10DT version 2.3.0 are now available! This is a major release of X10 and includes significant enhancements to X10/Java interoperability. For more information and to download X10 and X10DT version 2.3.0, please see the X10 2.3.0 release page: http://x10-lang.org/releases/x10-release-230. The Release Notes for 2.3.0 are appended. MAJOR CHANGES The following major changes were made in the X10 language specification and implementation in this release. X10 2.3.0 introduces significant improvements in X10/Java interoperability. A few backwards compatible language enhancements and some some non backwards-compatible class library changes were made to improve the quality of Java interoperability. - Java types may now be imported/used in X10 programs just as-if they were X10 types. - An isref predicate (similar to iszero) has been added to X10's constraint language to enable identification of types that are constrained to be representable as a pointer. - X10 classes are no longer required to inherit from a single root class (x10.lang.Object). - x10.lang.Object has been removed from the standard library. - The exception hierarchy has been changed and checked exceptions and a throws clauses were reintroduced. The exception hierarchy now aligns neatly with Java's, although X10 prefers using unchecked exceptions as much as possible. For more details on these changes, please see the Changelog section of the X10 language specification. For advice on porting code from X10 2.2.3 to X10 2.3.0 please see the "Porting notes for X10 2.3" email message available at: https://sourceforge.net/mailarchive/message.php?msg_id=29741534 Please consult the language specification for the details of any minor language changes and specification clarifications made in this release. SUMMARY OF ISSUES RESOLVED IN THIS RELEASE Below is a summary of JIRA issues addressed for the X10 2.3.0 ** New Features and Improvements * [XTENLANG-1391] - Move .h and .cc files that contain implementation for x10.lang classes from x10aux into x10/lang * [XTENLANG-2118] - Java interoperability * [XTENLANG-2911] - Consolidate RuntimeException into Exception * [XTENLANG-3076] - java-interop: make static fields private to avoid java programmers accidentally see uninitialized fields * [XTENLANG-3012] - Java Interop Iterators * [XTENLANG-3068] - java-interop: write sample applications * [XTENLANG-3069] - java-interop: write test cases * [XTENLANG-3079] - java-interop: if possible, don't print method return type with @Throws annotation in error message ** Task * [XTENLANG-3091] - introduce x10.lang.IndexOutOfBoundsException to make exception hierarchy as close as Java * [XTENLANG-3102] - remove boxing of String * [XTENLANG-3105] - clean up exception handling mechanism by removing nested try-catch for conversion of exceptions and removing reordering catch blocks for multiple exception hierarchies * [XTENLANG-3106] - clean up runtime type system by removing ObjectType, Ref, RefI, StructType, Struct, StructI etc. ** Bug * [XTENLANG-2868] - Captured environment calculation is incorrect for anonymous inner class * [XTENLANG-2892] - java.lang.IndexOutOfBoundsException in constraint system (SelfArrayReference_7) * [XTENLANG-2986] - java interop: parser does not accept @Throws annotation with constructor without specifying return type (JavaException3) * [XTENLANG-2989] - java-interop: Cannot call an @Throws method inside of an async or an at * [XTENLANG-3062] - java exceptions not propagated through at / async * [XTENLANG-3087] - Reachability test not working for generic methods that throw exceptions * [XTENLANG-3089] - getCause() in @NativeRep("java") x10.lang.Throwable returns too broad type * [XTENLANG-3090] - use x10.lang.AssertionError instead of java.lang.AssertionError for assertions * [XTENLANG-3092] - T haszero expression broken in managed backend (HasZero1.x10) * [XTENLANG-3093] - assigning null to T field broken when T is bound to struct (GenericCast14.x10) * [XTENLANG-3095] - New method x10.matrix.Vector.maxNorm() * [XTENLANG-3097] - java-interop: type system should consider every type has methods of Any (Any1.x10) * [XTENLANG-3099] - -CHECK_INVARIANTS is broken * [XTENLANG-3100] - -DEBUG_CODEGEN is broken * [XTENLANG-3101] - Instance fields of clusure are not initialized when compiled with -O * [XTENLANG-3104] - Initialization of properties is broken (SelfArrayReference_1.x10) * [XTENLANG-3108] - Incorrect order of initialization for properties and fields (XTENLANG_215.x10) * [XTENLANG-3109] - Unresolved RTT type parameter in local class inside generic class * [XTENLANG-3110] - Generic method with local class causes NPE in LocalClassRemover * [XTENLANG-3111] - Java arrays not serialised properly when cast to Any (JavaArray3.x10) * [XTENLANG-3112] - Java exceptions stack trace not serialised via reflection-based serialisation mechanism * [XTENLANG-3113] - Class extending Exception cannot be serialised in managed backend (JavaSerialization4.x10) * [XTENLANG-3115] - Exception message not serialized in Java backend (ExceptionsRemote.x10) * [XTENLANG-3116] - Stop instantiating abstract class with unsafe (JavaSerialization4b.x10) * [XTENLANG-3121] - Serialization of Java arrays doesn't preserve isomorphism (JavaType2.x10) * [XTENLANG-3123] - x10.lang.Error is not translated to x10.lang.MultipleExceptions (FinishTest3.x10) * [XTENLANG-3125] - typeGuard of generic subtype should be propagated to its generic supertype (GenericsInheritance4.x10) * [XTENLANG-3127] - Serialization of exceptions that has a field of Array[Exception] is broken (RootException11b) * [XTENLANG-3129] - Native backend generates invalid C++ code for user-defined operator .. * [XTENLANG-3130] - Ambiguous _deserialize_body * [XTENLANG-3131] - Class tangle up in local class properties. * [XTENLANG-3133] - Bug in typedef for RemoteRail[T] = GlobalRef[Rail [T]] * [XTENLANG-3138] - class C[T] { class D[T] { } } broken For the details of JIRA issues fixed in this release, see http://jira.codehaus.org/secure/ReleaseNote.jspa?projectId=11812&version=17009 |
From: David P G. <gr...@us...> - 2012-08-29 19:31:27
|
We're very happy to announce that X10 and X10DT version 2.2.3 are now available. To download them, visit the release web page at http://x10-lang.org/releases/x10-release-223. We've also updated the project roadmap page ( http://x10-lang.org/home/codebase-progress.html) to reflect our current schedule for the X10 2.3.0 release. The release notes for X10 2.2.3 are appended. MAJOR CHANGES The following major changes were made in the X10 language specification and implementation in this release. + The semantics of static field initialization were changed so that static fields are now lazily initialized on a per-Place basis when the field is first read by an activity executing in a given Place. For more details, please see Section 8.6 (Static Initialization) in the language specification. Please consult the language specification for the details of any minor language changes and specification clarifications made in this release. LIMITATIONS OF THIS RELEASE The following features described in the 2.2.3 language manual do not currently work and will be fixed in the subsequent releases: - Non-static type definitions as class or interface members (static type defs do work) The constraint solver used by X10 typechecker is known to be incomplete for situations in which a constraint implies an infinite number of distinct constraints. Additionally, the following features described in the language manual do not currently work with the C++ backend and will be fixed in the subsequent releases: - Garbage collection on AIX - Non-final generic instance methods - Exception stack traces on Cygwin Although greatly improved from previous releases, the X10 runtime still uses a modified "busy wait" loop in the worker threads that execute asyncs. A consequence of this is that even if a Place has no asyncs to execute, one worker thread in the Place will still consume CPU cycles busy waiting for messages to arrive from the network. The generated C++ code requires g++ 4.2 or better to be compiled; we do almost all of our testing against g++ 4.3.2. On AIX, you may either use g++ 4.2 or better or xlC 10.1.0.4 or better. SUMMARY OF ISSUES RESOLVED IN THIS RELEASE Below is a summary of JIRA issues addressed for the X10 2.2.3 ** New Features and Improvements * [XTENLANG-529] - Test cases for static initialization semantics * [XTENLANG-936] - Determine automatically 32 vs 64 architecture in X10 Platform Configuration * [XTENLANG-1036] - X10DT source editor should provide basic "quick-fixes" for common newbie-triggered compiler messages * [XTENLANG-1041] - X10DT source editor should provide distinct font/color settings for various syntax categories * [XTENLANG-1065] - "Search" for types with main() methods should use an indexed search * [XTENLANG-1095] - Should be able to constrain an X10 search to a context * [XTENLANG-1755] - code auto completion * [XTENLANG-2952] - Proper support for project dependencies * [XTENLANG-2972] - Change static initialization semantics to be per-place * [XTENLANG-2977] - java-interop: type system should support throwability checking * [XTENLANG-2993] - Return primitives without boxing from dispatcher method (IntfMethod2) * [XTENLANG-3008] - Calling java.lang.System.exit deadlocks * [XTENLANG-3037] - -DEBUG_CODEGEN: a tool for quickly diagnosing problems in Java codegen * [XTENLANG-3045] - FileWriter: support appending to File * [XTENLANG-3047] - Distributed Garbage Collection for Managed X10 * [XTENLANG-3056] - Support sort (and binary search over) Array * [XTENLANG-3064] - Serialization: avoid byte swapping between homogeneous places * [XTENLANG-3072] - New reader method for reading into byte array * [XTENLANG-3075] - java-interop: launcher for Java programs * [XTENLANG-3082] - Support execution of native commands ** Tasks * [XTENLANG-3073] - Update commons math to 3.0 * [XTENLANG-3074] - Update ecj to 3.7.2 ** Bugs * [XTENLANG-1146] - Fully implement coercion/conversion operations between all sensible pairs of built-in primitives * [XTENLANG-2143] - Add standard x10 copyright headers to polyglot files * [XTENLANG-2400] - Thrown exception at static init time can deadlock * [XTENLANG-2870] - java-interop: reachability test for catch statement does not understand java checked exceptions * [XTENLANG-2874] - java-interop: bug in alpha renaming type parameter when the parameter was bound to Java type * [XTENLANG-3002] - Printer class print method needs to unlock in finally {} * [XTENLANG-3006] - java-interop: post-compilation error with Java.array access for primitives * [XTENLANG-3007] - Comparing ULongs leads to compiler-error with x10c+ + (64bit). * [XTENLANG-3009] - regionForHere computation in BlockBlockDist incorrect for non-zeroBased regions * [XTENLANG-3010] - java-interop: Calling reduce on an X10 array that contains a java array crashes the compiler (JavaArray1) * [XTENLANG-3011] - java-interop: Generated code does not correctly propagate @Throws annotations (JavaException5, JavaException6) * [XTENLANG-3018] - java-interop: Serialization of instance of java.lang.Object causes NPE (JavaSerializationObject) * [XTENLANG-3029] - Any.typeName() is incorrect for int literals and string in Java backend (TypeName1) * [XTENLANG-3032] - ClassCastException in code generated for async initialization of value with generic type instantiated on primitive * [XTENLANG-3033] - Compile errors when building X10 with GCC 4.7 * [XTENLANG-3035] - Duplicate bridge method (IntfMethod1) * [XTENLANG-3040] - PreLoader is too eager and tries to load unavailable (and otherwise never referenced libraries) classes * [XTENLANG-3058] - managed codegen does not take into account type constraint environment properly (DepTypeInMethod1) * [XTENLANG-3061] - ICE in Native X10 on upcast of null to a function type * [XTENLANG-3063] - java-interop: post-compilation error for constuctor with @Throws annotation (JavaException3b) * [XTENLANG-3070] - java-interop: Cannot create an X10 class that extends a Java class with no default constructor * [XTENLANG-3071] - Remove redundant home() property method on globalref * [XTENLANG-3081] - Implement new exception semantics in static initialization for Managed X10 * [XTENLANG-3083] - Closures in static methods cause post-compilation error * [XTENLANG-3084] - Postcompiler error from managed backend when @Throws added to an overriding method. * [XTENLANG-3085] - Post-compilation error for static fields with initial expressions like "abc" as Object etc. For the details of JIRA issues fixed in this release, see http://jira.codehaus.org/secure/ReleaseNote.jspa?projectId=11812&version=18146 Please use the X10 JIRA to report bugs, after ensuring the problem is not already reported: http://jira.codehaus.org/secure/IssueNavigator.jspa?reset=true&&pid=11812&resolution=-1 |
From: David P G. <gr...@us...> - 2012-03-23 18:38:29
|
A new release (version 2.1.0) of the IBM Parallel Debugger for X10 Programming, is available from IBM developerWorks [1]. This new release of the X10 Debugger includes a number of bug fixes and user interface improvements including an activity view and enhancements to the variable view to display the contents of DistArrays. Version 2.1.0 of the IBM Parallel Debugger for X10 Programming requires version 2.2.2.2 of X10 and X10DT. [1] https://www.ibm.com/developerworks/mydeveloperworks/groups/service/html/communityview?communityUuid=e3fb8100-3ee3-4402-bf67-bf66b29797ea |
From: Michael H. <hi...@us...> - 2012-02-29 21:06:38
|
We are happy to announce an extension to the submission deadline for the X10 Workshop. The new deadline will be Monday, March 5, 2012. The ACM SIGPLAN 2012 X10 Workshop (X10'12) co-located with PLDI'12 Crowne Plaza Hotel Parkview Wuzhou Beijing, China Thursday, June 14, 2012 http://www.x10-lang.org/workshop Submission Deadline: Mar 5, 2012 The concurrency and scale-out era is upon us. Application programmers need to confront the architectural challenge of multiples cores and accelerators, clusters and supercomputers. A central need is the development of a usable programming model that can address these challenges -- deal with thousands of cores and peta-bytes of data. The open-source X10 programming language (http://x10-lang.org) is designed to address these twin challenges of productivity and performance. It is organized around four basic principles of asynchrony, locality, atomicity and order, developed on a type-safe, class-based, object-oriented foundation. This foundation is robust enough to support fine-grained concurrency, Cilk-style fork-join programming, GPU programming, SPMD computations, phased computations, active messaging, MPI-style communicators, cluster programming. X10 implementations are available on Power and x86 clusters, on Linux, AIX, MacOS, Cygwin and Windows. The X10 Workshop is intended as a forum for X10 programmers, developers, researchers and educators. The program may include presentation of invited and selected papers, panels and a late evening X10 hackathon with programming challenges and prizes. Original papers are invited on all aspects of X10, including theory, design, implementation, practice, curriculum development and experience, applications and tools. Accepted authors will have the option of having their paper in the proceedings that will be published by the ACM. Topics of interest include: * Curriculum development using X10 and experience * Applications and experience, X10 programming pearls * High-level frameworks and libraries: map reduce, parallel matrix and graph libraries, global load balancing frameworks * Performance analysis, comparison between performance of X10 application in managed environment vs native environment * Performance comparison between Hadoop and X10 implementations of Map Reduce programs * Foundations: weak-memory models, models of imperative concurrency, reasoning techniques for dynamic concurrency * Extensions: fault-tolerance, dynamic places, hierarchical places * Type systems for concurrency and alias management * Deterministic computation, Phased computations -- Clock-based concurrency, Stream-based computation * Static analyses for atomicity violations, race conditions, deadlock-freedom. * Compilation techniques: code generation, compilation for work-stealing, concurrency and communication optimizations, compilation for scale * Runtime systems, Interoperability with Java, MPI * Design of JVM extensions for X10, Multi-VM implementations of X10. * Distributed GC * Refactoring tools, including concurrency refactoring * Performance analysis and monitoring tools * Testing, Bug-detection and program understanding tools * Debugging frameworks, including large-scale debugging, differential debugging. IMPORTANT DATES Paper submission deadline: Mon, March 5, 2012 Author Notification: Mon, March 28, 2012 Workshop: Thu, June 14, 2012 SUBMISSION INSTRUCTIONS Submissions may not exceed 10 pages formatted according to the ACM proceedings format. These 10 pages include everything (i.e., it is the total length of the paper). Templates for ACM format are available for Word Perfect, Microsoft Word, and LaTeX at http://www.acm.org/sigs/sigplan/authorInformation.htm (use the 9 pt template). Submissions should be in PDF and printable on US Letter and A4 sized paper. Papers must describe unpublished work that is not currently submitted for publication elsewhere, including journals and proceedings of refereed conferences and workshops (c.f., http://www.acm.org/sigs/sigplan/republicationpolicy.htm). Authors of accepted papers will have the option of having their paper published in the ACM proceedings and including in the ACM Digital Library. Such authors will be required to sign an ACM copyright release. Submissions will be reviewed by the program committee and designated reviewers, and judged on scientific merit, innovation, readability, and relevance. Papers previously published or already being reviewed by another conference are not eligible; if a closely related paper has been submitted to a journal, the authors must notify the program chair (see the SIGPLAN republication policy). PROGRAM COMMITTEE * Haibo Chen, Shanghai Jiao Tong University * Claudia Fohry, University of Kassel, Germany * David Grove, IBM T.J. Watson Research Center * Josh Milthorpe, Australian National University * Jens Palsberg, UCLA, University of California, Los Angeles (chair) * Christoph von Praun, University of Applied Sciences Nuremberg, Germany * Vivek Sarkar, Rice University * Mikio Takeuchi, IBM Tokyo Research Lab STEERING COMMITTEE * Steve Blackburn, Australian National University * Michael Hind, IBM Research * Doug Lea, State University of New York, Oswego * Jens Palsberg, University of California, Los Angeles * Vijay Saraswat, IBM Research * Vivek Sarkar, Rice University TRAVEL GRANTS The SIGPLAN Profession Activities Committee (PAC) provides competitive awards for student author travel to attend X10'12. These travel awards are funded by SIGPLAN. Awards are also available to child care or companion travel for SIGPLAN members. Further details, including the application form can be found at http://www.sigplan.org/PAC.htm _____________________________________________________________ Michael Hind, Senior Manager, Programming Technologies Department IBM T.J. Watson Research Center http://www.research.ibm.com/people/h/hind 914 784-7589 My internal blog: https://w3.tap.ibm.com/weblogs/hindsight |
From: David P G. <gr...@us...> - 2012-02-17 22:07:00
|
We've made a minor release, X10 2.2.2.1, that fixes 6 bugs reported in X10 2.2.2. The release is available at http://x10-lang.org/software/download-x10/latest-release.html The bugs fixed are: + XTENLANG-2998 : Generated java code for an X10 interface that extends another X10 interface has an incorrect type + XTENLANG-2999 : ClassCastException while deserializing Hadoop Writable objects + XTENLANG-3001 : Memory corruption in Native X10 with CustomSerialization + Fix problem with X10 CUDA codegen with latest NVIDIA CUDA release + bug fix for x10rt_pami poll + bug fix in Native X10 debug maps for xlc v11.1 |
From: David P G. <gr...@us...> - 2012-02-07 21:14:05
|
We're happy to announce that X10 and X10DT version 2.2.2 are now available for download at http://x10-lang.org/software/download-x10/latest-release The release notes are appended. Release 2.2.2 MAJOR CHANGES No major changes have been made to the language specification in this release. The following major changes have been made to the implementation and the class libraries. + X10 now requires a Java 6.0 SDK as the minimum Java version to build X10. Previous versions of X10 would work on either Java 5.0 or Java 6.0. + Starting with X10 2.2.2, the compiler/runtime system will optimize the pattern at (P) async S; into a more efficient remote async invocation for any P. The pattern async at (p) S; will only be optimized into a more efficient remote async invocation when p is a simple expression (eg local variable reference). Therefore we recomment using at (P) async S where possible. All code in the X10 standard library and benchmarks has been updated. + Improved Java interoperability is included as a technology preview in this release. It is now possible to import Java types into X10 files using an import statement, have X10 classes implement Java interfaces, etc. There are some known limitations of Java interop in this release as detailed in the following issues: XTENLANG-2868: Captured environment calculation is incorrect for anonymous inner class which extends a Java class XTENLANG-2874: bug in alpha renaming type parameter when the parameter was bound to Java type XTENLANG-2977: type system should support throwability checking XTENLANG-2986: parser does not accept @Throws annotation with constructor (JavaException3) XTENLANG-2989: Cannot call an @Throws method inside of an async or an at Please consult the language specification for the details of any minor language changes and specification clarifications made in this release. LIMITATIONS OF THIS RELEASE The following features described in the 2.2.2 language manual do not currently work and will be fixed in the subsequent releases: - Non-static type definitions as class or interface members (static type defs do work) The constraint solver used by X10 typechecker is known to be incomplete for situations in which a constraint implies an infinite number of distinct constraints. Additionally, the following features described in the language manual do not currently work with the C++ backend and will be fixed in the subsequent releases: - Garbage collection on AIX - Non-final generic instance methods - Exception stack traces on Cygwin As in previous releases, the X10 runtime uses a "busy wait" loop in the worker threads that execute asyncs. A consequence of this is that even if a place has no asyncs to execute, it will still consume CPU cycles busy waiting for new asyncs to be created. See XTENLANG-1012 for more details. The generated C++ code requires g++ 4.2 or better to be compiled; we do almost all of our testing against g++ 4.3.2. On AIX, you may either use g++ 4.2 or better or xlC 10.1.0.4 or better. SUMMARY OF ISSUES RESOLVED IN THIS RELEASE Below is a summary of JIRA issues addressed for the X10 2.2.2 ** New Features and Improvements * [XTENLANG-2409] - Use .jar's generated by x10c -o as libraries at runtime as well as compile time * [XTENLANG-2654] - Optimize time/space tradeoffs in Array layout representation to bias towards rank 1 and rank 2 * [XTENLANG-2685] - Communication Optimizations for Distributed X10 Program Patch (including approval document) * [XTENLANG-2869] - java-interop: reachability analysis is broken with Java exception * [XTENLANG-2870] - java-interop: throw and catch of java.lang.Throwable (front-end) * [XTENLANG-2871] - java-interop: support Java throwables (backend) * [XTENLANG-2881] - Extend PlaceLocalHandle interface to support PlaceGroups and two-phase initialization closures * [XTENLANG-2903] - x10.util.Indexed should implement (Int)=>T * [XTENLANG-2925] - Clarify behaviour of destructuring * [XTENLANG-2941] - Native X10: control worker stack size via environment variable * [XTENLANG-2950] - Closure types screw up * [XTENLANG-2957] - Support static initialization of X10 types that are loaded with reflection * [XTENLANG-2969] - java-interop: running X10 code with Java thread * [XTENLANG-2975] - Changes to Matrix API to support chaining of operations * [XTENLANG-2979] - Matrix properties on DenseMatrix: trace(), norm(), maxNorm() * [XTENLANG-2987] - java-interop: stable mangling for constructors ** Task * [XTENLANG-2962] - X10 now requires Java6 ** Bug * [XTENLANG-1566] - 'a' as Int not recognized as a compile time constant, making switches hard to use * [XTENLANG-2674] - Artificial places leak into error messages and dynamic checks * [XTENLANG-2775] - Failed to capture a clock variable in a nested closure (HeatTransfer_v5) * [XTENLANG-2804] - Constaint projection problem when NQueensDist is compiled at -O * [XTENLANG-2810] - Class x10.util.Option - equals() and _struct_equals () * [XTENLANG-2853] - managed -x10lib blah.properties does not add the jar file to the classpath * [XTENLANG-2855] - java-interop: @Throws annotation with type parameters * [XTENLANG-2886] - sockets backend does not respond properly to abnormal termination * [XTENLANG-2889] - Website: outdated examples for native code integration feature * [XTENLANG-2915] - Failed to propagate constraint (NQueensDistTest) * [XTENLANG-2921] - toronto testcase: specify location of input data (ParallelIORead, ParallelIOWrite, SingleIORead, test_compare_output_methods2, Finish_003f) * [XTENLANG-2922] - toronto testcase: specify sourcepath (testLU1, testLU2, testLorenz2) * [XTENLANG-2923] - toronto testcase: advance clock to avoid deadlock (LEL_003f) * [XTENLANG-2926] - C++ codegen: missing #include for method return type * [XTENLANG-2927] - In operator body, local member is acessed instead of parameter * [XTENLANG-2929] - (java-interop): x10c Does not perform required mangling when an x10 class implements both a Java and an X10 interface * [XTENLANG-2931] - Failure to typecheck generic abs method * [XTENLANG-2937] - "alloc" object created by constructor splitting should be non-null * [XTENLANG-2940] - Post-compilation error with duplicated bridge method * [XTENLANG-2959] - Serialization of aliased IntWritable works incorrectly * [XTENLANG-2961] - Native X10: bug in String.compareToIgnoreCase * [XTENLANG-2964] - ICE on x(j)++; where x is an Array. * [XTENLANG-2965] - Bad interaction between constructor splitting, at expressions, and lowering * [XTENLANG-2968] - Native backend hides cause for Throwable * [XTENLANG-2974] - HashMap runtime hangup and break * [XTENLANG-2980] - Type parameter of "this" is sometimes lost * [XTENLANG-2982] - java-interop: serializing a java class that does not implement Serializable should result in an error * [XTENLANG-2983] - java-interop: java.io.File does not serialize correctly * [XTENLANG-2988] - x10c++ help message lists "create java files" as an option * [XTENLANG-2990] - binary operator with a generic type doesn't compile in C++ back end * [XTENLANG-2994] - RectRegion.contains() fails with NO_CHECKS=false for 4D array For the details of JIRA issues fixed in this release, see http://jira.codehaus.org/browse/XTENLANG/fixforversion/17639 Please use the X10 JIRA to report bugs, after ensuring the problem is not already reported: http://jira.codehaus.org/secure/IssueNavigator.jspa?reset=true&&pid=11812&resolution=-1 |
From: Michael H. <hi...@us...> - 2012-01-29 19:55:57
|
The ACM SIGPLAN 2012 X10 Workshop (X10'12) co-located with PLDI'12 Crowne Plaza Hotel Parkview Wuzhou Beijing, China Thursday, June 14, 2012 http://www.x10-lang.org/workshop Submission Deadline: Feb 28, 2012 The concurrency and scale-out era is upon us. Application programmers need to confront the architectural challenge of multiples cores and accelerators, clusters and supercomputers. A central need is the development of a usable programming model that can address these challenges -- deal with thousands of cores and peta-bytes of data. The open-source X10 programming language (http://x10-lang.org) is designed to address these twin challenges of productivity and performance. It is organized around four basic principles of asynchrony, locality, atomicity and order, developed on a type-safe, class-based, object-oriented foundation. This foundation is robust enough to support fine-grained concurrency, Cilk-style fork-join programming, GPU programming, SPMD computations, phased computations, active messaging, MPI-style communicators, cluster programming. X10 implementations are available on Power and x86 clusters, on Linux, AIX, MacOS, Cygwin and Windows. The X10 Workshop is intended as a forum for X10 programmers, developers, researchers and educators. The program may include presentation of invited and selected papers, panels and a late evening X10 hackathon with programming challenges and prizes. Original papers are invited on all aspects of X10, including theory, design, implementation, practice, curriculum development and experience, applications and tools. Accepted authors will have the option of having their paper in the proceedings that will be published by the ACM. Topics of interest include: * Curriculum development using X10 and experience * Applications and experience, X10 programming pearls * High-level frameworks and libraries: map reduce, parallel matrix and graph libraries, global load balancing frameworks * Performance analysis, comparison between performance of X10 application in managed environment vs native environment * Performance comparison between Hadoop and X10 implementations of Map Reduce programs * Foundations: weak-memory models, models of imperative concurrency, reasoning techniques for dynamic concurrency * Extensions: fault-tolerance, dynamic places, hierarchical places * Type systems for concurrency and alias management * Deterministic computation, Phased computations -- Clock-based concurrency, Stream-based computation * Static analyses for atomicity violations, race conditions, deadlock-freedom. * Compilation techniques: code generation, compilation for work-stealing, concurrency and communication optimizations, compilation for scale * Runtime systems, Interoperability with Java, MPI * Design of JVM extensions for X10, Multi-VM implementations of X10. * Distributed GC * Refactoring tools, including concurrency refactoring * Performance analysis and monitoring tools * Testing, Bug-detection and program understanding tools * Debugging frameworks, including large-scale debugging, differential debugging. IMPORTANT DATES Paper submission deadline: Mon, Feb 28, 2012 Author Notification: Mon, March 28, 2012 Workshop: Thu, June 14, 2012 SUBMISSION INSTRUCTIONS Submissions may not exceed 10 pages formatted according to the ACM proceedings format. These 10 pages include everything (i.e., it is the total length of the paper). Templates for ACM format are available for Word Perfect, Microsoft Word, and LaTeX at http://www.acm.org/sigs/sigplan/authorInformation.htm (use the 9 pt template). Submissions should be in PDF and printable on US Letter and A4 sized paper. Papers must describe unpublished work that is not currently submitted for publication elsewhere, including journals and proceedings of refereed conferences and workshops (c.f., http://www.acm.org/sigs/sigplan/republicationpolicy.htm). Authors of accepted papers will have the option of having their paper published in the ACM proceedings and including in the ACM Digital Library. Such authors will be required to sign an ACM copyright release. Submissions will be reviewed by the program committee and designated reviewers, and judged on scientific merit, innovation, readability, and relevance. Papers previously published or already being reviewed by another conference are not eligible; if a closely related paper has been submitted to a journal, the authors must notify the program chair (see the SIGPLAN republication policy). PROGRAM COMMITTEE * Haibo Chen, Shanghai Jiao Tong University * Claudia Fohry, University of Kassel, Germany * David Grove, IBM T.J. Watson Research Center * Josh Milthorpe, Australian National University * Jens Palsberg, UCLA, University of California, Los Angeles (chair) * Christoph von Praun, University of Applied Sciences Nuremberg, Germany * Vivek Sarkar, Rice University * Mikio Takeuchi, IBM Tokyo Research Lab STEERING COMMITTEE * Steve Blackburn, Australian National University * Michael Hind, IBM Research * Doug Lea, State University of New York, Oswego * Jens Palsberg, University of California, Los Angeles * Vijay Saraswat, IBM Research * Vivek Sarkar, Rice University TRAVEL GRANTS The SIGPLAN Profession Activities Committee (PAC) provides competitive awards for student author travel to attend X10'12. These travel awards are funded by SIGPLAN. Awards are also available to child care or companion travel for SIGPLAN members. Further details, including the application form can be found at http://www.sigplan.org/PAC.htm _____________________________________________________________ Michael Hind, Senior Manager, Programming Technologies Department IBM T.J. Watson Research Center http://www.research.ibm.com/people/h/hind 914 784-7589 My internal blog: https://w3.tap.ibm.com/weblogs/hindsight |
From: David P G. <gr...@us...> - 2011-09-29 21:24:20
|
We're very happy to announce that X10 and X10DT 2.2.1 are now available for download! To download the release, please see the X10 2.2.1 release page at http://x10-lang.org/software/download-x10/release-list/322-x10-release-221.html The release notes for version 2.2.1 are appended. Release 2.2.1 MAJOR CHANGES No major changes have been made to the language specification in this release. The following major changes have been made to the implementation and the class libraries. The + and - operators were removed from the IntRange class and replaced by a translate method. The motivation for this API change was to avoid a common programming mistake: for (i in 0..n-1) { ... } In the loop above, i actually ranges from -1 to n-1 because .. has higher precedence than - (to support concise region products like 0..n*0..n). In 2.2.1 this loop will be flagged as a compile time error; write it as: for (i in 0..(n-1)) { ... } Managed X10 now uses Java built-in primitives to implement unsigned X10 structs (UInt, ULong, etc). This significantly improves the performance of unsigned types with Managed X10. We have implemented a new custom serialization protocol for Managed X10, resulting in significant performance improvements for multi-place programs on Managed X10. The built-in numeric structs (Int, ULong, Double, etc) now implement the interfaces, Arithmetic, Bitwise and Ordered (as appropriate). This enables writing generic code over types that implement common operations such as +, *, <=, etc. Please consult the language specification for the details of any minor language changes and specification clarifications made in this release. LIMITATIONS OF THIS RELEASE The following features described in the 2.2.1 language manual do not currently work and will be fixed in the subsequent releases: - Non-static type definitions as class or interface members (static type defs do work) The constraint solver used by X10 typechecker is known to be incomplete for situations in which a constraint implies an infinite number of distinct constraints. Additionally, the following features described in the language manual do not currently work with the C++ backend and will be fixed in the subsequent releases: - Garbage collection on AIX - Non-final generic instance methods - Exception stack traces on Cygwin As in previous releases, the X10 runtime uses a "busy wait" loop in the worker threads that execute asyncs. A consequence of this is that even if a place has no asyncs to execute, it will still consume CPU cycles busy waiting for new asyncs to be created. See XTENLANG-1012 for more details. The generated C++ code requires g++ 4.2 or better to be compiled; we do almost all of our testing against g++ 4.3.2. On AIX, you may either use g++ 4.2 or better or xlC 10.1.0.4 or better. SUMMARY OF ISSUES RESOLVED IN THIS RELEASE Below is a summary of JIRA issues addressed for the X10 2.2.1 ** New Features and Improvements * [XTENLANG-1006] - CUDA: no functions * [XTENLANG-1560] - constant propagator should propagate closure literals * [XTENLANG-1703] - Support "operator#(...)" syntax for invoking operators * [XTENLANG-2075] - Primitives should implement Arithmetic, Bitwise, Ordered * [XTENLANG-2130] - Enable constant folding for unsigned numeric operations * [XTENLANG-2419] - Performance of Array.reduce() * [XTENLANG-2675] - Enable constant propagation of NullLit * [XTENLANG-2679] - Reenable mapping unsigned types to Java primitives * [XTENLANG-2787] - x10::lang::Place::_make is not inlined * [XTENLANG-2791] - Use direct copy rather than memcpy for serialization on little-endian platforms * [XTENLANG-2792] - Bulk serialization of IndexedMemoryChunk[T] where T is primitive * [XTENLANG-2794] - Array.clear() * [XTENLANG-2797] - Char should implement Ordered * [XTENLANG-2798] - Implement caching boxed values in Java backend * [XTENLANG-2799] - Enable operator inlining and privatization for unsigned types in Java backend * [XTENLANG-2805] - Faster comparison against null * [XTENLANG-2813] - Remove obsolete IORuntimeException * [XTENLANG-2818] - Support for non-virtual instance calls in Managed X10 * [XTENLANG-2821] - Inline GrowableIndexedMemoryChunk.apply(int) for better performance of ArrayList.apply(int) * [XTENLANG-2829] - Use fast native implementations of Math.abs * [XTENLANG-2847] - Allow the compiler to be canceled * [XTENLANG-2859] - ClassCastException in ParsedName for handling method selector * [XTENLANG-2883] - DistArray.getLocalPortion() * [XTENLANG-2920] - X10DT: progress view shows "Remote Compilation" when compiling on localhost ** Bug * [XTENLANG-1938] - Expressions should be allowed as statements (ie allow expr; ) * [XTENLANG-1990] - Describe rt options in spec * [XTENLANG-2016] - DYNAMIC_CALLS doesn't report an inserted check (and STATIC_CALLS fails with an error) * [XTENLANG-2293] - unreachable catch blocks * [XTENLANG-2300] - gcc compilation error "multiple definition of closure" for a closure in a inlinable method * [XTENLANG-2376] - Runtime checking a constructor guard for a constructor call (super/this) * [XTENLANG-2663] - Integer_ConstraintWithVariable generates incorrect code with optimization * [XTENLANG-2680] - Override and implement virtual and interface method with @Native is broken in Java backend * [XTENLANG-2686] - Stop converting unknown Java exception to x10 * [XTENLANG-2712] - Dynamic casts not generated for new expressions on macro-types. * [XTENLANG-2729] - Should (1.0 as Any as Int) succeed or fail? Interactions between upcasts and "user-defined" conversions * [XTENLANG-2739] - LangSpec example using UInt causes post-compilation error on Java back end (Structs30) * [XTENLANG-2745] - Unreachable catch block for Exception is not detected. * [XTENLANG-2751] - Code cleanup pass causes post-compilation error * [XTENLANG-2752] - Coercion of constant to unsigned type causes InternalCompilerError * [XTENLANG-2755] - java backend post compilation errors on DYNAMIC_CHECKS * [XTENLANG-2756] - Dispatcher for super interface method not generated in Java backend * [XTENLANG-2757] - Using local variable in type constraint in async breaks postcompilatoin * [XTENLANG-2760] - Unsigned types get lost when stored in constraints * [XTENLANG-2762] - Another ClosureRemover bug in Java backend (AsyncTest2) * [XTENLANG-2765] - Octal literals are not checked for well-formedness * [XTENLANG-2767] - Java backend code generation problem in Issues/XTENLANG_2330.x10 * [XTENLANG-2768] - Struct with IndexedMemoryChunk field suffers corruption by GC due to containsPtrs==false * [XTENLANG-2770] - Test case fails the wrong way * [XTENLANG-2771] - Compiler erroneously permits var locals to be used in constraints (DepTypeInMethodRet1_MustFailCompile) * [XTENLANG-2772] - Preserve type of IntLit for narrower than Int in Java backend * [XTENLANG-2773] - Missing boxing of String in Java backend (Expressions3e9h) * [XTENLANG-2774] - inlining causes non-generic closure declaration to get generated after the call to it in a generic method in the C++ backend * [XTENLANG-2776] - Spec's example in "Limitation: Runtime Constraint Erasure" should be auto-checked * [XTENLANG-2777] - Need a warning on unsound casts, with -VERBOSE at least * [XTENLANG-2778] - Get rid of "Offers" clauses from the auto-imported grammar. * [XTENLANG-2780] - Post-compilation errors when creating an array of inner class type * [XTENLANG-2781] - spec needs to describe propagation in inferred types. * [XTENLANG-2783] - Stop propagating String literal to closure body (AtomicReferenceTest) * [XTENLANG-2784] - Preserve declared type for numeric values (Expressions1x7i) * [XTENLANG-2790] - Inliner fails to replace this in closure when inlining an instance method into a static method * [XTENLANG-2801] - C++ backend:optimizer:post compilation fails at element access on DistArray * [XTENLANG-2802] - Inliner issue when inlining non-generic method into generic method and c++ backend * [XTENLANG-2807] - no error when use 8 for Octal number * [XTENLANG-2809] - StringBuilder with null - SegFault * [XTENLANG-2812] - Post-compilation error for SeqMethodCall1.x10 * [XTENLANG-2814] - StringBuilder insert() with null - SegFault * [XTENLANG-2815] - Random: nextLong(): hangs with nextLong combination * [XTENLANG-2816] - javac error compiling GlobalRef.evalAtHome * [XTENLANG-2817] - Multi-place programs launched with the sockets X10RT implementation seem to hang on exit * [XTENLANG-2820] - x10.util.Vec not fully implemented? * [XTENLANG-2822] - C++ backend cast injector casting to wrong type in the inlined constructor. Instantiation problem? * [XTENLANG-2827] - ITable lookup failure * [XTENLANG-2828] - NativeClass problems with user-defined Java classes * [XTENLANG-2830] - Deserializer cause javac error for a class with a property * [XTENLANG-2832] - Return code lost (incorrectly 0 from aborting program) on multi-place (or single place, HOSTLIST set) program using x10rt_sockets * [XTENLANG-2834] - Bugs in GlobalRef Mortal object handling in Java back-end * [XTENLANG-2837] - anonymous class c++ backend NPE * [XTENLANG-2838] - Desugarer violates its postcondition * [XTENLANG-2839] - ClosureRemover Improvements * [XTENLANG-2840] - Post-compilation error for SPECjbb2005 * [XTENLANG-2841] - GlobalRefs causing exceptions in some JVMs * [XTENLANG-2842] - Eliminate + and - operators on IntRange to avoid commom programming mistake of writing 0..n-1 * [XTENLANG-2850] - native c++ Comparable itable thunks not quite standard * [XTENLANG-2854] - Incorrect container for compiler generated abstract method for each interface method implemented by an abstract class * [XTENLANG-2863] - String + void can give a Java error, not an X10 one. * [XTENLANG-2865] - var async capture broken in certain cases * [XTENLANG-2877] - Region.eliminate eliminates wrong dimension * [XTENLANG-2885] - First twist of Random.random() still not completely random * [XTENLANG-2890] - Post-compilation errors due to the lack of boxing primitives for closure arguments (Exceptions, ExceptionsRemote, FinishCrossMethodMultiAsync and M ultiAsyncs) * [XTENLANG-2891] - NullPointerException in the typechecker * [XTENLANG-2893] - java.lang.NullPointerException in desugarer (MatrixAddSubclass_MustFailCompile) * [XTENLANG-2895] - co/contra-variance of function type not correctly implemented in Java backend (ADA_005f) * [XTENLANG-2896] - X10DT: failure to compile code which compiles fine with x10c++ * [XTENLANG-2898] - booleans (and sometimes ints) lose their Boolean-ness when boxed and put in arrays in the Java back end * [XTENLANG-2906] - toronto testcase: PlaceLocalHandle.id overflow (ADA_039f) * [XTENLANG-2908] - X10DT: Can't rename newly created launch configuration * [XTENLANG-2909] - Closure inlining of generic closure constrained <: struct breaks Managed codegen * [XTENLANG-2914] - Assertion failure in constant propagator (XTENLANG_2330) * [XTENLANG-2919] - BlockBlockDist fails to cover for some combinations of Region / MAX_PLACES ** Task * [XTENLANG-2766] - Document static vs dynamic checking of numeric conversions For the details of JIRA issues fixed in this release, see http://jira.codehaus.org/browse/XTENLANG/fixforversion/17131 Please use the X10 JIRA to report bugs, after ensuring the problem is not already reported: http://jira.codehaus.org/secure/IssueNavigator.jspa?reset=true&&pid=11812&resolution=-1 |
From: David P G. <gr...@us...> - 2011-06-08 18:25:32
|
We're very happy to announce that X10 and X10DT 2.2.0 are now available for download! This release is a significant project milestone and has been a major focus for the team as it brings a new level of language and implementation stability to X10. More information about the release can be found on x10-lang.org at http://x10-lang.org/software/download-x10/latest-release.html The 2.2.0 release notes are appended. MAJOR CHANGES We have been extremely busy since the 2.1.2 release of X10. In all, 462 JIRA issues were resolved for the 2.2.0 release. A number of changes, clarifications, and improvements have been made to the language and its implementation. Some of the more noticeable language changes are: Covariant and contravariant type parameters are gone. The operator in is gone. in is now only a keyword. Method functions and operator functions have been removed. The expression m..n when m and n are of type Int now creates an IntRange struct instead of a Region. This results in more efficient code for for(i in m..n) without needing point destructuring syntax. vars can no longer be assigned in their place of origin in an at. Use a GlobalRef[Cell[T]] instead. We'll have a new idiom for expressing this more concisely in 2.3. The next and resume keywords are gone; they have been replaced by static methods on Clock. Please consult the language specification for the details of these changes and for a list of additional changes. LIMITATIONS OF THIS RELEASE The following features described in the 2.2.0 language manual do not currently work and will be fixed in the subsequent releases: - Non-static type definitions as class or interface members (static type defs do work) The constraint solver used by X10 typechecker is known to be incomplete for situations in which a constraint implies an infinite number of distinct constraints. Additionally, the following features described in the language manual do not currently work with the C++ backend and will be fixed in the subsequent releases: - Garbage collection on AIX - Non-final generic instance methods - Exception stack traces on Cygwin As in previous releases, the X10 runtime uses a "busy wait" loop in the worker threads that execute asyncs. A consequence of this is that even if a place has no asyncs to execute, it will still consume CPU cycles busy waiting for new asyncs to be created. See XTENLANG-1012 for more details. The generated C++ code requires g++ 4.2 or better to be compiled; we do almost all of our testing against g++ 4.3.2. On AIX, you may either use g++ 4.2 or better or xlC 10.1.0.4 or better. SUMMARY OF ISSUES RESOLVED IN THIS RELEASE Below is a summary of JIRA issues addressed for the X10 2.2.0 ** New Features and Improvements * [XTENLANG-361] - Add feature to support asynchronous argument evaluation * [XTENLANG-389] - Property subgraph should not be cyclic -- averts undecidability for constraint type- checking. * [XTENLANG-414] - Command line options to list available XRX configuration options * [XTENLANG-452] - Remove _MustFailRun support in the X10 regression scripts * [XTENLANG-635] - The error message for trying to call an instance method from a static context isn't very helpful. * [XTENLANG-713] - X10 vs. Java in the manual * [XTENLANG-890] - Consistent application of conversion and method lookup for calls to == and equals. * [XTENLANG-901] - Equals on closure literals should be defined as structural equality instead of reference equality * [XTENLANG-929] - Non-static struct members should fail to compile gracefully. * [XTENLANG-937] - ant rule for generating x10doc * [XTENLANG-938] - Augment X10 release packaging to include (a) x10doc and (b) unbundled .x10 files for standard libraries * [XTENLANG-962] - Array library redesign * [XTENLANG-963] - Remove Rail / Array distinction * [XTENLANG-1037] - X10DT should provide quick fixes for common compiler errors * [XTENLANG-1063] - Remove unnecessary duplication between code that supports Java vs. C++ back-ends * [XTENLANG-1124] - "at" expressions should have higher precedence than mathematical operators * [XTENLANG-1202] - Compiler and IDE support for sequentializing code * [XTENLANG-1248] - Correctly implement constraint lub * [XTENLANG-1259] - Conversion between Int and Point * [XTENLANG-1378] - X10DT builder needs more abstract way of recording dependencies * [XTENLANG-1428] - Rationalize =in= * [XTENLANG-1541] - Support compiling X10 programs against SVN head or some other version of X10. * [XTENLANG-1547] - Character encoding * [XTENLANG-1563] - How should code be saved in SVN so that checking out in X10DT will automatically create an X10 project? * [XTENLANG-1564] - Extract STATIC_CALLS as a separate phase/stage which removes certain errors from the error queue and inserts dynamic casts * [XTENLANG-1573] - improve compiler message for typechecking problem with Array parameter * [XTENLANG-1597] - language design: here and there * [XTENLANG-1607] - If something must be static, make it static, don't force me to say "static" * [XTENLANG-1618] - remove extern keyword * [XTENLANG-1624] - improve compiler message for unresolved method calls * [XTENLANG-1642] - Multiple exception toString improvement * [XTENLANG-1650] - to def or not to def? * [XTENLANG-1667] - Remove the next and resume keywords from the language * [XTENLANG-1680] - Runtime.getRuntime().availableProcessors() function * [XTENLANG-1690] - more general dynamic constraint checks * [XTENLANG-1846] - Improve toString() for exceptions * [XTENLANG-1869] - high finish overhead * [XTENLANG-1950] - Allow an abend so that failure of critical activity can gracefully end a set of related activities * [XTENLANG-1995] - Define IntRange and LongRange using the .. operator on Int/Long respectively * [XTENLANG-2017] - IndexedMemoryChunk.fill( T ) method, similar to the one in Array * [XTENLANG-2050] - Document best practices for doing parallel builds with x10c/x10c++ (e.g. make -j +/- Ant?) * [XTENLANG-2060] - Region.min(), Region.max() * [XTENLANG-2145] - Support the "force identifier" construct * [XTENLANG-2153] - Fix discussion of implicit conversions between unsigned and signed types * [XTENLANG-2237] - document interop with Arrays * [XTENLANG-2268] - BGP: build pgas_bgp to not require setting of X10RT_PGAS_COLLECTIVES environment variable * [XTENLANG-2294] - language specification should document the algorithm for generating default hash codes for structs * [XTENLANG-2302] - Destructuring Points should check their size. * [XTENLANG-2313] - Inefficient implementation of (Complex) struct constants * [XTENLANG-2322] - More descriptive toString for method selectors/closures * [XTENLANG-2352] - X10 Class Library: FileReader/Writer do not support reading/writing of unsigned types * [XTENLANG-2361] - IBM/X10 compiler does not support CUDA compute capability 2.1 (GeForce GTX460) * [XTENLANG-2368] - Compile .x10's without a main() method into a .lib with x10c++ * [XTENLANG-2436] - X10 needs top-level type definitions * [XTENLANG-2439] - X10 2.2 language design decisions (umbrella) * [XTENLANG-2444] - Remove co-and contra- variance from the language * [XTENLANG-2458] - Typedef definition * [XTENLANG-2465] - Need to define semantics for STATIC_CALLS/DYNAMIC_CALLS (and possibly rename to STATIC_CHECKS/DYNAMIC_CHECKS) * [XTENLANG-2483] - Performance of name resolution * [XTENLANG-2499] - IntRange as a struct? * [XTENLANG-2500] - Add more operators to X10 * [XTENLANG-2512] - Remove method selection literals * [XTENLANG-2513] - Java IndexedMemoryChunk should support long allocation and indices * [XTENLANG-2523] - Need a map between source files and output files from the compiler * [XTENLANG-2525] - 'e as T' should print a warning when the built-in cast behavior overrides the user-defined explicit conversion. * [XTENLANG-2527] - Consider removing the "operator (x:T) as ? <: U = E" syntax * [XTENLANG-2528] - Support #this, #paramname in Java backend @Natives * [XTENLANG-2542] - @Native with a set operator has unintuitive parameter order * [XTENLANG-2660] - Remove ability for code in an at statement/expr to assign a local variable declared outside the at statement/expr * [XTENLANG-2664] - Remove special handling of at's first argument * [XTENLANG-2665] - Use #paramname instead of #0, #1 etc. for parameters of @Native and @NativeRep annotations in Java backend * [XTENLANG-2668] - Rename error nonterminals in the grammar to have "Error" in the name. ** Bug * [XTENLANG-4] - "attempting to use incompatible return type" when overriding methods with constraints involving parameters * [XTENLANG-21] - Can't determine type of ternary expression involving (int)=>int * [XTENLANG-23] - "... override methods with compatible signatures" * [XTENLANG-47] - can't access property of enclosing class in header of nested class * [XTENLANG-118] - defined type not equivalent to its definition wrt type constraints * [XTENLANG-351] - x10c/x10c++ fails to process special symbols inside comments * [XTENLANG-398] - Performance of casts * [XTENLANG-547] - Front-end fails to reject method overloading on constrained types (place types) * [XTENLANG-560] - Reconsider what pieces of x10.io.InputStream/OutputStream should be global * [XTENLANG-585] - Identifiers that the compiler recognizes don't agree with the ones the spec says are OK. * [XTENLANG-614] - Ternary expression with void closures fails to typecheck * [XTENLANG-697] - Manual needs explanation of protected (and private, package, and public) * [XTENLANG-716] - Rule super-extends not checked * [XTENLANG-747] - Entailment rule on inherited method guards not enforced * [XTENLANG-846] - property assignments not being type-checked * [XTENLANG-865] - Fix covariance/contravariance type-checking and code generation * [XTENLANG-912] - ArrayIndexOutOfBoundException on test case Array/DimCheckN4_MustFailCompile * [XTENLANG-914] - Array operations in manual are not all implemented * [XTENLANG-920] - Upcast of function types requires wrapping/type conversions due to co/contra variance of arguments/return type * [XTENLANG-925] - Implicit conversions of primitive types probably needed in constraints. Or some such. * [XTENLANG-966] - Type definition does not respect value constraint * [XTENLANG-967] - Type constraint on closure not checked * [XTENLANG-975] - Get rid of "incomplete" methods in the X10 runtime and class libraries * [XTENLANG-989] - Failure to verify method constraint correctly * [XTENLANG-1013] - "1.2 as Any as Int" causes ClassCastException * [XTENLANG-1048] - String::split behaves very differently with Java and C++ runtime implementations * [XTENLANG-1057] - X10DT relies on a set of static variables to configure compiler options * [XTENLANG-1079] - Integer::parseInt behaves differently with Java and C++ runtime implementations * [XTENLANG-1110] - Type parameters of enclosing class appear to not be consistiently "captured" by nested classes * [XTENLANG-1148] - Can't compare unsigned and signed * [XTENLANG-1150] - var D <: T = E feature sometimes fails to compile * [XTENLANG-1183] - X10Doc: Refactor to enable code reuse in X10DT * [XTENLANG-1185] - Typechecker fails to reject attempting to access instance field as a static field * [XTENLANG-1196] - break inside foreach/ateach doesn't compile and doesn't make much sense * [XTENLANG-1210] - x10.io.File / openRead * [XTENLANG-1234] - Method override information not computed correctly in the X10 frontend * [XTENLANG-1253] - Must switch/case statements all need to have the same integral type? * [XTENLANG-1264] - Expected type is wrong in compilation error message * [XTENLANG-1269] - IsSpaceChar behaves strangely * [XTENLANG-1289] - Int.parseInt does not treat radix argument properly in C++ library * [XTENLANG-1292] - Dejavafication needed in 'Vars.tex' * [XTENLANG-1293] - Property method used as a term causes odd internal-looking compiler error * [XTENLANG-1294] - {(self.a==3&&self.b==4)==true} == BOOM! * [XTENLANG-1301] - Some entity links are broken * [XTENLANG-1316] - Bowen's clock spec comments * [XTENLANG-1333] - Class library APIs to expose HFI functionality * [XTENLANG-1335] - bogus constraint added to the type of for-loop formal * [XTENLANG-1347] - Closure body and declared type do not match * [XTENLANG-1350] - Specify the rules for computing the upper bound during typechecking. * [XTENLANG-1351] - Dejavalize "definite assignment" in chapter 5 Vars * [XTENLANG-1354] - handling "this" in generic classes is incorrect for type inference * [XTENLANG-1374] - Failed regression tests due to ClosureSynthesiser changes * [XTENLANG-1375] - Completeness of Reported Errors * [XTENLANG-1376] - Position information: The source extent of each node must be accurate. * [XTENLANG-1380] - leastCommonAncestorBase handles null in a wrong way (without considering the constraint) * [XTENLANG-1383] - Compiler should always produce a proper AST after typechecking * [XTENLANG-1389] - constraint information not properly propagated through here-expression * [XTENLANG-1415] - "for loops" are rejected if the constraint is wrong even for DYNAMIC_CALLS * [XTENLANG-1422] - Method selection rule in the presence of unsigned types not defined * [XTENLANG-1423] - Parser doesn't produce line numbers if there is a parsing error somewhere. * [XTENLANG-1427] - Compiler does not report an error when constructing an instance of a class with a parse error * [XTENLANG-1443] - set(T,I) must always have a matching apply(I) * [XTENLANG-1445] - Covariance and contravariance doesn't consider inheritance in the manual * [XTENLANG-1448] - Generic and overriding don't mix well * [XTENLANG-1460] - Superclass invariants are not checked * [XTENLANG-1461] - Class with two set methods no longer works right. * [XTENLANG-1463] - Return type of a ctor not infered correctly when the superclass has properties * [XTENLANG-1467] - Parsing errors for constraints: "Test{self!=null}!" and "Test{self!=null}{self.home==here}" * [XTENLANG-1468] - Function types should be represented directly (not with Fun_0_x) * [XTENLANG-1481] - NPE when compiling inequality constraints * [XTENLANG-1490] - An instanceof check throws an NullPointerException at runtime (in both C++ and Java) * [XTENLANG-1500] - Suggestions for section 13 -- Places * [XTENLANG-1503] - Need name mangling for Struct.structEquals(Object):Boolean * [XTENLANG-1509] - AST incompleteness * [XTENLANG-1512] - Compiler fails to report on illegal overloading with generics * [XTENLANG-1523] - DYNAMIC_CALLS doesn't work for methods parameters (but it does for the receiver) * [XTENLANG-1525] - Overload resolution is wrong when using DYNAMIC_CALLS * [XTENLANG-1529] - 0.toHexString() == null * [XTENLANG-1536] - better error message when attempting to run without compiling * [XTENLANG-1550] - NQueensPar: Place type checking, method guards, instance methods, and nested classes * [XTENLANG-1567] - Property methods bugs: need to reject recursive property methods and resolution for property methods doesn't check for "self." * [XTENLANG-1574] - Adding class-invariants to the constraints of a type * [XTENLANG-1580] - Superclass constraints are not added to the real-clause * [XTENLANG-1582] - Compiler NPE when typechecking a construct that offers * [XTENLANG-1589] - DYNAMIC_CALLS works wrong when resolving a static field * [XTENLANG-1611] - Class invariants and superclass invariants do not imply invariants on "self" ("this" is not translated to "self") * [XTENLANG-1614] - offer clause is typed incorrectly if the return type is inferred * [XTENLANG-1627] - Type check of array of arrays behaves inconsistently * [XTENLANG-1630] - Compiler internal error message appears as regular compilation error * [XTENLANG-1636] - Property method return type is not inferred correctly * [XTENLANG-1638] - Front end should check for a missing type parameter * [XTENLANG-1647] - Frontend should reject wrong function types * [XTENLANG-1660] - Conditional atomic blocks generate deadlocks * [XTENLANG-1661] - Failure of: "The region constructed from an of regions is the Cartesian product of the regions." * [XTENLANG-1675] - Constraints (with boolean and int properties) are not calculated correctly * [XTENLANG-1686] - Overloading is not done properly with generic methods when the generic parameters are inferred (probably a constraint problem) * [XTENLANG-1688] - Operator precedence problem (unary minus and as) * [XTENLANG-1713] - Generic bounds have problems (are not type-checked correctly) * [XTENLANG-1716] - Type checker generates dynamic casts to the exactly same type multiple times * [XTENLANG-1723] - Coercion of large floating point number to integer * [XTENLANG-1729] - Resolution rules for inner and outer classes when having a field and method with the same name * [XTENLANG-1731] - Ambiguous node in the AST produced by typechecking a for loop * [XTENLANG-1732] - Missing generic parameter error is reported after the error of the usage * [XTENLANG-1742] - X10Doc for Dist fails to specify behavior sufficiently for blocked distributions * [XTENLANG-1758] - Behavior on EOF must be specified for FileReader.read???() * [XTENLANG-1759] - Please do not include methods in X10Doc that throw "incomplete method" exceptions * [XTENLANG-1767] - CFG is incorrect with respect to async and exceptional edges (like exceptions, return, break, etc) * [XTENLANG-1772] - Literals of primitive types do not use the proper conversions. * [XTENLANG-1775] - Constraints should only include variables, literals, field access, {{==}}, and {{!=}} (everything else should be reported as an error) * [XTENLANG-1784] - Inappropriate type casting a constant to Int. * [XTENLANG-1812] - front end fails to catch error with missing type parameter * [XTENLANG-1816] - Inference bug * [XTENLANG-1823] - "this()" is an ambiguity in the language: between constructor call and apply method on "this" * [XTENLANG-1830] - checking the apply method guard of GlobalRef is not done correctly * [XTENLANG-1833] - property-assign statement doesn't introduce the new constraints to the context. * [XTENLANG-1837] - Barrier is too strong: an error in one class prevents seeing errors in another class (in the same file) * [XTENLANG-1840] - Bug in inference with constraints (for DistArray) * [XTENLANG-1842] - Inner (non static member) classes should not have static fields&classes. * [XTENLANG-1843] - The compiler erroneously allows referring to classes with empty parentheses after the name * [XTENLANG-1847] - x10c fails to report generics type error * [XTENLANG-1849] - move Semaphore, Lock from x10.lang to x10.util.concurrent * [XTENLANG-1850] - Constraints are not added to the context after a super call. * [XTENLANG-1851] - definite assignment is still required if the constructor throws an exception * [XTENLANG-1863] - Order of properties not enforced * [XTENLANG-1864] - Resolution of {{super.field}} is wrong: the qualifier should be the current class (or some enclosing class), but it is the superclass. * [XTENLANG-1876] - front end fails to detect duplicate signatures involving generics * [XTENLANG-1881] - Remove remaining uses of the "test and try something else if exception" pattern from the conversion code in the typechecker * [XTENLANG-1895] - Array[T] ctor must be protected by {T hasZero} or else the type system is comprimised. * [XTENLANG-1902] - Missing placeTerm() on formal, and wrong currentPlaceTerm in ateach * [XTENLANG-1905] - GlobalRef.home() is not equated correctly * [XTENLANG-1914] - Revisit the entire design of property fields and methods in interfaces * [XTENLANG-1915] - Can non-generic method override a generic one (or vice versa)? * [XTENLANG-1916] - Cannot overload based on Any and Object in the java back-end * [XTENLANG-1920] - Inserting into a StringBuilder seems to be broken * [XTENLANG-1921] - StringBuilder.add method does not accept an instance of a struct * [XTENLANG-1923] - Formally define the language of legal constraints * [XTENLANG-1927] - Point destructuring should not be desugared until after typechecking. * [XTENLANG-1928] - Point destructuring syntax should require a variable of type Point * [XTENLANG-1929] - {{here}} on a method guard is not "context-sensitive" * [XTENLANG-1930] - Interface invariants are effectively ignored by the compiler * [XTENLANG-1932] - Constraints do not treat "this" of outer instances correctly * [XTENLANG-1935] - Order of evaluation of a(i)=b doesn't match the spec in C++ * [XTENLANG-1936] - Inlining produces unreachable java code * [XTENLANG-1939] - Typechecker permits "def f() = m()" syntax when m() is a void method * [XTENLANG-1940] - Sample code comment for File example does not work. * [XTENLANG-1941] - Cleaner handling of system exit codes would be nice. * [XTENLANG-1944] - A closure created from an instance method is not interned on the java backend (which violates the spec) * [XTENLANG-1962] - Missing type parameter in extends clause crashes both backends * [XTENLANG-1964] - Clarify Section 8.9 * [XTENLANG-1975] - Failure to reject constructor call on generic method when type inference not possible * [XTENLANG-1978] - Error message about ambiguity when matching arrays against functions will confuse people * [XTENLANG-1989] - Fix spec's description of 'at' behavior (assuming it's wrong -- discussion is not concluded) * [XTENLANG-2001] - Treatment of case 'x': is inconsistent between Java and C++ back ends * [XTENLANG-2003] - X10DT crashes on Null Pointer when selecting a class in the Debug wiizard new configuration menu * [XTENLANG-2014] - Another confusing error message about type constraints: when do two points have the same rank? * [XTENLANG-2018] - visibility modifier ignored with nested classes * [XTENLANG-2022] - Inconsistent constraint checking between struct and class * [XTENLANG-2026] - Reached threshold when checking constraints. * [XTENLANG-2045] - SVN checked out directories show another directory reading error * [XTENLANG-2053] - errors in x10.lang.Char * [XTENLANG-2056] - Scoping rules for local vars are not done correctly within async/at * [XTENLANG-2058] - Empty and FullRegion should be subtypes of Region{rect} * [XTENLANG-2064] - support (document?) how to control linking flags with x10c++ * [XTENLANG-2070] - Post increment doesn't work with parenthesis * [XTENLANG-2081] - Spurious syntax error in nested class * [XTENLANG-2088] - runtime failure for large loop * [XTENLANG-2110] - nullary property methods clash with properties that are nullary functions * [XTENLANG-2113] - Java backend generates invalid code for Byte and Short literals * [XTENLANG-2119] - UByte (and other unsigned types) has a bug in their parse() method * [XTENLANG-2121] - Overriding shouldn't consider static methods * [XTENLANG-2132] - Assertion fails when have two inner classes with the same name * [XTENLANG-2135] - Constant propagation of a null comparison produces incorrect results * [XTENLANG-2152] - Should not infer type of fields/method with @Native annotations * [XTENLANG-2155] - R(3) is accepted as a type even though there is no type definition R(r:Int)=... * [XTENLANG-2156] - Equality of unsigned types is broken * [XTENLANG-2162] - ICE: java.lang.IndexOutOfBoundsException raised when compiling input program * [XTENLANG-2163] - Method and outer class type parameters have to be alpha-renamed before code generation * [XTENLANG-2165] - Need a way to access outer class's type parameters from an inner class or an instance method * [XTENLANG-2166] - for loop:async execution throws exception * [XTENLANG-2169] - Document current type inference of generic params * [XTENLANG-2172] - Generic Type inference is done by unification * [XTENLANG-2185] - Inference for closures is broken * [XTENLANG-2189] - Overly aggressive constant propagation of transient val fields * [XTENLANG-2192] - Constructor can be called with undeclared generic type parameter (also see XTENLANG-2183) * [XTENLANG-2194] - Inferred type of destructured point * [XTENLANG-2198] - Asymetric treatment of constraints in Array * [XTENLANG-2202] - How to specify the return type for explicit casting operator * [XTENLANG-2205] - Document the implicit and explicit operator as in the spec * [XTENLANG-2209] - import typedef with generic types is broken * [XTENLANG-2221] - Covariant return type is not implemented correctly for primitive types in the java backend * [XTENLANG-2234] - Inconsistient application of dynamic_calls for array apply (var vs. val instance fields) * [XTENLANG-2242] - DYNAMIC_CALLS and STATIC_CALLS and VERBOSE_CALLS are not consistent (STATIC_CALLS reports an error which is not reported with VERBOSE_CALLS) * [XTENLANG-2254] - CachingResolver.install AssertionError : XXX is already in the cache; cannot replace with YYY * [XTENLANG-2260] - type inference of method calls changed; spec needs to change to match. * [XTENLANG-2262] - Revise def of 'atomic' * [XTENLANG-2266] - Typechecker confused by package, struct, and variable with the same name. * [XTENLANG-2270] - Array.copy does not handle count=0 properly in the C++ back end * [XTENLANG-2273] - Incorrect return type of the synthetic default constructor * [XTENLANG-2274] - AssertionError: No substitution found for type parameter V * [XTENLANG-2277] - Incorrect typechecking of operator()X= (e.g., "+=") * [XTENLANG-2280] - Tests from spec -- include negative tests * [XTENLANG-2291] - type inference bug for constructor with generics * [XTENLANG-2295] - Remove constraints on functions from spec * [XTENLANG-2297] - Type inference can infer the wrong type for a function * [XTENLANG-2303] - A careful account of how variables are passed into "at" blocks would be helpful * [XTENLANG-2305] - In-line interface in class doesn't compile in Java back end * [XTENLANG-2307] - Define "direct sub[class/interface/struct] of" for generics once and for all * [XTENLANG-2311] - exception is thrown when calling next() on a PolyRegion iterator without calling hasNext first * [XTENLANG-2314] - LangSpec issues from Yoav * [XTENLANG-2319] - Error message does not help resolve problem with construction of dist array entry * [XTENLANG-2320] - self!=null is not enough to show self!=null * [XTENLANG-2321] - langauge specification on makeBlock() method from Dist * [XTENLANG-2325] - Method guards can only be made weaker by overriding (and it is not checked by the compiler) * [XTENLANG-2329] - Method guards are not type checked on calls to unary operators or closures. * [XTENLANG-2333] - MultiVM cannot launch when login shell is csh * [XTENLANG-2335] - User-reported error in x10.util.ArrayList.addBefore * [XTENLANG-2337] - On the Java back-end, PolyScanner.PointIt.next() will not flatten unless it is also inlined * [XTENLANG-2339] - C++ backend generates bogus code when comparing a val x : Any to null * [XTENLANG-2342] - read of a transient val field is improperly optimized into the "constant" value of its field initilizer expression * [XTENLANG-2349] - X10 compiler ICE with diagnostic test case for constraint types * [XTENLANG-2350] - NPE in the front end compiling binary vs. constant? * [XTENLANG-2351] - AtFieldWrite_MustFailCompile.x10 C++ backend failed * [XTENLANG-2354] - revise spec for 'in' * [XTENLANG-2364] - ClassCastException in compiler when lowering collecting finish * [XTENLANG-2366] - ICE:TYPE DECLARATION caused internal compiler error (java.lang.IndexOutOfBoundsException) * [XTENLANG-2370] - GENERIC:invocation of operators on type parameter failed to compile * [XTENLANG-2372] - Expression flattener problem on loop bounds that contain instance field loads * [XTENLANG-2373] - X10RT JNI is incompletely built when JAVA_HOME is not set * [XTENLANG-2374] - Operator precedence table in x10doc * [XTENLANG-2377] - Compiler rejects a legal creation of an inner class (due to non-static inner classes and generics) * [XTENLANG-2382] - Closure representation is wrong (mixes Any and void in the return type) * [XTENLANG-2387] - Recursive local declaration should be prohibited * [XTENLANG-2389] - Constraint system is confused between self, this, and outer this. * [XTENLANG-2391] - X10DT: the passphrase is shown in clear text in x10_platform.conf * [XTENLANG-2392] - C++ backend: compilation fails with -O * [XTENLANG-2393] - Remove special numerical cases (handling of Int, UInt, Short, coercions, etc) from type-checking * [XTENLANG-2395] - X10DT: second launch configuration in project overwrites the main class of the first one * [XTENLANG-2396] - Possible clocked finish bug * [XTENLANG-2401] - Context.find should search only by name and erased-signature (i.e., ignore constraints) * [XTENLANG-2402] - Invariant violations in compiler junit test suite * [XTENLANG-2405] - X10 currently have no syntax for calling operators of the superclass * [XTENLANG-2407] - NoSuchElementException thrown from the compiler * [XTENLANG-2413] - 'final' -> 'val' * [XTENLANG-2416] - Type error for constrained method call * [XTENLANG-2417] - Java back end doesn't compile at-back idiom * [XTENLANG-2426] - X10 front-end: compilation throws java.lang.StackOverflowError exception on method constraint * [XTENLANG-2428] - Dynamic checks not generated for an argument to a new expression * [XTENLANG-2430] - false pass test case: GenericClassNonGenericConstructor_MustFailCompile.x10 * [XTENLANG-2438] - Name clash between static field and the first component of qualified type name on the Java backend * [XTENLANG-2440] - delayed initialization of 'val' local variable doesn't compile * [XTENLANG-2441] - Bug in auto-generation of equals methods for struct types * [XTENLANG-2447] - Class invariant is not enforced in the call site * [XTENLANG-2448] - Class invariant and should it be broken into type- and value- constraints * [XTENLANG-2449] - Rename STATIC_CALLS and VERBOSE_CALLS to STATIC_CHECKS and VERBOSE_CHECKS * [XTENLANG-2450] - DIAG:constraint on Triangle, b.end==a.start not recognised * [XTENLANG-2452] - C++ backend produces incorrect code for simple for loop * [XTENLANG-2454] - Precisely define semantics of shift count on operators <<, >>, and >>> * [XTENLANG-2456] - Constraint system gets confused by the {T haszero} constraints. * [XTENLANG-2457] - The rules of collecting-finish are not specified anywhere * [XTENLANG-2459] - Revise grammar for 2.2 in spec * [XTENLANG-2460] - spec needs to be correct about writing vars in asyncs -- is it? * [XTENLANG-2463] - Name clash between field and type parameter causes post compilation error in both backends * [XTENLANG-2474] - Optimizer:-Optimize compilation throws java.lang.NullPointerException * [XTENLANG-2475] - Native compiler: resume() on a dropped Clock doesn't throw ClockUseException * [XTENLANG-2484] - clarification needed for accessing static fields in a class via native code * [XTENLANG-2485] - Remove the syntax for specifying the type of an Array literal * [XTENLANG-2486] - x10doc: handle top-level typedefs correctly * [XTENLANG-2488] - Name clash between field and inner type on the Java backend * [XTENLANG-2491] - How do system-as, user-explicit-as, user-implicit-as and literal coercions work together? * [XTENLANG-2492] - Language specification:update 16.2 to reflect the fact m..n is evaluated as an IntRange * [XTENLANG-2494] - Error messages sometimes contain id$1234 * [XTENLANG-2495] - Apparent invalid AST created by DYNAMIC_CHECKS * [XTENLANG-2497] - != null method guard on a closure parameter causes an ICE with the C++ backend only * [XTENLANG-2503] - Remove exceptions that interrupt the flow of typechecking -- report those errors instead * [XTENLANG-2505] - The Java backend should copy @NativeClass references to the build directory as the C++ backend does * [XTENLANG-2506] - Java backend generates improper constructor for struct with IndexedMemoryChunk property * [XTENLANG-2509] - abstract method impl in subclass with parameter type constrain fails to be recognized * [XTENLANG-2510] - Bad Java code generation for variable declarations with struct type bounds * [XTENLANG-2511] - Bad Java code generation for "new" with type bounds * [XTENLANG-2515] - X10 RT: execution seg-faults on P7 machines (with -x10rt pgas_lapi) * [XTENLANG-2519] - X10 Native compiler:Cast from float/double to a signed integer type * [XTENLANG-2520] - InternalCompilerError in Desugarer * [XTENLANG-2522] - X10 C++ backend codegen:conversion from Int/double to Any failed to compile * [XTENLANG-2529] - Java backend should not generate default constructor calls from a struct to a @NativeRep'd class * [XTENLANG-2531] - C++ backend:Optimizer:RegionTriangular.x10 fails to compile with -O * [XTENLANG-2532] - Inconsistent behavior from the compiler wrt to code generation * [XTENLANG-2535] - The compiler reports a type is inconsistent (even though it is), and we shouldn't add constraints to user-specified return types * [XTENLANG-2537] - Compiler must report an ambiguity when multiple operators match an invocation * [XTENLANG-2538] - Specify the exact rules for operator resolution in the manual * [XTENLANG-2540] - Implicitly using Array from a struct method causes a post-compilation error in the C++ backend * [XTENLANG-2547] - Backquoted identifiers don't always work * [XTENLANG-2549] - Compiler emitting a warning for unsound casts * [XTENLANG-2552] - Region properties are not calculated correctly * [XTENLANG-2553] - Java backend need to support statements that come before the super/this call (aka split constructors, or separation between allocation and construction). * [XTENLANG-2555] - ICE: assertion failure in typechecker * [XTENLANG-2557] - ICE: Internal compiler error while typechecking a loop * [XTENLANG-2558] - ICE: ClassCastException while compiling a file with a syntax error * [XTENLANG-2560] - AST does not have a node for missing type. * [XTENLANG-2561] - Remove short operator names, like Int.+ from the parser * [XTENLANG-2566] - Incorrect runtime type information for user-defined structs * [XTENLANG-2567] - Invalid AST created by DYNAMIC_CHECKS for Point rank check in non-Array context. * [XTENLANG-2570] - Java backend does not appropriately mangle static initialization dispatchers * [XTENLANG-2571] - Classical problem of matching else * [XTENLANG-2573] - front-end:ICE:java.lang.NullPointerException thrown at compile time * [XTENLANG-2574] - front-end:destructing syntax in iteration construct fails to compile for DistArray * [XTENLANG-2575] - Cannot qualify typedef (e.g., writing x10.array.Point(4) fails) * [XTENLANG-2576] - front-end:Array:operator()= rejects Point as parameter * [XTENLANG-2577] - front-end:Array:Array.certain forms of map[]() are rejected * [XTENLANG-2579] - Compiling files in the ipm project throws exception * [XTENLANG-2582] - front-end: property method is not expanded correctly * [XTENLANG-2584] - X10 2.2 frontend issues (umbrella) * [XTENLANG-2586] - Definite initialization is incorrect for locals and closures * [XTENLANG-2587] - Compiler generates bad code for Array.map due to variety of problems in dynamic check injection by front-end. * [XTENLANG-2588] - Compiler crashes on encounter an illegal return type * [XTENLANG-2589] - Type name for function type arguments printed incorrectly in the Java backend * [XTENLANG-2592] - C++ codegen:DYNAMIC_CHECK:exepcted exception is not thrown on a violation of constraint * [XTENLANG-2594] - front-end:constraint method call:problems in implicit conversion from Array[Int](1) to Point * [XTENLANG-2595] - front-end:type checker:operator + on x10.lang.Int in an iteration on element of DistArray[Int](2) * [XTENLANG-2596] - BGP: Clock test cases hangs on run * [XTENLANG-2597] - Reader.readLine() returned value includes newline * [XTENLANG-2598] - C++ backend: @Native methods can't be used to implement interfaces * [XTENLANG-2599] - error: switch quantity not an integer * [XTENLANG-2603] - Constant folding based on constrained type of field leads to incorrect code in presence of dynamic checks. * [XTENLANG-2606] - AllReduce fail with 58 places and up * [XTENLANG-2607] - Internal compiler error --- ClassCastException * [XTENLANG-2609] - XTypeTranslator cannot handle non-nullary abstract properties * [XTENLANG-2610] - non-existing annotations should be compilation errors (not ambiguous AST nodes!) * [XTENLANG-2611] - front-end:java.lang.StackOverflowError:compiler ICE at a for loop * [XTENLANG-2613] - Remove operator 'in' from the language * [XTENLANG-2614] - Constraint system bug * [XTENLANG-2616] - The C++ backend should not rely on fake class names for function types in code generation * [XTENLANG-2617] - super class with constrains shows type check error in derived class's constructor * [XTENLANG-2620] - front-end: disallow constraints on annotations * [XTENLANG-2622] - null is special in constraints, and is not treated correctly * [XTENLANG-2623] - Impossible casts need to fail to compile * [XTENLANG-2624] - Impossible =='s need to fail to compile. * [XTENLANG-2625] - Reachability information is incorrect for constructors of anonymous inner class * [XTENLANG-2628] - class invariant is not enforced if the class has no properties (and therefore no property assign call) * [XTENLANG-2630] - fillInStackTrace exception on X86_32 at -O * [XTENLANG-2631] - getRealXClause returns an inconsistent constraint when using Array as a property * [XTENLANG-2632] - BGP: clocked async fail NullPointerException * [XTENLANG-2633] - Odd interaction between typedef, generic type, and constructor guard. * [XTENLANG-2634] - AssertionError because closure calls can have type parameters (even though closure literals cannot) * [XTENLANG-2635] - LCA for two structs that implement the same interface should be that interface (if the structs have no other interface in common) * [XTENLANG-2637] - DistArray element access:operator+(x10.lang.Int, x10.lang.Int): fails to compile * [XTENLANG-2638] - Constraint bug - inconsistent environment * [XTENLANG-2639] - Constructor inlining causes post compilation error in java backend * [XTENLANG-2640] - Implicit inlining of RectLayout constructor calls into Array.x10 fails * [XTENLANG-2641] - Somewhat odd overloading/overriding behaviour when method arguments have constraints * [XTENLANG-2644] - ICE: Java traceback in program with type error * [XTENLANG-2645] - typechecker bug when using Rail typedef inside of ArrayBuilder * [XTENLANG-2646] - Closures with bodies that are assignment expressions don't parse * [XTENLANG-2648] - Document 2.2 keywords for 2.2 release * [XTENLANG-2649] - Internal compiler error in ForLoopOptimizer * [XTENLANG-2650] - Exceedingly long time spent in the StaticInitializer phase * [XTENLANG-2652] - Reached MAX_RECURSION_DEPTH:compilation ICE reaching max recursion depth * [XTENLANG-2655] - Name of FunctionType_c includes a space character unlike the name of X10ClassType_c * [XTENLANG-2657] - user-defined structs shouldn't but can have default values * [XTENLANG-2658] - alpha-conversion of function types doesn't respect constraints properly. * [XTENLANG-2662] - Post compilation error with duplicate type parameter for m3r.engine.JobRunner.x10 * [XTENLANG-2667] - Explicit casts should be searched both in the source and target types * [XTENLANG-2672] - LangSpec: Packages5t5g * [XTENLANG-2673] - LangSpec: Packages Stimulus * [XTENLANG-2678] - Spurious 'cannot assign expression to target' * [XTENLANG-2680] - Override and implement virtual and interface method with @Native is broken in Java backend * [XTENLANG-2681] - Interfaces with type invariants may refuse to be inheritable. * [XTENLANG-2682] - Failure to check place constraints with STATIC_CHECKS * [XTENLANG-2684] - Remove the use of exceptions in disambiguation * [XTENLANG-2690] - BGP: nested async: exception: signal 11 * [XTENLANG-2697] - Local variables leak into inferred method return types * [XTENLANG-2699] - Managed backend does not correctly handle nested anonymous classes * [XTENLANG-2705] - Constant propagator eliminates return statement, which causes post compilation error in Java backend * [XTENLANG-2706] - Failed to override method with the same signature * [XTENLANG-2708] - Loop unrolling no longer works on the CUDAMatMul sample * [XTENLANG-2709] - HeatTransfer samples no longer compile without dynamic checks * [XTENLANG-2710] - "val o = 1 as Comparable[Int]" causes ICE * [XTENLANG-2711] - Regression: when having a {T haszero} constraint it interrupts with initialization checks * [XTENLANG-2713] - Java compilation errors in an X10 Quicksort program that passes X10 * [XTENLANG-2717] - Regression: Assertion error for GenericLocal2 * [XTENLANG-2718] - Regression: Assertion error for Types460 * [XTENLANG-2720] - Document restrictions on members of inner and local classes * [XTENLANG-2723] - Severe performance degradation in SPECxbb2005 * [XTENLANG-2725] - The place of method invocation is not computed correctly * [XTENLANG-2726] - X10 parser bugs: (Type) and here() * [XTENLANG-2728] - Regression: A var of a type which haszero isn't definitely assigned * [XTENLANG-2732] - Can subvert the typesystem by using generics * [XTENLANG-2735] - Constant propagation of StringLit results in invalid AST (constant only partially propagated) * [XTENLANG-2737] - X10c++ compiler throws an exception when given command line argument -MAIN_CLASS="" * [XTENLANG-2740] - ArrayCopyTo test fails with x10rt standalone * [XTENLANG-2744] - NPE when compiling method guard dynamic checks For the details of JIRA issues fixed in this release, see http://jira.codehaus.org/browse/XTENLANG/fixforversion/16002 Please use the X10 JIRA to report bugs, after ensuring the problem is not already reported: http://jira.codehaus.org/secure/IssueNavigator.jspa?reset=true&&pid=11812&resolution=-1 |
From: Michael H. <hi...@us...> - 2011-05-05 16:36:50
|
The program for the X10 workshop is now available at http://x10plus.cloudaccess.net/workshop/program.html The early registration deadline is May 16, 2011 http://www.regonline.com/Register/Checkin.aspx?EventID=944003 The workshop will be Saturday, June 4, 2011 as part of FCRC and PLDI'11. Mike _____________________________________________________________ Michael Hind, Senior Manager, Programming Technologies Department IBM T.J. Watson Research Center http://www.research.ibm.com/people/h/hind 914 784-7589 My internal blog: https://w3.tap.ibm.com/weblogs/hindsight |
From: Igor P. <ig...@us...> - 2011-02-25 23:06:56
|
We're happy to announce that X10 and X10DT version 2.1.2 are now available for download. This release contains a number of bug fixes and improvements to the code base. For more details, please see the X10 2.1.2 release page at http://x10-lang.org/X10+2.1.2+Release. Below is a summary of JIRA issues addressed for the X10 2.1.2 ** New Features and Improvements * [XTENLANG-1044] - Need a "Quick Hierarchy" view * [XTENLANG-1595] - reconsider destructuring syntax * [XTENLANG-1602] - reductions design * [XTENLANG-1682] - Create tar.bz2 (or tar.gz) for source/tests/java-only release downloads * [XTENLANG-1807] - X10DT remote development * [XTENLANG-2033] - Update DistArray APIs to relfect improvements in Array APIs * [XTENLANG-2061] - Do closure environment capture calculation in X10 compiler instead of leaving to backends * [XTENLANG-2071] - Port benchmarks version of KMeans to use x10.util.Team instead of pgas collectives * [XTENLANG-2095] - Eliminate use of environment variables in CXXCommandLineBuilder * [XTENLANG-2184] - Option to x10c to produce a jar file as the result of compilation * [XTENLANG-2252] - Show source path in line number comment of generated Java file * [XTENLANG-2257] - Bug flattening closure in generic method : Blocks BGP codegen * [XTENLANG-2269] - Support typeName() for closures * [XTENLANG-2272] - Standardize return codes when exiting after an uncaught exception * [XTENLANG-2308] - Implement GC for BG/P * [XTENLANG-2317] - Change C++ codegen strategy to generate a single .cc file for each input .x10 file * [XTENLANG-2378] - Put .x10's into the -o .jar so that they can be used to avoid recompilation of library .jar's * [XTENLANG-2398] - Improve performance of BlockBlockDist ** Bug * [XTENLANG-254] - Get rid of inc files * [XTENLANG-344] - Refactor X10 compiler to avoid static initialization of configuration variables * [XTENLANG-740] - Dejavalization needed in section 9.6.2 * [XTENLANG-945] - Cannot access properties of an Interface by name * [XTENLANG-1155] - Failure to regenerate .cc files for nested classes in C++ backend * [XTENLANG-1241] - Instanceof for @NativeRep'ed types to java native class returns a wrong value in Java backend * [XTENLANG-1268] - Object/Struct or Object/Struct/Function? * [XTENLANG-1352] - typo in tutorial part 3 * [XTENLANG-1409] - Settable[I,V] uses arguments (v,i) * [XTENLANG-1437] - suggestions for pages 27-30 of the language spec * [XTENLANG-1571] - Changes in a class that imports a struct and other related things from a package causes an ld error. * [XTENLANG-1662] - Spec needs to explain innerness * [XTENLANG-1726] - XRX should handle ~300 clocked asyncs. * [XTENLANG-1738] - Missing documentation for assert * [XTENLANG-1752] - Behavior of DistArray restricted to place unexpected * [XTENLANG-1770] - The meaning of "!" in a ctor is {{this.home}} and it should be {{here}} * [XTENLANG-1774] - Parsing support for Byte, UByte, Short, and UShort * [XTENLANG-1804] - Contains expressions cannot be compiled * [XTENLANG-1822] - DYNAMIC_CALLS should automatically satisfy the method guard * [XTENLANG-1865] - Empty case statement breaks the C++ backend * [XTENLANG-1883] - Instantiation of generic class with a missing operator * [XTENLANG-1907] - Compiling an empty file violates an assertion * [XTENLANG-1934] - InternalCompilerError: Cannot get FieldDef before type-checking field access. * [XTENLANG-1948] - Type checking stops after the phase that reports an illegal qualifier * [XTENLANG-1965] - pretty printing of curly braces * [XTENLANG-1979] - c++ compiler errors - invalid template arguments * [XTENLANG-1981] - Compiler crashes with traceback on cast * [XTENLANG-1999] - InternalCompilerError: polyglot.types.SemanticException: Inconsistent constructor return type * [XTENLANG-2004] - Type inferencing for Regions as implementors of Iterable is inconsistent * [XTENLANG-2013] - Parser crashes * [XTENLANG-2015] - DYNAMIC_CALLS don't work for method guards but do work if you move the guard to the formals. * [XTENLANG-2036] - placeTerms are not calculated correctly * [XTENLANG-2115] - Make ".." a user-overloadable binary operator * [XTENLANG-2116] - Make "->" a user-overloadable binary operator * [XTENLANG-2117] - Compiler should handle recursive constraints more efficiently * [XTENLANG-2125] - StructSpheres on Mac * [XTENLANG-2136] - seg-fault:IO on object constructed remotely * [XTENLANG-2140] - compiler internal error * [XTENLANG-2173] - Java ClassCastException compiling constant-bearing interface * [XTENLANG-2179] - Front-end doesn't capture enviroment appropriately * [XTENLANG-2183] - Inference of generic type parameters broken * [XTENLANG-2187] - The compiler should reject a struct with infinite size (if there is a circularity in the fields) * [XTENLANG-2204] - Post-compilation support in the Java backend should be implemented in the compiler code, not in the script * [XTENLANG-2223] - In a block (i.e. "{ ... }"), when encountering the "break" statement, there is no pop operation is performed when processing a "break" statement, so makes the live range of the locally declared variables leak out of the local block. * [XTENLANG-2227] - Remove dependence of String library class on Rails * [XTENLANG-2230] - auto-generated constructors * [XTENLANG-2231] - grammar issues in spec * [XTENLANG-2232] - grammar issues in spec * [XTENLANG-2235] - ICE:compilation dies on a semantic error (constructor return type typo) * [XTENLANG-2238] - document haszero * [XTENLANG-2244] - Actually print the types in the message string for x10.lang.ClassCastException * [XTENLANG-2245] - Compile error on closure within generic method * [XTENLANG-2246] - Assertion failed: (false), function getITablesForIBox * [XTENLANG-2249] - Erroneous Java code generated for generic method with type bounds * [XTENLANG-2251] - Seg fault on deep copy of Array in 'at' statement * [XTENLANG-2255] - Point.compareTo * [XTENLANG-2258] - Java backend ,Runtime Lock cause program hang * [XTENLANG-2265] - x10.types.X10TypeSystem_c$Void cannot be cast to polyglot.types.ClassType * [XTENLANG-2275] - Invalid constraint on region product * [XTENLANG-2281] - Region with a full axis is empty * [XTENLANG-2282] - Allow optional 'new' on structs * [XTENLANG-2284] - Compiler crashes on void interface * [XTENLANG-2285] - NullPointerException when compiling CUDA3DFD.x10 with x10c * [XTENLANG-2289] - Type "XXX" clashes with package of the same name. * [XTENLANG-2296] - Confusing compiler message when compiling a constructor for RemoteArray * [XTENLANG-2299] - Bad code generation for async initialization of generic type variables * [XTENLANG-2301] - Bad code generation for closures using generic types at a static method body * [XTENLANG-2304] - NPE in cast remover when compiling BC * [XTENLANG-2306] - x10 dist fails to build with ant 1.8.2 * [XTENLANG-2310] - Multi-VM: test case failures for "AtAndBack" family of test cases * [XTENLANG-2312] - Main is not a valid class name when compiling to Java (but not C++) * [XTENLANG-2315] - program compiles and runs with c++ backend, throws compiler exception with java backend * [XTENLANG-2316] - Bad Java code-gen for return value of generic method with type bounds * [XTENLANG-2323] - i++ should be desugared into the same code as ++i if the return value is not used for performance * [XTENLANG-2324] - Java backend can not resolved to a type * [XTENLANG-2330] - Code generation or desugarer needs to examine checkGuardAtRuntime and generate code appropriately * [XTENLANG-2332] - Multiple inheritance of interfaces and covariant return type are not typechecked correctly * [XTENLANG-2338] - Prevent creation of invalid instances of x10.lang.Place * [XTENLANG-2358] - Java backend losing this qualifier when local val and instance val have the same name * [XTENLANG-2359] - Accessing field of enclosing class from function of inner class: cannot be resolved (SVN HEAD) * [XTENLANG-2360] - x10c generates bad Java code for generic classes with matching type parameters (SVN HEAD) * [XTENLANG-2365] - Post-compilation errors with async-initialization * [XTENLANG-2367] - X10 thinks this method wants to override itself or something. * [XTENLANG-2381] - toString() on a selected method throws a ClassCastException at runtime * [XTENLANG-2386] - Static initialization bug with Java backend * [XTENLANG-2397] - Duplicate constructor error for not duplicated constructors * [XTENLANG-2399] - Exploding a point doesn't check the point's rank properly. * [XTENLANG-2410] - jar Main-Class should have the proper path within the jar, not from the command line * [XTENLANG-2411] - GlobalRef doesn't return an appropriate object on ManagedX10 * [XTENLANG-2412] - -x10lib not working with libraries other than -stdlib * [XTENLANG-2422] - InternalCompilerError when referencing an unknown class * [XTENLANG-2424] - Native X10 compiler: failed in compilation on method equals() * [XTENLANG-2432] - Constraints on properties not statically enforced by property statement ** Misc. * [XTENLANG-453] - Create test cases for basic X10 constructs and libraries * [XTENLANG-731] - apply() should be an operator * [XTENLANG-732] - set() should be an operator * [XTENLANG-1275] - Think about new structs again * [XTENLANG-1751] - Why is "flat" not capitalized? * [XTENLANG-2271] - Disable warning message about genric method lookup changing from 2.0.6 to 2.1.0 * [XTENLANG-2353] - Update Install/Usage insructions for 2.1.2 For the details of JIRA issues fixed in this release, see http://jira.codehaus.org/browse/XTENLANG/fixforversion/16498 |
From: Michael H. <hi...@us...> - 2011-02-01 14:29:56
|
We are happy to announce an extension to the submission deadline for the X10 Workshop. The new deadline will be Friday, February 18, 2011. The ACM SIGPLAN 2011 X10 Workshop (X10'11) co-located with PLDI'11 San Jose Convention Center San Jose, California Saturday, June 4, 2011 http://www.x10-lang.org/workshop The concurrency and scale-out era is upon us. Application programmers need to confront the architectural challenge of multiples cores and accelerators, clusters and supercomputers. A central need is the development of a usable programming model that can address these challenges -- deal with thousands of cores and peta-bytes of data. The open-source X10 programming language (http://x10-lang.org) is designed to address these twin challenges of productivity and performance. It is organized around four basic principles of asynchrony, locality, atomicity and order, developed on a type-safe, class-based, object-oriented foundation. This foundation is robust enough to support fine-grained concurrency, Cilk-style fork-join programming, GPU programming, SPMD computations, phased computations, active messaging, MPI-style communicators, cluster programming. X10 implementations are available on Power and x86 clusters, on Linux, AIX, MacOS, Cygwin and Windows. The X10 Workshop is intended as a forum for X10 programmers, developers, researchers and educators. The program may include presentation of invited and selected papers, panels and a late evening X10 hackathon with programming challenges and prizes. Original papers are invited on all aspects of X10, including theory, design, implementation, practice, curriculum development and experience, applications and tools. Accepted authors will have the option of having their paper in the proceedings that will be published by the ACM. Topics of interest include: * Curriculum development using X10 and experience * Applications and experience, X10 programming pearls * High-level frameworks and libraries: map reduce, parallel matrix and graph libraries, global load balancing frameworks * Performance analysis, comparison between performance of X10 application in managed environment vs native environment * Performance comparison between Hadoop and X10 implementations of Map Reduce programs * Foundations: weak-memory models, models of imperative concurrency, reasoning techniques for dynamic concurrency * Extensions: fault-tolerance, dynamic places, hierarchical places * Type systems for concurrency and alias management * Deterministic computation, Phased computations -- Clock-based concurrency, Stream-based computation * Static analyses for atomicity violations, race conditions, deadlock-freedom. * Compilation techniques: code generation, compilation for work-stealing, concurrency and communication optimizations, compilation for scale * Runtime systems, Interoperability with Java, MPI * Design of JVM extensions for X10, Multi-VM implementations of X10. * Distributed GC * Refactoring tools, including concurrency refactoring * Performance analysis and monitoring tools * Testing, Bug-detection and program understanding tools * Debugging frameworks, including large-scale debugging, differential debugging. IMPORTANT DATES Paper submission deadline: Fri, Feb 18, 2011 <=== NEW DATE Author Notification: Mon, March 18, 2011 Camera ready deadline: Wed, April 6, 2011 Workshop: Sat, June 4, 2011 SUBMISSION INSTRUCTIONS Submissions may not exceed 10 pages formatted according to the ACM proceedings format. These 10 pages include everything (i.e., it is the total length of the paper). Templates for ACM format are available for Word Perfect, Microsoft Word, and LaTeX at http://www.acm.org/sigs/sigplan/authorInformation.htm (use the 9 pt template). Submissions should be in PDF and printable on US Letter and A4 sized paper. Papers must describe unpublished work that is not currently submitted for publication elsewhere, including journals and proceedings of refereed conferences and workshops (c.f., http://www.acm.org/sigs/sigplan/republicationpolicy.htm). Authors of accepted papers will have the option of having their paper published in the ACM proceedings and including in the ACM Digital Library. Such authors will be required to sign an ACM copyright release. Submissions will be reviewed by the program committee and designated reviewers, and judged on scientific merit, innovation, readability, and relevance. Papers previously published or already being reviewed by another conference are not eligible; if a closely related paper has been submitted to a journal, the authors must notify the program chair (see the SIGPLAN republication policy). Submissions should be made at the following site: https://www.softconf.com/c/x10_2011/ ORGANIZING/PROGRAM COMMITTEE * Steve Blackburn, Australian National University * Michael Hind, IBM Research * Doug Lea, State University of New York, Oswego * Kathryn Mckinley, Universtiy of Texas at Austin * Jens Palsberg, University of California, Los Angeles * Vijay Saraswat, IBM Research, (chair) * Vivek Sarkar, Rice University TRAVEL GRANTS The SIGPLAN Profession Activities Committee (PAC) provides competitive awards for student author travel to attend X10'11. These travel awards are funded by SIGPLAN. Awards are also available to child care or companion travel for SIGPLAN members. Further details, including the application form can be found at http://www.sigplan.org/PAC.htm |
From: Michael H. <hi...@us...> - 2011-01-27 04:19:53
|
We now have official SIGPLAN sponsorship and a webpage (http://www.x10-lang.org/workshop). Details are below. Submission deadline (Feb 7) is approaching fast. Please consider submitting. The ACM SIGPLAN 2011 X10 Workshop (X10'11) co-located with PLDI'11 San Jose Convention Center San Jose, California Saturday, June 4, 2011 http://www.x10-lang.org/workshop The concurrency and scale-out era is upon us. Application programmers need to confront the architectural challenge of multiples cores and accelerators, clusters and supercomputers. A central need is the development of a usable programming model that can address these challenges -- deal with thousands of cores and peta-bytes of data. The open-source X10 programming language (http://x10-lang.org) is designed to address these twin challenges of productivity and performance. It is organized around four basic principles of asynchrony, locality, atomicity and order, developed on a type-safe, class-based, object-oriented foundation. This foundation is robust enough to support fine-grained concurrency, Cilk-style fork-join programming, GPU programming, SPMD computations, phased computations, active messaging, MPI-style communicators, cluster programming. X10 implementations are available on Power and x86 clusters, on Linux, AIX, MacOS, Cygwin and Windows. The X10 Workshop is intended as a forum for X10 programmers, developers, researchers and educators. The program may include presentation of invited and selected papers, panels and a late evening X10 hackathon with programming challenges and prizes. Original papers are invited on all aspects of X10, including theory, design, implementation, practice, curriculum development and experience, applications and tools. Accepted authors will have the option of having their paper in the proceedings that will be published by the ACM. Topics of interest include: * Curriculum development using X10 and experience * Applications and experience, X10 programming pearls * High-level frameworks and libraries: map reduce, parallel matrix and graph libraries, global load balancing frameworks * Performance analysis, comparison between performance of X10 application in managed environment vs native environment * Performance comparison between Hadoop and X10 implementations of Map Reduce programs * Foundations: weak-memory models, models of imperative concurrency, reasoning techniques for dynamic concurrency * Extensions: fault-tolerance, dynamic places, hierarchical places * Type systems for concurrency and alias management * Deterministic computation, Phased computations -- Clock-based concurrency, Stream-based computation * Static analyses for atomicity violations, race conditions, deadlock-freedom. * Compilation techniques: code generation, compilation for work-stealing, concurrency and communication optimizations, compilation for scale * Runtime systems, Interoperability with Java, MPI * Design of JVM extensions for X10, Multi-VM implementations of X10. * Distributed GC * Refactoring tools, including concurrency refactoring * Performance analysis and monitoring tools * Testing, Bug-detection and program understanding tools * Debugging frameworks, including large-scale debugging, differential debugging. IMPORTANT DATES Paper submission deadline: Mon, Feb 7, 2011 Author Notification: Mon, March 18, 2011 Camera ready deadline: Wed, April 6, 2011 Workshop: Sat, June 4, 2011 SUBMISSION INSTRUCTIONS Submissions may not exceed 10 pages formatted according to the ACM proceedings format. These 10 pages include everything (i.e., it is the total length of the paper). Templates for ACM format are available for Word Perfect, Microsoft Word, and LaTeX at http://www.acm.org/sigs/sigplan/authorInformation.htm (use the 9 pt template). Submissions should be in PDF and printable on US Letter and A4 sized paper. Papers must describe unpublished work that is not currently submitted for publication elsewhere, including journals and proceedings of refereed conferences and workshops (c.f., http://www.acm.org/sigs/sigplan/republicationpolicy.htm). Authors of accepted papers will have the option of having their paper published in the ACM proceedings and including in the ACM Digital Library. Such authors will be required to sign an ACM copyright release. Submissions will be reviewed by the program committee and designated reviewers, and judged on scientific merit, innovation, readability, and relevance. Papers previously published or already being reviewed by another conference are not eligible; if a closely related paper has been submitted to a journal, the authors must notify the program chair (see the SIGPLAN republication policy). Submissions should be made at the following site: https://www.softconf.com/c/x10_2011/ ORGANIZING/PROGRAM COMMITTEE * Steve Blackburn, Australian National University * Michael Hind, IBM Research * Doug Lea, State University of New York, Oswego * Kathryn Mckinley, Universtiy of Texas at Austin * Jens Palsberg, University of California, Los Angeles * Vijay Saraswat, IBM Research, (chair) * Vivek Sarkar, Rice University TRAVEL GRANTS The SIGPLAN Profession Activities Committee (PAC) provides competitive awards for student author travel to attend X10'11. These travel awards are funded by SIGPLAN. Awards are also available to child care or companion travel for SIGPLAN members. Further details, including the application form can be found at http://www.sigplan.org/PAC.htm |
From: Michael H. <hi...@us...> - 2011-01-19 01:54:49
|
We are happy to announce that there will be a 1-day workshop focusing on X10 on Saturday, June 4, collocated with PLDI'11. We are in the process of getting ACM SIGPLAN sponsorship, but that is not yet closed. Since the submission deadline (Mon, Feb 7) is fast approaching, we wanted to give everyone a heads up on the workshop. Below is the draft CFP. The website should be active soon. The X10 Workshop (X10'11) collocated with PLDI'11 San Jose Convention Center San Jose, California Saturday, June 4, 2011 The concurrency and scale-out era is upon us. Application programmers need to confront the architectural challenge of multiples cores and accelerators, clusters and supercomputers. A central need is the development of a usable programming model that can address these challenges -- deal with thousands of cores and peta-bytes of data. The open-source X10 programming language (http://x10-lang.org) is designed to address these twin challenges of productivity and performance. It is organized around four basic principles of asynchrony, locality, atomicity and order, developed on a type-safe, class-based, object-oriented foundation. This foundation is robust enough to support fine-grained concurrency, Cilk-style fork-join programming, GPU programming, SPMD computations, phased computations, active messaging, MPI-style communicators, cluster programming. X10 implementations are available on Power and x86 clusters, on Linux, AIX, MacOS, Cygwin and Windows. The X10 Workshop is intended as a forum for X10 programmers, developers, researchers and educators. The program may include presentation of invited and selected papers, panels and a late evening X10 hackathon with programming challenges and prizes. Original papers are invited on all aspects of X10, including theory, design, implementation, practice, curriculum development and experience, applications and tools. Accepted authors will have the option of having their paper in the proceedings. Topics of interest include: * Curriculum development using X10 and experience * Applications and experience, X10 programming pearls * High-level frameworks and libraries: map reduce, parallel matrix and graph libraries, global load balancing frameworks * Performance analysis, comparison between performance of X10 application in managed environment vs native environment * Performance comparison between Hadoop and X10 implementations of Map Reduce programs * Foundations: weak-memory models, models of imperative concurrency, reasoning techniques for dynamic concurrency * Extensions: fault-tolerance, dynamic places, hierarchical places * Type systems for concurrency and alias management * Deterministic computation, Phased computations -- Clock-based concurrency, Stream-based computation * Static analyses for atomicity violations, race conditions, deadlock-freedom. * Compilation techniques: code generation, compilation for work-stealing, concurrency and communication optimizations, compilation for scale * Runtime systems, Interoperability with Java, MPI * Design of JVM extensions for X10, Multi-VM implementations of X10. * Distributed GC * Refactoring tools, including concurrency refactoring * Performance analysis and monitoring tools * Testing, Bug-detection and program understanding tools * Debugging frameworks, including large-scale debugging, differential debugging. IMPORTANT DATES Paper submission deadline: Mon, Feb 7, 2011 Author Notification: Mon, March 18, 2011 Camera ready deadline: Wed, April 6, 2011 Workshop: Sat, June 4, 2011 SUBMISSION INSTRUCTIONS Submissions may not exceed 10 pages formatted according to the ACM proceedings format. These 10 pages include everything (i.e., it is the total length of the paper). Templates for ACM format are available for Word Perfect, Microsoft Word, and LaTeX at http://www.acm.org/sigs/sigplan/authorInformation.htm (use the 9 pt template). Submissions should be in PDF and printable on US Letter and A4 sized paper. Papers must describe unpublished work that is not currently submitted for publication elsewhere, including journals and proceedings of refereed conferences and workshops (c.f., http://www.acm.org/sigs/sigplan/republicationpolicy.htm). Authors of accepted papers will have the option of having their paper published in the proceedings. Such authors will be required to sign an ACM copyright release, pending ACM sponsorship Submissions will be reviewed by the program committee and designated reviewers, and judged on scientific merit, innovation, readability, and relevance. Papers previously published or already being reviewed by another conference are not eligible; if a closely related paper has been submitted to a journal, the authors must notify the program chair (see the SIGPLAN republication policy). ORGANIZING/PROGRAM COMMITTEE * Steve Blackburn, Australian National University * Michael Hind, IBM Research * Doug Lea, State University of New York, Oswego * Kathryn Mckinley, University of Texas at Austin * Jens Palsberg, University of California, Los Angeles * Vijay Saraswat, IBM Research, (chair) * Vivek Sarkar, Rice University TRAVEL GRANTS (pending SIGPLAN sponsorship) The SIGPLAN Profession Activities Committee (PAC) provides competitive awards for student author travel to attend X10'11. These travel awards are funded by SIGPLAN. Awards are also available to child care or companion travel for SIGPLAN members. Further details, including the application form can be found at http://www.sigplan.org/PAC.htm _____________________________________________________________ Michael Hind, Senior Manager, Programming Technologies Department IBM T.J. Watson Research Center http://www.research.ibm.com/people/h/hind 914 784-7589 My internal blog: http://blogs.tap.ibm.com/weblogs/hindsight |
From: David P G. <gr...@us...> - 2011-01-11 02:40:34
|
We're happy to announce that X10 and X10DT version 2.1.1 are now available for download. This release contains a number of bug fixes and improvements to the code base. For more details, please see the X10 2.1.1 release page at http://x10-lang.org/X10+2.1.1+Release. Below is a summary of JIRA issues addressed for the X10 2.1.1 ** New Features and Improvements * [XTENLANG-313] - Specify the X10 grammar and implement it * [XTENLANG-485] - Use unsigned types where appropriate in XRX * [XTENLANG-799] - a(i) = b allowed via Settable[S,T], but a(i) += b isn't. * [XTENLANG-805] - Update clock semantics and implementation * [XTENLANG-806] - Clocks: New semantics for interaction between clocks and finish * [XTENLANG-908] - Println should be atomic * [XTENLANG-910] - Gamma and error functions in x10.lang.Math * [XTENLANG-1008] - CUDA: implement clocks * [XTENLANG-1027] - X10DT should provide a dialog to "Open Type" by name * [XTENLANG-1028] - X10DT should provide an "Open Type in Hierarchy" dialog * [XTENLANG-1066] - "Run/debug as X10 Application" is missing for C++ back-end * [XTENLANG-1068] - Lightweight, multi-node/multi-process transport/launcher * [XTENLANG-1195] - raw() method for GrowableRail * [XTENLANG-1520] - Support block,block distribution * [XTENLANG-1681] - ClockUseException mystery * [XTENLANG-1707] - clarify differences between structs and classes * [XTENLANG-1722] - document soft keywords in language spec * [XTENLANG-1795] - Does X10 respect cases ? * [XTENLANG-1798] - ateach in the language description * [XTENLANG-2041] - Change x10.io.CustomSerialization prototcol to use distinguished class x10.io.SerialData (instead of Any) * [XTENLANG-2043] - Java backend support for CustomSerialization * [XTENLANG-2047] - Compiler should provide default deserialization constructors if none provided by the user * [XTENLANG-2057] - Align hashCode function for built-in structs (int, long, etc) between C++ and Java backend * [XTENLANG-2063] - Implement serialization trace mechanism in managed X10 * [XTENLANG-2068] - assert statement should throw something called AssertionError * [XTENLANG-2093] - x10c++ should infer MAIN_CLASS from command-line * [XTENLANG-2096] - Use x10.io.NotSerializableException instead of java.io.NotSerializableException * [XTENLANG-2144] - Allow non-builtin structs to satisfy haszero * [XTENLANG-2145] - Support the "force identifier" construct * [XTENLANG-2197] - Improve serialization trace mechanisms ** Tasks * [XTENLANG-1154] - Confirm Bard's text about 'f instanceof (T)=>U' * [XTENLANG-1230] - Put this explanation of place types in lang manual, FAQ, etc. * [XTENLANG-1470] - Check covariant/contravariant generic arguments to make sure they appear in the right positions ** Bug * [XTENLANG-203] - Correct implementation of finally blocks in C++ * [XTENLANG-235] - Nested class names have to be mangled in -MAIN_CLASS * [XTENLANG-266] - Getter methods for properties are a hack * [XTENLANG-448] - Occasional Error instantiating builder 'org.eclipse.imp.smapifier.SmapieBuilder' * [XTENLANG-476] - Problem with parsing single line if .. else * [XTENLANG-531] - Correct implementation of X10 2.0 static initialization semantics in Java codegen/runtime * [XTENLANG-602] - Tabbing fails: either it moves to the wrong place or not at all. * [XTENLANG-638] - Covariant generics can inherit from contravariant generics, yeilding a hole in the type system. * [XTENLANG-639] - Subtyping of generics doesn't work for initializers (or something) * [XTENLANG-643] - Can't instanceof to a defined type * [XTENLANG-660] - toString() cannot be called on all types (and it doesn't work consistently on all scalars) * [XTENLANG-685] - 'this' in a type constraint in a property declaration is not very useful. * [XTENLANG-686] - 'this' can appear in the type constraint of the return type of a constructor * [XTENLANG-687] - 'this' can appear in a type constraint the body of a ctor, contra spec * [XTENLANG-688] - 'this' can appear in a type constraint in the body of a ctor, contra spec. * [XTENLANG-692] - Spec inconsistent on "def before use" * [XTENLANG-723] - Common non-ambiguous reference flagged as ambiguous * [XTENLANG-798] - Dejavalization needed in 13.8 * [XTENLANG-833] - Side effects in guards are not checked * [XTENLANG-864] - Why is X10 looking for a type here? * [XTENLANG-868] - Update discussion of distributions to match current array library APIs * [XTENLANG-875] - 18.5.1 unclear * [XTENLANG-931] - Incorrect exceptional behavior of integer division * [XTENLANG-958] - super.field does not work in C++ backend * [XTENLANG-1132] - Issue warning when user writes a type for a val declaration * [XTENLANG-1137] - Do these distributions exist: arbitrary? Random? * [XTENLANG-1140] - CompilerPlugin? native? * [XTENLANG-1177] - Dist variables exist! * [XTENLANG-1233] - revisit ateach, unique distributions, teams, PLH * [XTENLANG-1257] - C++ code generator does not find the main() if it is part of a struct * [XTENLANG-1297] - Once println becomes atomic, fix the example at the start of the Clocks chapter * [XTENLANG-1298] - Need devious test cases of resume * [XTENLANG-1321] - Insidious constructor issue -- test case needed * [XTENLANG-1334] - instanceof ValRail[Int{self != 0}] doesn't work. * [XTENLANG-1432] - Suggestions for cleaning up pages 20 - 27 of the 2.0.4 language ref * [XTENLANG-1519] - Bug in covariance testing of vars * [XTENLANG-1530] - Runtime error message "ClassCastException" for missing method qualifier is misleading * [XTENLANG-1540] - Int vs. int clarification * [XTENLANG-1556] - Creating a project with its root directory holding the source (not the default: src) causes x10c++ backend failure * [XTENLANG-1594] - Structs and classes are NOT easily interchangeable * [XTENLANG-1600] - Assign_c.toString() requires thread-local Compiler ref to be valid? * [XTENLANG-1670] - Region - Point * [XTENLANG-1679] - WARNING (should be error, but method annotations in XRX are wrong) * [XTENLANG-1684] - Language spec should be consistent with the compiler and specify static with type defs. * [XTENLANG-1736] - Chapter 4 should describe struct types * [XTENLANG-1741] - Neither the language spec nor the X10Doc specifies behavior on arithmetic overflow * [XTENLANG-1744] - Rename atomic directory * [XTENLANG-1745] - Runtime.x10 uses keyword "await" * [XTENLANG-1746] - Runtime.x10 uses keyword "here" * [XTENLANG-1747] - keyword next used in XRS * [XTENLANG-1748] - Runtime.x10 uses the keyword "offer" * [XTENLANG-1749] - keyword "safe" used in XRX * [XTENLANG-1877] - x10doc generation fails: change in Scheduler? * [XTENLANG-1890] - Cannot parse 1.equals(2) * [XTENLANG-1933] - Static initialization is not implemented correctly on the Java backend * [XTENLANG-1945] - Dividing by zero doesn't throw ArithmeticException * [XTENLANG-1949] - SVN checked out directories are not properly read by new X10 class wizard * [XTENLANG-1951] - x10c++ produces non-compiling code when invoking an overloaded method of the superclass * [XTENLANG-1952] - Java backend generates invalid code for return statement of covariant type * [XTENLANG-1954] - Exception in thread "main" java.lang.NullPointerException * [XTENLANG-1956] - Evaluating subclass constraint causes exception in compiler * [XTENLANG-1957] - Defining a generic local class causes compiler crash * [XTENLANG-1959] - Int + String rejected by compiler * [XTENLANG-1960] - Custom Serialization crashes x10c * [XTENLANG-1961] - Java backend ignores x10.io.CustomSerialization if implemented by a superclass * [XTENLANG-1963] - Overloading constructors that have a generic type in the formal type parameters * [XTENLANG-1968] - Compiler exception on "Cannot get MethodDef before type-checking settable assign" * [XTENLANG-1969] - Compiler NPE looking for a method * [XTENLANG-1970] - NPE in generated Java code (for Array.raw() access with ULongs?) * [XTENLANG-1971] - java.lang.IndexOutOfBoundsException in TypeChecker * [XTENLANG-1972] - Not throw ClassCastException when null is casted to struct * [XTENLANG-1973] - Wrong code generation for Java backend for closure with an at in its body. * [XTENLANG-1983] - InternalCompilerError: Emitter.getIndex() * [XTENLANG-1984] - constructor visibility problem * [XTENLANG-1987] - Bad code generation for inlined private methods * [XTENLANG-1988] - Remove unnecessary indirection for private method access from inner class * [XTENLANG-1991] - primitives need to implement Comparable * [XTENLANG-1996] - Cannot compile closure call in StatementExp if its return type isn't void * [XTENLANG-1997] - java.lang.IndexOutOfBoundsException in InnerClassRemover * [XTENLANG-2000] - X10 compiler produces expressions in statement contexts that the Java compiler will not allow * [XTENLANG-2005] - Wrong code generation for Rail.apply() in StatementExp * [XTENLANG-2006] - Javac (and ecj) fails to capture string literal * [XTENLANG-2007] - Compiler crash when issuing an Error * [XTENLANG-2008] - Can't build x10 with inlining turned on * [XTENLANG-2024] - Can't flatten closure call for C++ backend * [XTENLANG-2025] - Instantiating nested class inside of a main class with a generic type causes c++ errors * [XTENLANG-2028] - property statement in nested class causes compiler exception * [XTENLANG-2037] - clarification on PlaceExp * [XTENLANG-2044] - describe disambiguation rule of methods vs function fields in spec * [XTENLANG-2048] - Hangs during static initilazation phase with C++ backend * [XTENLANG-2049] - Mismatch between generation of bridge calls and bridge methods in Java backend triggered by inlining * [XTENLANG-2051] - C++ namespace compiler error * [XTENLANG-2052] - Do coercions for "new Array[Double][3.1,4]" * [XTENLANG-2054] - ULong.MAX_VALUE causes C++ backend error * [XTENLANG-2073] - static DistArray initialization doesn't work * [XTENLANG-2079] - Exception in thread "main" java.lang.NullPointerException * [XTENLANG-2080] - Implementation of Arithmetic interface compiles with x10c++ and fails with x10c * [XTENLANG-2082] - Illegal c++ source generated for use of Arithmetic interface * [XTENLANG-2085] - private static operators do not compile on the java backend * [XTENLANG-2090] - Each place should access separate copy of static field even places are collocated in a single VM * [XTENLANG-2091] - X10DT create class wizard has old (Rail) main method signature * [XTENLANG-2094] - x10c++: ld duplicate symbol _main * [XTENLANG-2097] - NullPointerException in RectLayout.toString() * [XTENLANG-2099] - Comply static initialization in Java backend with X10 semantics in both single-vm multi-place and multi-vm environments * [XTENLANG-2100] - Incorrect serialization of repeated struct values whose static type is an interface * [XTENLANG-2103] - compilation fails for Array[Boolean] as a function result * [XTENLANG-2104] - Static field of interface is compiled to Java static method and static initializer, which causes Javac error * [XTENLANG-2105] - clocks are not transferred to another place if "at (P)" does not immediately follow "async clocked (clocks)" * [XTENLANG-2107] - What exception should be thrown for "123".charAt (4)? * [XTENLANG-2109] - TreeMap compilation : Java backend * [XTENLANG-2112] - Bad code generation for bridge methods * [XTENLANG-2120] - Java backend doesn't create the correct default values in generics of primitive types. * [XTENLANG-2122] - Invoking a static method via a generic parameter type bound produces C++ post-compiler errors * [XTENLANG-2124] - Lost exception when exception crosses an "at boundary" * [XTENLANG-2127] - ULong.toString(radix:Int) buggy in managed X10 * [XTENLANG-2129] - Unsigned long division is broken * [XTENLANG-2131] - Update spec with the latest list of keywords * [XTENLANG-2138] - WALA option triggers resolution failures for some methods and constructors with guards * [XTENLANG-2139] - Inlining a method with a labeled loop causes post-compilation failure in the C++ backend * [XTENLANG-2149] - Inconsistent bound checking for interface * [XTENLANG-2150] - Operator resolution problem for ULong division by Int * [XTENLANG-2159] - Seg fault in x10::lang::Lock::unlock (SVN HEAD) * [XTENLANG-2160] - GlobalRef's don't flatten * [XTENLANG-2174] - Java backend doesn't create zero value for user-defined structs * [XTENLANG-2177] - initial value for Team allReduce is wrong for AND, MIN, and MAX operations * [XTENLANG-2178] - Build broken with -NO_CHECKS * [XTENLANG-2182] - Unreliable propagation of exitcode in x10rt_sockets runtime * [XTENLANG-2188] - Multiple generic bounds don't compile in Java * [XTENLANG-2193] - Toggling block comments leaves extra spaces behind * [XTENLANG-2195] - Desugaring of ++ loses constraint information, resulting in missed optimizations * [XTENLANG-2206] - Java backend: instantiate anonymous class with 2 type parameters * [XTENLANG-2213] - casting and constrained types * [XTENLANG-2219] - Inconsistent toString() behavior in x10.lang.Throwable * [XTENLANG-2220] - Make "void" a keyword * [XTENLANG-2222] - Compilation error in processing switch statements in atomic methods. * [XTENLANG-2228] - default String() constructor causes c++ compiler error * [XTENLANG-2229] - Static initializer to handle static fields of interface correctly For the details of JIRA issues fixed in this release, see http://jira.codehaus.org/browse/XTENLANG/fixforversion/16497 |
From: Igor P. <ig...@us...> - 2010-10-20 02:21:36
|
Official alpha release of X10/CUDA Since many X10 community members have been asking whether X10 will run on the GPU, as part of the 2.1.0 X10 release we are also releasing our CUDA backend. This enables fragments of X10 programs to run on CUDA-capable GPUs, allowing significant speedups. Here are some supported features: * Write programs that run on host and GPU using a single language: X10 * Use existing X10 constructs (async, finish, etc) to represent many CUDA idioms * Utilize more than 1 GPU * Use a network of hosts, each with 0 or more GPUs * Implicitly copy data from host to GPU * Static prevention of errors due to accessing GPU memory on the host or vice versa * 3 small programs to try out in samples/CUDA * Automatic selection of blocks/threads based on particulars of hardware and kernel Currently using CUDA is only possible with the C++ backend and has only been tested on x86/x64 Linux with the latest CUDA drivers. X10 must be specially built from source to use CUDA devices. Please see the X10 2.1.0 CUDA page on the X10 website for instructions on how to try it out. http://x10.codehaus.org/X10+2.1+CUDA Questions and comments about X10/CUDA are welcome on the x10-users mailing list. Note that development of the CUDA release is ongoing in the svn repository. If you are a member of the community and your appetite has been whet by the CUDA support in the 2.1.0 release, consider going further and checking out svn. We have already strengthened the support for CUDA shared memory, and added access to the CUDA __syncthreads() construct via the X10 clock syntax. We intend to add more support for CUDA features over the coming weeks. |
From: Igor P. <ig...@us...> - 2010-10-19 14:39:53
|
We're happy to announce that X10 and X10DT version 2.1.0 are now available for download. This release contains a number of bug fixes and improvements to the code base. For more details, please see the X10 2.1.0 release page at http://x10-lang.org/X10+2.1.0+Release. Below is a summary of JIRA issues addressed for the X10 2.1.0 ** New Features and Improvements * [XTENLANG-549] - Getting started with X10 * [XTENLANG-648] - Generic parameters aren't *that* generic * [XTENLANG-800] - Can't genericize over numeric types * [XTENLANG-807] - Introduce clocked clause * [XTENLANG-1076] - Search index for various bits of X10DT tooling * [XTENLANG-1120] - Signature of main method should be Array[String](1) instead of Rail[String]! * [XTENLANG-1123] - Object initialization, defaulted types * [XTENLANG-1189] - Get rid of await(e) * [XTENLANG-1327] - x10doc should process package.html * [XTENLANG-1544] - x10 (Java backend): support (or document?) command-line argument to control number of places * [XTENLANG-1565] - Permit definite initialization of vals from within asyncs * [XTENLANG-1608] - proto language design debate * [XTENLANG-1619] - nuke future * [XTENLANG-1620] - nuke or * [XTENLANG-1621] - eliminate pinned keyword * [XTENLANG-1622] - eliminate incomplete keyword * [XTENLANG-1835] - Improve scaling of ateach * [XTENLANG-1836] - Improve scaling of DistArray creation * [XTENLANG-1874] - Implement copying semantics for at (here) S ** Bugs * [XTENLANG-31] - "cannot find symbol constructor X" in constructor for class A(p) extends X[C] * [XTENLANG-51] - operators involving multi-dimensional region constants (e.g. [0..1,2..3] || [4..5,6..7]) don't (can't?) work * [XTENLANG-499] - Compiler fails to complain about checked exceptions thrown by a closure body that doesn't declare them * [XTENLANG-533] - Overloading not allowed for function types? * [XTENLANG-625] - Cannot do Pair(1,1) * [XTENLANG-719] - T <: proto T, contra spec * [XTENLANG-769] - Compiler sometimes thinks that creating a closure can throw an exception thrown by the body of the closure * [XTENLANG-811] - Failure to detect that an anonymous class is abstract (and therefore new is illegal) * [XTENLANG-815] - TypeCastException or ClassCastException? -- and java.lang.ClassCastException? * [XTENLANG-823] - X10 doesn't detect an attempt to break out of a loop through an async * [XTENLANG-829] - Exceptions from futures are badly described (I hope) * [XTENLANG-955] - Trouble throwing generic type * [XTENLANG-978] - Inheriting two instantiations of the same method? * [XTENLANG-979] - Spurious name collision re: instantiating two versions of related interfaces. * [XTENLANG-1003] - CUDA: memory allocation blocks * [XTENLANG-1101] - File icons displayed incorrectly upon re-launch of workbench * [XTENLANG-1107] - Error reading Help table of contents file * [XTENLANG-1111] - C++ backend doesn't properly rename type parameter of outer this * [XTENLANG-1198] - 'at' should be allowed to access var variables in the lexically enclosing scope * [XTENLANG-1216] - Typechecker bug * [XTENLANG-1277] - Typechecker (?) dies with nasty Java stack trace when it shoudl die gracefully. * [XTENLANG-1325] - f = f.f.f; crashes when f has a constraint (f:Hello!) * [XTENLANG-1356] - const must die! * [XTENLANG-1369] - X10 compiler does not complain about importing from default package * [XTENLANG-1388] - NPE in AnnotationCreator * [XTENLANG-1438] - Type checker should reject method which throws checked exception without having throws Exception clause * [XTENLANG-1451] - Not doing a proper renaming when moving field initializers to the constructor body in FieldInitializerMover * [XTENLANG-1469] - Inference of static generic methods is broken * [XTENLANG-1471] - X10DT should create projects with X10 nature, and offer to switch to X10 perspective * [XTENLANG-1477] - Misleading error message or miscomputation of place constraint * [XTENLANG-1483] - Foo! should imply Foo{self!=null} * [XTENLANG-1494] - Closures and checked exceptions do not work properly * [XTENLANG-1495] - Compiler doesn't type-check all methods * [XTENLANG-1498] - Generics and inner classes - there is currently no syntax for it * [XTENLANG-1537] - x10.samples.CUDABlackSholes example program: bad place exception * [XTENLANG-1553] - Circular declaration sends x10 compiler into infinite loop (the infinite loop is in the constraints code) * [XTENLANG-1562] - Race condition between file deletion and parser scheduler? * [XTENLANG-1588] - "!" vs. at(here) vs. at(this.home) : not consistent - bugs in spec and in the compiler * [XTENLANG-1591] - "!" on static variables is not implemented correctly * [XTENLANG-1593] - InternalCompilerError "Cannot exception check ambiguous node" * [XTENLANG-1616] - Java backend should produce X10 stack traces, not Java stack traces * [XTENLANG-1643] - The compiler adds zero-initializers for "var" fields, even when it's not needed. * [XTENLANG-1644] - In line optimization violates privacy Array field * [XTENLANG-1654] - polyglot.util.InternalCompilerError: Cannot access field "x" within a null container type. * [XTENLANG-1655] - Type-checker throws InternalCompilerError: "Cannot get FieldDef before type-checking field access" * [XTENLANG-1663] - Remove the "test and try something else if exception" pattern from the typechecker * [XTENLANG-1687] - StackOverflowError in type declare * [XTENLANG-1702] - Can't call Object's toString via a super call: results in post-compilation errors in the Java backend * [XTENLANG-1711] - typeName is still broken as of 2.0.5 * [XTENLANG-1712] - Default initial value of var fields of struct type (both backends) * [XTENLANG-1743] - Any.x10 uses the keyword "at" * [XTENLANG-1750] - NativeRep.x10 uses the keyword "type" * [XTENLANG-1753] - rename Array.copyTo/copyFrom to asyncCopy * [XTENLANG-1761] - The types returned by ClassType.interfaces() are lazy loaded which block "Add unimplemented methods" quick fix * [XTENLANG-1765] - InitChecker doesn't handle try-catch correctly * [XTENLANG-1768] - Duplicate class error when there is no duplication * [XTENLANG-1771] - Compiler does not produce any errors and code generated has a compilation error * [XTENLANG-1773] - Java backend, X10/Java String API mismatch bug * [XTENLANG-1776] - {{null}} is considered a value of a generic type * [XTENLANG-1779] - method overloading resolution for Writer.write * [XTENLANG-1783] - Compiler: polyglot.types.SemanticException when accessing non-static field from static context * [XTENLANG-1785] - Collecting finish doesn't collect remote activities * [XTENLANG-1786] - instanceof Iterator[String] returns true for Iterator[Int] * [XTENLANG-1787] - Print type params when casting to parameterized type * [XTENLANG-1788] - Type parameter accesses are not checked correctly * [XTENLANG-1789] - Anonymous local classes inside anonymous local classes fail to compile. * [XTENLANG-1794] - instanceof Iterable[String] returns true for Iterable[Int] * [XTENLANG-1799] - missing type: error message from post compiler. * [XTENLANG-1801] - X10 should report on "Illegal forward reference" even when the fields are prefixed with "this" explicitly * [XTENLANG-1803] - X10DT optimization mysteries * [XTENLANG-1805] - X10 must check that VAL fields are read only after they're written to * [XTENLANG-1809] - Break in for loop does not seem to behave as one would expect * [XTENLANG-1810] - InternalCompilerError: Cannot get LocalDef before type-checking local variable * [XTENLANG-1817] - HeatTransfer v4 and v5 (from tutorial/samples) broken * [XTENLANG-1818] - set() with one argument cannot be invoked using the operator syntax: a()=3 * [XTENLANG-1819] - Typechecker produces unknown type for recursively-dependent method parameters * [XTENLANG-1826] - Missing parenthesis around ternary operator {{flag ? e1 : e2}} * [XTENLANG-1827] - The target/receiver of an anonymous class should be "this" (but it is null) * [XTENLANG-1829] - {{self.here}} appears in error messages * [XTENLANG-1831] - Collecting finish deadlocks on >=4 single-threaded places * [XTENLANG-1832] - NPE for instanceof UInt * [XTENLANG-1838] - Problem with generics and interfaces * [XTENLANG-1844] - Inner classes are broken in the presence of generics * [XTENLANG-1848] - Compiler fails without any error message * [XTENLANG-1855] - Fix toString on Point to correspond to the point deconstruction syntax * [XTENLANG-1856] - Problems in constraint system with Dist/Region rank constraints * [XTENLANG-1858] - Some @NativeRep'ed classes don't have constructors with the outer instance parameter * [XTENLANG-1859] - Java error compiling constrained-type closure * [XTENLANG-1860] - generics, subclasses, and interfaces, oh my! * [XTENLANG-1866] - Generic bounds are incorrect when creating a static version of a private method (final public static <T> void) * [XTENLANG-1868] - xlupc transport: can't create socket for accepting connections: Address already in use * [XTENLANG-1870] - Codegen for custom deserialization of generic classes in Java backend * [XTENLANG-1871] - Initialization within finish-async block that includes uncounted async should be rejected. * [XTENLANG-1873] - java backend handling of command-line arguments * [XTENLANG-1880] - Java backend produces invalid code for abstract generic methods * [XTENLANG-1882] - Missing cast in the Java generated code when invoking a method of a generic type * [XTENLANG-1884] - Enforce static locality constraints for var references in at * [XTENLANG-1886] - bridge method raiseBoundsError$P(int) is not being created in x10.array.Array.java * [XTENLANG-1887] - Javacaster throws an NPE when processing 2-nested anonymous inner classes * [XTENLANG-1888] - Front-end not rejecting closures that access var local variables of lexically enclosing scope * [XTENLANG-1889] - HeatTransfer v3 overflows max depth of constraint system * [XTENLANG-1892] - Inference of generic type parameters incorrectly selects a less specific method * [XTENLANG-1893] - Passing a var into an async differs from C++ to Java backends * [XTENLANG-1894] - Boxing of "var" for an async is not done properly in java * [XTENLANG-1898] - x10 C++ backend bug in implementation of caputured async variables * [XTENLANG-1901] - clocked ateach is not a valid X10 construct; parser must reject it and report error * [XTENLANG-1903] - Update x10doc comments in Any and Object * [XTENLANG-1906] - error message (#394215580)_. * [XTENLANG-1908] - Field here not found in type "x10.array.Array[x10.lang.Int]{self==ia, ia.region==e, ia!=null} * [XTENLANG-1910] - Accessing (read & write) local var in an async * [XTENLANG-1926] - string equality on Java backend For the details of JIRA issues fixed in this release, see http://jira.codehaus.org/browse/XTENLANG/fixforversion/16496 |
From: David P G. <gr...@us...> - 2010-09-03 19:29:39
|
We're happy to announce that X10 and X10DT version 2.0.6 are now available for download. This release contains a number of bug fixes and improvements to the code base. For more details, please see the X10 2.0.6 release page at http://x10-lang.org/X10+2.0.6+Release. Below is a summary of JIRA issues addressed for the X10 2.0.6 ** New Features and Improvements * [XTENLANG-3] - Overloading classes * [XTENLANG-350] - Casts should have higher precedence than mathematical operators * [XTENLANG-558] - Make functions aware of place constrains * [XTENLANG-1038] - X10DT source editor should provide "Correct Indentation" command * [XTENLANG-1050] - General 'reduce' operation on Arrays needed. * [XTENLANG-1151] - <:-declarations should try type conversions, too. * [XTENLANG-1228] - Default struct toString() could be friendlier * [XTENLANG-1361] - Need AST validation framework * [XTENLANG-1372] - Support for X10 on FreeBSD * [XTENLANG-1561] - Associate some usable location information for typecheck errors associated with compiler generated elements ** Bugs * [XTENLANG-500] - Cannot infer value constaint for Int constant * [XTENLANG-620] - Error message could be less opaque (for struct ctor) * [XTENLANG-681] - Types can be empty, contra spec. * [XTENLANG-691] - Spec seems to need to be updated for properties in section 4.5.3 * [XTENLANG-842] - I think the discussion of clocks not leading to deadlock is overstated * [XTENLANG-843] - Revision of start of Chapter 17 "Arrays" needed * [XTENLANG-847] - Native code - extern compile errors * [XTENLANG-957] - Attempting to use a static field of a type parameter causes a compiler exception * [XTENLANG-1051] - Type checker misses some property equalities * [XTENLANG-1165] - Cannot parse operator selector * [XTENLANG-1167] - Certain char constants blow up the parser * [XTENLANG-1169] - Launch shortcut keys for X10-specific run/debug use the wrong modifier specs * [XTENLANG-1181] - Cannot call a non-global method on a newly created object in a loop header inside an "at". * [XTENLANG-1184] - Place type checking hole in enhanced for loops * [XTENLANG-1188] - Bad code generated when const fields are assigned a closure literal * [XTENLANG-1206] - EntailsPositive_MustFailCompile compiles successfully * [XTENLANG-1260] - NPE & ClassCastException from type-checker/parser in unsaved editor * [XTENLANG-1267] - 'this' not usable in properties in class header * [XTENLANG-1278] - Dist.|(Place) seems to be looking for Dist.|(Dist) * [XTENLANG-1295] - Evil conversions to and from UInt are possible in Java back end * [XTENLANG-1309] - Clock spec needs to be modernized * [XTENLANG-1312] - x10doc comment for myMethod crashes if myMethod does not exists * [XTENLANG-1323] - var x1<:Hello = this; crashes * [XTENLANG-1405] - Setting of compiler options in X10DT * [XTENLANG-1413] - Cannot overload m(int) and m(uint) in java backend * [XTENLANG-1436] - masterBuildRelease and masterBuildToolIntegration scripts don't work on cygwin * [XTENLANG-1455] - Compiler traps on null-pointer exception on source "var name = something;" * [XTENLANG-1493] - Section 12.4 contains an undefined grammar element and a misleading description of the main element defined. * [XTENLANG-1510] - Syntax error results in incorrect position information * [XTENLANG-1516] - Compilation error with AtomicReference * [XTENLANG-1546] - Collecting finish expressed in a functional form doesn't compile. * [XTENLANG-1575] - Class cast exception with collecting finish * [XTENLANG-1577] - Collecting-finish is not doing the proper type-checking * [XTENLANG-1583] - collecting finish makes exactly 1000 extraneous calls to zero() * [XTENLANG-1585] - packageCPPRelease.sh still broken on cygwin * [XTENLANG-1586] - Java back end creates illegal code for collecting-finish * [XTENLANG-1590] - New X10 project with sample "HelloWorld" doesn't build cleanly * [XTENLANG-1612] - Using generics in throws clause is not handled correctly * [XTENLANG-1613] - ERRORs in generated java for trivial class * [XTENLANG-1617] - C++ ArrayIndexOutOfBounds stack trace problem * [XTENLANG-1623] - val variable in nested finish, report not initialized * [XTENLANG-1631] - Closures defined in static methods of generic classes cause codegen problems for C++ backend * [XTENLANG-1632] - Typechecking of at expressions broken * [XTENLANG-1640] - syntax errors in generated java code * [XTENLANG-1646] - Function type is printed incorrectly * [XTENLANG-1651] - Auto-generated Struct's methods (such as home, at, typeName) do not have @Native * [XTENLANG-1664] - @Native annotation on interface methods in a Struct causes a C++ backend error * [XTENLANG-1666] - The rules of X10 definite-assignment are not identical to those in Java * [XTENLANG-1673] - Position of synthetic X10Special for field ref with implicit 'this.' is non-empty and not COMPILER_GENERATED * [XTENLANG-1674] - Textual extent of synthetic X10CanonicalTypeNode for implicit base type "x10.lang.Object" spans entire class * [XTENLANG-1689] - InternalCompilerError: Unexpected error while computing receiver * [XTENLANG-1693] - Abstract methods overloading error in C++ backend * [XTENLANG-1696] - static constraints on Array.copyTo/copyFrom are too restrictive (Regions should be allowed to be equal, not ==) * [XTENLANG-1704] - Java generics compilation error * [XTENLANG-1709] - Presamably compiler bug in X10 2.0.5 * [XTENLANG-1718] - NPE in PlaceChecker.ReplaceTermByHere * [XTENLANG-1727] - Public class must have its own java file * [XTENLANG-1730] - Bug when creating the same fake class twice (in createFakeClass) * [XTENLANG-1737] - misspelled word in compile command usage method For the details of JIRA issues fixed in this release, see http://jira.codehaus.org/browse/XTENLANG/fixforversion/16715 |
From: Igor P. <ig...@us...> - 2010-07-23 19:47:02
|
We're happy to announce that X10 and X10DT version 2.0.5 are now available for download. This release contains a number of bug fixes and improvements to the code base. For more details, please see the X10 2.0.5 release page at http://x10-lang.org/X10+2.0.5+Release. The 2.0.5 Release notes are appended. Release 2.0.5 This release includes both the C++ and Java code generation backends. We are planning to remove x10.lang.Rail in favor of x10.array.Array in either the 2.1.0 or 2.1.1 release of X10. In the 2.0.5 release, we believe the x10.array.Array API and performance have reached acceptable levels to let users begin to migrate away from Rail usage in preparation. There are a few noticeable differences between the Rails and Arrays that are worth highlighting. - Rail.length becomes Array.size() - Array[T] implements Iterable[Point], not Iterable[T]. This impacts enhanced forloops over Rails. - Although bounds checking performance for Array has significantly improved since 2.0.4, it is inherently slower than bounds checking on Rails because we want to allow Arrays to be defined over user-defined Regions. Therefore we must incur one virtual function call when performing a bounds check on Array. NO_CHECKS performance of Rails and Arrays is believed to be equivalent. No significant language changes were made since the 2.0.4 release. For details on any minor language changes, please consult the language specification included in the X10 release. The following features described in the 2.0 language manual do not currently work and will be fixed in the subsequent releases: - Non-static type definitions as class or interface members (static type defs do work) - Type definitions as package members (i.e., in the outermost scope of a compilation unit) - Shared local variables - Extern methods Additionally, the following features described in the language manual do not currently work with the C++ backend and will be fixed in the subsequent releases: - Garbage collection on AIX and BlueGene - Generic virtual methods - Exception stack traces on Cygwin and AIX The generated C++ code requires g++ 4.2 or better to be compiled; we do almost all of our testing against g++ 4.3.2. On AIX, you may either use g++ 4.2 or better or xlC 10.01.0000.0005 or better. Below is a summary of JIRA issues addressed for the X10 2.0.5 release. ** Improvements and New Features * [XTENLANG-59] - language support for guaranteed inlining * [XTENLANG-424] - Improve dependency processing for files in libx10.mft in C++ backend * [XTENLANG-618] - Use != null constraints to remove null-checks in codegen * [XTENLANG-650] - Need to structure language manual such that all code snippets can be extracted and compiled as part of a "sanity build" of the manual * [XTENLANG-889] - autodefinition of equals(S) for struct type S if not provided by the user * [XTENLANG-896] - Phased Clocks * [XTENLANG-1007] - CUDA: support using the standard technique for kernel param passing * [XTENLANG-1142] - implement basic Array.copyTo Array.copyFrom operations * [XTENLANG-1284] - Add new validation steps for Platform Configuration * [XTENLANG-1308] - Fully specify signature of main method * [XTENLANG-1322] - Correct the description of @Native and friends in the 2.0.3 language manual * [XTENLANG-1406] - Remove templates from the java backend * [XTENLANG-1425] - Inline Rail/ValRail.make[T](int length, (Int) => T) when it is passed a closure literal as a initializer in Java backend * [XTENLANG-1444] - improving x10.dist/build.xml to support spaces in directory names * [XTENLANG-1453] - Need to migrate X10DT builder to use ecj instead of downstream JDT builder * [XTENLANG-1485] - Enhance parameter substitution mechanism of @Native to support command line option of x10c compiler * [XTENLANG-1486] - Support NO_CHECKS flag in Array/DistArray * [XTENLANG-1496] - Privatize value field of Rail and ValRail * [XTENLANG-1497] - Privatize an element of ValRail[Rail[T]] * [XTENLANG-1502] - Handle mix of native files with X10 files for C++ back-end * [XTENLANG-1531] - should not see Eclipse compiler warnings on generated Java code in X10 perspective * [XTENLANG-1535] - more informative error message when displaying number of dynamic checks * [XTENLANG-1552] - Implement exception stack traces for MacOS ** Bugs * [XTENLANG-60] - Dist can't implement both (Point)=>Place and (Place)=>Region due to compiler restriction * [XTENLANG-280] - General sequential performance of Array library * [XTENLANG-293] - Performance of rail access * [XTENLANG-498] - Calls to exception-throwing methods from within closures causes downstream Java compiler to flag an unhandled exception * [XTENLANG-509] - Control characters in AIX stack traces * [XTENLANG-649] - Using a function with a type constraint on a generic parameter breaks code elsewhere ...?! * [XTENLANG-678] - Existential Despair * [XTENLANG-715] - What is section 9.2 doing? * [XTENLANG-778] - Default values for structs and functions? * [XTENLANG-873] - Regions can be made with negative rank * [XTENLANG-911] - Need support for an "X10 runtime container" to handle version skew on X10 runtime updates * [XTENLANG-976] - Update DistAlgebra3.x10 test case to reflect that union on non-disjoint distributions is allowed if mappings are compatible * [XTENLANG-1054] - Dist.toString() has backwards arrow (should print place/region mapping in the same way it appars in X10 source code). * [XTENLANG-1103] - Dist.makeBlock(1..13) does the wrong thing. * [XTENLANG-1125] - Test case Calls/StructCall3_MustFailCompile seems obsolete. * [XTENLANG-1131] - X10 grammar contains qualifiers that are not in the language spec * [XTENLANG-1133] - Internal compiler error * [XTENLANG-1139] - Annotation spec description is bad * [XTENLANG-1250] - NQueensPar.x10 (samples) doesn't compile due to apparent typechecker problem * [XTENLANG-1265] - Duplicate compilation error message * [XTENLANG-1314] - Code fragment with dependent type causes illegal C++ to be generated * [XTENLANG-1370] - X10DT hangs * [XTENLANG-1382] - Compilation spuriously succeeds with -commandlineonly when dependent files have semantic errors * [XTENLANG-1396] - Generate accessor function for statics with global constant initializers in the header to enable inlining * [XTENLANG-1403] - WrappedRuntimeException shouldn't be user-visible * [XTENLANG-1408] - -EXTERNALIZE_ASTS doesn't work * [XTENLANG-1416] - Code not generated for files unrelated to files with syntactic/semantic errors * [XTENLANG-1419] - Numeric promotion of unsigned types not defined * [XTENLANG-1424] - Position of X10ParsedClassType_c and ConstrainedType_c are not the same as the X10CanonicalTypeNode_c * [XTENLANG-1426] - Launching X10 Hello world causes NPE (internal error) * [XTENLANG-1430] - Compiler throws NPE * [XTENLANG-1434] - 'continue lbl' can't be used in a loop. * [XTENLANG-1436] - masterBuildRelease and masterBuildToolIntegration scripts don't work on cygwin * [XTENLANG-1441] - NPE from type-checker compiling code that uses generics * [XTENLANG-1442] - Non-compilable Java code results from references to members of a bounded type parameter * [XTENLANG-1452] - Memory leak in HashMap.remove * [XTENLANG-1458] - Wrong signature of main method * [XTENLANG-1459] - Incomprehensible error message for (possibly) illegal return value * [XTENLANG-1462] - Searching for a property even in a static method * [XTENLANG-1466] - lub (least upper bound or least common ancestor) for null and non-null type fails * [XTENLANG-1473] - Illegal positions when using super. * [XTENLANG-1476] - X10Parser bugs * [XTENLANG-1491] - Node positions missing file path when source located in .jar files * [XTENLANG-1505] - null==null fails in the java backend * [XTENLANG-1506] - String compareTo issues * [XTENLANG-1513] - X10TypeMixin.isNonNull not working as expected blocking backend optimization of null checks * [XTENLANG-1514] - Compiler reports on "dynamically checked calls" but it does not fail with -STATIC_CALLS * [XTENLANG-1515] - someStruct.toString() in the C++ backend fails to post compile * [XTENLANG-1517] - Java error when x10c tries to make a java array of generic type * [XTENLANG-1521] - C++ backend: bug in struct's equal (==) for structs when boxed to interface * [XTENLANG-1522] - C++ backend removes assertion - there is no way to run with assertions on * [XTENLANG-1524] - HashMap.entries() returns a set where some entries are null * [XTENLANG-1526] - README.txt out of date * [XTENLANG-1533] - X10DT: any pending compilation error prevents all code generation for a package. * [XTENLANG-1539] - compiler NPE at polyglot.ast.LocalDecl_c.addDecls(LocalDecl_c.java:156) * [XTENLANG-1542] - Use @NativeRep to allow X10 program to catch UnsupportedException * [XTENLANG-1543] - StackOverflow error when uncommenting a piece of code * [XTENLANG-1545] - compiler emits same error message twice for one problem For the details of JIRA issues fixed in this release, see http://jira.codehaus.org/browse/XTENLANG/fixforversion/15896 Please use the X10 JIRA to report bugs, after ensuring the problem is not already reported: http://jira.codehaus.org/secure/IssueNavigator.jspa?reset=true&&pid=11812&resolution=-1 |
From: David P G. <gr...@us...> - 2010-06-14 19:34:49
|
We're happy to announce that X10 and X10DT version 2.0.4 are now available for download. This release contains a number of bug fixes and improvements to the code base. For more details, please see the X10 2.0.4 release page at http://x10-lang.org/X10+2.0.4+Release. The 2.0.4 Release notes are appended. Release 2.0.4 This release includes both the C++ and Java code generation backends. There has been a very significant improvement in the performance of the code generated by the Java backend. Since 2.0.3 performance of an X10 port of the jBYTEmark benchmarks has improved by 10x. The standalone (single machine) version of X10RT now supports multi-place execution by setting the environment variable X10RT_STANDALONE_NUMPLACES to indicate the number of places that should be used to run the program. A separate process will be created for each place and they will communicate via shared memory. No significant language changes were made since the 2.0.3 release. For details on any minor language changes, please consult the language specification included in the X10 release. The following features described in the 2.0 language manual do not currently work and will be fixed in the subsequent releases: - Non-static type definitions as class or interface members (static type defs do work) - Type definitions as package members (i.e., in the outermost scope of a compilation unit) - AST externalization to XML - Shared local variables - Extern methods Additionally, the following features described in the language manual do not currently work with the C++ backend and will be fixed in the subsequent releases: - Garbage collection on AIX - Generic virtual methods - Exception stack traces on Cygwin and AIX The generated C++ code requires g++ 4.2 or better to be compiled; we do almost all of our testing against g++ 4.3.2. On AIX, you may either use g++ 4.2 or better or xlC 10.01.0000.0004 or better. Below is a summary of JIRA issues addressed for the X10 2.0.4 release. Release Notes - X10 - Version X10 2.0.4 ** New Features and Improvements * [XTENLANG-394] - Fully specify operator overloading rules/semantics in language manual * [XTENLANG-672] - "variables" in chapter 5 * [XTENLANG-759] - Generate efficient equals methods for Structs in Java backend * [XTENLANG-821] - Multi-place standalone X10RT implementation * [XTENLANG-982] - Build shared libraries for x10rt and x10 on AIX * [XTENLANG-1026] - Source editor should support "shift source block left/right" * [XTENLANG-1102] - Redesign Java Runtime's RuntimeType infrastructure * [XTENLANG-1168] - Need implementation of IToggleBreakpointsHandler that talks to X10/PERCS debugger * [XTENLANG-1271] - Add preferences for "static calls" compiler options * [XTENLANG-1339] - Communication Interface for X10 Platform Configuration should handle at least IBM PE * [XTENLANG-1341] - Changing to use Java's array access mechanism directly * [XTENLANG-1342] - Changing to use Java's mechanism for assignment operators of array directly * [XTENLANG-1343] - Performance of Rail.copyTo(), copyFrom(), reset() and make() * [XTENLANG-1348] - Use static method instead of closure to implement post increment operator * [XTENLANG-1349] - Use == instead of equalsequals for primitives * [XTENLANG-1366] - Allow user defined equals method for Structs * [XTENLANG-1372] - Support for X10 on FreeBSD * [XTENLANG-1377] - X10DT builder needs to cache the jobs * [XTENLANG-1400] - Redundant zero clear in RailFactory.make {Val,Var}Rail(Type, int) * [XTENLANG-1401] - Redundant masking in {Short,Int,Long}Marshal.write * [XTENLANG-1410] - Remove redundant try-catch statement in apply() of function type in generated Java code ** Tasks and Sub-tasks * [XTENLANG-1357] - Add compiler version checking ** Bug * [XTENLANG-101] - X10 outline view shows synthetic constructors * [XTENLANG-297] - Performance of rail access * [XTENLANG-306] - Performance of i++ with new op= code in Java back end * [XTENLANG-378] - Spurious errors in "Problems view" * [XTENLANG-379] - Outline view presents constructor for class Foo as Foo() instead of this(). * [XTENLANG-447] - X10DT: Update X10 language templates/idioms for 2.0 * [XTENLANG-540] - Stacktrace lost for BadPlaceException at remote place * [XTENLANG-603] - Shift-tab fails if blanks replace tabs in the source * [XTENLANG-613] - 'self' needs to be in the manual (and the index) * [XTENLANG-616] - Structs can be generic, but the manual says "generic class" * [XTENLANG-628] - 4.12.2 doesn't say much about Strings * [XTENLANG-636] - Contravariance failure in generic types with Java RTT implementation * [XTENLANG-673] - "specific" analysis * [XTENLANG-684] - Misphrasing in (Restrictions on this) * [XTENLANG-696] - access modifiers need to go in the index * [XTENLANG-702] - Manual inconsistent about initial values (in a niggling fussy way) * [XTENLANG-717] - ClassCastException on access of deserialized FastArray * [XTENLANG-739] - Manual should say that property methods don't need () in calls * [XTENLANG-784] - Dangling else problem should be specified. * [XTENLANG-788] - ClassName . super . Identifer ? * [XTENLANG-819] - 'root' doesn't mean 'root'. * [XTENLANG-825] - X10->Java doesn't do exceptions in asyncs the X10 way * [XTENLANG-835] - What does "statically determinable bound" mean on p.125? * [XTENLANG-836] - Inconsistent description of clock operations * [XTENLANG-837] - "clocked variable"? * [XTENLANG-841] - 'clocked' description in manual needs work * [XTENLANG-860] - Spec bad for R(i) for region R * [XTENLANG-867] - C++ and Java back ends disagree on whether this compiles... * [XTENLANG-918] - Null pointer exception when creating X10 local configuration * [XTENLANG-928] - Disallow implicit conversion from Rail to Array for method param * [XTENLANG-940] - empty sub directory <project_name>/bin in eclipse X10 (C++ backend) projects not created on import * [XTENLANG-946] - X10 run configurations use old-style options to specify number of places * [XTENLANG-948] - Unable to open X10 files outside the workspace * [XTENLANG-960] - x10 new class dialog should reflect the correct signature of x10 main method * [XTENLANG-1109] - Exception logged in Error Log from occurrence marking * [XTENLANG-1144] - The java backend boxes primitives * [XTENLANG-1147] - Manual needs to explain how to coerce unsigned types to and from signed ones * [XTENLANG-1162] - X10 builder may not always create the correct inter-compilation unit dependencies * [XTENLANG-1171] - Example 11.2.1 returns "null" from a method with return type T * [XTENLANG-1203] - X10DT can't find a superclass, even when super- and sub-class are in the same package. * [XTENLANG-1212] - ArrayList clear() throws NullPointerException * [XTENLANG-1215] - Problems remain in the Problems view after corresponding errors fixed in source code * [XTENLANG-1221] - Problem with ValRail.make's return value: * [XTENLANG-1239] - Any.typeName() does not contain type parameter info. in Java backend * [XTENLANG-1240] - Instanceof for a type having parameterized type in parameters returns a wrong value in Java backend * [XTENLANG-1252] - at(m.home) doesn't work sometimes, even if at(m) does. * [XTENLANG-1258] - X10DT: NPE in X10OccurrenceIdentifier * [XTENLANG-1272] - Source editor blames current source file for errors in other files * [XTENLANG-1282] - SWT form of Platform Configuration should be scrollable * [XTENLANG-1285] - Saving the platform configuration after closing a dirty editor does not save it * [XTENLANG-1286] - X10DT fails to install a platform bundle fragment for x10.dist.host on Mac OS Snow Leopard * [XTENLANG-1287] - Instanceof for generic type having Rail and ValRail in parameters returns wrong value in Java backend * [XTENLANG-1288] - Instanceof for a type which its super class have in parameter cyclically returns wrong value in Java backend * [XTENLANG-1310] - X10DT: Problem view markers disappear when workbench is restarted * [XTENLANG-1315] - Problem with nested struct compilation * [XTENLANG-1317] - X10DT: Editor freezes * [XTENLANG-1318] - Remote compilation on linux machine fails at linking step * [XTENLANG-1319] - Implement String.trim() * [XTENLANG-1320] - X10DT: Deleting folder causes ParseController to throw NPE * [XTENLANG-1332] - Method mapping tables have incorrect line number information * [XTENLANG-1336] - Unsafe methods in x10::lang::String Not doing proper bounds checking before accessing backing array even in debug builds * [XTENLANG-1344] - Type-variables are not subtypes of their bound * [XTENLANG-1353] - ValRail serialization is logging the reference (making ValRail immortal) * [XTENLANG-1359] - Closure+generic had instantiation problems * [XTENLANG-1368] - Compiler Should Completely Process All Requested Files * [XTENLANG-1371] - Rail.make[S](Int) actually zero clears a new rail, but comment says it doesn't * [XTENLANG-1379] - Failure when upgrading X10DT * [XTENLANG-1381] - Clashing use of signals between BDWGC and POE/LAPI on Power/Linux * [XTENLANG-1384] - Rail.make[S](Int, Int, Rail[S]) not exist in Managed-X10 * [XTENLANG-1385] - Wrong number of arguments are passed to the native implementation of ValRail.copyTo in Managed-X10 * [XTENLANG-1386] - problems with project creation wizzard (c++ backend) after deleting projects * [XTENLANG-1387] - Random.random() not actually random * [XTENLANG-1390] - X10DT: Turn off spell checker in editor * [XTENLANG-1394] - The type of constant in the desugaring of ++x/--x should match the type of x * [XTENLANG-1397] - Inconsistent implementations of String.equals(null) * [XTENLANG-1398] - Implement Byte.toString(), parse() * [XTENLANG-1399] - ShortMarshal.read returns wrong value * [XTENLANG-1402] - Random.nextBytes() throws ArrayIndexOutOfBoundsException * [XTENLANG-1403] - WrappedRuntimeException shouldn't be user-visible * [XTENLANG-1418] - array assignments return the wrong type (Object) * [XTENLANG-1420] - Cancelling new C++ back-end project deletes existing project on name clash * [XTENLANG-1421] - Bad file descriptor while trying to read the error stream for a command execution on Mac For the details of JIRA issues fixed in this release, see http://jira.codehaus.org/browse/XTENLANG/fixforversion/16248 |