D. H. Freidel. Modelling communication and synchronization in parallel programming languages. PhD thesis, published as Technical Report 84-01. Department of Computer Science, The University of Iowa, Iowa City, Iowa, 1984.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....leading to a more general result than merely the design of a single tool. This methodical approach to design is derived from the approach to programming language design presented in [Marlin80] and used since then to design various programming languages or programming language features, such as [Denbaum83, Freidel84]. The design approach advocates the design of the semantics of a language feature before its syntax, and the use of specific semantic models to make comparisons and to delineate the design space for the domain concerned. This approach can also be used to design software engineering tools ....

....of programming language design, to the design of software engineering tools generally, and specifically to the design of configuration management tools for dynamically composed systems. This design methodology has been used successfully to design a variety of programming languages and features [Denbaum83, Miller83, Freidel84, Wagner84, Gantenbein86]; its use in the design of software engineering tools has only recently begun to be investigated, both in the context of the control aspects of tool integration frameworks [Harvey96, Harvey97] and the work described in this dissertation. This design methodology, applied to the design of ....

D. H. Freidel. Modelling communication and synchronization in parallel programming languages. PhD thesis, published as Technical Report 84-01. Department of Computer Science, The University of Iowa, Iowa City, Iowa, 1984.

....adopted, leading to a more general result than merely the design of a single tool. This methodical approach to design is derived from the approach to programming language design presented in [11] and used since then to design various programming languages or programming language features, such as [3,5]. The design approach advocates the design of the semantics of a language feature before its syntax, and the use of specific semantic models to make comparisons and to delineate the design space for the domain concerned. The design of a software engineering tool involves choosing between a range ....

D. H. Freidel. Modelling communication and synchronization in parallel programming languages. PhD thesis, published as Technical Report 84-01. Department of Computer Science, The University of Iowa, Iowa City, Iowa, 1984.

....sequences. Fortunately, a suitable technique for the specification of concurrently accessed ADTs is available in the form of the shared data abstractions (SDAs) of Mallgren [13, 14] This kind of ADT has subsequently been used to describe and compare a number of parallel programming languages [3] and in a formal description of intertask communication in Ada [17] This paper first considers Mallgren s approach to SDAs and discusses difficulties encountered with the technique when applied to language definition and the automatic generation of implementation prototypes in the context of the ....

....elements which can be stored in the queue are of type A . The appropriate SDA is given in Figure 1. Each SDA object consists of a protected resource, called state , with one or more ADT operations (which Mallgren calls events and which will be called basic state generators following Freidel [3]) which may be applied to the protected resource. These basic state generators are applied to the state as a result infinite queue SDA (elements of type A ) high level routines get A put A basic state generators get c state state get r state state put c A Theta state state put r A ....

D.H. Freidel. Modelling Communication and Synchronization in Parallel Programming Languages. Ph.D. thesis, Department of Computer Science, The University of Iowa, Iowa City, Iowa, May 1984. Available as Technical Report 84-01.

....languages, the underlying information structure model needs to be expanded. This can be done by introducing a new layer, directly above the ADT layer, to handle several processes trying to access the information structures; this layer would employ Shared Data Abstractions (SDA s) described in [Freidel84, Freidel88, Mallgren83]. ATLANTIS would then provide a language definition technique able to describe both sequential and parallel languages, whilst providing a formal and readable language definition from which an interpreter or compiler prototype can be produced automatically. 5. Acknowledgements Part of the work ....

D.H. Freidel. Modelling Communication and Synchronization in Parallel Programming Languages. Ph.D. Thesis, The University of Iowa, Iowa City, Iowa, May 1984 (Technical Report 84-01).

....structure model needs to be enhanced. Work is proceeding in this area through the introduction of a new layer, directly above the ADT layer, to handle several processes trying to simultaneously access the information structures; this layer employs shared data abstractions (SDAs) as described in [3, 19, 21, 23]. However, until the issues involved in the definition of parallel programming languages is more fully explored, it remains unclear which generation technique is most appropriate for the automatic translation of ADT specification. These issues are currently being investigated; in the meantime ....

D.H. Freidel. Modelling Communication and Synchronization in Parallel Programming Languages. Ph.D. thesis, Department of Computer Science, The University of Iowa, Iowa City, Iowa, May 1984. Available as Technical Report 84-01.

....model was to facilitate the comparision of such languages, space limitations dictate that it be illustrated by its application to a single parallel programming language, the language Ada. For examples of its application to other parallel programming languages, the interested reader is referred to [7]. The semantic model to be described here is an operational one, meaning that the semantics of language features is described in terms of the effect, on the state of a program in the language, of the execution of the operations of some abstract machine. A traditional area of imprecision in ....

....receive. Figure 4. Finite state representation for the deterministic send nondeterministic receive type of rendezvous. Figure 5. Finite state representation for the conditional send deterministic receive type of rendezvous. to rendezvous with the called task. Interested readers are refered to [7] for more details on this aspect of this combination of communication events. 3.4 Conditional send deterministic receive As shown in Figure 5, it is the calling task which may back out of a call in this case; consequently, there is the possibility of a transition from state hA, Ni to state hN, ....

D.H. Freidel. Modelling communication and synchronization in parallel programming languages. Technical Report 84-01, Department of Computer Science, The University of Iowa, Iowa City, Iowa, May 1984. fPh.D. Thesisg.

....interact with the usual concepts of sequential programming languages. This paper presents a semantic model of the synchronization and communication within a rendezvous in Ada; for examples of its application to other parallel programming languages, the interested reader is referred to [5]. The model is an information structure model [15] the semantics of language features is described in terms of transformations on information structures representing the state of the program. A traditional area of imprecision in such semantic models has been the specification of the meaning of ....

....of the communication lists and interface objects specified in the previous section; these, in turn, are composed of SDA s and ADT s which have been specified algebraically. These algebraic specifications have not been given in this paper for the sake of brevity, but they are to be found in [5, 6]. Operation Description create Make a new In Table ADT object. insert(T, E, I) Insert into table T, an entry with index E, and associated information I. If such an index already exists then alter the information associated with it. delete(T, E) Delete from the table T, the information ....

[Article contains additional citation context not shown here]

D.H. Freidel. Modelling communication and synchronization in parallel programming languages. Technical Report 84-01, Department of Computer Science, The University of Iowa, Iowa City, Iowa, May 1984. fPh.D. Thesisg.

....in Ada[12] these aspects of Ada have been described elsewhere in terms of less specific semantic models[6,11] which are less useful for making comparisons between languages. For examples of the application of our model to other parallel programming languages, the interested reader is referred to [1]. The model is an information structure model[13] the semantics of language features is described in terms of transformations on information structures representing the state of the program. A traditional area of imprecision in such semantic models has been the specification of the meaning of the ....

....described earlier, the semantic model presented here is an information structure model. The information structures are composed of the communication lists and interface objects specified in the previous section; these, in turn, are composed of SDA s and ADT s which have been specified algebraically[1,2]. In order to complete the information structure model of the semantics of intertask communication in Ada, it is also necessary to provide adequate descriptions of the transformations of the information structures caused by the various relevant language features. This is done by giving an ....

[Article contains additional citation context not shown here]

D.H. Freidel. Modelling Communication and Synchronization in Parallel Programming Languages. Technical Report 84-01, Department of Computer Science, The University of Iowa, Iowa City, Iowa, May 1984. fPh.D. Thesisg.

No context found.

D.H. Freidel, Modelling Communication and Synchronization in Parallel Programming Languages. Technical Report 84--01 {Ph.D. Thesis}, Department of Computer Science, The University of Iowa, Iowa City, Iowa, May 1984.

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