Better Modularity, Better Concurrency

Panini is a capsule-oriented programming language whose goals are to ease development of concurrent software systems by reconciling modularity and concurrency goals.

DOWNLOAD PANINI

Why?

Existing concurrent programming practices leave practitioners with no choice but to program using unbridled concurrency mechanisms, and then find and remove concurrency errors. We believe that this path is untenable. The Panini project investigates an alternative: create abstractions that eliminate classes of concurrency errrors by construction. Our work focusses on an abstraction called a capsule, a boundary within which you can write and reuse sequential code as is. We work on increasing the class of concurrency errors that can be eliminated from capsule-oriented programs by construction.

Goals

Solve pervasive and oblivious interference problems, enable modular reasoning about concurrent programs
Implicit concurrency to eliminate usage of unsafe features like threads & locks
Integrated compile-time analysis of concurrency hazards, so errors are caught early
Retain familiarity, programmers need not switch to a different mental programming model
Enable as-is reuse of sequential code, portions of software guaranteed to be single-threaded