根據(jù)之前的計(jì)劃，讓
Vczh Library++3.0的編譯器變成語(yǔ)言的公共后端的同時(shí)，開放幾乎所有層的API讓人們可以從各種基礎(chǔ)上開發(fā)自己的DSL，所以在做完NativeX之后，接下來(lái)的事情就是寫必要程度的庫(kù)之后，做一些基礎(chǔ)設(shè)施讓托管語(yǔ)言可以被編譯到NativeX上面去。因此現(xiàn)在需要完成的東西有：
1、內(nèi)存池，用來(lái)實(shí)現(xiàn)NativeX的new和delete。這個(gè)已經(jīng)做完了。下一篇文章將詳細(xì)描述這個(gè)內(nèi)存池的結(jié)構(gòu)。
2、線程和同步對(duì)象。這個(gè)很快就做完了。NativeX的線程不僅需要有基本的功能，還需要做一個(gè)內(nèi)置的消息循環(huán)。當(dāng)一部分線程選擇使用消息循環(huán)作為它的結(jié)構(gòu)的時(shí)候，其他線程就可以把一些代碼片段發(fā)送給這個(gè)線程執(zhí)行了。并且要做到跟C#一樣，當(dāng)線程被外部強(qiáng)行中止的時(shí)候，線程內(nèi)部會(huì)拋出一個(gè)異常，然后讓線程自己去處理。
3、基本的字符串和數(shù)學(xué)函數(shù)庫(kù)
4、垃圾收集器。這個(gè)垃圾收集器是不屬于NativeX的語(yǔ)法的。這個(gè)垃圾收集器將被開發(fā)成一個(gè)NativeX的函數(shù)庫(kù)，用于支持更高層次語(yǔ)言的編譯。
當(dāng)然為了完成這個(gè)目標(biāo)，我給NativeX加上了一些無(wú)關(guān)痛癢但是卻會(huì)帶來(lái)方便的語(yǔ)法：
1、#public編譯選項(xiàng)。只要在structure、function或者variable上面標(biāo)記了#public的話，這個(gè)特殊的標(biāo)志就會(huì)被記錄在編譯后的二進(jìn)制文件的元數(shù)據(jù)里面。NativeX現(xiàn)在的元數(shù)據(jù)分為兩種。第一種是運(yùn)行時(shí)元數(shù)據(jù)。
之前的文章提到NativeX的模板函數(shù)和其他模板的東西都是可以直接編譯進(jìn)二進(jìn)制文件的，因此模板函數(shù)的實(shí)例化實(shí)際上是在運(yùn)行是的時(shí)候做的。不過(guò)現(xiàn)在我也實(shí)現(xiàn)了一個(gè)編譯選項(xiàng)（不屬于NativeX，需要用C++去控制），
可以在編譯完所有二進(jìn)制文件之后，將他們合并成一個(gè)大的二進(jìn)制文件并且預(yù)先展開所有需要的模板函數(shù)。這一步可以用于加快運(yùn)行速度，還可以為將來(lái)運(yùn)行時(shí)編譯成x86或者x64做準(zhǔn)備。當(dāng)#public被記錄到元數(shù)據(jù)里面之后，編譯器就可以從編譯好的二進(jìn)制文件里面重新還原出該二進(jìn)制文件的頭文件。
2、sizeof(type)、offsetof(type::member)、typeof(expression)和typeof(type::member)。這個(gè)純粹是為了配合內(nèi)存池和未來(lái)的垃圾收集器而做出來(lái)的。當(dāng)你需要alloc一個(gè)東西的時(shí)候，你顯然需要知道一個(gè)類型的尺寸，而這個(gè)是會(huì)跟隨著不同的情況而變化的，所以就給出了這些東西，讓編譯器幫助你計(jì)算各種跟類型相關(guān)的數(shù)字。
3、常量定義。這個(gè)還沒(méi)實(shí)現(xiàn)，到時(shí)候的語(yǔ)法可能會(huì)是constant type name = value;。而且當(dāng)他被標(biāo)記上#public之后，就可以在生成頭文件的時(shí)候包含該常量了。
為了讓C++可以給NativeX添加外部函數(shù)，我做了一個(gè)輔助類用來(lái)簡(jiǎn)化這個(gè)過(guò)程。舉個(gè)例子，我們需要實(shí)現(xiàn)一個(gè)叫做MemCreate的創(chuàng)建內(nèi)存池的函數(shù)。首先我們需要在NativeX里面聲明它：
1 structure __ForeignHandle
2 {
3 }
4
5 foreign function __ForeignHandle* __MemCreate()
6 alias SystemCoreForeignFunctions.MemCreate;
這里的alias后面的一大串是外部函數(shù)的名稱，而__MemCreate則是他對(duì)于NativeX的名稱。接下來(lái)我們就得在C++實(shí)現(xiàn)這個(gè)函數(shù)了：
1 #include "ScriptingUtilityForeignFunctions.h"
2 #include "..\Languages\LanguageRuntime.h"
3 #include "..\..\Entity\GeneralObjectPoolEntity.h"
4 #include "..\..\Threading.h"
5
6 namespace vl
7 {
8 namespace scripting
9 {
10 namespace utility
11 {
12 using namespace basicil;
13 using namespace entities;
14 using namespace collections;
15
16 class SystemCoreMemoryManagerPlugin : public LanguagePlugin
17 {
18 public:
19 struct PoolPackage
20 {
21 GeneralObjectPool pool;
22 CriticalSection cs;
23
24 PoolPackage(vint poolUnitSize, vint poolUnitCount)
25 :pool(poolUnitSize, poolUnitCount)
26 {
27 }
28 };
29
30 List<Ptr<PoolPackage>> pools;
31 CriticalSection pluginCs;
32
33 class MemCreate : public Object, public IBasicILForeignFunction
34 {
35 protected:
36 SystemCoreMemoryManagerPlugin* plugin;
37 public:
38 MemCreate(SystemCoreMemoryManagerPlugin* _plugin)
39 :plugin(_plugin)
40 {
41 }
42
43 void Invoke(BasicILInterpretor* interpretor, BasicILStack* stack, void* result, void* arguments)
44 {
45 LanguageArgumentReader reader(result, arguments, stack);
46 Ptr<PoolPackage> pool=new PoolPackage(1048576, 256);
47
48 CriticalSection::Scope scope(plugin->pluginCs);
49 plugin->pools.Add(pool);
50 reader.Result<PoolPackage*>()=pool.Obj();
51 }
52 };
53
54 static vint MemAlloc(void* result, void* arguments)
55 {
56 LanguageArgumentReader reader(result, arguments);
57 PoolPackage* pool=reader.NextArgument<PoolPackage*>();
58 vint size=reader.NextArgument<vint>();
59
60 CriticalSection::Scope scope(pool->cs);
61 reader.Result<char*>()=pool->pool.Alloc(size);
62 return reader.BytesToPop();
63 }
64
65 static vint MemFree(void* result, void* arguments)
66 {
67 LanguageArgumentReader reader(result, arguments);
68 PoolPackage* pool=reader.NextArgument<PoolPackage*>();
69 char* pointer=reader.NextArgument<char*>();
70
71 CriticalSection::Scope scope(pool->cs);
72 reader.Result<bool>()=pool->pool.Free(pointer);
73 return reader.BytesToPop();
74 }
75
76 static vint MemIsValidHandle(void* result, void* arguments)
77 {
78 LanguageArgumentReader reader(result, arguments);
79 PoolPackage* pool=reader.NextArgument<PoolPackage*>();
80 char* pointer=reader.NextArgument<char*>();
81
82 CriticalSection::Scope scope(pool->cs);
83 reader.Result<bool>()=pool->pool.IsValid(pointer);
84 return reader.BytesToPop();
85 }
86
87 static vint MemGetHandleSize(void* result, void* arguments)
88 {
89 LanguageArgumentReader reader(result, arguments);
90 PoolPackage* pool=reader.NextArgument<PoolPackage*>();
91 char* pointer=reader.NextArgument<char*>();
92
93 CriticalSection::Scope scope(pool->cs);
94 reader.Result<vint>()=pool->pool.GetSize(pointer);
95 return reader.BytesToPop();
96 }
97
98 static vint MemGetOwnerHandle(void* result, void* arguments)
99 {
100 LanguageArgumentReader reader(result, arguments);
101 PoolPackage* pool=reader.NextArgument<PoolPackage*>();
102 char* pointer=reader.NextArgument<char*>();
103
104 CriticalSection::Scope scope(pool->cs);
105 reader.Result<char*>()=pool->pool.GetHandle(pointer);
106 return reader.BytesToPop();
107 }
108 protected:
109 bool RegisterForeignFunctions(BasicILRuntimeSymbol* symbol)
110 {
111 return
112 symbol->RegisterForeignFunction(L"SystemCoreForeignFunctions", L"MemCreate", new MemCreate(this)) &&
113 symbol->RegisterLightFunction(L"SystemCoreForeignFunctions", L"MemAlloc", MemAlloc) &&
114 symbol->RegisterLightFunction(L"SystemCoreForeignFunctions", L"MemFree", MemFree) &&
115 symbol->RegisterLightFunction(L"SystemCoreForeignFunctions", L"MemIsValidHandle", MemIsValidHandle) &&
116 symbol->RegisterLightFunction(L"SystemCoreForeignFunctions", L"MemGetHandleSize", MemGetHandleSize) &&
117 symbol->RegisterLightFunction(L"SystemCoreForeignFunctions", L"MemGetOwnerHandle", MemGetOwnerHandle);
118 }
119 };
120
121 Ptr<LanguagePlugin> CreateMemoryManagerPlugin()
122 {
123 return new SystemCoreMemoryManagerPlugin();
124 }
125 }
126 }
127 }
外部函數(shù)分兩種，一種是需要全局狀態(tài)的，而另一種不需要。在不需要的時(shí)候，我提供了一個(gè)不會(huì)跟虛函數(shù)打交道的接口來(lái)加快（雖然其實(shí)可以忽略，只是為了滿足那些有畸形性能欲望的人的心理而已）運(yùn)行時(shí)的性能。
就先說(shuō)到這里了。NativeX函數(shù)庫(kù)的測(cè)試用例已經(jīng)開始在做了，可以去
Vczh Library++3.0下載最新代碼之后，在下面的目錄找到：
Library\Scripting\Utility\：這里是外部函數(shù)的實(shí)現(xiàn)。
UnitTest\Binary\ScriptCoreLibrary\：這里是NativeX將外部函數(shù)簡(jiǎn)單的封裝起來(lái)之后的函數(shù)庫(kù)，以及他們的測(cè)試用例。我為NativeX實(shí)現(xiàn)了一個(gè)簡(jiǎn)單的單元測(cè)試框架。
UnitTest\UnitTest\TestScripting_Utility_System_CoreNative.cpp：這個(gè)是NativeX單元測(cè)試框架的host。
posted on 2011-01-01 05:14
陳梓瀚(vczh) 閱讀(3894)
評(píng)論(7) 編輯 收藏 引用 所屬分類:
VL++3.0開發(fā)紀(jì)事