Panini: a concurrent programming model for solving pervasive and oblivious interference

Bagherzadeh, Mehdi; Rajan, Hridesh

doi:10.1145/2724525.2724568

Cited by 27 publications

(43 citation statements)

References 54 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This is one of the most important research direction. Extant approaches do not permit modular reasoning, and we have some evidence that capsules permit modular reasoning about capsule-oriented programs [26]. This has the potential to enable compile-time verification of concurrencyrelated properties for the very first time.…”

Section: Ongoing Explorationsmentioning

confidence: 99%

See 1 more Smart Citation

Capsule-Oriented Programming

Rajan

2015

2015 IEEE/ACM 37th IEEE International Conference on Software Engineering

Self Cite

View full text Add to dashboard Cite

Explicit concurrency should be abolished from all higher-level programming languages (i.e. everything exceptperhaps-plain machine code.)." Dijkstra [1] (paraphrased). A promising class of concurrency abstractions replaces explicit concurrency mechanisms with a single linguistic mechanism that combines state and control and uses asynchronous messages for communications, e.g. active objects or actors, but that doesn't remove the hurdle of understanding non-local control transfer. What if the programming model enabled programmers to simply do what they do best, that is, to describe a system in terms of its modular structure and write sequential code to implement the operations of those modules and handles details of concurrency? In a recently sponsored NSF project we are developing such a model that we call capsule-oriented programming and its realization in the Panini project. This model favors modularity over explicit concurrency, encourages concurrency correctness by construction, and exploits modular structure of programs to expose implicit concurrency.Abstract-"Explicit concurrency should be abolished from all higher-level programming languages (i.e. everything exceptperhaps-plain machine code.)." Dijkstra [1] (paraphrased). A promising class of concurrency abstractions replaces explicit concurrency mechanisms with a single linguistic mechanism that combines state and control and uses asynchronous messages for communications, e.g. active objects or actors, but that doesn't remove the hurdle of understanding non-local control transfer.What if the programming model enabled programmers to simply do what they do best, that is, to describe a system in terms of its modular structure and write sequential code to implement the operations of those modules and handles details of concurrency? In a recently sponsored NSF project we are developing such a model that we call capsule-oriented programming and its realization in the Panini project. This model favors modularity over explicit concurrency, encourages concurrency correctness by construction, and exploits modular structure of programs to expose implicit concurrency.

show abstract

Section: Ongoing Explorationsmentioning

confidence: 99%

“…Capsules provide in-order and transitive in-order delivery and processing semantics. Capsules provide modular reasoning [26]. None of the existing work provides all of these properties.…”

Section: Related Workmentioning

confidence: 99%

Capsule-Oriented Programming

Rajan

2015

2015 IEEE/ACM 37th IEEE International Conference on Software Engineering

Self Cite

View full text Add to dashboard Cite

show abstract

“…Scala Actors allow creation of thread-based and event-based actors. Thread-based actors are assigned dedicated JVM threads, whereas event-based actors share JVM 1 Main promise of capsules is that they can enable modular reasoning about concurrent programs, but that direction is explored elsewhere [11]. threads associated with the task-pool that processes eventbased actor messages.…”

Section: Related Workmentioning

confidence: 99%

“…Capsules are an actor-like abstraction implemented in the programming language Panini [1,11,20]. Figure 5 presents an example HelloWorld program in this language.…”

Section: Panini Capsulesmentioning

confidence: 99%

An Automatic Actors to Threads Mapping Technique for JVM-Based Actor Frameworks

Upadhyaya

Rajan

2014

Proceedings of the 4th International Workshop on Programming Based on Actors Agents &Amp; Decentralized Control

Self Cite

View full text Add to dashboard Cite

Actor frameworks running on Java Virtual Machine (JVM) platform face two main challenges in utilizing multi-core architectures, i) efficiently mapping actors to JVM threads, and ii) scheduling JVM threads on multi-core. JVM-based actor frameworks allow fine tuning of actors to threads mapping, however scheduling of threads on multi-core is left to the OS scheduler. Hence, efficiently mapping actors to threads is critical for achieving good performance and scalability. In the existing JVM-based actor frameworks, programmers select default actors to threads mappings and iteratively fine tune the mappings until the desired performance is achieved. This process is tedious and time consuming when building large scale distributed applications. We propose a technique that automatically maps actors to JVM threads. Our technique is based on a set of heuristics with the goal of balancing actors computations across JVM threads and reducing communication overheads. We explain our technique in the context of the Panini programming language, which provides capsules as an actor-like abstraction for concurrency, but also explore its applicability to other approaches.

show abstract

“…In this thesis I do not include some of the other research works that I did during my PhD career, for example, I was fortunate to work on the Panini project [53,52,9] where I implemented efficient compilation strategies for capsules [81,82] to improve the performance of Panini programs. I also contributed to the design and implementation of Candoia, a platform and ecosystem for building mining software repository apps [77,76].…”

Section: Acknowledgementsmentioning

confidence: 99%

Collective program analysis

Upadhyaya

View full text Add to dashboard Cite

Panini: a concurrent programming model for solving pervasive and oblivious interference

Cited by 27 publications

References 54 publications

Capsule-Oriented Programming

Capsule-Oriented Programming

An Automatic Actors to Threads Mapping Technique for JVM-Based Actor Frameworks

Collective program analysis

Contact Info

Product

Resources

About