• <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ī)藥》稿件處理流程圖
    av专区在线播放| 亚洲av.av天堂| 秋霞在线观看毛片| 天美传媒精品一区二区| 男女下面进入的视频免费午夜| 搞女人的毛片| 老司机福利观看| 亚洲欧美日韩卡通动漫| 天堂√8在线中文| 日日啪夜夜撸| 成人一区二区视频在线观看| 成人鲁丝片一二三区免费| 日韩亚洲欧美综合| 久久国内精品自在自线图片| 亚洲av第一区精品v没综合| 欧美日本亚洲视频在线播放| 青春草视频在线免费观看| 午夜精品在线福利| 欧美激情在线99| 欧美激情在线99| 日韩av在线大香蕉| 欧美日韩乱码在线| 亚洲内射少妇av| 成人国产麻豆网| 精品熟女少妇av免费看| 直男gayav资源| 欧美日韩乱码在线| 偷拍熟女少妇极品色| 国产一区二区三区在线臀色熟女| 久久久久久国产a免费观看| 久久久久久伊人网av| 婷婷精品国产亚洲av| 亚洲精品久久久久久婷婷小说 | 国产私拍福利视频在线观看| 国产一级毛片七仙女欲春2| 国产高清不卡午夜福利| 两性午夜刺激爽爽歪歪视频在线观看| 午夜视频国产福利| 人妻系列 视频| 亚洲精品国产成人久久av| 日韩欧美一区二区三区在线观看| 在线a可以看的网站| 看片在线看免费视频| 国产日韩欧美在线精品| 亚洲久久久久久中文字幕| 国产av一区在线观看免费| 中文字幕人妻熟人妻熟丝袜美| 国产老妇伦熟女老妇高清| 国内揄拍国产精品人妻在线| 色5月婷婷丁香| 日韩欧美国产在线观看| 国产精品蜜桃在线观看 | 免费观看人在逋| 97人妻精品一区二区三区麻豆| av在线蜜桃| 三级经典国产精品| 国产精品电影一区二区三区| 日本三级黄在线观看| 麻豆成人午夜福利视频| 岛国在线免费视频观看| 亚洲aⅴ乱码一区二区在线播放| 日韩制服骚丝袜av| 国产午夜精品一二区理论片| 性欧美人与动物交配| 男插女下体视频免费在线播放| 国产精品爽爽va在线观看网站| 久久精品国产亚洲av香蕉五月| 久久久久久九九精品二区国产| 看免费成人av毛片| 观看免费一级毛片| 99热这里只有是精品在线观看| 亚洲高清免费不卡视频| 久久久久久国产a免费观看| 亚洲美女视频黄频| 永久网站在线| 观看免费一级毛片| a级一级毛片免费在线观看| 精品少妇黑人巨大在线播放 | 精品欧美国产一区二区三| 在现免费观看毛片| 久久韩国三级中文字幕| av免费观看日本| 国内精品美女久久久久久| 又粗又爽又猛毛片免费看| 亚洲成人中文字幕在线播放| 亚洲av男天堂| 精品午夜福利在线看| 亚洲美女视频黄频| 边亲边吃奶的免费视频| 午夜精品一区二区三区免费看| 99久国产av精品国产电影| 亚洲精品国产成人久久av| 中文字幕熟女人妻在线| 欧美性猛交黑人性爽| 嫩草影院精品99| 五月伊人婷婷丁香| 婷婷色综合大香蕉| 欧美日韩在线观看h| 色综合色国产| 国产探花极品一区二区| 波野结衣二区三区在线| .国产精品久久| 中文天堂在线官网| 亚洲第一区二区三区不卡| 久久精品国产亚洲av涩爱| 日韩欧美一区视频在线观看| 久久精品国产a三级三级三级| 亚洲av综合色区一区| 日韩免费高清中文字幕av| 最近最新中文字幕免费大全7| 最新的欧美精品一区二区| 日韩视频在线欧美| 十八禁网站网址无遮挡| 午夜影院在线不卡| 欧美亚洲日本最大视频资源| 下体分泌物呈黄色| 人妻人人澡人人爽人人| 一区二区av电影网| 欧美xxⅹ黑人| 久久久久久久久久人人人人人人| videosex国产| 一级毛片黄色毛片免费观看视频| 国产白丝娇喘喷水9色精品| 91精品三级在线观看| 男女无遮挡免费网站观看| 欧美成人午夜免费资源| 国产精品一二三区在线看| 久久久久精品性色| 婷婷色综合www| 亚洲国产最新在线播放| 中文字幕av电影在线播放| 激情五月婷婷亚洲| 日韩av免费高清视频| 最近最新中文字幕免费大全7| 草草在线视频免费看| 国产女主播在线喷水免费视频网站| 久久久久久久久久久免费av| 成人亚洲欧美一区二区av| 国产免费福利视频在线观看| 最新的欧美精品一区二区| 18禁在线播放成人免费| 免费人妻精品一区二区三区视频| 男女免费视频国产| 国产精品国产三级专区第一集| 日韩制服骚丝袜av| 男女高潮啪啪啪动态图| 亚洲av.av天堂| 一区在线观看完整版| 一级毛片 在线播放| 中文字幕最新亚洲高清| 国产免费视频播放在线视频| 日韩成人av中文字幕在线观看| 亚洲综合色网址| 久久久午夜欧美精品| 女人久久www免费人成看片| 成人午夜精彩视频在线观看| 国产精品.久久久| 精品熟女少妇av免费看| 最黄视频免费看| 亚洲一区二区三区欧美精品| 2022亚洲国产成人精品| 国产一区二区在线观看日韩| 中国三级夫妇交换| 婷婷色麻豆天堂久久| 欧美日韩成人在线一区二区| 少妇人妻 视频| 国产精品人妻久久久影院| 人人妻人人添人人爽欧美一区卜| 一二三四中文在线观看免费高清| xxxhd国产人妻xxx| 国产精品一国产av| 国产免费福利视频在线观看| 观看av在线不卡| 草草在线视频免费看| 黄片播放在线免费| 草草在线视频免费看| 一区二区三区精品91| 免费高清在线观看视频在线观看| 国产 一区精品| 如日韩欧美国产精品一区二区三区 | 国产乱来视频区| 国模一区二区三区四区视频| 国产精品久久久久成人av| 99久国产av精品国产电影| 亚洲欧美清纯卡通| 91精品伊人久久大香线蕉| 国产亚洲最大av| 亚洲精品国产色婷婷电影| 久久久久久久久大av| 久久久久久久久大av| 一本色道久久久久久精品综合| 日本vs欧美在线观看视频| 99热国产这里只有精品6| 亚洲精品,欧美精品| av免费观看日本| 亚洲欧美成人综合另类久久久| 精品一区二区免费观看| 极品人妻少妇av视频| 欧美bdsm另类| 久久久久久久久大av| 日日撸夜夜添| 久久久a久久爽久久v久久| 夜夜爽夜夜爽视频| 国产成人午夜福利电影在线观看| 国产在线视频一区二区| 夫妻性生交免费视频一级片| 91精品三级在线观看| 亚洲人成网站在线播| 亚洲欧美日韩另类电影网站| 狂野欧美激情性bbbbbb| 久久人人爽人人片av| 最后的刺客免费高清国语| 热re99久久精品国产66热6| 亚洲精品成人av观看孕妇| 成人二区视频| av线在线观看网站| 欧美+日韩+精品| 成人毛片60女人毛片免费| 久久久久精品久久久久真实原创| 人人妻人人澡人人看| 亚洲av二区三区四区| 18+在线观看网站| 久久久久久久亚洲中文字幕| av专区在线播放| 亚洲人成77777在线视频| 中文天堂在线官网| 桃花免费在线播放| √禁漫天堂资源中文www| 久久99精品国语久久久| 中文欧美无线码| 国产成人91sexporn| 久久久国产一区二区| 欧美精品国产亚洲| 国产一区亚洲一区在线观看| 一本—道久久a久久精品蜜桃钙片| 日本av手机在线免费观看| 春色校园在线视频观看| 欧美精品高潮呻吟av久久| 亚洲久久久国产精品| 亚洲av日韩在线播放| 少妇人妻久久综合中文| 色哟哟·www| 免费观看无遮挡的男女| 国模一区二区三区四区视频| 下体分泌物呈黄色| 精品一区二区三区视频在线| 在线观看人妻少妇| 日韩欧美一区视频在线观看| 大陆偷拍与自拍| 午夜福利网站1000一区二区三区| 亚洲欧美精品自产自拍| 男女啪啪激烈高潮av片| av播播在线观看一区| 一区二区三区精品91| av专区在线播放| 在线精品无人区一区二区三| 狠狠婷婷综合久久久久久88av| 国产免费一级a男人的天堂| 亚洲精品亚洲一区二区| 在线看a的网站| 天堂中文最新版在线下载| 高清黄色对白视频在线免费看| 91午夜精品亚洲一区二区三区| 一区在线观看完整版| 亚洲精品久久午夜乱码| 国产成人午夜福利电影在线观看| 久久精品熟女亚洲av麻豆精品| 韩国av在线不卡| 美女视频免费永久观看网站| 秋霞伦理黄片| 最新的欧美精品一区二区| 极品人妻少妇av视频| 精品少妇久久久久久888优播| 免费大片18禁| 久久97久久精品| 女性被躁到高潮视频| 国产精品一二三区在线看| 伦精品一区二区三区| 欧美日韩视频精品一区| √禁漫天堂资源中文www| 国产高清有码在线观看视频| 国产国拍精品亚洲av在线观看| 啦啦啦在线观看免费高清www| 大香蕉久久成人网| 欧美日韩视频精品一区| 亚洲一级一片aⅴ在线观看| 卡戴珊不雅视频在线播放| 国产深夜福利视频在线观看| 亚洲国产精品999| 日韩电影二区| 18+在线观看网站| 男人操女人黄网站| 久久综合国产亚洲精品| 国产精品熟女久久久久浪| 99久久精品国产国产毛片| 国产欧美日韩一区二区三区在线 | 国产在线视频一区二区| 99久久精品一区二区三区| 波野结衣二区三区在线| 国产一区亚洲一区在线观看| 在线 av 中文字幕| 一级毛片aaaaaa免费看小| 欧美激情极品国产一区二区三区 | 一区二区三区乱码不卡18| 高清欧美精品videossex| 国产日韩欧美亚洲二区| 日日摸夜夜添夜夜添av毛片| www.av在线官网国产| 91午夜精品亚洲一区二区三区| 一级毛片 在线播放| 久久久久网色| 少妇被粗大的猛进出69影院 | 中文字幕亚洲精品专区| 日韩一区二区视频免费看| 国产精品久久久久久久电影| 久久精品国产自在天天线| 成人18禁高潮啪啪吃奶动态图 | 日韩视频在线欧美| 亚洲av二区三区四区| 边亲边吃奶的免费视频| 桃花免费在线播放| 久久99热这里只频精品6学生| 99热这里只有是精品在线观看| 欧美一级a爱片免费观看看| 亚洲久久久国产精品| 成人免费观看视频高清| 一级,二级,三级黄色视频| 国产欧美亚洲国产| 99视频精品全部免费 在线| 日韩中字成人| 制服人妻中文乱码| 国语对白做爰xxxⅹ性视频网站| 晚上一个人看的免费电影| 91精品一卡2卡3卡4卡| 永久免费av网站大全| 极品人妻少妇av视频| a级毛片免费高清观看在线播放| 高清欧美精品videossex| av线在线观看网站| 久久久久国产网址| 91国产中文字幕| 国产欧美另类精品又又久久亚洲欧美| 午夜福利视频精品| 亚洲精品456在线播放app| 国产精品人妻久久久久久| 人成视频在线观看免费观看| 国产成人91sexporn| 高清不卡的av网站| 另类精品久久| 秋霞伦理黄片| av.在线天堂| 日本色播在线视频| 毛片一级片免费看久久久久| 国产乱人偷精品视频| 伊人亚洲综合成人网| 多毛熟女@视频| 国模一区二区三区四区视频| 国产69精品久久久久777片| 在线观看免费视频网站a站| 人妻 亚洲 视频| 熟女电影av网| 男女高潮啪啪啪动态图| 一级黄片播放器| 国产毛片在线视频| av网站免费在线观看视频| 日本午夜av视频| 丰满迷人的少妇在线观看| 免费观看的影片在线观看| 国产午夜精品一二区理论片| 欧美精品一区二区免费开放| 国产亚洲午夜精品一区二区久久| 老司机亚洲免费影院| 久热久热在线精品观看| 久久久精品免费免费高清| 成人毛片a级毛片在线播放| 国产成人91sexporn| 毛片一级片免费看久久久久| 十八禁高潮呻吟视频| 夫妻性生交免费视频一级片| 国产男女内射视频| 亚洲国产精品成人久久小说| 国产伦理片在线播放av一区| 日本午夜av视频| 日本爱情动作片www.在线观看| 一级黄片播放器| 欧美+日韩+精品| 亚洲美女视频黄频| 亚洲精品av麻豆狂野| 免费黄色在线免费观看| 午夜免费观看性视频| 国产 一区精品| 最后的刺客免费高清国语| 午夜免费男女啪啪视频观看| 国产极品粉嫩免费观看在线 | 日本欧美国产在线视频| 国产色爽女视频免费观看| 波野结衣二区三区在线| 亚洲性久久影院| 亚洲精品久久成人aⅴ小说 | 久久久久国产网址| av福利片在线| 成人漫画全彩无遮挡| 久久99热6这里只有精品| 伊人久久精品亚洲午夜| 日韩不卡一区二区三区视频在线| 精品久久久精品久久久| 日韩视频在线欧美| 国产黄色免费在线视频| 欧美日韩国产mv在线观看视频| 成人二区视频| 国产高清不卡午夜福利| 亚洲精品aⅴ在线观看| 国产成人freesex在线| 这个男人来自地球电影免费观看 | 久久热精品热| 国产片内射在线| 午夜精品国产一区二区电影| 人人妻人人爽人人添夜夜欢视频| 亚洲精品视频女| 久久午夜综合久久蜜桃| 国产乱来视频区| 在线精品无人区一区二区三| 蜜臀久久99精品久久宅男| 国产精品女同一区二区软件| 亚洲图色成人| 久久免费观看电影| 国国产精品蜜臀av免费| 晚上一个人看的免费电影| 免费看光身美女| 欧美日韩精品成人综合77777| 久久国产亚洲av麻豆专区| 国产精品久久久久久久久免| 国产在线视频一区二区| 亚洲欧美成人综合另类久久久| 男人爽女人下面视频在线观看| 波野结衣二区三区在线| 国产精品女同一区二区软件| 中文字幕久久专区| 国产伦精品一区二区三区视频9| 亚洲欧美一区二区三区国产| 午夜福利,免费看| 91久久精品电影网| 最近中文字幕高清免费大全6| av黄色大香蕉| 视频在线观看一区二区三区| 一二三四中文在线观看免费高清| 国产淫语在线视频| 少妇人妻 视频| 日本猛色少妇xxxxx猛交久久| 高清不卡的av网站| 国产精品99久久99久久久不卡 | 黑丝袜美女国产一区| 亚洲精品色激情综合| 婷婷色av中文字幕| 99热这里只有精品一区| 国产成人精品福利久久| 又粗又硬又长又爽又黄的视频| 建设人人有责人人尽责人人享有的| 人人妻人人爽人人添夜夜欢视频| 成人国语在线视频| 人妻系列 视频| 色网站视频免费| 国产成人免费无遮挡视频| 精品亚洲成a人片在线观看| 超色免费av| 久久国内精品自在自线图片| 亚洲中文av在线| 欧美bdsm另类| 老司机影院成人| 中国美白少妇内射xxxbb| 69精品国产乱码久久久| 少妇猛男粗大的猛烈进出视频| 97在线人人人人妻| 欧美精品一区二区大全| 国精品久久久久久国模美| 亚洲无线观看免费| 国产精品三级大全| 蜜桃久久精品国产亚洲av| 高清午夜精品一区二区三区| 久久综合国产亚洲精品| 国产一区有黄有色的免费视频| 人成视频在线观看免费观看| 国产亚洲午夜精品一区二区久久| 在线免费观看不下载黄p国产| 少妇高潮的动态图| 欧美少妇被猛烈插入视频| 99热全是精品| 欧美日韩一区二区视频在线观看视频在线| 国产成人精品婷婷| 中文字幕亚洲精品专区| 中文天堂在线官网| 大香蕉97超碰在线| 国产精品一区二区在线观看99| 精品久久国产蜜桃| 欧美成人午夜免费资源| 纵有疾风起免费观看全集完整版| 欧美另类一区| 国产乱人偷精品视频| 2022亚洲国产成人精品| 美女内射精品一级片tv| 久久久欧美国产精品| 美女国产视频在线观看| 一级黄片播放器| 国产熟女欧美一区二区| 天堂8中文在线网| av线在线观看网站| 国产黄频视频在线观看| 婷婷色综合www| 伊人久久精品亚洲午夜| √禁漫天堂资源中文www| 欧美丝袜亚洲另类| 永久免费av网站大全| 夜夜骑夜夜射夜夜干| 高清视频免费观看一区二区| 女人精品久久久久毛片| 丰满饥渴人妻一区二区三| 男女免费视频国产| 搡老乐熟女国产| 欧美97在线视频| 啦啦啦在线观看免费高清www| 91成人精品电影| av播播在线观看一区| 美女国产高潮福利片在线看| 成年人午夜在线观看视频| 日韩熟女老妇一区二区性免费视频| 啦啦啦中文免费视频观看日本| 国产免费现黄频在线看| 卡戴珊不雅视频在线播放| 久久久国产精品麻豆| 卡戴珊不雅视频在线播放| 全区人妻精品视频| 亚洲四区av| 在线看a的网站| 婷婷色综合www| 熟女电影av网| 色婷婷久久久亚洲欧美| 精品国产一区二区三区久久久樱花| 国产成人免费无遮挡视频| 大香蕉久久网| 天美传媒精品一区二区| 国产白丝娇喘喷水9色精品| 免费观看的影片在线观看| 欧美三级亚洲精品| 最近2019中文字幕mv第一页| 欧美日韩在线观看h| 免费黄网站久久成人精品| 国产成人免费观看mmmm| 午夜影院在线不卡| 亚州av有码| 精品久久久噜噜| 国产精品三级大全| 麻豆成人av视频| 亚洲高清免费不卡视频| 天堂中文最新版在线下载| 少妇猛男粗大的猛烈进出视频| 免费黄频网站在线观看国产| 精品国产乱码久久久久久小说| 麻豆精品久久久久久蜜桃| 男人操女人黄网站| 亚洲国产成人一精品久久久| www.色视频.com| av在线老鸭窝| 在线观看三级黄色| 日本91视频免费播放| 日韩不卡一区二区三区视频在线| 久久精品国产鲁丝片午夜精品| 国产熟女午夜一区二区三区 | 2021少妇久久久久久久久久久| 精品熟女少妇av免费看| 高清欧美精品videossex| 色网站视频免费| 好男人视频免费观看在线| 伦理电影大哥的女人| 一二三四中文在线观看免费高清| 国产伦理片在线播放av一区| 18禁在线播放成人免费| 十八禁网站网址无遮挡| 亚洲国产精品专区欧美| 特大巨黑吊av在线直播| 视频区图区小说| 亚洲精品中文字幕在线视频| 中文天堂在线官网| 99热全是精品| 亚洲色图 男人天堂 中文字幕 | 有码 亚洲区| 在线观看免费视频网站a站| 精品一区二区免费观看| av黄色大香蕉| av免费在线看不卡| 丝袜喷水一区| 国产亚洲欧美精品永久| 91成人精品电影| 日日撸夜夜添| 国产日韩欧美在线精品| 国产精品人妻久久久影院| 男女无遮挡免费网站观看| 日本wwww免费看| 新久久久久国产一级毛片| 国产一区二区在线观看日韩| 欧美丝袜亚洲另类| 国产 一区精品| 嘟嘟电影网在线观看| 99热国产这里只有精品6| 欧美亚洲日本最大视频资源| 91午夜精品亚洲一区二区三区| 久久精品国产亚洲网站| 欧美日韩在线观看h| 国产精品久久久久久久久免| 最新中文字幕久久久久| 久久久久久久久久久丰满| 国产欧美另类精品又又久久亚洲欧美| 久久国产精品男人的天堂亚洲 | 日韩精品有码人妻一区| 亚洲精品一区蜜桃| 久久久久视频综合|