Research On Category Data Type Of Parallel Software Engineering Base On Multi-Core

With the development of computer technology, parallel computation has been a method which can solve decreasing computation time problem, increasing solution dimension problem, and enhancing solution accuracy. Parallel computation has generated great effect and function in computational simulation about scientific application and engineering application domain, data mining and transaction domain, etc. With the popularization of multi-processor, the research on parallel computation which based on multi-processor has been new research hotspot.CDT (Categorical data type) model is a data type that based on categorical theory, it is a formal descriptive language whose aim is construction of data type. CDT model is based on strict mathematics theory and been applied in functional programming and parallel computing of software engineering. It has gained lots of great production about computer science.Although the great production about CDT model has been get and the theory of CDT model has perfect theoretic system. By the research and analysis of CDT model in theoretic and practical application, a lot of problems is worth of approach. This thesis will give CDT model applied on multi-processor platform and give further validation and analysis on CDT theory.Based on the domestic and international references, this thesis starts the research from the background of Categorical data type present research. Firstly, we introduce the most fundamental and important knowledge of basal catamorphisms; Secondly, we research the basic and significant part of the catamorphisms in detail, taking the most representative data structure for example, and further discuss the relations among these catamorphisms; At the end we utilize isomorphic multi-processor, combining OpenMP which is a API(Application Programming Interface) established by a number of computer software and hardware manufacturer that can instruct multithreading and shared memory parallelism. We construct CDT model of list, and compare the performance of catamorphisms execute time on double-processors and single processors, further testify the feasibility CDT model in parallel computation domain.