軟件學報論文

軟件學報論文篇一：《軟件學報》排版樣例(中文論文)2023版

并發(fā)面對對象中的繼承反?，F(xiàn)象

王生原1+,楊良懷2,袁崇義3,楊萍4

1234

?

?

(清華高校計算機科學與技術(shù)系,北京100084)(新加坡國立高校計算學院計算機科學系,新加坡)(北京高校計算機科學技術(shù)系,北京100871)(蘭州高校信息科學與工程學院,甘肅蘭州730000)

InheritanceAnomalyinConcurrentObjectOrientation*

WANGSheng-Yuan1+,YANGLiang-Huai2,YUANChong-Yi3,YANGPing4

1234

(DepartmentofComputerScienceandTechnology,TsinghuaUniversity,Beijing100084,China)(DepartmentofComputerScience,SchoolofComputing,NationalUniversityofSingapore,Singapore)(DepartmentofComputerScienceandTechnology,BeijingUniversity,Beijing100871,China)(SchoolofInformationScienceandTechnology,LanzhouUniversity,Lanzhou730000,China)

+Correspondingauthor:Phn:+86-10-62645407,Fax:+86-10-62645000,E-mail:[emailprotected],/retype/zoom/8110063383c4bb4cf7ecd1ba?pn=2后者要求subtype保持supertype的某種外部可觀看行為(或語義行為),在規(guī)范一級共享,同代碼沒有關(guān)系.Inheritance層次關(guān)系可以理解為“is_similar_to”(或“l(fā)ike”)的關(guān)系,而將“is_a”關(guān)系更適合用在理解subtyping層次關(guān)系上,見表1[9].

Table1Latencyofmacro-instructions

表1宏指令的時延

NSTNSENSONSA

NET_SLICE_STOP()NET_SLICE_EXIT()

Inter-OverheadbetweenNET_SLICE_START()andNET_SLICE_STOP()

OverheadofNET_SLICE_START()

?154?904(1.4%)??

150303

?n(?,e)n(o,e)n(?,e)

?o??

命題1.設R?RL,R??R,R定義的Class范疇為CR,R?定義的Class范疇為CR?,則CR?是CR的子范疇,并稱之為CR的子Class范疇.

證明:對任何A,B?obCR=obCR?,homCR?(A,B)?homCR(A,B).

推論1.任何R?RL定義的Class范疇CR都是CL的子Class范疇.

□

2.2漸增式繼承

Subtyping要求subtype保持supertype的某種行為(可看作是一種不變量,比猶如步約束)[10].Subclass在增加新的屬性或方法時,為了避開破壞這種不變量,難免要對繼承的代碼進行擴展或修改.這種擴展或修改很可能是重大的或?qū)嵸|(zhì)性的,結(jié)果使得代碼共享失去意義.這便是繼承反常的直觀含義.

假定非線性優(yōu)化問題:

3

3

2

2

min

z?X

??

?

?zx?zydxdy

(1)

的近似解為z(x,y)???bijBin(x)Bin(y),其中b0j,b3j,bi0,bi3由邊界條件打算.確定其余幾個Bézier系數(shù)是一個非

i?0j?0

線性約束優(yōu)化問題.我們采納基于一維線性搜尋的整體收斂的Newton迭代方法來求解.其基本的迭代格式為

X

i?1

?X??i?pn.

i

步長?i采納回溯線性搜尋方法確定,下降方向pn是Newton方向,這種非線性優(yōu)化方法是一個比較勝利的具有整體收斂性的方法,對于初值的選擇沒有苛刻的要求.

基于TB-CCRD的新系統(tǒng)采納與Linux直接路由式虛擬服務器相同的框架結(jié)構(gòu)[11].如圖2所示,DWSS的各個后端服務器通過高速以太網(wǎng)相互連接,它們屏蔽ARP協(xié)議,并擁有與前端機相同的IP(記為vIP)和Web服務端口號(記為vPort),在用戶看來,這個系統(tǒng)就相當于一個IP地址為vIP,服務端口號為vPort的Web服務器.在新系統(tǒng)中,前端機負責接收來自用戶的數(shù)據(jù)包,發(fā)放用于指示處理該數(shù)據(jù)包最適當?shù)姆掌鱅D(可以是后端機在系統(tǒng)內(nèi)部的標識符,也可以是它的MAC地址)的標記,并轉(zhuǎn)發(fā)數(shù)據(jù)包;后端機則負責處理由前端機轉(zhuǎn)發(fā)而來的用戶數(shù)據(jù)包并直接回應用戶,詳細包括建立/拆除與用戶2.2.1定義繼承反?，F(xiàn)象

本節(jié)是對上述觀點的形式化描述,可與第2.2節(jié)對比閱讀.范疇論的觀點層次較高,易于抽象出問題的本質(zhì).與程序P在F下運行等價的錯誤影響程序PF有

InitPF=InitP,VarPF=VarF,

UnitPF=?[A1?F;A2?F;…;An?F],

WherePF=WhereP?FaultAssumptionF

2.2.2解釋繼承反常現(xiàn)象

例1:在談到挨次面對對象語言時,一般不涉及繼承反?，F(xiàn)象.這是由于,這類語言L都默認一個特別的subtyping關(guān)系p(由RL定義的完整inheritance層次關(guān)系被默認為相應于p的漸增式繼承關(guān)系),它對應的Type范疇記為TL,滿意:CL實現(xiàn)TL,實現(xiàn)函子為F:?A(A?obCL?FA?type(A)).L無p-繼承反常.由于挨次面對對象語言不供應定義subtyping關(guān)系的機制,所以這種默認的subtyping關(guān)系是語言中惟一的subtyping關(guān)系,這些語言L無繼承反常.

(2)

Fig.2TheframeworkoftheTB-CCRDbasedDWSS

圖2基于標記的緩存協(xié)作DWSS系統(tǒng)框架

的TCP連接、TCP連接轉(zhuǎn)交以及供應URL內(nèi)容等工作.

3結(jié)束語

本文形式地給出了“繼承反?，F(xiàn)象”的一種一般性定義.定義對每一種Subtyping關(guān)系都有其相對應的“漸增式繼承”,使其更具有普適性.文中“漸增式繼承”是一個相對的概念,這有助于對人們“使繼承反常現(xiàn)象得到緩解”

的努力得以分類和評價.

致謝在此,我們向?qū)Ρ疚牡墓ぷ髻n予支持和建議的同行,尤其是北京高校計算機科學技術(shù)系袁崇義教授、屈婉玲教授領(lǐng)導的爭論班上的同學和老師表示感謝.References:

[1]CliftonC,LeavensGT,ChambersC,MillsteinT.MultiJava:modularopenclassesandsymmetricmultipledispatchforJava.ACM

SIGPLANNotices,2000,35(10):130-145.

[2]WegnerP,ZdonikSB.Inheritanceasanincrementalmodificationmechanismorwhatlikeisandisn?tlike.In:GjessingS,Nygaard

K,eds.Proc.oftheECOOP?88.LNCS322,Heidelberg:Springer-Verlag,1988.55-77.

[3]WaxmanBM.Routingofmultipointconnections.IEEEJournalonSelectedAreasinCommunications,1988,6(9):1617-1622.[4]YonezawaA.ABCL:AnObject-OrientedConcurrentSystem.Cambridge:MITPress,1990.

[5]MatsuokaS,YonezawaA.Analysisofinheritanceanomalyinobject-orientedconcurrentprogramminglanguages.In:AghaG,

WegnerP,YonezawaA,eds.ResearchDirectionsinConcurrentObject-OrientedProgramming.Cambridge:MITPress,1993.107-150.

[6]HemigeV.Object-Orienteddesignofthegroupwarelayerfortheecosysteminformationsystem[MS.Thesis].Universityof

Montana,1995.

[7]RoseA,PerezM,ClementsP.Modecharttoolsetuser?sguide.TechnicalReport,NML/MRL/5540-94-7427,Austin:Universityof

TexasatAustin,1994.

[8]KeeneSE.AProgrammer?sGuidetoObject-OrientedProgramminginCommonLISP.Boston:Addison-WesleyLongman

PublishingCo.,Inc.,1988.

[9]GuoL,TangZS.Specificationandverificationofthetriple-modularredundancyfault-tolerantsystem.JournalofSoftware,

2023,14(1):28~35(inChinesewithEnglishabstract)./pub/qca