ct-clmsn / chplx Goto Github PK

The following code in backend/test/heat.chpl segmentation faults. The sequential version of the loop is working correctly.

Parallel version

        chplx::forall(chplx::Range(0, 4), [&](auto i) {
#line 44 "heat.chpl"
            data(i) = 1 + (((i - 1) + nx) % nx);
#line 45 "heat.chpl"
            data2(i) = 0;
        });

Sequential version

        chplx::forLoop(chplx::Range(0, 4), [&](auto i) {
#line 44 "heat.chpl"
            data(i) = 1 + (((i - 1) + nx) % nx);
#line 45 "heat.chpl"
            data2(i) = 0;
        });

Integrate fmt and tinyutf8 into the backend.

Implement ctest (cmake test infrastructure) for code generation

these lists are a work in progress (subject to change)

passes

• symbol table
• program construction
• program validation (validate w/type checking)
• code generation

variable declaration with/without value initialization

• scalar int, string, cstring, real declaration
• array int, string, cstring, real declaration
• multi-dimensional array int, string, real
• scalar initialization declaration
• array initialization declaration
• multi-dimensional array initialization w/range
• multi-dimensional array initialization w/domain
• config, ref, const etc variables
• domain declaration w/initialization
• associative domain declaration w/initialization
• distributed domain support

expressions

• literal + variable + function call binary expressions (=, +, -, /, *, etc)
• function calls (argument lists included) w/binary expressions as arguments
• array access w/binary expressions
• multi-dimensional array access w/binary expressions as index logic
• casting types

function support (user defined)

• function declarations
• function definitions
• variable declaration support with/without value initialization
• first class functions/lambdas
• iterable functions (generator functions)

control flow

• function calls (w/argument lists)
• for loops (for, forall)
• conditionals (if, if-else, else, etc)
• on
• begin, cobegin
• coforall
• zip
• do
• locales (user defined types)

integral type support

• array methods
• string methods
• associative array methods
• byte methods
• string (utf8) / c_string support
• template functions, user defined types, etc
• tuples

user defined types

• class support (member variables, methods)
• record support (member variables, methods)

module support

• import statement

Separate concerns associated with symbol building and code generation.

I used the indexing operator [] and the performance was atleast 600 times better when compared to using operator (). Is the major reason hpx::generator ? (It was the heat.cpp code that I had tested with the changed access patterns)

CC @hkaiser @ct-clmsn

Implement function (no yield), record, class support

Execution control

• for loop
• iterators

Data types

• Tuples (#15)
• Ranges (#6)
• Domains (rectangular) (#16)
• Domains (associative) (#20)
• Strings
• Bytes
• Arrays (#29)

Task Parallelism and Synchronization

• begin (#21)
• cobegin (#21)
• coforall loop
• Synchronization variables (#23)
• Atomic variables (#26)
• Sync statement
• Serial statement

Data Parallelism

• forall loop

Distributed Programming

• Locales, on (#29)
• Domain maps (rectangular domain maps: #44)

Implement yield functions

Convert the AST-tree provided by the chapel frontend into an intermediate structure representing the program to be generated. The following tasks will :

• perform a symbol table pass - the symbol table pass will build symbols, identify scopes, and create the symbol table
• perform intermediate pass - convert the AST into the intermediate structure; enforce the same scoping rules as the symbol table pass (walk the symbol table's scope tree) and utilize the symbol table to resolve identifiers/variables in the program during intermediate structure creation.

Extend backend to consume and generate for, forall, coforall, and while support.

Divide generated code into 3 files

• Application header
• Application main
• Runtime main