1、隨著計算機(jī)技術(shù)的不斷發(fā)展，并行計算作為一種旨在降低運算時間、增加問題求解規(guī)模、提高求解精度的方法，在科學(xué)以及工程應(yīng)用的計算模擬、商業(yè)應(yīng)用的數(shù)據(jù)挖掘及事務(wù)處理等許多領(lǐng)域，已經(jīng)產(chǎn)生了巨大的作用和影響力。近幾年來隨著多核的逐漸普及，基于多核的并行計算的研究逐漸成為新的研究熱點。范疇數(shù)據(jù)類型(CDT)模型是以范疇理論為基礎(chǔ)，以數(shù)據(jù)類型的構(gòu)造為目的的形式化描述模型。CDT模型具有非常嚴(yán)格的數(shù)學(xué)基礎(chǔ)，并在軟件工程中的函數(shù)式程序設(shè)計與并行計算得到了一

2、系列的應(yīng)用，已經(jīng)取得了不少的研究成果。雖然CDT模型的理論工作方面已取得了很多成果，CDT構(gòu)造的原理已經(jīng)有了較為完善的理論系統(tǒng)，但是將CDT模型的理論與實際應(yīng)用相結(jié)合，CDT構(gòu)造的原理與應(yīng)用還有許多的問題值得探討與研究。本文將CDT模型創(chuàng)造性的應(yīng)用于多核平臺之上，對CDT理論的進(jìn)行進(jìn)一步的驗證分析。 本文在研究國內(nèi)外相關(guān)文獻(xiàn)的基礎(chǔ)上，從范疇數(shù)據(jù)類型的當(dāng)前研究背景出發(fā)，首先介紹了CDT模型構(gòu)造及基本原理等基礎(chǔ)知識；詳細(xì)研究了CDT