Co-dfns

High-performance, Reliable, and Parallel APL

View project on GitHub

Co-dfns Compiler

The Co-dfns project aims to provide a high-performance, high-reliability compiler for a parallel extension of the Dyalog dfns programming language. The dfns language is a functionally oriented, lexically scoped dialect of APL. The Co-dfns language extends the dfns language to include explicit task parallelism with implicit structures for synchronization and determinism. The language is designed to enable rigorous formal analysis of programs to aid in compiler optimization and programmer productivity, as well as in the general reliability of the code itself.

Our mission is to deliver scalable APL programming to information and domain experts across many fields, expanding the scope and capabilities of what you can effectively accomplish with APL.

Getting the compiler

Co-dfns follows a rapid release cycle. Releases can be found here:

https://github.com/arcfide/Co-dfns/releases

Using the Compiler

The compiler is designed around a simple public interface that can be directly and simply used to replace or enhance traditional funtionality.

codfns.Fix

Namespace ← Name codfns.Fix Namspace_Script

This is the primary interface into the compiler. It serves as a drop-in replacement for the ⎕FIX function. The Name should be some name that will serve as a prefix identifier for extra files that the compiler needs to generate in the build directory to create the namespace. It will compile the namespace and return the accessible functions as a Dyalog Namespace object.

codfns.Cmp

Exports ← Name codfns.Cmp Namespace_Script

This is used as a part of fixing, and allows you to run the compiler without building the namespace object. It will return a list of the exports of the namespace.

codfns.MkNS

Namespace ← Name codfns.MkNS Exports

This will take a list of exports and the compiler prefix name and fix a Dyalog namespace object with functions coming from the compiled code given by Name.

codfns.Xml

String ← codfns.Xml AST

If you need to see the AST of the compiler, or work with it, this function allows you to serialize your code in the form of XML, rather than as a Namespace Script. It does require that you use either the parser or your own hacking skills to extract out a Co-dfns AST.

Caching API

The caching api allows you to call directly into the Co-dfns compiled namespace without using DWA to convert values. You do this by explicitly allocating a function and then applying specialized versions of Co-dfns compiled functions on those arrays until you are ready to extract the result, in which case you can extract them out.

The specialized functions are specialized according to your input types. Given input types b, i, and f for Boolean, Integer, and Floating, respectively, you can use ⎕NA to access the function. It’s name will be <name><tr><tr> where <name> is the name of the function, and <tr> and <tl> are the types of the right and left inputs, respectively.

These specialized functions return the type of the resulting array computation as their return value.

codfns.BSO

Path ← codfns.BSO Name

Given the Name used as the left argument to Fix, it will give back the path to the primary Co-dfns compilation object. This is useful for doing manual linking into the compilation object using ⎕NA.

codfns.MKA

Codfns_Array ← Name codfns.MKA Array

This allows you to manually obtain a pointer to a Co-dfns array created from a given Dyalog DWA Array.

codfns.EXA

Array ← Name codfns.EXA Codfns_Array Type

Used to extract an array from Co-dfns. It will take a pointer to a Co-dfns array and the type of that array, and will free the array from the Co-dfns space and return that array as its result in the form of a normal Dyalog array.

codfns.FREA

{}  Name codfns.FREA Codfns_Array

Frees a Co-dfns array pointer obtained from MKA.

Configuration

There are a few global settings that should be examined or set based on your local environment. The values given below are their default values.

COMPILER

COMPILER ← 'vsc'

This indicates the backend compiler to use. It should be one of the following names:

Windows: vsc
Linux: gcc
Mac OS X: clang

BUILD∆PATH

BUILD∆PATH ← 'build'

The path relative to your working directory where the compiler will store its intermediate files and the compiled objects. Should be a directory.

VISUAL∆STUDIO∆PATH

VISUAL∆STUDIO∆PATH ←'C:\Program Files (x86)\Microsoft Visual Studio 14.0\'

The path to your Visual Studio installation. Make sure that you have installed the C++ compiler.

VERSION

Major Minor Patch ← VERSION

This is not designed to be set by the user, but indicates the version of the compiler. Version numbers are only valid as releases, and are subject to change during development in the repository.

System Requirements

The Co-dfns compiler is fairly self-contained. You will need the following software in order to use the compiler:

  1. Dyalog APL 15.0 or later 64-bit Unicode edition

  2. Your Operating System’s host compiler:

    • Visual Studio 2015 (Windows)
    • GCC (Linux)
    • Clang (Mac OS X)
  3. ArrayFire

You should be able to find the appropriate ArrayFire installer included in the release page for a given Co-dfns release. On Windows, if you want to use the CUDA backend you will need to make sure that the appropriate nvvm64 dll (something like nvvm64_31_0.dll) is copied into the directory from which you will launch the compiler.

There are a number of related initiatives that are based on the Co-dfns technology:

  • Mystika: a high-level, high-performance cryptographic stack
  • ffdict: programmable, easy to use image processing

Contributing and Helping

We need your help! There are many ways to assist with the Co-dfns project. Here are some ways that you can do it.

Support the Project

We are seeking to create an open funding model for Co-dfns research through the use of Gratipay. You can support the project by contributing code, feedback, benchmarks, and otherwise becoming a member of the team, but you can also directly support the Co-dfns team by funding us on Gratipay:

https://www.gratipay.com/Co-dfns/

Joining the Co-dfns Team

We are an open development team dedicated to free research, but we are also funded by other sources as well. We encourage people to get involved in various ways. Here are a few of the best ways to get working on the project:

  1. Download, install, and run the compiler on your code.

  2. Report bugs and issues in the GitHub Issue Tracker.

  3. Contribute code, tests, and benchmarks through pull requests to the repository.

  4. Discuss Co-dfns on various social media sites.

  5. Spread the word and evangalize the Co-dfns approach to computing!

This project is heavily focused on producing quality code, and as such, we have strong guidelines about how to code in the project. We are happy to assist with this, and it may help to read the publications listed in this document.

Furthermore, we explicitly avoid too much non-code documentation that isn’t human-to-human direct communication. Instead, we tend to focus on executable contracts and documentation through the use of our testing suite. We also have a growing Benchmarks suite here:

https://github.com/arcfide/Co-dfns-benchmarks

Please contact arcfide@sacrideo.us (Aaron W. Hsu) for more information on the best ways to contribute and to get involved in the project.

Note: All pull requests and contributions to this project imply an acceptance of the dual licensing nature of the Co-dfns project. Part of this is the copyright assignment and details laid out in the LICENSE.txt file. Furthermore, Dyalog, Ltd. is a contributing partner in this project, and receives exclusive rights to non-AGPL licensing options of the Co-dfns compiler. To facilitate this all contributions are assumed to be copyright transferred to Aaron Hsu.

Publications

Co-dfns Compiler Architecture and Design (Video)

The Key to a Data Parallel Compiler

Accelerating Information Experts Through Compiler Design

Co-dfns: Ancient Language, Modern Compiler

U11: Using Co-dfns to Accelerate APL Code

U07: Co-dfns Report: Performance and Reliability Prototyping

I04: Co-dfns Compiler

Dyalog 2016 Presentation