Properties of barrier design. Counter barrier, coordinator barrier, combining tree barrier, butterfly & dissemination barrier. Reductions.
Slides: 16_threads4.pdf
Formal methods, concurrency, and verification
Properties of barrier design. Counter barrier, coordinator barrier, combining tree barrier, butterfly & dissemination barrier. Reductions.
Slides: 16_threads4.pdf