C. V Ravishankar and R. Finkel. Linguistic Support for Dataflow. Technical Report CSETR -14-89, Dept. of EECS, The University of Michigan, Ann Arbor, Michigan, 1989.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....that are designed to meet these challenges. Cicero facilitates both sequential and parallel protocol implementation, especially for those above the transport layer. It extends existing programming languages to support event driven execution. A feature of Cicero is the use of event patterns [1] to control synchrony, asynchrony, and concurrency in protocol execution, which helps programmers build robust protocol implementations. Event pattern driven execution also enables implementors to exploit parallelism of varying grains in protocol execution. Event patterns can also be translated ....

....or messages [15, 16, 17, 18, 19] However, a simple event driven model alone is not enough because complex relationships which often exist between events must be expressed in a structured way. To describe complex relationships between events, we have borrowed the notion of event patterns from POST [1]. Event patterns use event combinators to recursively describe relationships between events. Cicero uses the three event combinators , and , to express synchronous, asynchronous, and sequential relationships between events respectively. Event pattern semantics can be classified into two ....

[Article contains additional citation context not shown here]

C. V Ravishankar and R. Finkel. Linguistic Support for Dataflow. Technical Report CSETR -14-89, Dept. of EECS, The University of Michigan, Ann Arbor, Michigan, 1989.

....are specified by an extended FSM (finite state machine) show in Figure 7, where input events can be associated with conditions. To prepare readers for the example, we will first briefly introduce Cicero and its constructs. Cicero is an event driven specification language derived from POST [17]. Unlike specifications in languages like LOTOS [18] Estelle [19] which are declarative (non executable) Cicero specifications are constructive (executable) This feature allows programmers to provide execution information to guide the protocol synthesis process in generating efficient ....

C. V Ravishankar and R. Finkel. Linguistic Support for Dataflow. Technical Report CSETR -14-89, Dept. of EECS, The University of Michigan, Ann Arbor, Michigan, 1989.

....task in building distributed systems, but is complicated by the difficulties of dealing with complex multi thread interactions and timing related bugs. This paper describes Cicero, a set of language constructs designed to alleviate these difficulties. Cicero uses the notion of event patterns [1] to help programmers build robust protocol implementations. Event patterns provide structure for controlling synchrony, asynchrony, and concurrency in protocol execution, and also allow implementors to exploit parallelism of varying grains. Event patterns can be translated into other formal ....

....protocol as a machine reacting to internal external events or messages [12, 13, 14, 15, 16] However, an event driven model is insufficient because complex relationships between events must be expressed in a structured way. For this purpose, we have borrowed the notion of event patterns from POST [1]. Event patterns use event combinators to recursively describe relationships between events. Cicero uses the three event combinators , and , to express synchronous, asynchronous, and sequential relationships between events respectively. Event patterns in Cicero have active semantics [1, ....

[Article contains additional citation context not shown here]

C. V Ravishankar and R. Finkel. Linguistic Support for Dataflow. Technical Report CSE-TR-14-89, Dept. of EECS, The University of Michigan, Ann Arbor, Michigan, 1989.

....[4] This approach turns out to be close to optimal in terms of maximizing flexibility in constructing new RPC semantics and minimizing the coding effort. Cicero is a language veneer designed to facilitate complex RPC protocol implementation. A novel feature of Cicero is the use of event patterns [5] to control synchrony, asynchrony and concurrency in protocol execution. To match the flexibility provided by the toolkit, our stub generator can be instructed to generate customized stub routines, incorporating various protocol implementations. Our name server uses a generic naming scheme, ....

....for protocol execution. Instead of directly providing multithread support in the toolkit, we provide multi thread support through Cicero. This strategy is advantageous because better language support can be provided to facilitate multi thread protocol implementation. ffl It uses event patterns [5] to control synchrony, asynchrony, and concurrency in protocol execution. Event patterns provide a structured way for programmers to specify relationships between events controlling the protocol execution, so that complex interactions in protocol execution can be organized. ffl It helps ....

C. V Ravishankar and R. Finkel. Linguistic Support for Dataflow. Technical Report CSETR -14-89, Dept. of EECS, The University of Michigan, Ann Arbor, Michigan, 1989.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC