軟件學(xué)報(bào)論文

軟件學(xué)報(bào)論文篇一：《軟件學(xué)報(bào)》排版樣例(中文論文)2023版

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

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

1234

?

?

(清華高校計(jì)算機(jī)科學(xué)與技術(shù)系,北京100084)(新加坡國立高校計(jì)算學(xué)院計(jì)算機(jī)科學(xué)系,新加坡)(北京高校計(jì)算機(jī)科學(xué)技術(shù)系,北京100871)(蘭州高校信息科學(xué)與工程學(xué)院,甘肅蘭州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ī)范一級(jí)共享,同代碼沒有關(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宏指令的時(shí)延

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.設(shè)R?RL,R??R,R定義的Class范疇為CR,R?定義的Class范疇為CR?,則CR?是CR的子范疇,并稱之為CR的子Class范疇.

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

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

□

2.2漸增式繼承

Subtyping要求subtype保持supertype的某種行為(可看作是一種不變量,比猶如步約束)[10].Subclass在增加新的屬性或方法時(shí),為了避開破壞這種不變量,難免要對(duì)繼承的代碼進(jìn)行擴(kuò)展或修改.這種擴(kuò)展或修改很可能是重大的或?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由邊界條件打算.確定其余幾個(gè)Bézier系數(shù)是一個(gè)非

i?0j?0

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

X

i?1

?X??i?pn.

i

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

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

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

InitPF=InitP,VarPF=VarF,

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

WherePF=WhereP?FaultAssumptionF

2.2.2解釋繼承反?，F(xiàn)象

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

(2)

Fig.2TheframeworkoftheTB-CCRDbasedDWSS

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

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

3結(jié)束語

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

的努力得以分類和評(píng)價(jià).

致謝在此,我們向?qū)Ρ疚牡墓ぷ髻n予支持和建議的同行,尤其是北京高校計(jì)算機(jī)科學(xué)技術(shù)系袁崇義教授、屈婉玲教授領(lǐng)導(dǎo)的爭(zhēng)論班上的同學(xué)和老師表示感謝.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