Szabolcs Ferenczi. Concurrent Objects with Inherited Synchronizations. In M. Mango Furnari, editor, Proceedings of the 2nd International Workshop on Massive Parallelism: Hardware Software and Applications, pages 80--89, Capri, Italy, October 3--7, 1994. World Scientific Publishing Co.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....the former will find potentially matching trees but the latter might not. 5 Future Work Search tree unification concepts will be implemented using second generation CS Prolog called CS Prolog Professional [App94] An object oriented concurrent programming model has been developed called Monads [Fer94] that will be merged with Prolog using the concepts of search tree unification presented here. 6 Acknowledgment The results presented in this paper were discovered during our work on CS Prolog and some aspects are already published in [FF92] Thanks to Iv an Fut o for involving me to the ....

Szabolcs Ferenczi. Concurrent Objects with Inherited Synchronizations. In Proceedings of the 2nd International Workshop on Massive Parallelism: Hardware Software and Applications, Capri, Italy, Oct. 3--7 1994.

....space of the particular object in which the critical section is executed. The with clause from the original CCR proposal is omitted. The synchronization constructions of the Monads DP model can easily be inherited and therefore Inheritance Anomaly [MY93] does not apply to Monads DP programs (see [Fer94a, Fer94b] CCRs used in the Monads DP model can be nested into each other (see [Fer94b] for further discussion) 2.1.7 Process Creation: PAR In a Monads DP program the number of execution threads are created explicitly by structured parallel commands like the PAR construction of OCCAM [Inm88a] ....

....that is defined in its parent classes along the classification tree. Inheritance of Synchronization Constructions: In Monads DP inheritance of methods containing synchronization constructions results in Nested Conditional Critical Regions (NCCR) The concept of NCCR is explained in detail in [Fer94a, Fer94b] and it is also shown how Inheritance Anomaly [MY93] is avoided in Monads DP. 3 Refinement Possibilities to the Basic Model The basic Monads DP model gives a core that can be extended to suit for different requirements. In this section, it will be outlined how direct addressing and ....

Szabolcs Ferenczi. Concurrent Objects with Inherited Synchronizations. In M. Mango Furnari, editor, Proceedings of the 2nd International Workshop on Massive Parallelism: Hardware Software and Applications, pages 80--89, Capri, Italy, October 3--7, 1994. World Scientific Publishing Co.

....means among concurrently evolving resolution processes [8] Based on the search tree unification concepts presented in the paper, an object oriented distributed logic programming model is going to be developed in the future. An object oriented concurrent programming model called Monads DP [17, 18] has already been developed that, as the continuation of earlier work on modular distributed Prolog [19] will be merged with Prolog using the concepts of search tree unification presented here. One advantage of modularizing is to restrict the scope for communications and thus promote distributed ....

Szabolcs Ferenczi. Concurrent Objects with Inherited Synchronizations. In M. Mango Furnari, editor, Proceedings of the 2nd International Workshop on Massive Parallelism: Hardware Software and Applications, pages 80--89, Capri, Italy, October 3--7, 1994. World Scientific Publishing Co.

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