Reconciling concurrency and modularity with Panini's asynchronous typed events

Long, Yuheng; Rajan, Hridesh; Mooney, Sean L.

doi:10.1145/1869542.1869595

Cited by 1 publication

(1 citation statement)

References 4 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In collaboration with Yuheng Long, Tyler Sondag, and Hridesh Rajan, I helped develop the notion of asynchronous event types [25,26]. Asynchronous event types are a programming abstraction that decouple modules that announce events (subjects) and modules that respond to events (observers).…”

Section: Asynchronous Event Typesmentioning

confidence: 99%

A unified design of capsules

Mooney

View full text Add to dashboard Cite

The process of reading, writing, and reasoning about concurrent programs benefits from better abstractions for concurrency than what many common languages, such as Java, offer. Capsule-oriented programming and the Panini language utilize the idea of combining state and control within a linguistic mechanism along with asynchronous message passing to provide sequentially trained programmers with an actor-like language that preserves the expected sequential semantics. The initial design of the Panini language splits the world into two distinct elements-capsules and systems. A capsule acts as the unit of both modularity and concurrency in the program. A system acts as the sole point of composition for capsule instances. The problem is that the dichotomy between systems and capsules leads to uncomposable and non-modular programs. The connections between capsule instances in a system declaration are fixed at exactly one point and all capsules instances in program must be declared and connected to each other at a single block of code. This thesis will explore the implications on modularity and reuse of systems when a basic design decision-separating capsules and systems-is relaxed to allow a capsule to declare an internal composition of other capsule instances. Address search(String name); 4 } 5 capsule CSVBook(File file) implements Book { ... } 6 capsule ISUBook implements Book { ... } 7 capsule Search(Book[] books) { 8 List

search(String name) {

show abstract

Section: Asynchronous Event Typesmentioning

confidence: 99%

A unified design of capsules

Mooney

View full text Add to dashboard Cite

search(String name) {

show abstract

Reconciling concurrency and modularity with Panini's asynchronous typed events

Cited by 1 publication

References 4 publications

A unified design of capsules

A unified design of capsules

Contact Info

Product

Resources

About