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

    可逆編程語言相關(guān)理論及實(shí)踐研究

    2015-04-02 12:12:20衛(wèi)麗華
    軟件導(dǎo)刊 2015年2期
    關(guān)鍵詞:流程圖

    摘要:從編程語言的角度研究了可逆計(jì)算。首先,給出可逆編程語言流程圖的3種基本結(jié)構(gòu),從而構(gòu)建一個(gè)可逆編程語言的可視模型;其次,證明可逆語言的可逆圖靈機(jī)完備性,進(jìn)而論證其與傳統(tǒng)編程語言在計(jì)算能力上的一致性;最后,介紹了可逆編程語言Janus并進(jìn)行了編程實(shí)踐。

    關(guān)鍵詞關(guān)鍵詞:可逆計(jì)算;可逆編程語言;流程圖;圖靈機(jī);圖靈完備

    DOIDOI:10.11907/rjdk.1431017

    中圖分類號(hào):TP314

    文獻(xiàn)標(biāo)識(shí)碼:A文章編號(hào)文章

    編號(hào):16727800(2015)002006204

    基金項(xiàng)目基金項(xiàng)目:南通理工學(xué)院校級(jí)科研項(xiàng)目(2014002)

    作者簡(jiǎn)介作者簡(jiǎn)介:衛(wèi)麗華(1984-),女,江蘇南通人,碩士,南通理工學(xué)院軟件工程系講師,研究方向?yàn)榭赡嬗?jì)算。

    0引言

    可逆計(jì)算作為一個(gè)新興學(xué)科,對(duì)未來計(jì)算機(jī)的持續(xù)發(fā)展起著決定性的作用。自20世紀(jì)60年代以來,計(jì)算機(jī)硬件一直遵循著Moore定律\[1\]高速發(fā)展,但這種發(fā)展趨勢(shì)預(yù)計(jì)會(huì)在2020年左右終結(jié)\[2\],主要原因如下:?jiǎn)挝幻娣e器件數(shù)量的增加,會(huì)導(dǎo)致產(chǎn)生的熱量超出芯片能承受的極限。R·landauer最早考慮了能耗導(dǎo)致計(jì)算機(jī)芯片發(fā)熱的問題\[3\],他指出能耗來源于計(jì)算過程中的不可逆操作,因此采用可逆計(jì)算可以大大降低計(jì)算機(jī)的能耗??赡嬗?jì)算主要關(guān)注兩個(gè)方面:物理可逆和邏輯可逆,R.Landauer在文獻(xiàn)\[3\]中證明,如果一個(gè)計(jì)算過程物理可逆,那么該過程須同時(shí)邏輯可逆。一個(gè)計(jì)算過程如果不僅能從輸入狀態(tài)得到輸出狀態(tài)(正向),并且能從輸出狀態(tài)唯一確定輸入狀態(tài)(反向),那么該計(jì)算過程便是邏輯可逆的。

    當(dāng)今流行的計(jì)算機(jī)(RAM機(jī)或圖靈機(jī))都是邏輯不可逆的,因?yàn)樗鼈冊(cè)谟?jì)算過程中會(huì)銷毀或丟失信息,從而不能回推前狀態(tài)。Landauer認(rèn)為通過保存運(yùn)算過程中的歷史信息,可以將不可逆性通過逆向跟蹤程序流程圖得到。本文根據(jù)傳統(tǒng)程序流程圖的3種基本結(jié)構(gòu),將一個(gè)不可逆運(yùn)算轉(zhuǎn)變成可逆運(yùn)算,引入額外信息通過反向運(yùn)算清除\[4\]。理論上講,只要存儲(chǔ)空間足夠,任何不可逆計(jì)算都可以轉(zhuǎn)換成可逆計(jì)算。目前已經(jīng)出現(xiàn)了一些可逆計(jì)算模型,比如可逆圖靈機(jī)\[4\]和可逆細(xì)胞自動(dòng)機(jī)\[5\],但針對(duì)較高邏輯層級(jí)的軟件(即編程語言)進(jìn)行的研究還比較欠缺。

    各種流行的程序設(shè)計(jì)語言,如C++、Java等均是完備的圖靈機(jī)\[67\],即可將其視為一個(gè)特殊的圖靈機(jī)。鑒于一般圖靈機(jī)的不可逆性,這些編程語言也是不可逆的。另外,對(duì)傳統(tǒng)編程語言進(jìn)行改造,使得改進(jìn)后的結(jié)構(gòu)既可以正向執(zhí)行又可以反向跟蹤,從而構(gòu)建可逆編程的可視模型。本文對(duì)可逆編程語言Janus\[8\]作了介紹,并給出了示例代碼。

    1可逆編程流程

    目前流行的傳統(tǒng)程序語言均是不可逆的,即不能確保從輸出狀態(tài)獲得輸入狀態(tài),這從程序流程圖上就可以看出(見圖1),在流程圖中的有些分支匯聚點(diǎn)是沒有判定條件的,這就導(dǎo)致了反向執(zhí)行流程時(shí),不知道該跟蹤哪個(gè)分支。此外,不強(qiáng)制要求每個(gè)單步操作(對(duì)應(yīng)流程圖中的處理框)可逆也是導(dǎo)致傳統(tǒng)程序語言不可逆的原因之一。傳統(tǒng)語言的基本結(jié)構(gòu)(順序結(jié)構(gòu)、選擇結(jié)構(gòu)和循環(huán)結(jié)構(gòu))都存在上述問題,通過對(duì)傳統(tǒng)程序流程圖進(jìn)行擴(kuò)展可以解決上述不可逆問題。

    擴(kuò)展的可逆程序流程圖\[9\]包含以下3個(gè)基本元素(見圖2):?jiǎn)尾讲僮?、判定、斷言。其中“單步操作”必須是一個(gè)可逆操作,即可以由輸出唯一確定輸入,如x=y,由于x值被y所覆蓋無法再恢復(fù),所以是不可逆的,可以用x=x x or y這樣的可逆形式取代前者;“判定”根據(jù)內(nèi)部條件的取值(真或假)執(zhí)行不同分支;“斷言”則根據(jù)內(nèi)部條件的不同取值接受不同分支,如取真時(shí),接受分支t,取假,接受分支f?!芭卸ā焙汀皵嘌浴倍及粋€(gè)內(nèi)部判斷條件,但是前者是流程圖中的發(fā)散點(diǎn),而后者是匯聚點(diǎn),兩者在程序正向執(zhí)行和逆向跟蹤時(shí)進(jìn)行相互轉(zhuǎn)換。此3個(gè)基本元素可以構(gòu)成可逆程序流程圖的3種基本控制結(jié)構(gòu)。

    1.1可逆順序結(jié)構(gòu)

    在傳統(tǒng)順序結(jié)構(gòu)的基礎(chǔ)上,保證每個(gè)單步操作的局部可逆性就得到可逆的順序結(jié)構(gòu)(見圖3)。局部可逆性解釋如下:將單步操作a看作一個(gè)狀態(tài)變換函數(shù),當(dāng)且僅當(dāng)存在和上下文無關(guān)(即和在流程圖中的所處位置無關(guān))的反函數(shù)a-1時(shí),稱a為局部可逆的。關(guān)于局部可逆在文獻(xiàn)\[11\]中有詳細(xì)介紹。

    圖3可逆順序結(jié)構(gòu)

    1.2可逆選擇結(jié)構(gòu)

    傳統(tǒng)的ifthenelse選擇結(jié)構(gòu)包括兩部分:一個(gè)判定條件,兩個(gè)分支??赡孢x擇結(jié)構(gòu)在此基礎(chǔ)上在分支匯聚點(diǎn)加上斷言c2,結(jié)構(gòu)見圖4。反向執(zhí)行時(shí),判定c1變成斷言c1,斷言c2變成判定c2。

    圖4可逆選擇結(jié)構(gòu)

    1.3可逆循環(huán)結(jié)構(gòu)

    傳統(tǒng)循環(huán)結(jié)構(gòu)包含兩個(gè)部分:循環(huán)判定條件、循環(huán)體??赡嫜h(huán)結(jié)構(gòu)如圖5所示,包含3個(gè)部分:斷言c1、兩個(gè)操作序列A和B、循環(huán)判定條件c2,當(dāng)A為空時(shí)對(duì)應(yīng)while循環(huán),當(dāng)B為空時(shí),對(duì)應(yīng)dowhile循環(huán)。

    圖5可逆循環(huán)結(jié)構(gòu)

    從圖3、圖4及圖5可知,由可逆程序流程圖得到反向圖是件很容易的事情,主要包含以下幾個(gè)步驟:①改變流程線的箭頭方向;②用a-1代替單步操作a;③判定和斷言相互轉(zhuǎn)換,即發(fā)散點(diǎn)處的判定轉(zhuǎn)變成匯聚點(diǎn)處的斷言,而匯聚點(diǎn)處的斷言變成發(fā)散點(diǎn)處的判定。

    2可逆程序語言計(jì)算能力驗(yàn)證

    傳統(tǒng)編程語言(如Java、C++等)的強(qiáng)大功能已經(jīng)被實(shí)踐所證明,它能勝任一切圖靈機(jī)所能執(zhí)行的計(jì)算任務(wù),因此這些編程語言被稱為圖靈機(jī)完備(定義1)或圖靈機(jī)等價(jià)。而可逆編程模型在傳統(tǒng)語言模型的基礎(chǔ)上施加了諸多限制和擴(kuò)展,還能不能像傳統(tǒng)語言一樣強(qiáng)大確實(shí)值得懷疑。在文獻(xiàn)\[4\]中,Bennett證明了一個(gè)基本結(jié)果:所有不可逆的通用圖靈機(jī),都可以找到一個(gè)對(duì)應(yīng)的可逆圖靈機(jī),使得兩者具有完全相同的計(jì)算能力。因此只要證明了可逆編程模型是可逆圖靈機(jī)完備(定義2、定義3),即可表明可逆程序和傳統(tǒng)程序一樣有巨大的運(yùn)算能力和實(shí)用價(jià)值。

    定義1(圖靈完備性):圖靈完備指在可計(jì)算性理論中,編程語言或任意其它的邏輯系統(tǒng)具有等同于通用圖靈機(jī)的計(jì)算能力。換言之,此系統(tǒng)可與通用圖靈機(jī)互相模擬。

    定義2(可逆圖靈機(jī)):一個(gè)圖靈機(jī)被稱為是可逆的,當(dāng)且僅當(dāng)其既具有前向確定性又具有反向確定性。

    區(qū)別于傳統(tǒng)圖靈機(jī)采用五元組表示規(guī)則,可逆圖靈機(jī)形式化定義采用四元組表示規(guī)則\[4\]??赡鎴D靈機(jī)形式化定義主要包含以下元素:Q是有限的狀態(tài)集合,S是有限的輸入符號(hào)集合,R代表控制規(guī)則集合。其中規(guī)則集合R中又包含兩類規(guī)則:符號(hào)規(guī)則﹤q1,s1,s2,q2﹥,表示如當(dāng)前狀態(tài)為q1,且讀寫頭所指的字符是s1,則機(jī)器進(jìn)入q2狀態(tài),且將讀寫頭所指符改為s2;移動(dòng)規(guī)則﹤q1,/,d,q2﹥,表示如果當(dāng)前狀態(tài)為q1,則根據(jù)d移動(dòng)讀寫頭,其中d∈{-1,0,+1},分別表示左移一格、不移動(dòng)和右移一格。一個(gè)圖靈機(jī)被稱為是可逆的,當(dāng)且僅當(dāng)其既具有前向確定性又具有反向確定性,即對(duì)任意兩個(gè)不同規(guī)則﹤q1,s1,s2,q2﹥和﹤q1,s1,s2,q2﹥,如果q1=q1,則s1≠/,s1≠/,且s1≠s1。

    定義3(可逆圖靈完備):可逆圖靈完備是指編程語言能在不引入垃圾信息的基礎(chǔ)上模擬可逆圖靈機(jī)所執(zhí)行的一切計(jì)算。

    定理1(可逆編程語言的可逆圖靈完備性):可逆編程語言是可逆圖靈機(jī)完備的。

    證明\[10\]:可逆圖靈機(jī)在某一時(shí)刻的格局(configuration)可以描述如下:q代表當(dāng)前狀態(tài),s表示讀寫頭處的符號(hào),Left代表磁帶在讀寫頭左邊的部分,Right代表磁帶在讀寫頭右邊的部分,可將這兩部分看成堆棧,棧頂在s處(見圖6)。

    圖6可逆圖靈機(jī)格局

    假設(shè)可逆圖靈機(jī)的開始狀態(tài)和終止?fàn)顟B(tài)分別是qb和qe,控制規(guī)則集合形如{R1,R2,R3,…,Rn}。首先,將任意規(guī)則Ri轉(zhuǎn)換成等價(jià)的可逆編程流程圖Ci,轉(zhuǎn)換規(guī)則如圖7所示。圖中函數(shù)FQ(q1,q2)模擬從狀態(tài)q1到狀態(tài)q2的可逆變換,包含以下步驟:q=q xor q1,q=q xor q2。FS(s1,s2)是模擬將當(dāng)前符號(hào)s1改為s2的可逆操作,包含以下步驟:s=s xor s1,s=s xor s2。Move(d)模擬讀寫磁頭的移動(dòng),當(dāng)d=1時(shí)右移,將當(dāng)前符號(hào)s壓進(jìn)Left棧,同時(shí)將s退出Right棧,即push s Left,pop s Right;當(dāng)d=-1左移,操作和右移相反,即push s Right, pop s Left;d=0是不移動(dòng),無需進(jìn)行進(jìn)出棧操作。圖7(a)模擬字符規(guī)則﹤q1,s1,s2,q2﹥,含義為如當(dāng)前狀態(tài)為q1,且當(dāng)前字符是s1,則進(jìn)入t分支,執(zhí)行FQ(q1,q2)和FS(s1,s2),否則轉(zhuǎn)向f分支執(zhí)行Ci+1,Ci+1是其它某個(gè)規(guī)則的等價(jià)轉(zhuǎn)換圖,最后兩個(gè)分支匯聚在斷言(q=q2 ∧s=s2)上,該斷言可以確保反向執(zhí)行時(shí)能回溯到正確的前狀態(tài)。圖7(b)模擬移動(dòng)規(guī)則﹤q1,/,d,q2﹥,含義為如當(dāng)前狀態(tài)為q1,則進(jìn)入t分支,執(zhí)行FQ(q1,q2)和Move(d),否則進(jìn)入f分支,最后兩個(gè)分支匯聚在斷言(q=q2)處,該斷言也可確保反向執(zhí)行時(shí)回溯到正確的前狀態(tài)。由圖7的兩個(gè)規(guī)則轉(zhuǎn)換圖并結(jié)合遞歸思想可知,C1中包含C2,C2中包含C3,直到Cn,因此C1可代表可逆圖靈機(jī)的所有控制規(guī)則。

    圖7可逆圖靈機(jī)規(guī)則轉(zhuǎn)換

    圖8主循環(huán)C0

    3可逆編程語言Janus

    Janus\[8\]是編程語言史上第一個(gè)可逆編程語言,由Lutz和Derby發(fā)明,該語言可作為開發(fā)其它可逆編程語言的參考模型,包含一個(gè)編譯器和一個(gè)解釋器,編譯器由SLIMEULA編寫,將代碼編譯成SLIMEULA類結(jié)構(gòu),該結(jié)構(gòu)可以被解釋器直接執(zhí)行。Janus的編譯器主要由詞法分析器、遞歸下降解析器、解釋器、運(yùn)行時(shí)命令掃描器組成。Janus語法如下:

    Janus程序由一個(gè)主函數(shù)和若干個(gè)自定義函數(shù)組成,且函數(shù)中的每一個(gè)元素都是可逆的。首先,每一個(gè)賦值操作(形如x⊕=e|x\[e\]⊕=e)均是可逆的,式中的左值x不能出現(xiàn)在右表達(dá)式e中,e可以是一個(gè)常量、變量、數(shù)組元素或表達(dá)式等,⊕是含3種可逆運(yùn)算符(含加法、減法和異或運(yùn)算符)的集合,通過如此限制保證其可逆性,如x::=x+e的逆形式為x::=x-e;其次,條件語句和循環(huán)均是可逆的,其結(jié)構(gòu)流程圖分別對(duì)應(yīng)圖4和圖5,即在進(jìn)入結(jié)構(gòu)處有判定條件,在退出結(jié)構(gòu)處有斷言。另外,對(duì)內(nèi)存的動(dòng)態(tài)分配也是可逆的,其中進(jìn)出棧操作顯然互為逆操作,而局部變量塊(local t x=e1 s delocal t x=e2)包含以下步驟:為類型為t的變量x分配內(nèi)存并賦初值為e1;經(jīng)過語句s后,其值變?yōu)閑2;通過delocal語句回收滿足x=e2的內(nèi)存。執(zhí)行該語句塊后,內(nèi)存沒有發(fā)生任何變化,因此也是可逆的;最后,函數(shù)調(diào)用也是可逆的,其中call q(x,x,…,x)表示以正向的語義執(zhí)行函數(shù),而uncall q(x,x,…,x)表示以反向的語義執(zhí)行函數(shù)。

    在理想情況下(即內(nèi)存空間無限且不考慮運(yùn)行效率),所有使用傳統(tǒng)程序編寫的代碼段都可以轉(zhuǎn)換成相同功能的Janus程序段,舉例如下:

    Ex1. Fibonacci數(shù)列:

    以下便是Janus版的Fibonacci數(shù)列代碼段,其中正向調(diào)用call由n=4,計(jì)算出x1=5、x2=8;而反向調(diào)用由x1=5、x2=8,計(jì)算出n=4,由此可見計(jì)算過程是完全可逆的。

    Ex2. 由年收入計(jì)算稅金。規(guī)則如下:1 000元之內(nèi),按10%收取;1 000元到10 000元之間的部分,按30%收??;10 000元以上部分,按50%收取。

    以下代碼段,正向運(yùn)行由年薪計(jì)算稅金,反向運(yùn)算由稅金計(jì)算年薪。

    Ex1代碼:

    procedure fib

    if n=0 then x1 += 1

    x2 += 1

    else n -= 1

    call fib

    x1 += x2

    x1 <=> x2

    fi x1=x2

    procedure main_fwd

    n += 4

    call fib

    procedure main_bwd

    x1 += 5

    x2 += 8

    Ex2代碼:

    Procedure tax

    if x<1000 then x:=0.1*x

    else if x<1000 then x:=0.3*x-200

    else x:=0.5*x-2200

    fi x<2800

    fi x<100

    procedure main_fwd

    x += 900

    call tax

    procedure main_bwd

    x += 90

    uncall tax

    4結(jié)語

    本研究首先給出了可逆編程的3種基本結(jié)構(gòu),這3種結(jié)構(gòu)均是結(jié)構(gòu)化編碼的基本組成元素,它們都保持了單入口單出口的特點(diǎn),由此組成的可逆算法在可讀性和可維護(hù)性方面均高于非結(jié)構(gòu)化的編碼模型,另外,在功能上可逆結(jié)構(gòu)化模型和可逆非結(jié)構(gòu)化模型也是等價(jià)的,這個(gè)結(jié)論通過借鑒傳統(tǒng)結(jié)構(gòu)化編程的相似證明\[9\],已由Yokoyama在文獻(xiàn)\[10\]中給出證明,因此和傳統(tǒng)算法設(shè)計(jì)一樣,在進(jìn)行可逆算法設(shè)計(jì)時(shí)也應(yīng)該采用結(jié)構(gòu)化編碼方式。

    其次,通過證明由3種可逆基本結(jié)構(gòu)組成的可逆模型具備可逆圖靈完備性,得出可逆編程語言和傳統(tǒng)編程語言在功能上等價(jià)的結(jié)論。但是,實(shí)際上并不是每個(gè)問題都可以直接使用可逆編程模型解決,很多時(shí)候需要引入額外內(nèi)存空間(保存運(yùn)算過程的歷史信息),使針對(duì)該問題解決方案的描述變得可逆,然后才能運(yùn)用可逆編程模型去解決\[1416\]。這就意味著可逆編程語言在時(shí)空效率上較傳統(tǒng)語言還有較大差距,有待進(jìn)一步研究去縮減這個(gè)差距。

    最后,本文簡(jiǎn)單介紹了第一個(gè)可逆語言Janus,并給出了兩個(gè)示例。但到目前為止,Janus并不是唯一的可逆語言,還有其它一些可逆編程語言,如Gries\[11\]、Inv\[12\]、(E)SRL\[13\]、RJava\[17\]。

    參考文獻(xiàn)參考文獻(xiàn):

    \[1\]VIDEO TRANSCRIPT. Excerpts from a conversation with gordon moore:moorels law \[Z\].Intel Corporation, 2005.

    \[2\]KANELLOS, MICHAEL. New life for moore's law\[EB/OL\].http://news.cnet.com/NewlifeforMooresLaw/20091006_35672485.html.

    \[3\]R LANDAUER. Irreversibility and heat generation in the computing process\[J\]. IBM Journal of Research and Development, 1961(5): 183191.

    \[4\]C H BENNETT. Logical reversibility of computation\[J\]. IBM Journal of Research and Development, 1973,17(6): 525532.

    \[5\]TOMMASO TOFFOLI. Computation and construction universality of reversible cellular automata\[M\]. Journal of computer and system sciences , 1977(15): 213231.

    \[6\]GANDY R. Church's thesis and principles for mechanisms\[J\].In Barwise J , Keisler H J , Kunen K (eds) 1980. The Kleene Symposium. Amsterdam: NorthHolland.

    \[7\]TODD L. Veldhuizen. C++ templates are turing complete\[EB/OL\].www.osl.iu.edu/~tveldhui/papers/www.osl.iu.edu/~tveldhui/papers/2003/turing.pdf, 2003.

    \[8\]LUTZ C. Janus: a timereversible language\[EB/OL\].http://www.cise.ufl.edu/?mpf/rc/janus.html.

    \[9\]T YOKOYAMA, HB AXELSEN, R GLUCK. Reversible flowchart languages and the structured reversible program theorem\[C\].Automata, Languages and Programming (Proc.), LNCS 5126, 2008:258270.

    \[10\]DAVID C,COOPER. B¨ohm and Jacopinis reduction of flow charts\[J\]. Communications of the ACM, 1967,10(8):463473.

    \[11\]ROBERT GLUCK,MASAHIKO KAWABE. Derivation of deterministic inverse programs based on LR parsing\[M\]. In FLOPS, 2004: 291306.

    \[12\]MU S C,Z HU,M TAKEICHI. An injective language for reversible computation\[M\].in: D. KOZEN.Mathematics of program construction.proceedings,LNCS 3125,2004: 289313.

    \[13\]MATOS A B.Linear programs in a simple reversible language\[M\].Theor Comput Sci,2003(290):20632074.

    \[14\]KLUGE W E.A reversible SE(M)CD machine\[M\].Proceedings,Selected Papers,LNCS 1868,2000:95113.

    \[15\]STODDART B,R LYNAS,F(xiàn) ZEYDA. A reversible virtual machine\[M\].in:I.ULIDOWSKI,editor,Reversible Computation,Preliminary Proceedings,2009:1832.

    \[16\]GRIES D.The science of programming\[M\].Springer,Heidelberg,1981:265274.

    \[17\]朱鵬程,管致錦,衛(wèi)麗華.可逆變成語言RJAVA及其語言處理系統(tǒng)的設(shè)計(jì)\[J\]. 計(jì)算機(jī)工程與設(shè)計(jì),2013,34(10):35023510.

    責(zé)任編輯(責(zé)任編輯:杜能鋼)

    猜你喜歡
    流程圖
    專利申請(qǐng)審批流程圖
    河南科技(2016年8期)2016-09-03 08:08:22
    專利申請(qǐng)審批流程圖
    河南科技(2016年6期)2016-08-13 08:18:29
    HTML 5 Canvas技術(shù)在工程流程圖中的研究與應(yīng)用
    寧??h村級(jí)權(quán)力清單36條
    《天津醫(yī)藥》稿件處理流程圖
    《天津醫(yī)藥》稿件處理流程圖
    《天津醫(yī)藥》稿件處理流程圖
    《天津醫(yī)藥》稿件處理流程圖
    《天津醫(yī)藥》稿件處理流程圖
    《天津醫(yī)藥》稿件處理流程圖
    久久97久久精品| 国产探花极品一区二区| 久久久久国产精品人妻一区二区| 毛片一级片免费看久久久久| 久久影院123| 国产亚洲欧美精品永久| 91国产中文字幕| 亚洲av欧美aⅴ国产| 成人亚洲欧美一区二区av| 亚洲久久久国产精品| 久热这里只有精品99| 国产亚洲精品第一综合不卡 | 激情视频va一区二区三区| 久久国内精品自在自线图片| 欧美日韩视频高清一区二区三区二| xxx大片免费视频| 精品一区二区免费观看| 亚洲伊人久久精品综合| av网站免费在线观看视频| 国产有黄有色有爽视频| 国产毛片在线视频| 国产欧美日韩一区二区三区在线| 在线观看www视频免费| 人妻少妇偷人精品九色| 日韩欧美精品免费久久| 国产亚洲最大av| av又黄又爽大尺度在线免费看| 亚洲av.av天堂| 国产熟女午夜一区二区三区| 一级片免费观看大全| 国产精品.久久久| 国产欧美亚洲国产| 日韩成人伦理影院| 亚洲伊人色综图| 天天躁夜夜躁狠狠躁躁| 国产精品久久久久久精品古装| 一级黄片播放器| 亚洲四区av| av一本久久久久| 亚洲内射少妇av| 亚洲综合色网址| 蜜臀久久99精品久久宅男| 美女脱内裤让男人舔精品视频| 晚上一个人看的免费电影| 熟女人妻精品中文字幕| 国产免费一区二区三区四区乱码| 五月玫瑰六月丁香| 欧美bdsm另类| 大香蕉久久成人网| 国产成人精品久久久久久| 亚洲性久久影院| 人人妻人人爽人人添夜夜欢视频| 日韩成人伦理影院| 亚洲丝袜综合中文字幕| 国产精品人妻久久久久久| 另类亚洲欧美激情| 尾随美女入室| 久久精品aⅴ一区二区三区四区 | 久久久国产精品麻豆| 日韩欧美精品免费久久| 最近最新中文字幕大全免费视频 | 午夜av观看不卡| 国产色婷婷99| 精品视频人人做人人爽| 国产成人欧美| 建设人人有责人人尽责人人享有的| 99热这里只有是精品在线观看| 人人妻人人添人人爽欧美一区卜| 黑人欧美特级aaaaaa片| 国产精品久久久久久精品电影小说| 麻豆精品久久久久久蜜桃| 一级黄片播放器| 51国产日韩欧美| 成人二区视频| 亚洲欧美色中文字幕在线| 一个人免费看片子| 国产 精品1| 国产一级毛片在线| 免费黄频网站在线观看国产| 精品酒店卫生间| 亚洲精品美女久久久久99蜜臀 | √禁漫天堂资源中文www| 啦啦啦视频在线资源免费观看| 99久久精品国产国产毛片| 亚洲五月色婷婷综合| 亚洲成人一二三区av| 久久国产精品男人的天堂亚洲 | 日本wwww免费看| 免费久久久久久久精品成人欧美视频 | 看免费av毛片| 多毛熟女@视频| 久久青草综合色| 亚洲内射少妇av| 国产福利在线免费观看视频| www.av在线官网国产| 欧美 日韩 精品 国产| 亚洲,一卡二卡三卡| 亚洲精品乱码久久久久久按摩| 久久精品人人爽人人爽视色| 插逼视频在线观看| 欧美成人午夜精品| av在线播放精品| 亚洲色图综合在线观看| 欧美性感艳星| 黑人高潮一二区| 婷婷色麻豆天堂久久| 人人妻人人爽人人添夜夜欢视频| 国产乱人偷精品视频| 99九九在线精品视频| av片东京热男人的天堂| 国产av一区二区精品久久| 晚上一个人看的免费电影| 51国产日韩欧美| 亚洲欧美清纯卡通| 久久久久人妻精品一区果冻| av免费在线看不卡| 成人毛片a级毛片在线播放| 亚洲第一av免费看| 久久精品国产亚洲av天美| 在现免费观看毛片| 久久久久久久精品精品| 国产激情久久老熟女| freevideosex欧美| 伦理电影大哥的女人| 亚洲精品乱码久久久久久按摩| 永久免费av网站大全| 黄色一级大片看看| 尾随美女入室| 久久久精品免费免费高清| 两个人免费观看高清视频| a级毛色黄片| 国内精品宾馆在线| 美女福利国产在线| 亚洲情色 制服丝袜| 黑人猛操日本美女一级片| 亚洲一区二区三区欧美精品| 欧美老熟妇乱子伦牲交| 伊人久久国产一区二区| 韩国av在线不卡| 久久久久人妻精品一区果冻| 欧美另类一区| 久久ye,这里只有精品| 精品一区二区免费观看| 视频区图区小说| 日本色播在线视频| 免费观看a级毛片全部| 亚洲天堂av无毛| 国产男人的电影天堂91| 男人爽女人下面视频在线观看| 极品少妇高潮喷水抽搐| 熟女电影av网| 亚洲av福利一区| 91在线精品国自产拍蜜月| av国产精品久久久久影院| 18禁观看日本| 看免费成人av毛片| 大话2 男鬼变身卡| 精品一区二区免费观看| 中文字幕精品免费在线观看视频 | 免费看av在线观看网站| 久久亚洲国产成人精品v| 国产免费福利视频在线观看| 久久久久久久久久久久大奶| 精品熟女少妇av免费看| 自拍欧美九色日韩亚洲蝌蚪91| 性色avwww在线观看| av线在线观看网站| 中文字幕另类日韩欧美亚洲嫩草| 色婷婷av一区二区三区视频| 在线观看免费日韩欧美大片| 人妻系列 视频| 激情视频va一区二区三区| 国产精品蜜桃在线观看| 极品少妇高潮喷水抽搐| 一区二区日韩欧美中文字幕 | 少妇人妻 视频| 成人国产av品久久久| 亚洲欧美清纯卡通| 少妇精品久久久久久久| 国内精品宾馆在线| xxxhd国产人妻xxx| 久久久国产一区二区| 免费不卡的大黄色大毛片视频在线观看| 女人精品久久久久毛片| 色吧在线观看| 在线观看国产h片| 亚洲色图综合在线观看| 欧美 亚洲 国产 日韩一| 丰满饥渴人妻一区二区三| a级片在线免费高清观看视频| 母亲3免费完整高清在线观看 | 久久精品国产a三级三级三级| 亚洲精品一二三| 尾随美女入室| 国产成人精品无人区| 男人操女人黄网站| 欧美激情极品国产一区二区三区 | 2018国产大陆天天弄谢| 成人毛片60女人毛片免费| 国产在线视频一区二区| 十八禁网站网址无遮挡| 国产成人精品久久久久久| 亚洲熟女精品中文字幕| 七月丁香在线播放| 国产男人的电影天堂91| 久久热在线av| 欧美精品亚洲一区二区| 精品国产一区二区三区久久久樱花| 日韩三级伦理在线观看| 中文字幕制服av| 亚洲,欧美,日韩| 国产精品无大码| 视频区图区小说| 国产精品熟女久久久久浪| 免费人成在线观看视频色| 日本-黄色视频高清免费观看| 各种免费的搞黄视频| 国产精品久久久久成人av| 日本91视频免费播放| 成年美女黄网站色视频大全免费| 欧美少妇被猛烈插入视频| 97人妻天天添夜夜摸| 免费看不卡的av| 国产黄色免费在线视频| 91精品国产国语对白视频| 飞空精品影院首页| 夜夜爽夜夜爽视频| 国产欧美亚洲国产| 99国产精品免费福利视频| 在线天堂最新版资源| 欧美日韩一区二区视频在线观看视频在线| 国产极品天堂在线| 欧美人与性动交α欧美精品济南到 | 91成人精品电影| 秋霞伦理黄片| 亚洲国产精品一区二区三区在线| 美女国产视频在线观看| 91精品伊人久久大香线蕉| 一边摸一边做爽爽视频免费| 男女午夜视频在线观看 | 人人妻人人澡人人看| 精品一区在线观看国产| videossex国产| 国产成人欧美| 久久亚洲国产成人精品v| 国产福利在线免费观看视频| av一本久久久久| 国产成人免费无遮挡视频| 欧美人与性动交α欧美软件 | 国产精品国产三级国产av玫瑰| 母亲3免费完整高清在线观看 | 女的被弄到高潮叫床怎么办| 亚洲经典国产精华液单| 男人爽女人下面视频在线观看| 亚洲国产成人一精品久久久| 青春草视频在线免费观看| 国产精品 国内视频| 午夜免费鲁丝| 国产在视频线精品| 久久精品久久久久久久性| 亚洲成av片中文字幕在线观看 | 午夜福利视频在线观看免费| 美女脱内裤让男人舔精品视频| 国产精品国产三级国产av玫瑰| 男人爽女人下面视频在线观看| 日韩欧美一区视频在线观看| freevideosex欧美| 成人无遮挡网站| 飞空精品影院首页| 女人久久www免费人成看片| 精品午夜福利在线看| 亚洲欧美日韩另类电影网站| 飞空精品影院首页| 如日韩欧美国产精品一区二区三区| 国产老妇伦熟女老妇高清| 80岁老熟妇乱子伦牲交| 香蕉国产在线看| 性色avwww在线观看| 国产精品不卡视频一区二区| av又黄又爽大尺度在线免费看| 9热在线视频观看99| 免费看光身美女| 日产精品乱码卡一卡2卡三| 夜夜骑夜夜射夜夜干| 午夜免费观看性视频| 日本vs欧美在线观看视频| 亚洲欧美清纯卡通| 插逼视频在线观看| 菩萨蛮人人尽说江南好唐韦庄| 欧美亚洲日本最大视频资源| 熟女av电影| 一本色道久久久久久精品综合| 下体分泌物呈黄色| 九草在线视频观看| 中文字幕最新亚洲高清| 久久久久久人妻| 男女啪啪激烈高潮av片| 99久久综合免费| tube8黄色片| 亚洲av中文av极速乱| 日韩欧美精品免费久久| 欧美老熟妇乱子伦牲交| 亚洲美女视频黄频| 老司机亚洲免费影院| 久久av网站| av免费观看日本| 国产免费一区二区三区四区乱码| 午夜免费观看性视频| 国产黄频视频在线观看| 美女福利国产在线| 日韩精品免费视频一区二区三区 | 在线观看免费日韩欧美大片| 亚洲色图综合在线观看| 亚洲综合精品二区| 欧美激情 高清一区二区三区| 亚洲一码二码三码区别大吗| 最新中文字幕久久久久| 最近手机中文字幕大全| 久久精品熟女亚洲av麻豆精品| 国产一区二区三区综合在线观看 | 日韩 亚洲 欧美在线| 如何舔出高潮| 一级片免费观看大全| 老司机影院成人| 国产精品久久久久久久电影| 成人无遮挡网站| a级片在线免费高清观看视频| 国产亚洲午夜精品一区二区久久| 国产在线一区二区三区精| 欧美日韩精品成人综合77777| 成年人午夜在线观看视频| 国产成人精品福利久久| 草草在线视频免费看| 亚洲一级一片aⅴ在线观看| 亚洲精品视频女| 国产精品国产三级专区第一集| xxx大片免费视频| 国产精品熟女久久久久浪| 午夜精品国产一区二区电影| 天堂中文最新版在线下载| 日本wwww免费看| 免费日韩欧美在线观看| 免费大片黄手机在线观看| 精品一区二区免费观看| 国产片特级美女逼逼视频| 色94色欧美一区二区| 中文精品一卡2卡3卡4更新| 国产成人aa在线观看| 亚洲在久久综合| 国产精品成人在线| 人妻少妇偷人精品九色| 两个人免费观看高清视频| 欧美人与性动交α欧美精品济南到 | 18禁在线无遮挡免费观看视频| 国产精品国产av在线观看| 天堂中文最新版在线下载| 色吧在线观看| 老司机亚洲免费影院| 蜜桃在线观看..| 亚洲av福利一区| 热re99久久精品国产66热6| 日韩精品免费视频一区二区三区 | videossex国产| 色婷婷久久久亚洲欧美| 免费黄色在线免费观看| 精品人妻一区二区三区麻豆| 免费看av在线观看网站| 黑人巨大精品欧美一区二区蜜桃 | 日日撸夜夜添| av一本久久久久| 亚洲成人手机| 精品一区二区三区视频在线| 天美传媒精品一区二区| 热re99久久国产66热| 在线免费观看不下载黄p国产| 欧美亚洲日本最大视频资源| 国产精品麻豆人妻色哟哟久久| 午夜激情av网站| 三上悠亚av全集在线观看| 成人亚洲精品一区在线观看| 黄片播放在线免费| a级片在线免费高清观看视频| 婷婷色麻豆天堂久久| 国产免费视频播放在线视频| 久久国内精品自在自线图片| 国产成人午夜福利电影在线观看| 丝袜喷水一区| 97超碰精品成人国产| 亚洲av.av天堂| 在线观看免费高清a一片| 国产精品蜜桃在线观看| 大话2 男鬼变身卡| 国产日韩一区二区三区精品不卡| 久热久热在线精品观看| 国产白丝娇喘喷水9色精品| 亚洲精品456在线播放app| 黄色配什么色好看| 九九在线视频观看精品| 一级毛片 在线播放| 国产高清国产精品国产三级| 国产色爽女视频免费观看| 亚洲,欧美精品.| 国产黄色免费在线视频| 欧美日韩视频高清一区二区三区二| 曰老女人黄片| 久久久欧美国产精品| 国产熟女午夜一区二区三区| 美女福利国产在线| 国产精品久久久久久久久免| 亚洲,欧美,日韩| 99热国产这里只有精品6| 99久久精品国产国产毛片| 国产午夜精品一二区理论片| 波多野结衣一区麻豆| 最近最新中文字幕免费大全7| 亚洲精品久久午夜乱码| 精品99又大又爽又粗少妇毛片| 久久久久久久久久久免费av| 最黄视频免费看| 久久影院123| 中文字幕av电影在线播放| 婷婷色综合www| 中文乱码字字幕精品一区二区三区| 精品一区二区三区视频在线| 考比视频在线观看| 十八禁网站网址无遮挡| 成年人免费黄色播放视频| 久久综合国产亚洲精品| 欧美日韩av久久| 亚洲第一av免费看| 免费看光身美女| 亚洲av男天堂| 国产亚洲精品久久久com| 国产成人精品福利久久| 男的添女的下面高潮视频| 一本大道久久a久久精品| 国产日韩欧美亚洲二区| 寂寞人妻少妇视频99o| 国产一区亚洲一区在线观看| 国产亚洲精品久久久com| 国产又爽黄色视频| 乱人伦中国视频| a级毛片在线看网站| 日本av手机在线免费观看| 亚洲图色成人| 成人毛片a级毛片在线播放| 亚洲精品国产色婷婷电影| 国产淫语在线视频| 亚洲av.av天堂| 男女无遮挡免费网站观看| 亚洲精品乱久久久久久| 国产av一区二区精品久久| 色哟哟·www| 日韩视频在线欧美| 欧美性感艳星| kizo精华| 一级片'在线观看视频| 国产色婷婷99| 99热国产这里只有精品6| 国产精品一区www在线观看| 欧美成人午夜精品| 乱码一卡2卡4卡精品| av网站免费在线观看视频| 观看美女的网站| 少妇 在线观看| 色网站视频免费| 精品国产国语对白av| 欧美老熟妇乱子伦牲交| 少妇的丰满在线观看| 亚洲国产成人一精品久久久| 成人亚洲精品一区在线观看| 街头女战士在线观看网站| 人人妻人人添人人爽欧美一区卜| 三级国产精品片| www.av在线官网国产| 少妇人妻 视频| 大片免费播放器 马上看| videos熟女内射| 哪个播放器可以免费观看大片| 建设人人有责人人尽责人人享有的| 这个男人来自地球电影免费观看 | 91午夜精品亚洲一区二区三区| 最近手机中文字幕大全| 插逼视频在线观看| 最后的刺客免费高清国语| 亚洲经典国产精华液单| 久久午夜福利片| 亚洲经典国产精华液单| 亚洲,一卡二卡三卡| 免费看不卡的av| 久久午夜综合久久蜜桃| 欧美+日韩+精品| 丰满迷人的少妇在线观看| 欧美变态另类bdsm刘玥| 男女国产视频网站| 免费看不卡的av| 国产日韩一区二区三区精品不卡| 18禁国产床啪视频网站| xxx大片免费视频| av在线老鸭窝| av片东京热男人的天堂| 中文字幕亚洲精品专区| 最黄视频免费看| 韩国高清视频一区二区三区| av在线观看视频网站免费| 少妇熟女欧美另类| 99视频精品全部免费 在线| 少妇 在线观看| 又大又黄又爽视频免费| 老熟女久久久| 丰满乱子伦码专区| 国产毛片在线视频| 亚洲精品国产av成人精品| 亚洲欧美精品自产自拍| 蜜桃国产av成人99| 日韩中文字幕视频在线看片| 国产伦理片在线播放av一区| 日韩欧美精品免费久久| 蜜臀久久99精品久久宅男| 亚洲伊人色综图| 男女国产视频网站| 黑丝袜美女国产一区| 少妇人妻精品综合一区二区| 精品久久久久久电影网| 国产不卡av网站在线观看| 美女内射精品一级片tv| 婷婷色麻豆天堂久久| 亚洲伊人色综图| 伦理电影免费视频| 久久久久久久久久人人人人人人| 亚洲精品第二区| 日韩不卡一区二区三区视频在线| 亚洲精品久久成人aⅴ小说| 免费观看无遮挡的男女| 国产免费一级a男人的天堂| 51国产日韩欧美| 亚洲av欧美aⅴ国产| 黄色 视频免费看| 最新中文字幕久久久久| 在线亚洲精品国产二区图片欧美| 免费播放大片免费观看视频在线观看| 丰满少妇做爰视频| 免费少妇av软件| 91在线精品国自产拍蜜月| 国产免费现黄频在线看| 亚洲欧美日韩另类电影网站| 亚洲精品久久久久久婷婷小说| 一本大道久久a久久精品| 国产福利在线免费观看视频| 久久久久精品性色| 免费人妻精品一区二区三区视频| 女的被弄到高潮叫床怎么办| 菩萨蛮人人尽说江南好唐韦庄| 老女人水多毛片| 五月玫瑰六月丁香| 久久狼人影院| 成人国语在线视频| 另类亚洲欧美激情| 99久久综合免费| 男女下面插进去视频免费观看 | 免费大片黄手机在线观看| 久久99热这里只频精品6学生| 岛国毛片在线播放| 啦啦啦在线观看免费高清www| 亚洲伊人色综图| 99热网站在线观看| 午夜福利乱码中文字幕| 国产成人91sexporn| 亚洲精品一区蜜桃| 久久久久视频综合| 精品视频人人做人人爽| 国产成人精品婷婷| 欧美97在线视频| 91精品伊人久久大香线蕉| av.在线天堂| 午夜激情av网站| 黄片无遮挡物在线观看| 九色亚洲精品在线播放| 国产精品国产三级专区第一集| 久久久精品区二区三区| 哪个播放器可以免费观看大片| 三上悠亚av全集在线观看| 亚洲伊人久久精品综合| 免费少妇av软件| 又粗又硬又长又爽又黄的视频| 国产xxxxx性猛交| 国产欧美另类精品又又久久亚洲欧美| 久久久欧美国产精品| 久久精品久久精品一区二区三区| 欧美最新免费一区二区三区| 亚洲综合精品二区| 男女啪啪激烈高潮av片| 最近的中文字幕免费完整| 美女大奶头黄色视频| 水蜜桃什么品种好| 丝袜人妻中文字幕| tube8黄色片| 黑人猛操日本美女一级片| 免费在线观看完整版高清| av天堂久久9| 精品少妇黑人巨大在线播放| 如何舔出高潮| √禁漫天堂资源中文www| 黑人巨大精品欧美一区二区蜜桃 | 国产一区有黄有色的免费视频| 2018国产大陆天天弄谢| 欧美精品av麻豆av| 亚洲成人av在线免费| 国产精品一二三区在线看| 国产亚洲欧美精品永久| 欧美人与善性xxx| 午夜免费鲁丝| 亚洲精品乱码久久久久久按摩| 亚洲精品第二区| 欧美日韩精品成人综合77777|