• <tr id="yyy80"></tr>
  • <sup id="yyy80"></sup>
  • <tfoot id="yyy80"><noscript id="yyy80"></noscript></tfoot>
  • 99热精品在线国产_美女午夜性视频免费_国产精品国产高清国产av_av欧美777_自拍偷自拍亚洲精品老妇_亚洲熟女精品中文字幕_www日本黄色视频网_国产精品野战在线观看 ?

    基于進程代數(shù)的系統(tǒng)性能評價方法綜述

    2015-04-02 12:01:27張小彬??嚴博??陳璐
    軟件導刊 2015年2期
    關(guān)鍵詞:性能評價

    張小彬??嚴博??陳璐

    摘要:現(xiàn)代通信網(wǎng)絡(luò)系統(tǒng)中大量存在的各種并發(fā)同步事件,使得系統(tǒng)的性能特征與其功能特征密切相關(guān),該類系統(tǒng)進行性能評價時,需要綜合其性能模型與功能模型進行分析。由于進程代數(shù)具備功能推導和驗證能力,通過有效擴展,融合相應的性能參數(shù),可以成為理想的針對并發(fā)系統(tǒng)的性能建模工具。綜述了進程代數(shù)的發(fā)展歷史,并總結(jié)了將進程代數(shù)應用于性能評價的有效擴展方法,通過實例論述了進程代數(shù)應用于性能評價的一般過程。最后,討論了基于進程代數(shù)的系統(tǒng)性能評價方法的發(fā)展趨勢。

    關(guān)鍵詞關(guān)鍵詞:進程代數(shù);并發(fā)系統(tǒng);性能評價;標記轉(zhuǎn)移系統(tǒng);隨機過程

    DOIDOI:10.11907/rjdk.143787

    中圖分類號:TP302

    文獻標識碼:A文章編號文章編號:16727800(2015)002002503

    基金項目基金項目:海軍工程大學自然科學基金(435517D50);湖北省自然科學基金(2013CFB441);信息保障技術(shù)重點實驗室開放基金(KJ13106)

    作者簡介作者簡介:楊進(1983-),男,湖北宜昌人,海軍南海艦隊司令部工程師,研究方向為網(wǎng)絡(luò)安全管理;張小彬(1981-),男,云南陸良人,碩士,海軍南海艦隊司令部工程師,研究方向為網(wǎng)絡(luò)工程;嚴博(1984-),男,江西豐城人,海軍工程大學信息安全系講師,研究方向為信息與網(wǎng)絡(luò)安全;陳璐(1979-)女,廣東汕頭人,博士,海軍工程大學信息安全系講師,研究方向為信息安全、可信計算。

    0引言

    隨著現(xiàn)代通信網(wǎng)絡(luò)系統(tǒng)規(guī)模的擴大以及結(jié)構(gòu)復雜度的增加,尤其是系統(tǒng)中各種并發(fā)同步事件的大量存在,系統(tǒng)的功能特性與性能特性之間的界限已經(jīng)越來越模糊。系統(tǒng)性能特征往往與其功能特征密切相關(guān),因此對此類系統(tǒng)進行性能評價時,單純的性能模型無法得出有效的結(jié)果,而需要結(jié)合系統(tǒng)功能模型進行綜合考慮[1]。作為一種高級建模工具,進程代數(shù)可以很好地描述網(wǎng)絡(luò)系統(tǒng)中常見的同步、并發(fā)、分布、沖突、資源調(diào)用,多被用于針對各種并發(fā)分布式系統(tǒng)的功能推導和驗證。如果通過融合相應的性能參數(shù),使進程代數(shù)能夠同時刻畫系統(tǒng)的功能模型和性能模型,那么進程代數(shù)就可以成為一種理想的分析網(wǎng)絡(luò)、軟件等各類復雜并發(fā)系統(tǒng)性能的工具。近年來,各種改進的進程代數(shù)模型不斷推出,進程代數(shù)理論正在被越來越多地應用于網(wǎng)絡(luò)、軟件等各種復雜并發(fā)系統(tǒng)的性能評價中[24],為這類系統(tǒng)的性能評價研究提供了一種新的思路和方法,并在一些工程領(lǐng)域中得到了應用。

    1進程代數(shù)及其擴展形式

    1.1進程代數(shù)概述

    進程代數(shù)中的“進程”指系統(tǒng)的行為,系統(tǒng)是展示行為的系統(tǒng),例如一個軟件系統(tǒng)的執(zhí)行、一個機器的動作等?!按鷶?shù)”指用代數(shù)或公理的方法進行討論。因此,可以認為進程代數(shù)是用代數(shù)的方法研究系統(tǒng)行為的一門學科,是泛代數(shù)中的一種結(jié)構(gòu),滿足特殊的公理集,其主要思想是將系統(tǒng)抽象成某種元素,用嚴格的語義描述系統(tǒng)及行為,并以確定的語法規(guī)則來演算系統(tǒng)的動態(tài)行為。

    進程代數(shù)有很多種,其中主要的有Bergstra和Klop的ACP(Algebra of Communicating Processes)[5],Hoara的CSP(Communication sequential Processes)[6],Milner的CCS(Calculus of Communicating Systems)[7]和ISO的LOTOS(Language of Temporal Ordering Specifications)[8]等。這些進程代數(shù)的活動只有實施類型,沒有聯(lián)系時間,只能描述系統(tǒng)的功能特性,對系統(tǒng)功能進行定性分析。性能評價需要在詳細描述系統(tǒng)結(jié)構(gòu)的基礎(chǔ)上,通過分析系統(tǒng)的動態(tài)行為,得到系統(tǒng)在時間或概率上的可量化性能指標。為了能利用進程代數(shù)對系統(tǒng)性能進行定量分析,通常采用的方法是在原有功能模型的基礎(chǔ)上加入性能數(shù)量指標,使所得到的模型既能描述系統(tǒng)的行為,又能反映某些特定數(shù)量上的性能特征,這樣就能得到統(tǒng)一的既可以進行功能分析,又可以進行性能分析的混合模型。

    1.2進程代數(shù)的有效擴展

    基于以上思想,產(chǎn)生了時間進程代數(shù)(Timed Process Algebra)和概率進程代數(shù)(Probabilistic Process Algebra)。例如,在時間進程代數(shù)TCCS(Temporal CCS)中,活動增加了取值為自然數(shù)的時間域,不僅可觀察到一個進程執(zhí)行的活動類型,也可觀察到執(zhí)行該活動的時間延遲;而在概率進程代數(shù)PCCS(Probabilistic CCS)中,則將不確定的選擇用概率選擇來代替,從而量化了不確定性。但無論是時間進程代數(shù)還是概率進程代數(shù),都無法用來作為評價分析系統(tǒng)性能的工具,前者為活動附加的是一個確定的時間值,無法有效描述系統(tǒng)的各種隨機性質(zhì);而后者則沒有描述系統(tǒng)的時間特性,也無法用來對系統(tǒng)進行性能評價。為了將系統(tǒng)的隨機性質(zhì)、事件特性、功能特性有機結(jié)合,學者提出了隨機進程代數(shù)。

    2隨機進程代數(shù)

    隨機進程代數(shù)的主要思想是將進程代數(shù)模型的每個動作都聯(lián)系一個滿足某種隨機分布的延遲時間,進而通過各動作的隨機行為分析系統(tǒng)性能,得到系統(tǒng)性能的量化指標。因為絕大多數(shù)系統(tǒng)行為都具備隨機性,所以與時間擴展的進程代數(shù)和概率擴展的進程代數(shù)相比,隨機進程代數(shù)更能精確描述系統(tǒng)行為。

    最早將動作的隨機性引入進程代數(shù)的是Nounou和Yemini兩位學者,它們提出用指數(shù)分布來表示動作的延遲時間,但他們沒有提出一套完整的進程代數(shù)形式化語義模型[9]。上世紀90年代,Herzog在進程代數(shù)CSP的基礎(chǔ)上,首次提出了一種隨機擴展的進程代數(shù)TIPP(TImed Process and Performance evaluation)[10],之后經(jīng)過多位學者不斷地完善,最終形成了一種比較完整的隨機進程代數(shù)語言。1994年,英國愛丁堡大學的Hillston教授[11]在她的博士論文《A Compositional Approach to Performance Modeling》中提出了一種性能評價進程代數(shù)(Performance Evaluation Process Algebra,PEPA),PEPA也是一種動作延遲時間服從于負指數(shù)分布的隨機進程代數(shù),PEPA在語法描述上與CCS類似,并具備完善的操作語義定義。目前,已有多種工具軟件支持PEPA模型的自動推導和求解。

    與經(jīng)典的排隊論模型和隨機Petri模型不同,隨機進程代數(shù)模型用一種組合的方法來描述和生成復雜的系統(tǒng)馬爾可夫轉(zhuǎn)移過程,隨機進程代數(shù)獨有的等價合并技術(shù)可有效壓縮連續(xù)時間馬爾可夫鏈(CTMC)一級的狀態(tài)空間大小,從而可以在一定程度上解決系統(tǒng)在性能評價過程中的狀態(tài)空間爆炸問題。

    3基于進程代數(shù)的系統(tǒng)性能評價方法

    3.1隨機進程代數(shù)PEPA

    PEPA是隨機進程代數(shù)中非常有代表性的語言。在PEPA語法中,基本建模單位稱為構(gòu)件(component),整個系統(tǒng)由若干個構(gòu)件組合而成,構(gòu)件可以執(zhí)行一系列活動(actions),并給每個活動指派一個負指數(shù)分布的隨機變量,用于表現(xiàn)活動的持續(xù)時間(duration)或者稱為時延(delay)。

    假設(shè)系統(tǒng)可以觀察到的所有動作集合為Obs,令A=Obs∪{τ},表示所有動作的全集,a∈A,L∈Obs,γ∈R+,PEPA由以下語法定義產(chǎn)生:P∷=(a,γ).P|P+Q|PQ|P/L|A上述定義可以看成是由系統(tǒng)所有構(gòu)件的集合及定義在其上的5組操作算子構(gòu)成的一個代數(shù)系統(tǒng),這5組操作算子的含義如下:① (a,γ).P代表前綴(Prefix)操作,構(gòu)件(a,γ).P執(zhí)行活動a變成P,活動的執(zhí)行時間呈參數(shù)γ的負指數(shù)分布;② P+Q代表選擇(Choice)操作,表示系統(tǒng)要么執(zhí)行進程P,要么執(zhí)行進程Q;③ PQ代表合作(Cooperation)操作,表示兩個進程P和Q的并發(fā)執(zhí)行,其中活動集L是兩個進程需要同步的動作;④ P/L代表隱藏(Hiding)操作,即P對集合L中的活動隱藏,這些活動被看成內(nèi)部動作,不能被外部所觀察到;⑤ A代表常量(Constant),定義方程A=P,表明A具有進程P一樣的行為。PEPA模型需要借助操作語義來進行模型推導,以此產(chǎn)生與該模型對應的標記轉(zhuǎn)移系統(tǒng)(labeled transition system,LTS),并利用其LTS隱含的馬爾可夫轉(zhuǎn)移關(guān)系,對模型進行證明與分析。PEPA操作語義的所有規(guī)則如下:

    Prefix(a,r).P(a,r)PChoiceP(a,r)P'P+Q(a,r)P'Q(a,r)Q'P+Q(a,r)Q'CooperationP(a,r)P'PQ(a,r)P'Q(aL)Q(a,r)Q'PQ(a,r)PQ'(aL)P(a,r1)P'Q(a,r2)Q'PQ(a,R)P'Q'(a∈L)whereR=r1ra(P)r2ra(Q)min(ra(P),ra(Q))HidingP(a,r)P'P/L(a,r)P'/L(aL)P(a,r)P'P/L(τ,r)P'/L(a∈L)ConstantQ(a,r)Q'P(a,r)Q'(P=Q)

    3.2基于進程代數(shù)的系統(tǒng)性能評價

    通過實例說明如何利用PEPA對系統(tǒng)進行性能評價。假設(shè)在一個只有1名醫(yī)生的小診所,每天都有很多病人來看病,病人(Patient)到達診所后(come),醫(yī)生(Doctor)為其診斷(diagnose),診斷完畢后醫(yī)生將處方交給護士(prescribe),病人則到護士處領(lǐng)取藥品后直接離開。這個系統(tǒng)可用如下隨機進程代數(shù)語法描述:Patient = (come, λ1).(diagnose, λ2). PatientDoctor = (diagnose, λ3). (prescribe, λ4). DoctorSystem= PatientDoctor根據(jù)隨機進程代數(shù)的操作語義,可推導該系統(tǒng)對應的帶時間延遲的標記轉(zhuǎn)移系統(tǒng),如圖1所示。

    圖1系統(tǒng)對應的帶時間延遲的LTS

    根據(jù)以上LTS的轉(zhuǎn)移關(guān)系,可得到該系統(tǒng)共有4種狀態(tài),各狀態(tài)對應的CTMC轉(zhuǎn)移速率矩陣Q:

    Q=-λ1λ1000-min(λ2,λ3)min(λ2,λ3)0λ40-λ1-λ4λ10λ40-λ4

    假設(shè)系統(tǒng)的4種狀態(tài)S1、S2、S3、S4的穩(wěn)態(tài)概率分布為:p = (p1, p2, p3, p4),顯然有:

    p1+ p2+ p3+ p4=1 (1)

    p·Q=0(2)

    設(shè)λ1=2,λ2=6,λ3=5.5,λ4=8,將各參數(shù)的值帶入到矩陣Q中,求解式(1)和式(2),可得系統(tǒng)的4種狀態(tài)S1、S2、S3、S4的穩(wěn)態(tài)概率分布為:p = (p1, p2, p3, p4) = (0.5659, 0.2572, 0.1415, 0.0354)。如要求出醫(yī)生在工作時忙碌時間占總時間的比率,即構(gòu)件Doctor的利用率,則需首先為系統(tǒng)的4種狀態(tài)各自聯(lián)系一個回報值,分別為:r1=0,r2=1,r3=1,r4=1,聯(lián)合計算得到穩(wěn)態(tài)概率分布,則可得出Doctor的利用率R為:

    R = r1· p1+ r2· p2+ r3· p3+ r4· p4 = 0.4341如果要求醫(yī)生在單位時間內(nèi)完成診斷操作總數(shù)的期望值大小,即動作diagnose的吞吐量,則需為活動(diagnose,min(λ2, λ3))聯(lián)系一個回報值,回報值的大小等于活動的執(zhí)行速率,即min(λ2, λ3),反映到系統(tǒng)的4種狀態(tài)上,則聯(lián)系回報值分別為:r1=0,r2=5.5,r3=0,r4=0,聯(lián)合計算得到的穩(wěn)態(tài)概率分布,則可得動作diagnose的吞吐量T為:

    T = r1· p1+ r2· p2+ r3· p3+ r4· p4 = 0.1446

    4結(jié)語

    目前,基于進程代數(shù)的系統(tǒng)性能評價方法主要有以下發(fā)展趨勢:①大部分進程代數(shù)都是采用指數(shù)分布的形式來表示動作延遲時間的隨機分布,在實際建模過程中具有一定局限性。因此,支持活動執(zhí)行速率服從一般分布的進程代數(shù)有效擴展是面向性能評價的進程代數(shù)的一個重要研究方向;②部分研究人員嘗試將進程代數(shù)理論與系統(tǒng)綜合評價理論相結(jié)合。這種結(jié)合目前還比較簡單,還有很大探索空間。這種結(jié)合方式,擴展了模型變遷形式,可有效優(yōu)化組合系統(tǒng)狀態(tài),豐富進程代數(shù)在系統(tǒng)性能評價研究領(lǐng)域;③進程代數(shù)模型中存在各種邏輯和推導,對于結(jié)構(gòu)簡單的模型來說,通過人工進行分析工作量雖然不大,但對于結(jié)構(gòu)復雜的模型,則需借助機器進行自動推導,因此需要開發(fā)對應的進程代數(shù)建模與分析工具;④進程代數(shù)理論性和邏輯性很強,只有在實際應用中才能體現(xiàn)其價值。目前,將進程代數(shù)理論應用于系統(tǒng)性能評價的研究雖進展較快,但真正在工程實踐中成功應用的實例還不多見。因此,如何將先進的理論成果與方法應用到實際的工程領(lǐng)域中去還有待深入研究。

    參考文獻參考文獻:

    \[1\]吳盡昭,王永祥,覃廣平.交互式馬爾可夫鏈—并發(fā)系統(tǒng)的設(shè)計、驗證與評價[M].北京:科學出版社,2007.

    [2]嚴博,吳曉平,付鈺.應用隨機進程代數(shù)的網(wǎng)絡(luò)系統(tǒng)可靠性預計方法研究[J]. 西安交通大學學報,2011,45(6):4045.

    [3]肖芳雄,李燕,黃志球,等.基于時間概率代價進程代數(shù)的Web服務(wù)組合建模和分析[J].計算機學報,2012,35(5):918936.

    [4]祝義,肖芳雄,周航,等. 一種嵌入式實時系統(tǒng)軟件能耗建模與分析的方法[J].計算機研究與發(fā)展,2014,51(4):846855.

    [5]BAETEN J C M,WEIJLAN W P.Process algebra[M].New York:Cambridge University Press,1990.

    [6]HOARE C. Communicating sequential processes[M].UK: Prentice Hall International Ltd, 1985.

    [7]MILNER R.A calculus of communicating systems[M].New York:Springer,1980.

    [8]BOLOGNESI T,BRINKSMA E.Introduction to the ISO specification language LOTOS[J].Computer Networks and ISDN systems,1987,14(1):2529.

    [9]HERMANNS H,HERZOG U, KATOEN J P.Process algebra for performance evaluation[J].Theoretical Computer Science,2002,274(12):4387.

    [10]HERZOG U.Formal description,time and performance analysis—a framework[J].Entwurfund Betrieb verteilter systeme,Informatik—Fachberichte,1990,264:172190.

    [11]HILLSTON J. A compositional approach to performance modeling[D].Edinburgh:University of Edinburgh, 1994.

    責任編輯(責任編輯:陳福時)

    猜你喜歡
    性能評價
    基于支持向量回歸機的城市用水量預測研究
    價值工程(2017年22期)2017-07-15 08:59:48
    一種新型惡性瘧原蟲和間日瘧原蟲聯(lián)合快速檢測膠體金試劑盒的性能評價
    小管徑穿片式翅片管三種間距下的換熱與阻力特性
    生物芯片技術(shù)在肺癌血清標志物檢測中運用的性能評價
    糧食烘干機性能評價與效益分析
    三種有機胺粘土穩(wěn)定劑的合成及性能測試
    S201營蘭線2014年路面養(yǎng)護維修工程全深式就地冷再生基層總結(jié)
    科技視界(2015年28期)2015-10-14 12:09:20
    實時流媒體數(shù)字水印系統(tǒng)的實現(xiàn)及其性能評價
    橋梁檢測技術(shù)及其工程實踐應用研究
    網(wǎng)絡(luò)系統(tǒng)性能評價方法綜述
    軟件導刊(2015年1期)2015-03-02 12:07:20
    国产私拍福利视频在线观看| 人人妻人人看人人澡| 欧美最新免费一区二区三区 | 少妇的逼好多水| 99久久无色码亚洲精品果冻| 亚洲人成网站在线播| 一本综合久久免费| 大型黄色视频在线免费观看| or卡值多少钱| 日韩 亚洲 欧美在线| 成人美女网站在线观看视频| 国产精品一区二区性色av| 91麻豆精品激情在线观看国产| 欧美激情在线99| 欧美3d第一页| 搡老熟女国产l中国老女人| 99久久久亚洲精品蜜臀av| 精品一区二区免费观看| 国产精品久久久久久人妻精品电影| 亚洲人与动物交配视频| 在线观看舔阴道视频| 亚洲 国产 在线| АⅤ资源中文在线天堂| bbb黄色大片| 天堂网av新在线| 久久香蕉精品热| 日本 av在线| 欧美成人性av电影在线观看| 国产成人啪精品午夜网站| 日韩精品中文字幕看吧| 婷婷六月久久综合丁香| 一区二区三区四区激情视频 | 又粗又爽又猛毛片免费看| 欧美在线黄色| 日本精品一区二区三区蜜桃| 免费看美女性在线毛片视频| 高清毛片免费观看视频网站| 久久久久性生活片| 亚洲av不卡在线观看| 老女人水多毛片| 99热精品在线国产| 久久久久久久久久成人| 在线a可以看的网站| 亚洲成人久久性| 亚洲美女黄片视频| 日韩欧美一区二区三区在线观看| 亚洲av美国av| 我要看日韩黄色一级片| 免费搜索国产男女视频| 精品欧美国产一区二区三| 亚洲人成伊人成综合网2020| 精品午夜福利视频在线观看一区| 亚洲精品成人久久久久久| 啪啪无遮挡十八禁网站| 欧美性猛交╳xxx乱大交人| 丝袜美腿在线中文| 午夜激情欧美在线| 最近最新中文字幕大全电影3| 亚洲午夜理论影院| 中文字幕人妻熟人妻熟丝袜美| 伊人久久精品亚洲午夜| 免费av不卡在线播放| 国产三级中文精品| 丰满的人妻完整版| 老熟妇仑乱视频hdxx| 五月伊人婷婷丁香| 国产av不卡久久| 亚洲av熟女| 国产真实乱freesex| 欧美成人免费av一区二区三区| 国产精品一区二区免费欧美| 国产伦一二天堂av在线观看| 欧美最新免费一区二区三区 | 欧美在线黄色| 床上黄色一级片| 国产精品久久久久久人妻精品电影| 久99久视频精品免费| 精品人妻一区二区三区麻豆 | 国产一区二区三区在线臀色熟女| 欧美zozozo另类| 国产亚洲av嫩草精品影院| 如何舔出高潮| 中文字幕久久专区| 亚洲国产精品合色在线| 91午夜精品亚洲一区二区三区 | 国产亚洲欧美在线一区二区| 亚洲精华国产精华精| 国产精品伦人一区二区| 99热精品在线国产| 网址你懂的国产日韩在线| 亚洲精品在线美女| 亚洲真实伦在线观看| 欧美bdsm另类| 国产国拍精品亚洲av在线观看| 美女xxoo啪啪120秒动态图 | 757午夜福利合集在线观看| 精品一区二区三区视频在线观看免费| 久久国产乱子伦精品免费另类| 亚洲国产欧洲综合997久久,| 禁无遮挡网站| 又黄又爽又刺激的免费视频.| 国产白丝娇喘喷水9色精品| 久久欧美精品欧美久久欧美| 亚洲18禁久久av| 18美女黄网站色大片免费观看| 国产v大片淫在线免费观看| 可以在线观看毛片的网站| 亚洲精品在线美女| 婷婷六月久久综合丁香| 国产黄a三级三级三级人| 男女视频在线观看网站免费| av女优亚洲男人天堂| 国产精品永久免费网站| 特级一级黄色大片| 午夜免费成人在线视频| 亚洲熟妇熟女久久| 久久午夜福利片| 极品教师在线视频| a级一级毛片免费在线观看| 亚洲成人免费电影在线观看| 色噜噜av男人的天堂激情| a级毛片a级免费在线| 亚洲最大成人手机在线| 成熟少妇高潮喷水视频| 在线观看舔阴道视频| 老熟妇仑乱视频hdxx| 88av欧美| 亚洲精品影视一区二区三区av| aaaaa片日本免费| 怎么达到女性高潮| 亚洲经典国产精华液单 | 精品久久久久久成人av| 少妇高潮的动态图| 日本与韩国留学比较| 欧美性猛交黑人性爽| 日韩 亚洲 欧美在线| 少妇的逼水好多| 成人国产一区最新在线观看| 精品久久国产蜜桃| 一级作爱视频免费观看| 国产色婷婷99| 全区人妻精品视频| 亚洲成人中文字幕在线播放| 少妇裸体淫交视频免费看高清| 精品无人区乱码1区二区| 国产激情偷乱视频一区二区| 不卡一级毛片| 国产精品久久久久久精品电影| 一夜夜www| 亚洲欧美激情综合另类| 亚洲中文日韩欧美视频| 成人毛片a级毛片在线播放| 日本精品一区二区三区蜜桃| 在线观看午夜福利视频| 最新在线观看一区二区三区| 国产亚洲精品综合一区在线观看| 国产乱人视频| 国产一区二区亚洲精品在线观看| 最近在线观看免费完整版| 精品久久久久久久久久久久久| 搡老熟女国产l中国老女人| 老熟妇仑乱视频hdxx| 97超视频在线观看视频| 久久午夜福利片| 国内久久婷婷六月综合欲色啪| 又黄又爽又免费观看的视频| 日本与韩国留学比较| 最近视频中文字幕2019在线8| 国产人妻一区二区三区在| 久久人妻av系列| 在线观看免费视频日本深夜| 搡老岳熟女国产| 黄色视频,在线免费观看| 国产真实乱freesex| av在线老鸭窝| 黄色一级大片看看| 成人三级黄色视频| 90打野战视频偷拍视频| 51国产日韩欧美| 国产精品不卡视频一区二区 | 一级黄片播放器| 麻豆一二三区av精品| 91久久精品电影网| 亚州av有码| 97热精品久久久久久| 亚洲第一电影网av| 三级男女做爰猛烈吃奶摸视频| 97人妻精品一区二区三区麻豆| 一级毛片久久久久久久久女| xxxwww97欧美| 久久久久久久久中文| 97碰自拍视频| 国产一区二区在线av高清观看| 毛片女人毛片| 黄色丝袜av网址大全| 婷婷精品国产亚洲av| av欧美777| 欧美zozozo另类| 一卡2卡三卡四卡精品乱码亚洲| 好看av亚洲va欧美ⅴa在| 日本免费一区二区三区高清不卡| 变态另类丝袜制服| 成人无遮挡网站| 国产又黄又爽又无遮挡在线| 黄色日韩在线| 日本 av在线| 18禁在线播放成人免费| 18禁黄网站禁片午夜丰满| 麻豆一二三区av精品| 日本免费一区二区三区高清不卡| 国产三级黄色录像| 一级作爱视频免费观看| 亚洲在线观看片| 欧美三级亚洲精品| 精品乱码久久久久久99久播| 久久久久九九精品影院| 级片在线观看| 黄色日韩在线| 在线免费观看的www视频| 给我免费播放毛片高清在线观看| 男女那种视频在线观看| 人妻夜夜爽99麻豆av| 久久久久久久午夜电影| 很黄的视频免费| 中文资源天堂在线| 欧美日本亚洲视频在线播放| 欧美日韩乱码在线| 麻豆av噜噜一区二区三区| 亚洲国产精品合色在线| 久久婷婷人人爽人人干人人爱| 成人无遮挡网站| 国产v大片淫在线免费观看| 国产久久久一区二区三区| 亚洲在线自拍视频| 国产免费男女视频| av在线蜜桃| 亚洲内射少妇av| 99riav亚洲国产免费| 99热全是精品| 亚洲美女搞黄在线观看| 国产欧美日韩精品一区二区| 久久久久久久久久人人人人人人| 久久99热这里只有精品18| 男插女下体视频免费在线播放| 久久久久九九精品影院| 七月丁香在线播放| 99久久精品国产国产毛片| 老女人水多毛片| 日日啪夜夜撸| 王馨瑶露胸无遮挡在线观看| 久久久a久久爽久久v久久| 人体艺术视频欧美日本| 久久久久久伊人网av| 亚洲自偷自拍三级| 欧美日韩一区二区视频在线观看视频在线 | 色视频在线一区二区三区| 一本一本综合久久| 亚洲精品国产av蜜桃| 你懂的网址亚洲精品在线观看| 日本猛色少妇xxxxx猛交久久| 99久国产av精品国产电影| 真实男女啪啪啪动态图| 亚洲av欧美aⅴ国产| 国产精品精品国产色婷婷| 亚洲精品456在线播放app| 久久鲁丝午夜福利片| 欧美日韩综合久久久久久| 免费播放大片免费观看视频在线观看| 日韩强制内射视频| 一区二区三区乱码不卡18| 夜夜爽夜夜爽视频| 日日啪夜夜撸| 国产黄片视频在线免费观看| 亚洲美女搞黄在线观看| 欧美区成人在线视频| 久久精品综合一区二区三区| 97精品久久久久久久久久精品| 97超碰精品成人国产| 国产精品成人在线| 欧美日韩视频高清一区二区三区二| 香蕉精品网在线| 成人免费观看视频高清| 日日撸夜夜添| 99久国产av精品国产电影| 国产在线男女| 午夜福利在线在线| 午夜亚洲福利在线播放| 国产黄片视频在线免费观看| 亚洲精品456在线播放app| 亚洲色图av天堂| 亚洲av.av天堂| 成年人午夜在线观看视频| kizo精华| 久久99蜜桃精品久久| 丝袜美腿在线中文| av线在线观看网站| 日本-黄色视频高清免费观看| 欧美另类一区| 免费看av在线观看网站| 黄色配什么色好看| 亚洲欧洲国产日韩| 在线 av 中文字幕| 18+在线观看网站| eeuss影院久久| 好男人视频免费观看在线| 国产成人精品一,二区| 国产爱豆传媒在线观看| 亚洲精品国产色婷婷电影| 欧美 日韩 精品 国产| 欧美日韩一区二区视频在线观看视频在线 | av免费观看日本| 91在线精品国自产拍蜜月| 欧美成人午夜免费资源| 在线天堂最新版资源| xxx大片免费视频| 麻豆成人午夜福利视频| 精品视频人人做人人爽| freevideosex欧美| 视频中文字幕在线观看| 国产精品久久久久久久久免| 国产成人精品福利久久| 视频区图区小说| 一级毛片我不卡| 大又大粗又爽又黄少妇毛片口| 亚洲精品视频女| 综合色丁香网| 中文字幕免费在线视频6| 国产老妇女一区| 亚洲内射少妇av| 久久精品国产亚洲网站| 一个人看视频在线观看www免费| 九九久久精品国产亚洲av麻豆| 国产在视频线精品| 免费黄频网站在线观看国产| 两个人的视频大全免费| 国产精品爽爽va在线观看网站| 香蕉精品网在线| 欧美xxⅹ黑人| 一边亲一边摸免费视频| 国产 精品1| 不卡视频在线观看欧美| 亚洲av成人精品一二三区| 热99国产精品久久久久久7| 久热这里只有精品99| 久久久久精品久久久久真实原创| 毛片女人毛片| 日韩在线高清观看一区二区三区| 亚洲精品日韩av片在线观看| videossex国产| a级一级毛片免费在线观看| 亚洲自拍偷在线| 久久国内精品自在自线图片| 美女被艹到高潮喷水动态| 国产精品福利在线免费观看| 精品久久久久久久末码| 男人添女人高潮全过程视频| 在线观看av片永久免费下载| 国产亚洲午夜精品一区二区久久 | 中文欧美无线码| 午夜老司机福利剧场| 人妻 亚洲 视频| 亚洲国产av新网站| 在线免费观看不下载黄p国产| 色综合色国产| 国国产精品蜜臀av免费| 国产精品蜜桃在线观看| 国产午夜福利久久久久久| 国产综合精华液| 亚洲在线观看片| 26uuu在线亚洲综合色| 麻豆成人午夜福利视频| 内射极品少妇av片p| 亚洲一级一片aⅴ在线观看| 99热全是精品| 国产熟女欧美一区二区| 男女国产视频网站| 亚洲人成网站在线播| 纵有疾风起免费观看全集完整版| 日日摸夜夜添夜夜爱| 夜夜爽夜夜爽视频| 视频区图区小说| 秋霞在线观看毛片| 国产有黄有色有爽视频| 日本爱情动作片www.在线观看| 日韩欧美一区视频在线观看 | 精品久久久久久久人妻蜜臀av| 国产精品av视频在线免费观看| 97精品久久久久久久久久精品| 成人亚洲欧美一区二区av| 我要看日韩黄色一级片| 高清在线视频一区二区三区| 欧美亚洲 丝袜 人妻 在线| 18禁在线无遮挡免费观看视频| 欧美变态另类bdsm刘玥| 少妇人妻 视频| 久久人人爽人人片av| 欧美日韩一区二区视频在线观看视频在线 | 中国国产av一级| 中文在线观看免费www的网站| 一区二区三区精品91| 国内精品宾馆在线| 国产精品99久久久久久久久| 久久人人爽人人爽人人片va| 极品教师在线视频| av网站免费在线观看视频| 久久午夜福利片| 尾随美女入室| 国产一区亚洲一区在线观看| 亚洲精品中文字幕在线视频 | 久久99热这里只频精品6学生| 联通29元200g的流量卡| 少妇被粗大猛烈的视频| 日韩 亚洲 欧美在线| 欧美日韩一区二区视频在线观看视频在线 | 国精品久久久久久国模美| 看黄色毛片网站| 日日撸夜夜添| 国产v大片淫在线免费观看| 天天躁夜夜躁狠狠久久av| 国产在视频线精品| 亚洲欧美日韩东京热| 国产亚洲午夜精品一区二区久久 | 免费av毛片视频| 成人鲁丝片一二三区免费| 交换朋友夫妻互换小说| 六月丁香七月| 一个人看视频在线观看www免费| 一级片'在线观看视频| 亚洲久久久久久中文字幕| 五月开心婷婷网| 国产乱人视频| 亚洲欧美清纯卡通| 在线精品无人区一区二区三 | 九色成人免费人妻av| 亚洲精品一区蜜桃| 日本午夜av视频| 三级国产精品片| 午夜福利高清视频| 一区二区三区乱码不卡18| 日韩,欧美,国产一区二区三区| 亚洲精品国产色婷婷电影| 国产免费又黄又爽又色| 亚洲欧洲国产日韩| 香蕉精品网在线| 2021天堂中文幕一二区在线观| 大香蕉97超碰在线| 国产黄片美女视频| 在线观看美女被高潮喷水网站| 精品久久久久久久人妻蜜臀av| 亚洲av免费在线观看| 在线亚洲精品国产二区图片欧美 | 2018国产大陆天天弄谢| 国产综合懂色| 国产一区二区在线观看日韩| 建设人人有责人人尽责人人享有的 | 美女高潮的动态| 日本黄大片高清| 一级毛片我不卡| 久久久久久久久久久免费av| 久久久久久久精品精品| 国产午夜精品一二区理论片| 亚洲自偷自拍三级| 中文在线观看免费www的网站| 99热国产这里只有精品6| 亚洲精品第二区| 亚洲国产高清在线一区二区三| 毛片一级片免费看久久久久| 亚洲无线观看免费| 日韩av免费高清视频| 丝袜喷水一区| 免费av毛片视频| 熟妇人妻不卡中文字幕| 亚洲自拍偷在线| 国产精品国产三级国产专区5o| 久久热精品热| 高清欧美精品videossex| 久久久久久久久久久免费av| 男的添女的下面高潮视频| 岛国毛片在线播放| www.色视频.com| 干丝袜人妻中文字幕| 国产成人精品久久久久久| 久久午夜福利片| 免费av不卡在线播放| 国产精品久久久久久av不卡| 国产毛片在线视频| 激情 狠狠 欧美| 国产午夜精品一二区理论片| 一边亲一边摸免费视频| 天堂网av新在线| 搡女人真爽免费视频火全软件| 麻豆乱淫一区二区| 国产高潮美女av| 大香蕉97超碰在线| 国产午夜福利久久久久久| 欧美成人一区二区免费高清观看| 黄色一级大片看看| av国产精品久久久久影院| 色5月婷婷丁香| 美女xxoo啪啪120秒动态图| 美女被艹到高潮喷水动态| 一边亲一边摸免费视频| 日本一本二区三区精品| 一级毛片 在线播放| 极品少妇高潮喷水抽搐| 亚洲怡红院男人天堂| 国产精品久久久久久久久免| 欧美日韩视频精品一区| 国产精品一二三区在线看| 亚洲真实伦在线观看| 国产乱来视频区| 亚洲真实伦在线观看| 久久人人爽人人片av| 久久久亚洲精品成人影院| av女优亚洲男人天堂| 国产免费福利视频在线观看| 日韩免费高清中文字幕av| 国产老妇女一区| 97热精品久久久久久| 精品国产一区二区三区久久久樱花 | 网址你懂的国产日韩在线| 女人十人毛片免费观看3o分钟| 人妻制服诱惑在线中文字幕| 色视频在线一区二区三区| 亚洲在久久综合| 亚洲色图综合在线观看| 久久久久国产网址| 国产黄片视频在线免费观看| 免费大片黄手机在线观看| 免费观看无遮挡的男女| 人妻制服诱惑在线中文字幕| 免费观看无遮挡的男女| 五月开心婷婷网| 王馨瑶露胸无遮挡在线观看| 人体艺术视频欧美日本| 能在线免费看毛片的网站| 夜夜看夜夜爽夜夜摸| 毛片女人毛片| 成人毛片60女人毛片免费| 精品一区二区三区视频在线| 交换朋友夫妻互换小说| 久久久久国产精品人妻一区二区| 国产黄色免费在线视频| 日本黄色片子视频| 日本色播在线视频| 中文字幕制服av| 亚洲欧洲国产日韩| 伊人久久国产一区二区| 99热网站在线观看| 别揉我奶头 嗯啊视频| 成人国产av品久久久| 免费不卡的大黄色大毛片视频在线观看| 亚洲美女搞黄在线观看| 搡女人真爽免费视频火全软件| 又爽又黄a免费视频| 免费不卡的大黄色大毛片视频在线观看| 国产成人精品一,二区| 2018国产大陆天天弄谢| 波多野结衣巨乳人妻| 嫩草影院精品99| 国产精品99久久久久久久久| 欧美性感艳星| 人妻一区二区av| 久久99热这里只频精品6学生| 九草在线视频观看| 欧美成人一区二区免费高清观看| 肉色欧美久久久久久久蜜桃 | 全区人妻精品视频| 在线 av 中文字幕| 亚洲精品日韩在线中文字幕| 婷婷色av中文字幕| 亚洲av成人精品一二三区| 亚洲天堂国产精品一区在线| 精品午夜福利在线看| 大又大粗又爽又黄少妇毛片口| 成人特级av手机在线观看| 国产成人一区二区在线| 久久久久久久精品精品| www.av在线官网国产| 好男人视频免费观看在线| 亚洲第一区二区三区不卡| 国产淫片久久久久久久久| 日韩av在线免费看完整版不卡| 国产精品国产三级国产专区5o| 日本午夜av视频| 尤物成人国产欧美一区二区三区| 精品午夜福利在线看| 久热这里只有精品99| 在线观看美女被高潮喷水网站| 国产白丝娇喘喷水9色精品| 国产亚洲av嫩草精品影院| 日韩人妻高清精品专区| 婷婷色av中文字幕| 九九久久精品国产亚洲av麻豆| 国产日韩欧美在线精品| 男女国产视频网站| 亚洲最大成人中文| 18禁裸乳无遮挡免费网站照片| 久久热精品热| 嘟嘟电影网在线观看| 亚洲国产精品专区欧美| 免费人成在线观看视频色| 中国国产av一级| 大香蕉久久网| 国内精品宾馆在线| 亚洲精品久久久久久婷婷小说| 如何舔出高潮| 国产精品国产三级国产av玫瑰| 日韩欧美一区视频在线观看 | 国内精品美女久久久久久| 久久久久国产精品人妻一区二区| 免费观看a级毛片全部| 国产亚洲av片在线观看秒播厂| 大片电影免费在线观看免费| 日韩成人伦理影院|