A distributed implementation of flat concurrent prolog on message passing multiprocessor systems

Auteurs

• Uwe Glässer

Paramètres

• Informatique, programmation

En savoir plus sur le livre

This work provides a comprehensive exploration of concurrent logic programming, emphasizing its significance and structured organization. It begins with an overview of logic program syntax and data manipulation through unification. The discussion progresses to the process interpretation of logic programs, detailing the process model, computational behavior, and language classification. Key synchronization techniques, including process synchronization and atomicity of unification, are examined alongside operational semantics of FCP, featuring data-flow synchronization and an abstract interpreter. The design of an abstract FCP machine is outlined, focusing on process reduction mechanisms and the complexity involved. It introduces a sequential FCP machine and functional architecture, along with process scheduling considerations. Concepts for distributed implementation are explored, addressing system architecture, parallelization, scalability, and communication. Various data representations are discussed, including at the application and machine layers, as well as the distributed reduction algorithm, variable migration, and complexity observations. The text also covers distributed termination detection, multiprogramming facilities, and strategies for preventing deadlocks and livelocks. Dynamic workload balancing and distributed garbage collection are addressed, culminating in the implementation of FCP on large transputer network

Achat du livre

• Année de publication: 1993