• <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
    日产精品乱码卡一卡2卡三| 日本黄大片高清| 色综合色国产| .国产精品久久| 亚洲国产高清在线一区二区三| 中文天堂在线官网| 男女啪啪激烈高潮av片| 久久国产乱子免费精品| 久久综合国产亚洲精品| 青春草国产在线视频| 日韩欧美一区视频在线观看 | 日本色播在线视频| 搡老乐熟女国产| 国产淫片久久久久久久久| 国产亚洲av片在线观看秒播厂| 国产精品.久久久| 久久99精品国语久久久| 青青草视频在线视频观看| 97精品久久久久久久久久精品| 成人美女网站在线观看视频| 成人毛片a级毛片在线播放| 日韩大片免费观看网站| 狂野欧美激情性xxxx在线观看| 日本爱情动作片www.在线观看| 亚洲av电影在线观看一区二区三区| 国产精品人妻久久久影院| 七月丁香在线播放| 亚洲精品色激情综合| 亚洲精品国产色婷婷电影| 国产黄片视频在线免费观看| 18禁裸乳无遮挡免费网站照片| 国产黄色视频一区二区在线观看| 国产精品久久久久久精品古装| 直男gayav资源| 成人美女网站在线观看视频| 色5月婷婷丁香| 全区人妻精品视频| 只有这里有精品99| 国国产精品蜜臀av免费| 韩国高清视频一区二区三区| 国产一区二区三区综合在线观看 | 欧美日韩亚洲高清精品| 女性生殖器流出的白浆| 美女国产视频在线观看| 亚洲av免费高清在线观看| 免费黄频网站在线观看国产| 纵有疾风起免费观看全集完整版| a级毛片免费高清观看在线播放| 国产 精品1| 在线观看免费视频网站a站| 精品熟女少妇av免费看| 亚洲av成人精品一二三区| 免费观看性生交大片5| 99久国产av精品国产电影| 少妇人妻一区二区三区视频| 国产极品天堂在线| 美女国产视频在线观看| 视频中文字幕在线观看| 性色avwww在线观看| 大香蕉97超碰在线| 在线免费观看不下载黄p国产| 国产高清三级在线| 国产爱豆传媒在线观看| 青青草视频在线视频观看| 婷婷色av中文字幕| av天堂中文字幕网| 亚洲国产欧美在线一区| 男人和女人高潮做爰伦理| 国产高清三级在线| 国产高潮美女av| 国产国拍精品亚洲av在线观看| 日韩亚洲欧美综合| 久久毛片免费看一区二区三区| 国产乱人视频| 在线观看美女被高潮喷水网站| 婷婷色av中文字幕| 波野结衣二区三区在线| 精品午夜福利在线看| 男人和女人高潮做爰伦理| 亚洲三级黄色毛片| 亚洲精品,欧美精品| 久久综合国产亚洲精品| av线在线观看网站| 欧美区成人在线视频| 七月丁香在线播放| 国产精品99久久99久久久不卡 | 国产一级毛片在线| 亚洲成人av在线免费| 日本vs欧美在线观看视频 | 乱码一卡2卡4卡精品| 美女脱内裤让男人舔精品视频| 最近最新中文字幕免费大全7| 春色校园在线视频观看| 免费人成在线观看视频色| 91久久精品电影网| 久久人人爽av亚洲精品天堂 | 爱豆传媒免费全集在线观看| 色婷婷久久久亚洲欧美| 国产在线男女| 最黄视频免费看| 六月丁香七月| 精品一区二区三卡| 国产精品福利在线免费观看| 在线观看免费高清a一片| 伊人久久国产一区二区| 国内少妇人妻偷人精品xxx网站| 国产精品欧美亚洲77777| 久久久久性生活片| 三级经典国产精品| 少妇的逼好多水| 丝袜脚勾引网站| 久久这里有精品视频免费| 亚洲精品视频女| 超碰av人人做人人爽久久| 美女视频免费永久观看网站| 插逼视频在线观看| 91久久精品国产一区二区三区| 国产视频内射| 成人免费观看视频高清| 国产一区亚洲一区在线观看| 青春草国产在线视频| 一个人看视频在线观看www免费| 欧美日韩视频精品一区| 国产免费一区二区三区四区乱码| 人妻 亚洲 视频| 蜜臀久久99精品久久宅男| 一级毛片久久久久久久久女| 最近手机中文字幕大全| 国产v大片淫在线免费观看| 老女人水多毛片| 久久久欧美国产精品| 熟女电影av网| 男人舔奶头视频| 成人国产av品久久久| 2018国产大陆天天弄谢| 午夜福利视频精品| av专区在线播放| 久久99精品国语久久久| 亚洲va在线va天堂va国产| 亚洲丝袜综合中文字幕| 亚洲天堂av无毛| 美女xxoo啪啪120秒动态图| 日本欧美国产在线视频| 亚洲成人中文字幕在线播放| 国内揄拍国产精品人妻在线| 久久人人爽人人爽人人片va| 欧美成人精品欧美一级黄| 亚洲中文av在线| 日韩不卡一区二区三区视频在线| 2021少妇久久久久久久久久久| 免费人成在线观看视频色| 国产亚洲5aaaaa淫片| 国精品久久久久久国模美| 最近最新中文字幕大全电影3| 天天躁夜夜躁狠狠久久av| 色视频在线一区二区三区| 精品亚洲乱码少妇综合久久| 在线观看免费日韩欧美大片| 一本久久精品| 午夜福利,免费看| 亚洲国产av影院在线观看| 中文乱码字字幕精品一区二区三区| 欧美激情 高清一区二区三区| 日韩伦理黄色片| 一本大道久久a久久精品| 久久久欧美国产精品| 欧美日韩福利视频一区二区| 亚洲欧美一区二区三区国产| 亚洲人成77777在线视频| 欧美日韩亚洲国产一区二区在线观看 | 热re99久久精品国产66热6| videosex国产| 高清av免费在线| 99热全是精品| 18禁国产床啪视频网站| 久久亚洲国产成人精品v| 精品久久久精品久久久| 久久国产精品影院| 搡老岳熟女国产| 亚洲av日韩精品久久久久久密 | 亚洲天堂av无毛| 久久精品久久精品一区二区三区| avwww免费| 欧美成狂野欧美在线观看| av电影中文网址| 国产不卡av网站在线观看| 亚洲欧洲国产日韩| 亚洲午夜精品一区,二区,三区| 国产一卡二卡三卡精品| 精品久久蜜臀av无| 国产精品一二三区在线看| 性高湖久久久久久久久免费观看| 激情五月婷婷亚洲| 欧美av亚洲av综合av国产av| 麻豆国产av国片精品| 夜夜骑夜夜射夜夜干| 精品人妻在线不人妻| 欧美成狂野欧美在线观看| 亚洲欧美一区二区三区久久| 亚洲精品美女久久久久99蜜臀 | 热99久久久久精品小说推荐| 国产97色在线日韩免费| 欧美 日韩 精品 国产| 国产亚洲精品久久久久5区| 亚洲av电影在线观看一区二区三区| 嫩草影视91久久| 久久久久久久久久久久大奶| 少妇猛男粗大的猛烈进出视频| 国产精品香港三级国产av潘金莲 | 天天躁狠狠躁夜夜躁狠狠躁| 美女主播在线视频| 亚洲成人免费电影在线观看 | 国产精品国产三级国产专区5o| 国产三级黄色录像| 成人18禁高潮啪啪吃奶动态图| 亚洲图色成人| 国产一区二区三区av在线| 欧美人与性动交α欧美软件| 一二三四社区在线视频社区8| 一本—道久久a久久精品蜜桃钙片| 国产精品一二三区在线看| 免费观看av网站的网址| 91精品伊人久久大香线蕉| 欧美黑人精品巨大| 女警被强在线播放| 欧美日韩黄片免| 亚洲av日韩在线播放| 久久久久久久精品精品| 国产又爽黄色视频| 国产精品秋霞免费鲁丝片| 精品少妇一区二区三区视频日本电影| 久久中文字幕一级| 国产成人免费无遮挡视频| 精品一品国产午夜福利视频| 一本—道久久a久久精品蜜桃钙片| 欧美日韩黄片免| 国产成人精品无人区| 啦啦啦中文免费视频观看日本| 日韩 欧美 亚洲 中文字幕| 精品国产乱码久久久久久小说| 亚洲欧美精品综合一区二区三区| 大话2 男鬼变身卡| 午夜福利影视在线免费观看| 国产精品.久久久| 国产片内射在线| 97在线人人人人妻| 视频区图区小说| 日韩 亚洲 欧美在线| 90打野战视频偷拍视频| 久久久久久久精品精品| 亚洲人成网站在线观看播放| 成人三级做爰电影| 91成人精品电影| 制服诱惑二区| 亚洲中文字幕日韩| 久久久亚洲精品成人影院| 午夜日韩欧美国产| 女人久久www免费人成看片| 黑人猛操日本美女一级片| 精品亚洲成国产av| 亚洲欧美成人综合另类久久久| 亚洲精品成人av观看孕妇| 精品国产乱码久久久久久男人| 久久青草综合色| 两个人免费观看高清视频| 日韩制服骚丝袜av| 天天躁夜夜躁狠狠躁躁| 亚洲精品日韩在线中文字幕| 中文乱码字字幕精品一区二区三区| 亚洲av电影在线进入| 天堂8中文在线网| 美女午夜性视频免费| 日韩制服骚丝袜av| 欧美+亚洲+日韩+国产| 久久99精品国语久久久| 侵犯人妻中文字幕一二三四区| 久久中文字幕一级| 91九色精品人成在线观看| 老汉色av国产亚洲站长工具| 成人影院久久| 久久精品aⅴ一区二区三区四区| 视频区图区小说| 亚洲精品在线美女| 久久精品亚洲av国产电影网| 亚洲欧美日韩另类电影网站| 国产女主播在线喷水免费视频网站| 亚洲中文日韩欧美视频| www.av在线官网国产| 在线观看国产h片| 日韩精品免费视频一区二区三区| 可以免费在线观看a视频的电影网站| www.自偷自拍.com| 日本一区二区免费在线视频| 飞空精品影院首页| 性色av乱码一区二区三区2| 免费av中文字幕在线| 亚洲国产精品999| 人人妻人人澡人人爽人人夜夜| 久久久久久久久免费视频了| 久久久欧美国产精品| 啦啦啦在线观看免费高清www| 成人国产一区最新在线观看 | 国产日韩欧美视频二区| 亚洲激情五月婷婷啪啪| 国产精品免费视频内射| cao死你这个sao货| 亚洲精品日本国产第一区| 国产高清不卡午夜福利| 亚洲成人手机| 亚洲人成77777在线视频| 啦啦啦视频在线资源免费观看| 久久亚洲国产成人精品v| 亚洲欧洲日产国产| 久久精品aⅴ一区二区三区四区| 狂野欧美激情性xxxx| 黑人巨大精品欧美一区二区蜜桃| 午夜老司机福利片| 欧美+亚洲+日韩+国产| 久9热在线精品视频| 狂野欧美激情性bbbbbb| 中国美女看黄片| 9热在线视频观看99| 国产免费福利视频在线观看| 久久久久网色| 欧美精品人与动牲交sv欧美| 色播在线永久视频| 伊人久久大香线蕉亚洲五| 黄网站色视频无遮挡免费观看| 免费在线观看完整版高清| 精品国产一区二区久久| 老司机亚洲免费影院| 熟女av电影| 黄色片一级片一级黄色片| 免费在线观看视频国产中文字幕亚洲 | 99国产精品99久久久久| 免费少妇av软件| 亚洲熟女精品中文字幕| 国产在视频线精品| 熟女av电影| 亚洲伊人久久精品综合| 97人妻天天添夜夜摸| 女性生殖器流出的白浆| 亚洲精品国产一区二区精华液| 国产精品国产三级国产专区5o| 色网站视频免费| 男女国产视频网站| 亚洲少妇的诱惑av| 欧美日韩成人在线一区二区| 国产免费一区二区三区四区乱码| kizo精华| 久久人人爽av亚洲精品天堂| 国产在线视频一区二区| 在线观看免费高清a一片| 国产精品九九99| av国产精品久久久久影院| 在现免费观看毛片| 免费观看人在逋| 人妻人人澡人人爽人人| 久久精品国产亚洲av高清一级| 无限看片的www在线观看| 国产熟女欧美一区二区| 女性被躁到高潮视频| 久久精品国产亚洲av高清一级| 2021少妇久久久久久久久久久| 免费女性裸体啪啪无遮挡网站| 国语对白做爰xxxⅹ性视频网站| 国产av精品麻豆| 久久精品国产综合久久久| 亚洲av电影在线进入| 王馨瑶露胸无遮挡在线观看| 国产亚洲精品久久久久5区| 高清欧美精品videossex| 少妇裸体淫交视频免费看高清 | 亚洲精品中文字幕在线视频| 只有这里有精品99| 欧美成人精品欧美一级黄| 婷婷色综合大香蕉| 韩国精品一区二区三区| 一本—道久久a久久精品蜜桃钙片| 免费黄频网站在线观看国产| 欧美日韩亚洲国产一区二区在线观看 | 国产女主播在线喷水免费视频网站| 国产老妇伦熟女老妇高清| 亚洲欧美一区二区三区黑人| 黄色视频在线播放观看不卡| 麻豆av在线久日| 国产日韩欧美视频二区| 日本色播在线视频| 韩国精品一区二区三区| 久久久久视频综合| 国产淫语在线视频| 伦理电影免费视频| 亚洲男人天堂网一区| 精品少妇久久久久久888优播| 亚洲精品美女久久av网站| 日日爽夜夜爽网站| 美女脱内裤让男人舔精品视频| 最近手机中文字幕大全| 欧美精品人与动牲交sv欧美| 天堂俺去俺来也www色官网| 午夜av观看不卡| 在线亚洲精品国产二区图片欧美| 国产一区二区在线观看av| 精品人妻1区二区| 一本—道久久a久久精品蜜桃钙片| 国产成人系列免费观看| 欧美国产精品一级二级三级| 亚洲第一青青草原| av在线播放精品| 色94色欧美一区二区| 大片免费播放器 马上看| 欧美日韩亚洲综合一区二区三区_| 亚洲欧美清纯卡通| 国产精品 国内视频| 国产精品国产三级国产专区5o| 香蕉国产在线看| 国产高清视频在线播放一区 | 亚洲av片天天在线观看| 肉色欧美久久久久久久蜜桃| 国产黄色视频一区二区在线观看| 日本av免费视频播放| 中文字幕亚洲精品专区| 丰满饥渴人妻一区二区三| 老鸭窝网址在线观看| 又紧又爽又黄一区二区| 别揉我奶头~嗯~啊~动态视频 | 免费高清在线观看日韩| 在线 av 中文字幕| 嫁个100分男人电影在线观看 | 成人国产av品久久久| 丝袜人妻中文字幕| 久久久久久免费高清国产稀缺| 国产熟女午夜一区二区三区| 国产亚洲精品第一综合不卡| 国产成人啪精品午夜网站| 1024香蕉在线观看| 久久国产亚洲av麻豆专区| 国产精品av久久久久免费| 久久精品亚洲熟妇少妇任你| 汤姆久久久久久久影院中文字幕| 午夜精品国产一区二区电影| 爱豆传媒免费全集在线观看| 国产欧美日韩一区二区三 | 亚洲精品国产av成人精品| 99国产精品一区二区蜜桃av | 国产一区二区激情短视频 | 韩国精品一区二区三区| 久久亚洲国产成人精品v| 精品熟女少妇八av免费久了| 亚洲午夜精品一区,二区,三区| 国产欧美日韩一区二区三 | 免费高清在线观看视频在线观看| 国产老妇伦熟女老妇高清| 你懂的网址亚洲精品在线观看| 国产成人精品久久二区二区免费| 精品人妻熟女毛片av久久网站| 丰满人妻熟妇乱又伦精品不卡| 男人添女人高潮全过程视频| 国产麻豆69| 丝袜在线中文字幕| 国产黄频视频在线观看| 欧美成人午夜精品| 日韩av不卡免费在线播放| 午夜激情av网站| 国产成人精品久久二区二区91| 丝袜美足系列| 美女脱内裤让男人舔精品视频| 曰老女人黄片| 波多野结衣一区麻豆| 精品人妻一区二区三区麻豆| 一级毛片电影观看| 岛国毛片在线播放| 超碰成人久久| 久久性视频一级片| 亚洲伊人色综图| 日本猛色少妇xxxxx猛交久久| 人人妻人人爽人人添夜夜欢视频| 欧美日韩国产mv在线观看视频| 国产福利在线免费观看视频| 亚洲精品中文字幕在线视频| 欧美黄色淫秽网站| a级片在线免费高清观看视频| 中文字幕av电影在线播放| 美女脱内裤让男人舔精品视频| 国产精品一区二区精品视频观看| 亚洲人成电影免费在线| 欧美97在线视频| 亚洲情色 制服丝袜| 免费高清在线观看日韩| 亚洲精品一卡2卡三卡4卡5卡 | 大片电影免费在线观看免费| 深夜精品福利| 丰满少妇做爰视频| 丝袜人妻中文字幕| 人人妻,人人澡人人爽秒播 | 搡老岳熟女国产| 亚洲av电影在线观看一区二区三区| 亚洲av日韩精品久久久久久密 | 叶爱在线成人免费视频播放| 99热全是精品| 操美女的视频在线观看| 国产不卡av网站在线观看| 男男h啪啪无遮挡| 亚洲av日韩在线播放| 另类精品久久| 最新在线观看一区二区三区 | 别揉我奶头~嗯~啊~动态视频 | 欧美人与性动交α欧美精品济南到| 亚洲成人免费电影在线观看 | 亚洲午夜精品一区,二区,三区| 国产女主播在线喷水免费视频网站| 超碰成人久久| 51午夜福利影视在线观看| 中文字幕精品免费在线观看视频| 大陆偷拍与自拍| 国精品久久久久久国模美| 国产精品.久久久| 午夜日韩欧美国产| 国产熟女欧美一区二区| 在线 av 中文字幕| a级毛片在线看网站| 一级黄色大片毛片| 亚洲av欧美aⅴ国产| 国产亚洲av高清不卡| 色精品久久人妻99蜜桃| 丝袜脚勾引网站| 免费人妻精品一区二区三区视频| 婷婷成人精品国产| 老司机午夜十八禁免费视频| 一个人免费看片子| 日韩av免费高清视频| 97在线人人人人妻| 一本—道久久a久久精品蜜桃钙片| 亚洲伊人色综图| 精品熟女少妇八av免费久了| 亚洲av在线观看美女高潮| 男女高潮啪啪啪动态图| 久久女婷五月综合色啪小说| 亚洲精品一卡2卡三卡4卡5卡 | 大片电影免费在线观看免费| 岛国毛片在线播放| 国产精品99久久99久久久不卡| 国产国语露脸激情在线看| 日韩欧美一区视频在线观看| 午夜日韩欧美国产| 国产精品国产三级专区第一集| 人人妻,人人澡人人爽秒播 | 久热这里只有精品99| 91精品国产国语对白视频| 天天躁夜夜躁狠狠久久av| 亚洲图色成人| 中国国产av一级| 中文字幕另类日韩欧美亚洲嫩草| 亚洲精品国产区一区二| 成人三级做爰电影| 五月开心婷婷网| 一二三四在线观看免费中文在| 日本一区二区免费在线视频| 国产午夜精品一二区理论片| 一级毛片我不卡| 久久性视频一级片| 国产真人三级小视频在线观看| av在线播放精品| 电影成人av| 精品人妻1区二区| 国产精品一区二区免费欧美 | 欧美日韩亚洲国产一区二区在线观看 | 成年人黄色毛片网站| 久久国产精品男人的天堂亚洲| 亚洲 欧美一区二区三区| 99国产精品一区二区蜜桃av | 多毛熟女@视频| 天天添夜夜摸| 黄网站色视频无遮挡免费观看| 一本色道久久久久久精品综合| 国产在线视频一区二区| 国产精品一区二区精品视频观看| 色婷婷av一区二区三区视频| 免费在线观看完整版高清| 欧美精品啪啪一区二区三区 | 成人三级做爰电影| 久久久国产精品麻豆| 国产日韩欧美视频二区| 成年女人毛片免费观看观看9 | 青青草视频在线视频观看| 亚洲一码二码三码区别大吗| 亚洲 国产 在线| 成人18禁高潮啪啪吃奶动态图| 国产免费福利视频在线观看| 91字幕亚洲| 欧美精品av麻豆av| 天堂中文最新版在线下载| 国产欧美日韩一区二区三区在线| 久久久精品94久久精品| 少妇裸体淫交视频免费看高清 | av欧美777| 亚洲中文日韩欧美视频| 只有这里有精品99| 精品国产一区二区三区四区第35| 国产成人精品久久二区二区免费| 成人手机av| 亚洲精品久久成人aⅴ小说| 亚洲av片天天在线观看| 亚洲美女黄色视频免费看| 日韩精品免费视频一区二区三区| 久久精品国产综合久久久| 亚洲天堂av无毛| 午夜免费男女啪啪视频观看| 欧美人与性动交α欧美软件| 国产国语露脸激情在线看| 免费在线观看完整版高清| 下体分泌物呈黄色| 七月丁香在线播放| 黄色一级大片看看| 亚洲三区欧美一区|