BS-Solve operations are implemented the BSPLib library [HDM97] for BSP programming. A restricted protocol is used for calling BSPLib : the BSP-KLIC library.
The BSP-KLIC library is a module of KLIC predicates which implements BSP communication among a set of KLIC processes executing the same program.
Exchange of datas can be performed either by message-passing or by direct memory-to-memory copying. Due to the BSP paradigm, message-style communications can occur at any time because they are buffered until the next synchronization barrier, while direct communications must occur only during synchronization phases.
The BSP-KLIC library is fully documented in [Mil98].
figure 2: The BS-Solve system before reduction of bsp_session
figure 3: The BS-Solve system after reduction of bsp_session