Varone, P. Implementation of "Generic Synchronization Policies" in PICT. Technical Report IAM-96-005, University of Bern, Institute of Computer Science and Applied Mathematics, April 1996.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....to add newly defined higher level abstractions and composition mechanisms. Finally, we are also able to reason about composition and check valid compositions. We have previously used the # calculus to model object composition and generic synchronization policies as an example for wrapping [LSN96, SL97, Var96]. The inherent problem, however, is the limited reusability and extensibility due to position dependent parameters. We propose #L as a variant of the # calculus that is inherently extensible. In the polyadic # calculus [Mil91] sender and receiver processes need to agree on the number of ....

Varone, P. Implementation of "Generic Synchronization Policies" in PICT. Technical Report IAM-96-005, University of Bern, Institute of Computer Science and Applied Mathematics, April 1996.

.... will lead to the following process: WM # (# aw , rw ) a(xn , r) P reW rapper aw #xn , rw #) aw (xn , rw ) # ym ) P rw #ym #) rw (ym ) P ostW rapper r#ym #) Fortunately, the encoding of this wrapping operation can be greatly simplified by the use of records [Var96] The reader should note that the term (# y m ) P r#y m #) is an asynchronous encoding of a method. The wrapping process itself is modelled by an object which has at least two methods. One method is used to execute the synchronized method (compare with the given wrapped process WM) and the ....

Patrick Varone. Implementation of "Generic Synchronization Policies" in PICT. Technical Report IAM-96-005, University of Bern, Institute of Computer Science and Applied Mathematics, April 1996.

.... wrapping operation will lead to the following process: WM j (AE aw ; rw ) a(xn ; r) P reW rapper j aw hxn ; rw i) j aw (xn ; rw ) AE ym ) P j rw hym i) j rw (ym ) P ostW rapper j rhym i) Fortunately, the encoding of this wrapping operation can be greatly simplified by the use of records [Var96] The reader should note that the term (AE ym ) P j rhy m i) is an asynchronous encoding of a method. The wrapping process itself is modelled by an object which has at least two methods. One method is used to execute the synchronized method (compare with the given wrapped process WM ) and the ....

Patrick Varone. Implementation of "Generic Synchronization Policies" in PICT. Technical Report IAM-96-005, University of Bern, Institute of Computer Science and Applied Mathematics, April 1996.

....of multiple requests, and ffl two request channels used by clients to request services, packaged together in a record for convenience. Active objects of this kind, reminiscent of (though lower level than) the familiar idiom of actors [Hew77, Agh86] also cf. Nie92, Pap91, Vas94, PT95, SL96, Var96, NSL96] seem to arise almost inevitably when programming in a process calculus. They are widely used in Pict s libraries. Chapter 8 Polymorphism From here to the end of the document is still under (re)construction. Some sections are incomplete; others use inconsistent syntax. Don t believe ....

Patrick Varone. Implementation of "generic synchronization policies" in Pict. Technical Report IAM--96--005, Universitaet Bern, Institut fuer Informatik und Angewandte Mathematik, April 1996.

....public procedure push ( Value: Integer ) override; g Figure 1: Abstract object model. 3 Implementation in PICT In this section, we will describe several PICT implementations of the abstract object model. Readers not familiar with the language PICT can find an introduction in [Pie95b] or [Var96]. For additional background in the calculus, please refer to [Mil89, Mil91] Details about the implementation of PICT, especially its type system, are described in [Tur96] 3.1 Object model of Pierce and Turner In [PT95, Pie95b, Tur96] Pierce and Turner introduce a simple object model based on ....

....them easier to use, but it means that we can no longer synchronize concurrent accesses. Various approaches are possible for avoiding interferences and deadlock, but a detailed investigation will be a topic of future work. For some preliminary results in modelling concurrency control, refer to [Var96]. 3.7 Model 6 One of the main features of object oriented programming is inheritance. Usually one distinguishes between interface inheritance and code inheritance. Interface inheritance is not a problem in PICT since it is possible to extend a given record type with new fields. We have already ....

Patrick Varone. Implementation of "Generic Synchronization Policies" in PICT. Technical Report IAM-96-005, University of Bern, Institute of Computer Science and Applied Mathematics, February 1996.

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