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

    Nuttx操作系統(tǒng)進程切換調度實時性的形式化驗證

    2018-07-25 11:35:50郝英華李曉娟
    計算機應用與軟件 2018年7期
    關鍵詞:零星實時性進程

    郝英華 王 瑞 李曉娟

    1(首都師范大學信息工程學院 北京 100048) 2(首都師范大學高可靠嵌入式系統(tǒng)技術北京市工程研究中心,電子系統(tǒng)可靠性技術北京市重點實驗室 北京 100048)

    0 引 言

    隨著我國工業(yè)的快速發(fā)展,工業(yè)機器人[1]發(fā)揮的作用越來越重要。工業(yè)機器人控制系統(tǒng)是工業(yè)機器人的重要部分,控制操作機以完成指定的任務。操作系統(tǒng)處于工業(yè)機器人控制系統(tǒng)的核心地位,但是當前的工業(yè)機器人操作系統(tǒng)面對的一個大挑戰(zhàn)就是實時性問題:目前流行的機器人操作系統(tǒng)ROS實時性不高,這在很大程度上限制了ROS的實際應用。為了滿足實時性[2]需求,越來越多的工業(yè)機器人控制器開始使用實時操作系統(tǒng)作為軟件核心。這些操作系統(tǒng)中最典型是:RTLinux[3]、Vxworks[4]、Window CE[5]、DSP/BIOS[6]等。它們都有著響應快速、穩(wěn)定的優(yōu)點,但很遺憾的是它們的源代碼不開放,價格高昂,增加了開發(fā)成本。而Nuttx操作系統(tǒng)是一款開源的實時操作系統(tǒng):代碼完全對外開放,CPU可以被高優(yōu)先級進程完全搶占,適應變化能力極強,它有極小的內存開銷,支持多種硬件平臺。

    實時調度算法對操作系統(tǒng)的實時性有很大影響,它是提高系統(tǒng)實時性的關鍵技術。在Nuttx實時系統(tǒng)的進程調度中有三種調度策略:先來先服務,時間片輪轉法以及零星調度。這三種調度策略均采用搶占式內核,使CPU總是響應優(yōu)先級最高的進程,進而提高CPU利用率。先來先服務調度是Nuttx操作系統(tǒng)默認的調度,低優(yōu)先級進程可以被高優(yōu)先級進程搶占,實現實時搶占。時間片輪轉調度中時間片被設置為20 ms,這使得CPU的切換次數以平均響應時間相對最優(yōu),提高CPU利用率。零星調度能夠使零星任務根據服務器的預算值大小在高優(yōu)先級和低優(yōu)先級時之間進行轉換,保證了在每個補充周期T內運行C的時間,使系統(tǒng)能夠及時地響應零星任務。好的實時調度算法可以保證任務在其時限內完成,保證系統(tǒng)的實時性能。因此實時調度算法一直是人們研究的熱點領域。文獻[7]提出了一種稱為準分區(qū)調度的新算法,它能夠調度在同一個處理器上沒有明確截止時間的零星任務。為了響應系統(tǒng)負載變化,該算法使用高效的調度策略在分配的EDF和類似全局的調度規(guī)則之間實現一種切換,動態(tài)地適應了系統(tǒng)變化。模擬結果表明,該策略具有非常低的搶占和開銷,優(yōu)于現有策略。文獻[8]在調度器運行時允許修改策略的前提下,提出了四種調度策略,并使用VarySched調度器進行實驗,評估了四種策略對應用程序運行時間的影響。評估結果表明,一個好的調度策略可以加速應用程序的運行,使程序更早地完成運行。在文獻[9]中,作者提出一種搶占式操作系統(tǒng)內核的驗證框架,并將該框架成功地運用到驗證μC/OS-II操作系統(tǒng)的關鍵模塊中,模塊包括進程調度,中斷處理程序,消息隊列和互斥等。驗證結果表明,μC/OS-II操作系統(tǒng)具有實時性,但它的限制是其C子集不允許功能指針,這需要高階函數的邏輯支持。文獻[10]首先對Web服務器端3種調度策略:先進先出、優(yōu)先排隊、加權公平排隊進行簡要概述和比較評估,然后基于優(yōu)先排隊和加權公平排隊策略提出一種新的調度策略:加權公平排隊。采用測試的方法對每種調度策略的執(zhí)行時間和響應時間進行驗證,驗證結果表明:每種調度策略都有自己的優(yōu)缺點,并且它們優(yōu)勢互補。以上文獻中所用的測試方法都屬于傳統(tǒng)的測試方法,能給出準確的結果。但是,缺點是傳統(tǒng)的測試依賴于測試條件,它們的有效性取決于測試用例的數量和條件,因此,驗證結果具有不完備性。形式化驗證從數學上完備地證明系統(tǒng)是否實現某些功能的方法,所以驗證結果具有準確性和完備性。模型檢測是一種常用于驗證系統(tǒng)正確性的形式化方法之一,基本思想是用有限狀態(tài)機(FSM)表示系統(tǒng)的狀態(tài)轉移結構,用時序邏輯表示設計的性質,如計算樹邏輯和線性時序邏輯。有關模型檢測方法的運用:文獻[11]用形式化驗證方法對任務的可調度性進行分析,并采用驗證工具SCT(schedulability checking tool)與其他工具進行了比較,比較結果顯示,SCT可以提供最為精確的分析結果,但同時也具有最長的分析時間。文獻[12]采用Uppaal時間自動機對任務的可調度性進行建模與分析,結果表明,該建模方法是可擴展的,設計者可以根據它來對特定的系統(tǒng)進行設計驗證。但是以上只是提供了一種方法,并未對某種具體的實時操作系統(tǒng)進行模型檢測,我們可以借鑒為Nuttx操作系統(tǒng)的實時性進行驗證。

    綜上,為了保證驗證結果的完備性,本文采用模型檢測的方法對Nuttx操作系統(tǒng)的調度策略進行實時性驗證。首先提出在三種調度策略之間實行一種新的切換策略,使任務到達時能夠根據自身的特點選擇更適合的調度策略:讓優(yōu)先級相同的周期性任務選擇時間片輪轉調度,零星任務采用零星調度,其他的周期性任務默認先來先服務調度。同時采用模型檢測的方法對Nuttx操作系統(tǒng)的三種調度策略之間的切換建立時間自動機模型,然后運用計算樹邏輯公式描述需要驗證的屬性,最后在模型檢測Uppaal[13-14]中進行驗證。

    1 時間自動機及CTL[15]公式

    定義1Uppaal中的CTL公式

    時間自動機[16-17]Uppaal使用計算樹邏輯(CTL)公式來描述屬性。該公式主要分為:狀態(tài)公式和路徑公式。其中,路徑公式描述的是模型中路徑或者軌跡,如表1所示。

    表1 Uppaal 中路徑公式

    其中,公式inf{表達式}:y用來計算滿足表達式所需要的最小時間y。公式sup:Task().response表示遍歷系統(tǒng)模型的整個狀態(tài)空間后得到的最小上界,也就是最壞響應時間。

    2 Nuttx操作系統(tǒng)進程調度簡介

    Nuttx是一款實時開源的操作系統(tǒng)[18]。實時操作系統(tǒng)的核心是任務調度。只有保證進程能夠在給定的時間內執(zhí)行完成,才能保證Nuttx的實時性。在Nuttx操作系統(tǒng)中,總體上進程調度的過程如圖1所示。

    圖1 進程調度過程示意圖

    ? 當進程到來時,發(fā)送相應信號啟動調度器。

    ? 調度器接收到該信號時,會根據不同的調度策略對進程進行相應的處理。

    ? 進程根據自己的調度策略運行,當運行完成后,會發(fā)送相應的信號通知調度器。

    ? 調度器接收到該信號,完成調度。

    先來先服務調度:系統(tǒng)將先到達的進程調度到運行狀態(tài)。在運行過程中,低優(yōu)先級的進程是可以被高優(yōu)先級的進程搶占,它是默認調度策略。

    時間片輪轉調度:在Nuttx操作系統(tǒng)中,時間片輪轉法是為具有相同優(yōu)先級的進程服務的。它將所有優(yōu)先級相同的任務放到一個隊列中,然后每個進程運行20 ms的時間片后,CPU進行上下文切換,當前進程放到隊尾,新的隊首進程進行一個時間片的運行。在切換過程中,運行完一個時間片的進程會放到blocklist隊列中,直到下一次運行時才被移除blocklist隊列。

    零星調度:零星調度[19]服務器有一個補充周期、一個預算和兩個優(yōu)先級。當服務器有某些預算時,它處于高優(yōu)先級,從預算時間中減去消耗的時間,預算用盡后立即進入低優(yōu)先級,當服務器的時間被補充后,又重新進入高優(yōu)先級。在一個周期T內:當時間小于預算budget_time時間時,進程每運行一段時間each_time就會丟失lost_time時間,并且這段時間該進程會一直處于高優(yōu)先級。如果時間等于budget_time時,進程就會進入低優(yōu)先級。若時間等于convert_time時,進程會補充前面丟失的lost_time時間。每補充一次lost_time,進程的優(yōu)先級就會回到高優(yōu)先級,并且這段時間可以看作是前半個周期T的對稱運行。這就是Nuttx操作系統(tǒng)零星調度與其他調度不同的地方。它保證了每個進程在每個補充周期T內運行budget_time的時間,保證了系統(tǒng)的實時性。在每一個周期T中,其時間大小值如下所示:lost_time

    圖2 零星調度過程示意圖

    三種調度之間的切換:我們把所有的任務分為周期性任務和零星任務,讓所有的優(yōu)先級相同的周期性任務采用時間片輪轉調度,零星任務采用零星調度,其他周期性任務默認先來先服務調度。當一個任務到達時,如果是同優(yōu)先級周期任務,將其對應的變量m2設置為1,表示優(yōu)先級相同任務,然后通過中間調度器找到它所對應的時間片輪轉法;如果是零星任務,m3設置為1,對應到零星調度;將如果是普通的周期任務,m1設置為1,對應到先來先服務調度。不管處于哪種調度策略下的任務,都會發(fā)出一個信號,讓當前正在運行的任務暫停,判斷新來的任務優(yōu)先級是否更高,若是,則切換到新來的任務,對CPU加鎖,讓其只運行當前優(yōu)先級最高的任務,直至任務完成再執(zhí)行暫停的任務,這就是實現切換策略的關鍵;若非,則執(zhí)行當前的任務。具體切換過程如圖3所示。

    圖3 切換過程示意圖

    3 Nuttx中切換調度的形式化建模

    本部分對Nuttx系統(tǒng)的三種進程調度之間的切換過程進行了形式化描述。根據Nuttx系統(tǒng)進程間的調度過程建立了8個時間自動機模型,分別是任務模型(4個)、切換模型、先來先服務調度器模型、時間片調度器模型、零星調度器模型。我們給出了部分模型。這里我們重點介紹時間片輪轉調度以及先來先服務調度策略之間的切換,其他調度過程間的切換此相似,不再贅述。

    我們把任務標記為三種:把優(yōu)先級相同的任務標記為m2,調用時間片輪轉法;把零星任務標記為m3,采用零星調度法;其他任務標記為m1,默認調度先來先服務算法。

    切換模型:如圖4所示,當一個任務到達時,并且滿足總的調度次數大于0時,發(fā)出ready!信號,如果m1等于1,它代表此任務采用先來先服務調度,立即發(fā)出fifo!信號,啟動先來先服務調度器,m1立刻置0,代表該任務已成功找到對應的調度算法;如果m2等于1,它代表此任務采用時間片輪轉調度,立即發(fā)出rr!信號,啟動時間片輪轉法調度器,m2立刻置0,代表該任務已成功找到對應的調度算法;如果m3等于1,它代表此任務采用零星調度,立即發(fā)出ss!信號,啟動零星調度器,m2立刻置0,代表該任務已成功找到對應的調度算法。不管每種調度,任務到達時都會發(fā)出一個ready!信號,讓當前正在運行的任務暫停,判斷新來的任務優(yōu)先級是否更高,若是,則切換到新來的任務,直至任務完成再執(zhí)行暫停的任務;若非,則執(zhí)行當前的任務。

    圖4 切換時間自動機

    先來先服務模型:如果該任務采用先來先服務調度算法,如圖5、圖6所示。它主要有Task模型和Scheduler模型。Task模型主要有Idle、Ready、Running、Blocked、End、Error幾種狀態(tài)。當任務到達時,發(fā)出ready!信號,調用add()函數,該函數功能是將任務按照到達的先后順序依次放到queue()隊列中,時間t和響應時間response置0,m1置1,目的是通過切換器找到對應的先來先服務調度模型,同時任務的狀態(tài)從Idle狀態(tài)轉換到Ready狀態(tài)。先來先服務調度器模型接收到fifo?信號,首先會判斷queue()隊列的len值是否為1,如果為1,那說明當前只有該任務到達,滿足numnber1大于0的條件,立即發(fā)出run!信號讓該任務運行。任務接收到run?信號后,滿足queue()隊列的首元素時,會立即運行,并轉換到Running狀態(tài),如果此時再有其他同類型任務到達,即滿足m1等于1并且接收到fifo?信號后,調度器立即發(fā)出wait1!信號。任務接收到wait1?信號后,立即從Running狀態(tài)轉換為Blocked狀態(tài),此時調度器立刻發(fā)出run!信號。任務接收到run?信號,并且滿足是queue()隊列的首元素時,會重新運行轉換到Running狀態(tài),實現高優(yōu)先級搶占;如果不為1,那說明目前到達的任務不止1個,還會有其他非同類型任務已經到達,立即發(fā)出lock!信號。其他正在運行的任務接收lock?信號后,立即發(fā)出inform!信號。對應的調度器接收到inform?信號后,會一直等到高優(yōu)先級非同類型任務運行完成后接收到unlock1?信號后,重新發(fā)出run!讓目前queue()隊列首元素運行,目的是實現同一時刻CPU只能運行一個任務。當先來先服務的任務數number1等于0時,如果其他非同類型任務還沒有執(zhí)行完,則發(fā)出unlock2!。其他非同類型接收到unlock?信號后,會立即運行,而當前調度器回到Init狀態(tài)。當執(zhí)行時間ax大于最好情況執(zhí)行時間并且小于最壞情況執(zhí)行時間時,任務運行完畢,發(fā)出done!信號,并調用remove()函數,將該任務從queue()隊列移除,同時將success[]置1,表示該任務已經完成,響應時間response置0,此時任務進入到End狀態(tài),響應時間不變化。當時間t等于任務周期時,立即發(fā)出ready!信號,表示任務周期性來到,同時將時間t和response置0,success[]置0,并且調用add()函數,開始新一輪的調度。在任務模型中,只要時間t大于等于Deadlines[],任務就會進入Error狀態(tài)。

    圖5 先來先服務任務時間自動機

    圖6 先來先服務調度器時間自動機

    時間片輪轉模型:如果該任務采用時間片輪轉調度算法,如圖7、圖8所示。在Nuttx系統(tǒng)中,時間片輪轉調度是針對相同優(yōu)先級的任務而進行的調度。所以在模型中,每個任務的優(yōu)先級都是相同的,設計了兩個跟圖7一樣的優(yōu)先級相同的任務模型。它主要有Task模型和Scheduler模型。Task模型主要有Idle、Ready、Running、Blocked、End、Error幾種狀態(tài)。其他調度情況與先來先服務模型一致,這里不再贅述。重點介紹當運行時間ticks等于時間片值,任務運行一個時間片并且CPU允許上下文切換時,調度器發(fā)出stop!信號。任務接收到stop?信號后,調用change()函數。change()函數的作用是按照優(yōu)先級大小將任務放到queue()隊列的對應位置,讓新的隊首元素運行一個時間片的時間,并且任務從Running態(tài)轉換到Blocked狀態(tài),cpu進行一次切換。若此時再有新的同類型任務到達,接收到rr?信號并且滿足m2等于1的條件時,會立即發(fā)出wait!信號。任務接收到wait?信號后調用change()函數,進入到Blocked態(tài),當滿足隊首元素時,再重新運行一個時間片的時間。

    圖7 時間片輪轉任務間自動機

    圖8 時間片輪轉調度器時間自動機

    4 屬性驗證

    在本節(jié)中,我們使用CTL公式描述這些屬性,并且在Uppaal中對它們進行驗證。Uppaal軟件運行的計算機環(huán)境為:2.60 GHz的雙核CPU,內存為4.00 GB。一級緩存為128 KB,二級緩存為512 KB,三級緩存為3.0 MB,內存工作頻率為1 198 MHz。驗證結果如表2、表3所示。

    表2 屬性描述以及驗證結果 ms

    表3 CPU最壞響應時間與截止時間 ms

    屬性1:對于任何一個待驗證的系統(tǒng)而言,保證系統(tǒng)能夠正常運行,不發(fā)生死鎖是一個基本的前提,對于操作系統(tǒng)而言也是如此,它可以用如下CTL公式證明:A[ ] not deadlock。如表2所示,該屬性被滿足,這說明:說明整個系統(tǒng)不會出現死鎖,該系統(tǒng)可以正常運行。

    屬性2:在進程調度過程中,同一時刻CPU只允許一個進程占用,不能允許多個進程同時運行:A[]Task(0).Running+Task(1).Running<=1。如表2所示,該屬性被滿足。這說明:整個系統(tǒng)在同一時刻CPU只允許一個任務運行。

    屬性3:進程在調度過程中,不超出截止時間,表明進程能夠在不超出截止時間內完成,屬性如下:A[] forall(i: pid_t ) not Task(i).Error。如表2所示,該屬性在切換前不被滿足,切換后得到滿足。這說明:切換使得原本不能在截止時間內完成的任務完成了相應的操作,優(yōu)化了實驗結果。

    屬性4:每個進程,只要到達,就要在不超出截止時間內成相應的操作,這也是操作系統(tǒng)進程調度的實時性體現。屬性用CTL公式可描述為:Task(i).Ready-->Task(i).End。如表2所示,該屬性在切換前不被滿足,切換后得到滿足。這說明:切換使每個到達的任務都能完成相應的操作。

    屬性5:計算出每個進程從到達到完成的時間。該屬性描述為:inf{success[i]==1}:time。如表2所示,我們根據該屬性計算出CPU的平均響應時間,然后對切換前后的CPU平均響應時間進行比較,結果顯示,切換后的平均響應時間小于切換前的平均響應時間。這說明:切換提高了CPU的平均響應時間。

    屬性6:計算出每個任務的最壞響應時間,與截止時間進行比較,進而保證任務在最壞情況下不超出截止時間而被完成,滿足實時性。屬性CTL描述如下:

    sup:Task(0).response,Task(1).response,Task(2).response,Task(id).response。根據表3,我們對切換后的調度進行最壞響應時間與截止時間的比較,可以看出每種任務的最壞響應時間都不大于截止時間,這說明:切換使得任務能夠在不超出給定的時間內完成相應的操作,滿足了系統(tǒng)的實時性。

    5 結 語

    Nuttx是一款實時開源的操作系統(tǒng),它能保證系統(tǒng)的實時性。因此對Nuttx系統(tǒng)的實時性進行驗證很有必要。本文首次提出對以上三種調度策略進行切換,使得任務到達時能夠根據自身的特點去選擇適合自己的調度策略,以便得到更快的響應。首先對調度的切換過程進行了時間自動機建模,然后用計算樹邏輯(CTL)公式描述了進程調度實時性的相關屬性,最后在模型驗證工具Uppaal中進行了驗證。驗證結果表明新的切換策略使得Nuttx操作系統(tǒng)在給定的時間內能夠完成相應的操作,滿足了實時性需求。本文對于測試和評估實時操作系統(tǒng)性能有一定的借鑒作用。Nuttx操作系統(tǒng)能夠滿足工業(yè)機器人控制系統(tǒng)的實時性需求,因此在工業(yè)機器人控制領域有著很好的應用前景。

    猜你喜歡
    零星實時性進程
    流年似水
    青年文學家(2022年1期)2022-03-11 12:27:39
    淮安清江浦區(qū)突出零星工程 嚴打強治抓長效
    基于規(guī)則實時性的端云動態(tài)分配方法研究
    高技術通訊(2021年3期)2021-06-09 06:57:24
    債券市場對外開放的進程與展望
    中國外匯(2019年20期)2019-11-25 09:54:58
    EXCEL在零星工程量計算中的應用
    江西建材(2018年2期)2018-04-14 08:01:03
    基于虛擬局域網的智能變電站通信網絡實時性仿真
    航空電子AFDX與AVB傳輸實時性抗干擾對比
    以介為主 零星散譯*——弗羅斯特詩歌在中國的譯介:1949年以前
    一種車載Profibus總線系統(tǒng)的實時性分析
    社會進程中的新聞學探尋
    民主與科學(2014年3期)2014-02-28 11:23:03
    寂寞人妻少妇视频99o| 日韩欧美 国产精品| 成人av一区二区三区在线看| 午夜a级毛片| 99久久中文字幕三级久久日本| 亚洲不卡免费看| 高清毛片免费观看视频网站| 乱系列少妇在线播放| 一级毛片我不卡| 亚洲国产精品成人综合色| 少妇猛男粗大的猛烈进出视频 | 亚洲成av人片在线播放无| 亚洲中文日韩欧美视频| 天堂av国产一区二区熟女人妻| 亚洲中文日韩欧美视频| 日本熟妇午夜| 久久久久久久久久成人| 亚洲国产精品合色在线| 国产精品国产高清国产av| 麻豆一二三区av精品| 黄色一级大片看看| 日韩人妻高清精品专区| 最新中文字幕久久久久| 我要看日韩黄色一级片| 免费搜索国产男女视频| 亚洲人与动物交配视频| 男女那种视频在线观看| 日本熟妇午夜| 国产爱豆传媒在线观看| 久久99热这里只有精品18| 综合色av麻豆| 男插女下体视频免费在线播放| 午夜激情福利司机影院| 久久精品国产鲁丝片午夜精品| 免费一级毛片在线播放高清视频| 波野结衣二区三区在线| 99国产极品粉嫩在线观看| 91麻豆精品激情在线观看国产| 国产成年人精品一区二区| 日韩三级伦理在线观看| 在线免费观看的www视频| 欧美bdsm另类| 欧美日韩精品成人综合77777| 12—13女人毛片做爰片一| 又粗又爽又猛毛片免费看| 久久这里只有精品中国| 精品久久久久久久久av| 国产一区二区亚洲精品在线观看| 99久久无色码亚洲精品果冻| 久久久久性生活片| 蜜桃亚洲精品一区二区三区| 久久人妻av系列| 国产欧美日韩精品一区二区| 网址你懂的国产日韩在线| 天天躁夜夜躁狠狠久久av| 村上凉子中文字幕在线| 国产三级在线视频| 亚洲av免费在线观看| 99九九线精品视频在线观看视频| 欧美日韩乱码在线| 午夜精品在线福利| 简卡轻食公司| 久久久国产成人精品二区| 色av中文字幕| 国产又黄又爽又无遮挡在线| 可以在线观看毛片的网站| 国产精品国产高清国产av| 免费在线观看影片大全网站| 久久精品91蜜桃| 日本黄大片高清| 久久欧美精品欧美久久欧美| 精品一区二区三区视频在线观看免费| 亚洲欧美成人精品一区二区| 啦啦啦观看免费观看视频高清| 久久亚洲国产成人精品v| 精品熟女少妇av免费看| 久久精品夜夜夜夜夜久久蜜豆| 一进一出好大好爽视频| 舔av片在线| 少妇猛男粗大的猛烈进出视频 | 精品一区二区免费观看| 亚洲最大成人av| 日韩亚洲欧美综合| 国产亚洲欧美98| 色尼玛亚洲综合影院| 国产 一区 欧美 日韩| 啦啦啦韩国在线观看视频| 两性午夜刺激爽爽歪歪视频在线观看| 中文资源天堂在线| 老熟妇仑乱视频hdxx| 日韩制服骚丝袜av| 成人特级av手机在线观看| 国产高清视频在线观看网站| 九色成人免费人妻av| 欧美性猛交黑人性爽| 免费观看人在逋| 亚洲精品久久国产高清桃花| 欧美3d第一页| 国产精品1区2区在线观看.| 久久99热这里只有精品18| 午夜老司机福利剧场| 国产综合懂色| 老熟妇仑乱视频hdxx| 综合色av麻豆| 亚洲美女搞黄在线观看 | 美女cb高潮喷水在线观看| 久久久a久久爽久久v久久| 不卡一级毛片| 国产一区二区在线av高清观看| 国产精品一区www在线观看| 成人精品一区二区免费| 久久人人精品亚洲av| 精品乱码久久久久久99久播| 亚洲精品日韩av片在线观看| av中文乱码字幕在线| 午夜影院日韩av| 国产一区二区激情短视频| 天美传媒精品一区二区| 欧美zozozo另类| 久99久视频精品免费| 成人二区视频| 国产精品久久久久久久久免| 真实男女啪啪啪动态图| 国产精品99久久久久久久久| 亚洲中文字幕一区二区三区有码在线看| 婷婷色综合大香蕉| 亚洲av免费在线观看| 亚洲国产精品成人久久小说 | 蜜桃久久精品国产亚洲av| 午夜精品国产一区二区电影 | 亚洲精品一卡2卡三卡4卡5卡| 国产高清视频在线播放一区| 91午夜精品亚洲一区二区三区| 欧美日本亚洲视频在线播放| 国产国拍精品亚洲av在线观看| 嫩草影院入口| 老司机午夜福利在线观看视频| 精品久久久噜噜| 伦精品一区二区三区| av在线蜜桃| 五月伊人婷婷丁香| 欧美性猛交╳xxx乱大交人| 亚洲欧美清纯卡通| 国产真实乱freesex| 最新在线观看一区二区三区| 欧美日本视频| 精品人妻偷拍中文字幕| 91av网一区二区| 日本 av在线| 国产亚洲91精品色在线| av在线播放精品| 99riav亚洲国产免费| 国产精品永久免费网站| 97碰自拍视频| 露出奶头的视频| 高清毛片免费观看视频网站| 国产片特级美女逼逼视频| 麻豆精品久久久久久蜜桃| 午夜精品一区二区三区免费看| av专区在线播放| 两性午夜刺激爽爽歪歪视频在线观看| 亚洲一级一片aⅴ在线观看| 别揉我奶头~嗯~啊~动态视频| 亚洲精华国产精华液的使用体验 | 国产精品日韩av在线免费观看| 成人二区视频| 国产精品久久久久久久电影| 淫秽高清视频在线观看| 亚洲av不卡在线观看| 日本成人三级电影网站| 激情 狠狠 欧美| 人妻久久中文字幕网| 全区人妻精品视频| 男女之事视频高清在线观看| 国产探花在线观看一区二区| 看非洲黑人一级黄片| 夜夜爽天天搞| 国产淫片久久久久久久久| 日韩欧美国产在线观看| 村上凉子中文字幕在线| 久久久色成人| 久久久久国产网址| 国产成人福利小说| 国产精品永久免费网站| 日韩一本色道免费dvd| 偷拍熟女少妇极品色| 成年av动漫网址| 欧美日韩一区二区视频在线观看视频在线 | 看黄色毛片网站| 成年女人看的毛片在线观看| 床上黄色一级片| 九九久久精品国产亚洲av麻豆| 夜夜夜夜夜久久久久| 国产精华一区二区三区| 99riav亚洲国产免费| 亚洲最大成人手机在线| 国产亚洲欧美98| 亚洲av中文字字幕乱码综合| 变态另类成人亚洲欧美熟女| 一级毛片电影观看 | 欧美激情国产日韩精品一区| 我的女老师完整版在线观看| 久久草成人影院| 欧美三级亚洲精品| 久久综合国产亚洲精品| 日本在线视频免费播放| 午夜影院日韩av| 国产精品久久视频播放| 欧美日本视频| 国产av不卡久久| 亚洲一区高清亚洲精品| 12—13女人毛片做爰片一| 搡老妇女老女人老熟妇| 免费一级毛片在线播放高清视频| 免费av毛片视频| 热99re8久久精品国产| 亚洲av五月六月丁香网| 听说在线观看完整版免费高清| 亚洲第一电影网av| 午夜福利18| 一级毛片我不卡| 亚洲国产日韩欧美精品在线观看| 精品午夜福利在线看| 99热全是精品| 全区人妻精品视频| 夜夜爽天天搞| 欧美绝顶高潮抽搐喷水| 亚洲精品粉嫩美女一区| 一本精品99久久精品77| 色噜噜av男人的天堂激情| 简卡轻食公司| 亚洲国产高清在线一区二区三| 久久久精品欧美日韩精品| 国产久久久一区二区三区| 天天躁夜夜躁狠狠久久av| 欧美成人a在线观看| 国产aⅴ精品一区二区三区波| av福利片在线观看| 黄片wwwwww| 搡老妇女老女人老熟妇| 成年免费大片在线观看| 亚洲精华国产精华液的使用体验 | 俄罗斯特黄特色一大片| 老女人水多毛片| 国产爱豆传媒在线观看| 久久久精品欧美日韩精品| 国产成人aa在线观看| 国产综合懂色| 亚洲经典国产精华液单| 亚洲精品成人久久久久久| av视频在线观看入口| 午夜福利成人在线免费观看| 老熟妇乱子伦视频在线观看| 国产不卡一卡二| 69av精品久久久久久| 亚洲久久久久久中文字幕| 亚洲专区国产一区二区| 男人舔女人下体高潮全视频| 少妇猛男粗大的猛烈进出视频 | 91在线精品国自产拍蜜月| 日本在线视频免费播放| av国产免费在线观看| 精品一区二区三区视频在线| 亚洲成人av在线免费| 免费大片18禁| 亚洲av中文字字幕乱码综合| 国产亚洲91精品色在线| 丝袜喷水一区| 精品一区二区免费观看| 国产69精品久久久久777片| 91狼人影院| 国产精品一及| 日本三级黄在线观看| 日韩人妻高清精品专区| 久久久久九九精品影院| 日日摸夜夜添夜夜添小说| 无遮挡黄片免费观看| 美女cb高潮喷水在线观看| 男女那种视频在线观看| 日本与韩国留学比较| 精品免费久久久久久久清纯| 搡老熟女国产l中国老女人| 亚洲国产欧洲综合997久久,| 乱码一卡2卡4卡精品| 深夜a级毛片| 日韩 亚洲 欧美在线| 小说图片视频综合网站| 性插视频无遮挡在线免费观看| 成人精品一区二区免费| 精品久久久久久久久av| 成人综合一区亚洲| 亚洲一级一片aⅴ在线观看| 色av中文字幕| 美女大奶头视频| 欧美xxxx性猛交bbbb| 九九在线视频观看精品| 免费搜索国产男女视频| 日韩精品中文字幕看吧| 少妇裸体淫交视频免费看高清| 日韩一区二区视频免费看| 亚洲综合色惰| 亚洲图色成人| 亚洲欧美成人综合另类久久久 | 美女cb高潮喷水在线观看| 少妇高潮的动态图| 免费看美女性在线毛片视频| 亚洲精华国产精华液的使用体验 | 国产淫片久久久久久久久| 国产高清不卡午夜福利| 亚洲精品影视一区二区三区av| 欧美人与善性xxx| 一级毛片电影观看 | 久久午夜亚洲精品久久| 日本黄色视频三级网站网址| 俺也久久电影网| 搡老熟女国产l中国老女人| 免费电影在线观看免费观看| 亚洲第一电影网av| 久久这里只有精品中国| 国产久久久一区二区三区| 国产真实伦视频高清在线观看| 成人性生交大片免费视频hd| 熟女电影av网| 久久午夜福利片| 一个人看视频在线观看www免费| 国产一区二区在线av高清观看| 国产精品一区二区免费欧美| 高清日韩中文字幕在线| 国产在视频线在精品| 一a级毛片在线观看| 国产亚洲欧美98| 亚洲激情五月婷婷啪啪| 狂野欧美白嫩少妇大欣赏| 1000部很黄的大片| 亚洲国产精品成人久久小说 | 最新中文字幕久久久久| 免费看av在线观看网站| 亚洲美女黄片视频| 性欧美人与动物交配| 亚洲精品日韩在线中文字幕 | 国产av麻豆久久久久久久| 菩萨蛮人人尽说江南好唐韦庄 | 日韩av在线大香蕉| 亚洲av五月六月丁香网| av卡一久久| 大香蕉久久网| а√天堂www在线а√下载| 久久亚洲国产成人精品v| 欧美一区二区国产精品久久精品| 亚洲中文日韩欧美视频| 国产一区二区亚洲精品在线观看| 亚洲丝袜综合中文字幕| 亚洲精品粉嫩美女一区| 国产在线男女| 久久久精品欧美日韩精品| 真人做人爱边吃奶动态| 波多野结衣高清作品| 老女人水多毛片| 丰满的人妻完整版| 亚洲精品乱码久久久v下载方式| 搡老岳熟女国产| 国产视频内射| 亚洲美女黄片视频| 国产单亲对白刺激| 亚洲精品成人久久久久久| 久久精品国产99精品国产亚洲性色| 久久久午夜欧美精品| 久久精品夜色国产| av中文乱码字幕在线| 麻豆乱淫一区二区| 亚洲真实伦在线观看| 非洲黑人性xxxx精品又粗又长| 天天躁夜夜躁狠狠久久av| 简卡轻食公司| 日韩一本色道免费dvd| 国产黄色视频一区二区在线观看 | 三级经典国产精品| 亚洲av熟女| 欧美最黄视频在线播放免费| 久久婷婷人人爽人人干人人爱| 午夜爱爱视频在线播放| 亚洲专区国产一区二区| 日本免费a在线| 亚洲在线观看片| 国产三级在线视频| 天天躁日日操中文字幕| 最近的中文字幕免费完整| 久久久久久久亚洲中文字幕| 中文资源天堂在线| 22中文网久久字幕| 亚洲精品色激情综合| 亚洲va在线va天堂va国产| 九九爱精品视频在线观看| 日本熟妇午夜| 亚洲自拍偷在线| 日本一二三区视频观看| 成年版毛片免费区| 在线观看美女被高潮喷水网站| 久久人妻av系列| 日韩精品青青久久久久久| 久久中文看片网| 麻豆av噜噜一区二区三区| 人人妻人人澡人人爽人人夜夜 | 日韩制服骚丝袜av| 日本撒尿小便嘘嘘汇集6| 白带黄色成豆腐渣| 丝袜美腿在线中文| 网址你懂的国产日韩在线| 亚洲高清免费不卡视频| 中文亚洲av片在线观看爽| 亚洲四区av| 亚洲成人久久性| 久99久视频精品免费| 久久欧美精品欧美久久欧美| 老司机午夜福利在线观看视频| 欧美bdsm另类| 亚洲天堂国产精品一区在线| 亚洲av成人av| 成人精品一区二区免费| 天美传媒精品一区二区| 亚洲av二区三区四区| 国产成人影院久久av| 国内精品美女久久久久久| 人妻少妇偷人精品九色| 亚洲精品一区av在线观看| 女人被狂操c到高潮| 欧美bdsm另类| 国产色爽女视频免费观看| 亚洲熟妇熟女久久| 久久久欧美国产精品| 在线观看美女被高潮喷水网站| 黄色配什么色好看| 久久久久九九精品影院| 精品人妻偷拍中文字幕| 成人二区视频| 美女大奶头视频| a级毛色黄片| 欧美又色又爽又黄视频| 1024手机看黄色片| 欧美人与善性xxx| 亚洲av一区综合| 大香蕉久久网| 久久久久九九精品影院| 天天躁夜夜躁狠狠久久av| 久久99热6这里只有精品| 精品一区二区三区人妻视频| 91久久精品国产一区二区成人| 国产伦精品一区二区三区四那| 深夜精品福利| 国产伦精品一区二区三区四那| 听说在线观看完整版免费高清| 成人高潮视频无遮挡免费网站| 99久久无色码亚洲精品果冻| 寂寞人妻少妇视频99o| 亚洲人与动物交配视频| 成人三级黄色视频| 乱码一卡2卡4卡精品| 床上黄色一级片| 91狼人影院| 男女视频在线观看网站免费| 免费观看在线日韩| aaaaa片日本免费| 欧美日本亚洲视频在线播放| 亚洲av熟女| 网址你懂的国产日韩在线| 国产亚洲av嫩草精品影院| 国产高清视频在线播放一区| 成人二区视频| 99久久中文字幕三级久久日本| 成人一区二区视频在线观看| 免费观看人在逋| 波野结衣二区三区在线| 午夜爱爱视频在线播放| 日本色播在线视频| 国产色爽女视频免费观看| 欧美一区二区国产精品久久精品| 人妻制服诱惑在线中文字幕| 国产精华一区二区三区| 日本五十路高清| 精品久久久久久成人av| 长腿黑丝高跟| 特级一级黄色大片| 男人的好看免费观看在线视频| 国内少妇人妻偷人精品xxx网站| 成人鲁丝片一二三区免费| 国产伦精品一区二区三区视频9| 日韩大尺度精品在线看网址| 综合色丁香网| 日韩精品青青久久久久久| 免费看av在线观看网站| 国产私拍福利视频在线观看| 久久久欧美国产精品| 亚洲最大成人av| 成人精品一区二区免费| 噜噜噜噜噜久久久久久91| av专区在线播放| 男女边吃奶边做爰视频| 99热精品在线国产| 五月玫瑰六月丁香| 丝袜喷水一区| 国产精品免费一区二区三区在线| 中文在线观看免费www的网站| 亚洲综合色惰| 尤物成人国产欧美一区二区三区| 九九久久精品国产亚洲av麻豆| 国产久久久一区二区三区| 午夜a级毛片| 亚洲人成网站在线播| 一进一出好大好爽视频| 在线国产一区二区在线| 精品久久久久久久末码| 老熟妇仑乱视频hdxx| 如何舔出高潮| 国产欧美日韩精品亚洲av| 欧美人与善性xxx| 俺也久久电影网| 波多野结衣高清无吗| 内地一区二区视频在线| 国产一区二区亚洲精品在线观看| 少妇高潮的动态图| 能在线免费观看的黄片| 久久精品久久久久久噜噜老黄 | 特大巨黑吊av在线直播| 黑人高潮一二区| 国产成人一区二区在线| 午夜福利视频1000在线观看| 国产精品福利在线免费观看| 国产综合懂色| 一级毛片久久久久久久久女| 你懂的网址亚洲精品在线观看 | 插阴视频在线观看视频| 日日啪夜夜撸| 老师上课跳d突然被开到最大视频| 亚洲最大成人av| 成人亚洲欧美一区二区av| 一级黄片播放器| 免费av毛片视频| 欧美高清成人免费视频www| 男女视频在线观看网站免费| 久久精品人妻少妇| 国产av一区在线观看免费| 久久久精品94久久精品| 亚洲专区国产一区二区| 久久久久性生活片| 色吧在线观看| 国产成人一区二区在线| 亚洲四区av| 97人妻精品一区二区三区麻豆| 丝袜喷水一区| 一夜夜www| 1000部很黄的大片| 亚洲人成网站在线播| 国产精品三级大全| av福利片在线观看| 国产精品一二三区在线看| 97超视频在线观看视频| 亚洲,欧美,日韩| 男人和女人高潮做爰伦理| 日韩欧美精品v在线| 精品久久久噜噜| av视频在线观看入口| 国产精品综合久久久久久久免费| 欧洲精品卡2卡3卡4卡5卡区| a级毛片a级免费在线| 欧美日韩综合久久久久久| 欧美xxxx性猛交bbbb| www.色视频.com| 日韩成人伦理影院| 亚洲av免费高清在线观看| 亚洲精品成人久久久久久| av专区在线播放| 国产精品久久视频播放| 自拍偷自拍亚洲精品老妇| 亚洲在线观看片| 亚洲aⅴ乱码一区二区在线播放| 国内少妇人妻偷人精品xxx网站| 欧洲精品卡2卡3卡4卡5卡区| 中文字幕熟女人妻在线| 小说图片视频综合网站| 简卡轻食公司| 午夜福利18| 高清毛片免费看| 国产精品一区二区三区四区久久| 日韩一区二区视频免费看| 成人漫画全彩无遮挡| 大香蕉久久网| 俺也久久电影网| ponron亚洲| 又爽又黄无遮挡网站| 草草在线视频免费看| 老女人水多毛片| 国产一区二区亚洲精品在线观看| 伦精品一区二区三区| 久久久久国内视频| 久久国产乱子免费精品| 国产精品野战在线观看| 97热精品久久久久久| 日本与韩国留学比较| 大又大粗又爽又黄少妇毛片口| 少妇猛男粗大的猛烈进出视频 | 中文字幕熟女人妻在线| 精品熟女少妇av免费看| 国产91av在线免费观看| 听说在线观看完整版免费高清| 亚洲一区二区三区色噜噜| 亚洲久久久久久中文字幕| 最近视频中文字幕2019在线8| 亚洲第一区二区三区不卡| 中文字幕免费在线视频6| 最近视频中文字幕2019在线8| 不卡一级毛片| 亚洲图色成人| 国产黄色小视频在线观看| 日本黄色视频三级网站网址| 久久精品国产亚洲网站|