Title :
A Formal Definition of Logic Topology for One-to-All Broadcasts in Parallel and Distributed Computing
Author_Institution :
Dept. of Comput. Sci. & Inf. Eng., Shanghai Inst. of Technol., Shanghai, China
Abstract :
One-to-all broadcasts are used widely in parallel and distributed computing. The logic topologies have much effect on efficiency of broadcasts. The logic topology is a mechanism that determines how the messages in a distributed operation are sent. Since there are some challenges, such as ensuring data determinacy and managing deadlock and buffer memory etc., which are extremely subtle, and make it difficult to implement correctly, maybe the definition can provide an approach to formal verification and parallel compilers etc.
Keywords :
formal verification; parallel processing; distributed computing; logic topology; one-to-all broadcasts; parallel computing; Broadcast technology; Broadcasting; Computer science; Distributed computing; Formal verification; Logic; Memory management; Parallel processing; System recovery; Topology;
Conference_Titel :
Computational Intelligence and Software Engineering, 2009. CiSE 2009. International Conference on
Conference_Location :
Wuhan
Print_ISBN :
978-1-4244-4507-3
Electronic_ISBN :
978-1-4244-4507-3
DOI :
10.1109/CISE.2009.5365860
