ParaModel system model validation and code generation framework
|Course||Applied Computer Technology|
|Keywords||Parallel Computing Visual modeling Model Checking Code generation framework|
High-performance computing clusters and multi-core processors in various application areas popularized , making use of parallel computing technology more widely , but given the difficulty of parallel programming parallel technology promotion more difficult. Parallel programmers frequently considered in order to solve the underlying details of the problem , scholars in the parallel program -oriented visual modeling field was studied, and the corresponding systems have been developed to solve the different problems encountered in parallel . However, in the parallel model validation and code generation framework had not yet mature solution. ParaModel system is a visual parallel programming environment , committed to addressing the parallel program design requires frequent interaction with the underlying problem . The system provides parallel computing model used for parallel program designers depending on the application needs to be modified , and the resulting model can be used to test and then generate the code frame. This work focuses on ParaModel system model validation and code generation framework for the work of both research and design . Inspection of the model , based on the error generated at different stages of testing the model is divided into three stages , each stage of the test by means of a link to the next validation error model to reduce the possibility of wasting energy . In the third stage logic examination messaging deadlock on the issue of a special study , so that the generated code framework to avoid deadlocks , ensure the successful completion of tasks in accordance with the design . Aspects of the code generation framework for documenting code snippet XML format , and through code parser to be configured to generate a specific need for parallel programming environment and language code framework . Dom4j parsing system uses open source code package as a framework for analysis tools , and its excellent performance to meet the system's reliability and stability , and to facilitate insertion technology enables support a new parallel language becomes an easy task to ensure excellent system scalability . In this paper, the design basis, through the Eclipse plug-in technology ParaModel system model validation and code generation component framework for implementation, and the continuation of ParaModel scalability , enhances its usability.