Optimized distribution of synchronous programs via a polychronous model

Abstract

This paper presents a distribution methodology for synchronous programs, applied in particular on programs written in the Quartz language. The given program is first transformed into an intermediate model of guarded actions. After userspecified partitioning, the generated sub-models are transformed into Signal processes. Using the multi-clock calculation model of the Signal language, an optimized data-flow network can be automatically constructed. The optimization includes reducing the communication quantity and the computation load, with no change to the interface behaviors.

A Gals Approach for Pogramming Distributed Interactive Multimedia Applications

“…The deployment of synchronous applications in such architectures rises some issues that has driven several researches. Asynchronous interactions [1,43], synchronous semantic preservation [44,45], automatic distributed code generation [46,47,48], verification of synchronous distributed applications [49,50] are some examples of these problems. Here we focus on the asynchronous interactions issue.…”

“…The fourth changes the current slide in response to the event SHOW_SLIDE (lines [40][41][42][43]. And finally, the last trail reacts to each occurrence of the event SEEK, performing a seek operation, and then withdraws the control from the student (i.e., it sets the variable control to 0) broadcasting this to all students (lines [45][46][47][48][49][50]. Now let's focus on the students program, whose source code is depicted in Listing 6.5.…”

“…Back to the mapping script, it iterates over the student table in lines 13and 18-20, calling the function link (lines [36][37][38][39][40][41][42][43][44][45][46][47][48][49] to define the other mappings of this application. These maps are: -teacher's "NEW_SLIDE" event to students' "SHOW_SLIDE" event, also using the slideTransf function; -teacher's "REPLY_CONTROL" event to students' "CONTROL_CHANGED"; -teacher's "PERFORM_SEEK" event to students' "SEEK"; -students' "TRY_GET_CONTROL" event to teacher's "REQUEST_CONTROL"; -students' "REWIND" event to teacher's "SEEK_REQUEST", using a filter function that tests if the student who has emitted the "REWIND" indeed is the one who has the control over the video.…”