MedTiny: Enhanced Mediator Modeling Language for Scalable Parallel Algorithms
Xiangyu Li,Yihao Zhang,Xiaokun Luan,Xiaoyong Xue,Meng Sun
DOI: https://doi.org/10.1109/qrs-c60940.2023.00075
2023-01-01
Abstract:This paper introduces MedTiny, a streamlined component-based modeling language, evolved from Mediator. Existing modeling languages struggle to provide convenience in expressing recurrent component configurations, which are common in modern large-scale parallel computation models in distributed environments. Furthermore, Mediator frequently conducts repetitive flag manipulations to synchronize between distributed entities. To address these issues, we propose syntactic enhancements, including component array with static foreach iterator and automatic synchronization flag manipulation. These enhancements significantly reduce code size and effectively address the aforementioned problems. After simplification, we successfully incorporate language feature enhancements into MedTiny without compromising its formality. Subsequently, we develop a prototype code generator that targets multi-threaded Python for code execution and PRISM model checker for verification. To demonstrate MedTiny's efficiency, we include a case study on a character counting MapReduce algorithm.