magicdetective 2011-04-20 16:36 发表评论
]]>]]>
// ERROR //
public final java.lang.String toString()
throws
{
// Byte code:
// 0: aload_0
// 1: getfield 16 java/lang/reflect/Proxy:h Ljava/lang/reflect/InvocationHandler;
// 4: aload_0
// 5: getstatic 42 TempProxy:m2 Ljava/lang/reflect/Method;
// 8: aconst_null
// 9: invokeinterface 26 4 0
// 14: checkcast 44 java/lang/String
// 17: areturn
// 18: athrow
// 19: astore_1
// 20: new 34 java/lang/reflect/UndeclaredThrowableException
// 23: dup
// 24: aload_1
// 25: invokespecial 37 java/lang/reflect/UndeclaredThrowableException:<init> (Ljava/lang/Throwable;)V
// 28: athrow
//
// Exception table:
// from to target type
// 0 18 18 java/lang/RuntimeException
// 0 18 18 java/lang/Error
// 0 18 19 java/lang/Throwable
}
// ERROR //
public final int hashCode()
throws
{
// Byte code:
// 0: aload_0
// 1: getfield 16 java/lang/reflect/Proxy:h Ljava/lang/reflect/InvocationHandler;
// 4: aload_0
// 5: getstatic 49 TempProxy:m0 Ljava/lang/reflect/Method;
// 8: aconst_null
// 9: invokeinterface 26 4 0
// 14: checkcast 51 java/lang/Integer
// 17: invokevirtual 54 java/lang/Integer:intValue ()I
// 20: ireturn
// 21: athrow
// 22: astore_1
// 23: new 34 java/lang/reflect/UndeclaredThrowableException
// 26: dup
// 27: aload_1
// 28: invokespecial 37 java/lang/reflect/UndeclaredThrowableException:<init> (Ljava/lang/Throwable;)V
// 31: athrow
//
// Exception table:
// from to target type
// 0 21 21 java/lang/RuntimeException
// 0 21 21 java/lang/Error
// 0 21 22 java/lang/Throwable
}
// ERROR //
]]>
]]>
]]>
以下Ua是个? 不代表Q何组l或C֛.
现在行的编E语a如Java和C#, 大多是面向对象的, E序的各部分是通过Ҏ调用q在一? 其编E范式是命o~程, 即支持其他范式也包装得很难理解和?
面向对象实际上只适合实现抽象数据cd, 让它d成除此之外的d实是勉为其? 即便能完成也lh不u不类的感? 既不像面向对象编E? 也不像它的前?q程~程). q些语言中的对象与物质世界的物质(或对?很不一? 它用方法调用的方式与其他对象进行相互作? 而这与物质之间的(通过通信或媒?怺作用是截然不同的, 因此用面向对象无法很切地模拟现实世?面向对象思想的初?, 更不用说准确Cؓ现实世界建立模型.
q几q流行的web服务和SOA虽ɽE序间交互更方便, 但它从本质上说还是用”面向对?命o~程+Ҏ调用”的思\, 在编E方法论上ƈ没有实质的进?
用现在流行的语言实现的完成复杂功能的E序逻辑不清? 原因在于”命令编E?Ҏ调用”的设计机制. qɽE序很难模块? 副作用无所不在, 因此很难正确实现复杂功能.
现实世界的发展变化是通过事物间的怺作用实现? 而这U相互作用用计算机科学的语言来说是q发(concurrency). 软g的本质是什? 我觉?软gL完成某种功能?归根到底是对现实世界的事物间怺作用q行建模. 因此软g的组成部分间自然是q发的关p? 而不是过E调用的关系. 用通信q程来对现实世界的事物间怺作用q行建模是比较合理的. 所以进E应该作a的基成分, 是Y件的基本l成部分, 而不是只Z提高效率才采用的.
Z使程序能准确Cؓ现实世界建立模型, 从而正性更? l构更合? 模块化程度更? 因此在几U编E思想或语a的基?见references), 我提ZU新的编E方法论: 面向q程+函数~程+q程间通信+逻辑~程+U束~程+其他合理的范?命o~程除外)和一门编E语aProcessLog (全称process logic).
ProcessLog只支持一Uƈ?通信q程. 它就是计机U学家在上世U?0q代Z克服现在的Java中仍采用的那Uƈ发方式的~点而提出的. 它是l过充分研究得到的一U理惛_ƈ发方? 看了q发理论(concurrency)和进E代?Process algebra), ׃明白q种q发方式可解军_际中的各Uƈ发问? 用它_?
q里的进E是q程代数的进E?不是q程,也不是Java中的U程. 看看jcsp或Hoare的CSP(http://www.usingcsp.com/)明白了.推荐|址:
http://www.cs.kent.ac.uk/projects/ofa/jcsp/,
其中有两个ppt说得很明?
"Process Oriented Design for Java: Concurrency for All",
"Communicating Processes, Components and Scaleable Systems".
ProcessLog的语法概要如?
1 q算W?
(1) ? 输入; c ? x 从输入端口c或通道c上接收输入值放到变量x?
(2) ! 输出; c ! v 把v的g输出端口或通道c上输?
(3) -> 序q行的事件的先后关系
(4) | b : s 分支
(5) || q程q行
(6) // 附属q程
(7) and, or, not 逻辑q算W?
(8) 术q算W和关系q算W? 与Java中相?
2 E序的组成成?
(1) Unit E序单元
(2) Process q程
(3) Function 函数
(4) Predicate 谓词
(5) Channel 通道, 有两个端? in 输入端口, out 输出端口
(6) OutPort 输出端口
(7) InPort 输入端口
3 数据l构
(1) List (函数~程中的Listcd, 对List的操作函C函数~程中相?;
(2) Tuple 元组, 同Clean.
(3) Set 集合
没有数组
4 q程的定?
Process p1 (OutPort pt1, InPort pt2 ){
pt2?x -> pt1! compute(x) -> p1
}
5 q程间相互作?
(1) q程q行 process1( c1.out, c2.in)|| process2(c1.in, c2.out)
(2) 附属q程 (getE: getElements || getR: getReleasedVersion) // X.(in?method -> getE ! method ? elems -> getR ! em ? rem-> ?->X)
6 函数
[Function] compute(double x)=
| x<=0: x*x+3
| x>0: compute(x-5)* compute(x-3)
函数只能以事件的方式在进E中使用或在其他函数中? 不能独立使用.
7 谓词
/* 建图 */
Predicate createGraph(t, graph):-
addNode(t, null, ({},{}), graph1),
getDS(t, graph1.ns, tlist),
addList(tlist, t, graph1, graph).
/* 加节?*/
Predicate addNode(t, null, (ns, es), (ns1, es):-
merge(ns, {t}, ns1).
Predicate addNode(t, upper, (ns, es), (ns1, es1)):-
merge(ns, {t}, ns1),
merge(es, {(upper, t)}, es1).
8 把谓词{换ؓ函数
create(t)= graph
where createGraph(t, graph)
谓词不能独立使用也不能在q程中直接? 要在q程中用需要先转换为函?
9 E序单元: 包含q程和数据类?
Unit PmethodDAO;
interface
Tuple Method;
Process getLastVersion(OutPort pt1 , InPort pt2);
?
implementation
Method=(String id, String name, String version);
Process getLastVersion(OutPort pt1 , InPort pt2){
?
}
指导原则: E序是由通过通道通信的进E组成的. 数据处理和算法用函数~程实现, 如果函数~程不适用于要处理的问? ׃用逻辑~程或约束编E?
ProcessLog语言限制了编E的随意? 要求只能用进E代?函数~程+逻辑~程的方式编E? 不允许用Java或c#的命令方式编E?
ProcessLog 现在q没有在机器上实? 我用该语a重写了实际项目中的一些复杂代?原是Java代码), 证实用它写的E序实单清? 有类似数学的z美. "7 谓词"是其中一部分代码.
我的x? 应先在纸面上规定它的语法与语? 再通过使用它编写一些应用程序来发现它的不,再进而改q它, 再实? 再改q? 直到它基本完善再在机器上实现. 另外, 大家不要把语a分ؓ中国人提出的q是外国人提出的, U学无国? q里不存在狭隘的爱国M. 我不是U技术高? 但我自信我是一个能理论很好地联系实践的研I?
希望有识之士和我一起共同发展这U编E方法论和这门语a.
juwenguang2000@yahoo.com.cn
References
1. CSP http://www.usingcsp.com/
2. JCSP http://www.cs.kent.ac.uk/projects/ofa/jcsp/
3. Clean http://clean.cs.ru.nl/
4. Prolog
5. Delphi
? 转蝲时请注明作?
]]>