• <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
    悠悠久久av| 色综合亚洲欧美另类图片| 亚洲熟妇熟女久久| 在线观看日韩欧美| 午夜精品一区二区三区免费看| 老司机在亚洲福利影院| 色在线成人网| 免费观看人在逋| 在线观看免费午夜福利视频| 日日爽夜夜爽网站| 不卡一级毛片| 哪里可以看免费的av片| 日本一区二区免费在线视频| 日日爽夜夜爽网站| 久久欧美精品欧美久久欧美| 欧美性猛交╳xxx乱大交人| 嫁个100分男人电影在线观看| 成人亚洲精品av一区二区| 搡老熟女国产l中国老女人| 国内少妇人妻偷人精品xxx网站 | 黄色视频不卡| 亚洲五月婷婷丁香| 久久久精品大字幕| 国产高清视频在线播放一区| 久久久国产精品麻豆| 国产熟女午夜一区二区三区| 久久热在线av| 久久精品亚洲精品国产色婷小说| av福利片在线观看| 久久精品91蜜桃| 麻豆成人av在线观看| 欧美日韩精品网址| 国产午夜福利久久久久久| 97碰自拍视频| 欧美又色又爽又黄视频| 午夜影院日韩av| 国产精品久久久人人做人人爽| 90打野战视频偷拍视频| 免费搜索国产男女视频| 操出白浆在线播放| 人妻久久中文字幕网| 欧美大码av| 日韩欧美国产在线观看| 午夜福利成人在线免费观看| 两人在一起打扑克的视频| 99riav亚洲国产免费| 搡老妇女老女人老熟妇| 久久这里只有精品中国| av欧美777| 男人舔女人的私密视频| 日本黄色视频三级网站网址| 女人爽到高潮嗷嗷叫在线视频| 高潮久久久久久久久久久不卡| 久99久视频精品免费| 亚洲五月婷婷丁香| 嫩草影院精品99| 美女黄网站色视频| 免费在线观看完整版高清| 婷婷六月久久综合丁香| 国产精品av视频在线免费观看| 亚洲成人精品中文字幕电影| 一边摸一边做爽爽视频免费| 一区二区三区国产精品乱码| 可以在线观看毛片的网站| 亚洲 欧美一区二区三区| 欧美乱色亚洲激情| 国产亚洲精品久久久久久毛片| 亚洲 国产 在线| 亚洲熟妇熟女久久| 可以在线观看的亚洲视频| 亚洲在线自拍视频| 伊人久久大香线蕉亚洲五| 国产精品九九99| 久久午夜亚洲精品久久| 成人亚洲精品av一区二区| 天堂影院成人在线观看| 91大片在线观看| 性欧美人与动物交配| 欧美中文日本在线观看视频| 99久久国产精品久久久| 国内精品久久久久久久电影| 可以免费在线观看a视频的电影网站| 国内精品久久久久久久电影| 1024手机看黄色片| 久久久久久久精品吃奶| 又爽又黄无遮挡网站| 不卡av一区二区三区| 欧美av亚洲av综合av国产av| 丝袜人妻中文字幕| 国产av麻豆久久久久久久| 老熟妇仑乱视频hdxx| videosex国产| 性欧美人与动物交配| 黄色毛片三级朝国网站| 一本综合久久免费| 欧美日韩国产亚洲二区| 免费观看精品视频网站| 高潮久久久久久久久久久不卡| 日本一本二区三区精品| 国内久久婷婷六月综合欲色啪| 日本三级黄在线观看| 夜夜夜夜夜久久久久| 首页视频小说图片口味搜索| 一级黄色大片毛片| 亚洲精品粉嫩美女一区| 国产单亲对白刺激| 精品少妇一区二区三区视频日本电影| 精华霜和精华液先用哪个| 亚洲精品美女久久久久99蜜臀| 国产欧美日韩一区二区三| 1024香蕉在线观看| 亚洲av日韩精品久久久久久密| 午夜老司机福利片| 国产乱人伦免费视频| 宅男免费午夜| 18禁黄网站禁片午夜丰满| 韩国av一区二区三区四区| 国产精品久久久av美女十八| 久久久久久久精品吃奶| 国产探花在线观看一区二区| 亚洲av成人不卡在线观看播放网| 亚洲黑人精品在线| 亚洲 欧美一区二区三区| 日韩精品青青久久久久久| 国产精品av久久久久免费| 91麻豆av在线| 一二三四在线观看免费中文在| 国产精品一及| 午夜激情福利司机影院| 亚洲va日本ⅴa欧美va伊人久久| 国产精品av视频在线免费观看| 一级片免费观看大全| 亚洲第一欧美日韩一区二区三区| 精品久久久久久久久久免费视频| 啦啦啦观看免费观看视频高清| www国产在线视频色| 伦理电影免费视频| 精品国产乱子伦一区二区三区| 亚洲av成人一区二区三| 搡老熟女国产l中国老女人| 午夜日韩欧美国产| 欧美乱色亚洲激情| 欧美乱码精品一区二区三区| 天天一区二区日本电影三级| 在线观看一区二区三区| 国产欧美日韩一区二区精品| 亚洲最大成人中文| 久久精品影院6| 97超级碰碰碰精品色视频在线观看| 岛国在线观看网站| 一二三四社区在线视频社区8| 非洲黑人性xxxx精品又粗又长| 又黄又粗又硬又大视频| 国产精品,欧美在线| 成人av在线播放网站| 国产熟女xx| 在线观看一区二区三区| 久99久视频精品免费| 无限看片的www在线观看| 国产高清激情床上av| 久久性视频一级片| 国产成+人综合+亚洲专区| 午夜福利欧美成人| 一进一出抽搐动态| 欧美日韩瑟瑟在线播放| 一进一出好大好爽视频| 日韩av在线大香蕉| 麻豆成人午夜福利视频| 这个男人来自地球电影免费观看| 国产97色在线日韩免费| 在线观看免费午夜福利视频| 特大巨黑吊av在线直播| 成人亚洲精品av一区二区| 99久久精品国产亚洲精品| 久久久国产成人免费| 非洲黑人性xxxx精品又粗又长| 级片在线观看| 亚洲全国av大片| 岛国在线免费视频观看| 国产99久久九九免费精品| 又粗又爽又猛毛片免费看| 18禁美女被吸乳视频| 黑人欧美特级aaaaaa片| 国产成人系列免费观看| 免费在线观看黄色视频的| 特级一级黄色大片| 天堂√8在线中文| 久久草成人影院| 国产视频一区二区在线看| 黄色视频不卡| 国产av一区在线观看免费| 老熟妇仑乱视频hdxx| 最近最新中文字幕大全免费视频| 国产激情欧美一区二区| 久久精品夜夜夜夜夜久久蜜豆 | 亚洲欧洲精品一区二区精品久久久| 身体一侧抽搐| 国产黄色小视频在线观看| 欧美久久黑人一区二区| 亚洲国产精品sss在线观看| 一本久久中文字幕| 9191精品国产免费久久| 色综合亚洲欧美另类图片| 午夜激情福利司机影院| 999久久久精品免费观看国产| 成在线人永久免费视频| 久久人妻av系列| 最好的美女福利视频网| 久久香蕉激情| 日韩国内少妇激情av| 村上凉子中文字幕在线| 淫秽高清视频在线观看| 高清毛片免费观看视频网站| 后天国语完整版免费观看| 精品一区二区三区av网在线观看| 欧美精品啪啪一区二区三区| 久久久久久九九精品二区国产 | 别揉我奶头~嗯~啊~动态视频| 欧美日韩一级在线毛片| 午夜老司机福利片| 亚洲一区高清亚洲精品| 高清在线国产一区| 韩国av一区二区三区四区| 国产一区二区三区视频了| 国产亚洲精品第一综合不卡| 亚洲美女视频黄频| 黄片小视频在线播放| 午夜福利免费观看在线| 十八禁人妻一区二区| 99热6这里只有精品| 中文字幕最新亚洲高清| 午夜久久久久精精品| 国产午夜精品论理片| 欧美黑人精品巨大| 亚洲人成伊人成综合网2020| 亚洲成人久久性| 国产精品久久久久久人妻精品电影| 国产精品电影一区二区三区| 美女黄网站色视频| 日本三级黄在线观看| 婷婷精品国产亚洲av在线| 18美女黄网站色大片免费观看| 色综合婷婷激情| 亚洲激情在线av| 精品一区二区三区四区五区乱码| 午夜两性在线视频| 色播亚洲综合网| 男男h啪啪无遮挡| 国产精品久久久久久精品电影| 99久久精品国产亚洲精品| 亚洲国产高清在线一区二区三| 嫩草影院精品99| 欧美久久黑人一区二区| www日本黄色视频网| 在线观看日韩欧美| 999久久久精品免费观看国产| 国产成人精品无人区| 久久 成人 亚洲| 亚洲激情在线av| 狂野欧美激情性xxxx| 欧美一区二区精品小视频在线| cao死你这个sao货| 熟妇人妻久久中文字幕3abv| 国产精品自产拍在线观看55亚洲| 久久久精品大字幕| 国产精品,欧美在线| 中出人妻视频一区二区| 波多野结衣高清无吗| 青草久久国产| 午夜两性在线视频| 午夜福利在线观看吧| 香蕉久久夜色| www.999成人在线观看| 99热这里只有精品一区 | 午夜福利18| 久9热在线精品视频| 手机成人av网站| 嫩草影院精品99| 人妻丰满熟妇av一区二区三区| 久久精品夜夜夜夜夜久久蜜豆 | 每晚都被弄得嗷嗷叫到高潮| 久久九九热精品免费| 婷婷亚洲欧美| 久久精品国产亚洲av高清一级| 看黄色毛片网站| 深夜精品福利| 天堂影院成人在线观看| 黄色女人牲交| 老司机福利观看| av天堂在线播放| 久9热在线精品视频| 一级黄色大片毛片| 久久精品91无色码中文字幕| 欧美精品啪啪一区二区三区| 国产伦人伦偷精品视频| 一本综合久久免费| 欧美日韩中文字幕国产精品一区二区三区| 国产精品一区二区免费欧美| 国产精品免费一区二区三区在线| 法律面前人人平等表现在哪些方面| 午夜影院日韩av| 国产成人aa在线观看| 亚洲人成网站在线播放欧美日韩| 中亚洲国语对白在线视频| 成人永久免费在线观看视频| 欧美日韩亚洲综合一区二区三区_| 国产精品电影一区二区三区| 岛国视频午夜一区免费看| 日韩欧美在线二视频| 亚洲欧美日韩无卡精品| 久久久久久亚洲精品国产蜜桃av| 国产野战对白在线观看| 18禁黄网站禁片午夜丰满| 日本黄大片高清| www.www免费av| 欧美激情久久久久久爽电影| 欧美日韩亚洲综合一区二区三区_| 99国产精品99久久久久| 亚洲国产欧美人成| 国语自产精品视频在线第100页| 国产精品九九99| 欧美一级a爱片免费观看看 | 国产成+人综合+亚洲专区| 久久久国产精品麻豆| 国产精品电影一区二区三区| 亚洲精品粉嫩美女一区| 看片在线看免费视频| 国产av不卡久久| 91大片在线观看| 国产精品久久久人人做人人爽| 久久久久久亚洲精品国产蜜桃av| 亚洲自拍偷在线| 国产日本99.免费观看| 亚洲专区中文字幕在线| 久久九九热精品免费| 午夜两性在线视频| 男插女下体视频免费在线播放| 久久国产精品影院| 国产精品久久视频播放| 国产精品亚洲一级av第二区| 日韩大码丰满熟妇| 动漫黄色视频在线观看| 精品欧美国产一区二区三| 国产亚洲精品久久久久久毛片| 国产精品久久视频播放| 国产精品亚洲一级av第二区| 禁无遮挡网站| 久久婷婷成人综合色麻豆| 18禁裸乳无遮挡免费网站照片| 免费无遮挡裸体视频| 欧美成人性av电影在线观看| 少妇熟女aⅴ在线视频| 男女之事视频高清在线观看| 久久久久国产精品人妻aⅴ院| 日本a在线网址| 亚洲一区二区三区不卡视频| 香蕉丝袜av| 欧美日韩国产亚洲二区| 18禁美女被吸乳视频| 欧美 亚洲 国产 日韩一| 制服丝袜大香蕉在线| 久久精品国产综合久久久| 久久久久久国产a免费观看| 国产久久久一区二区三区| 亚洲国产欧美网| 日日摸夜夜添夜夜添小说| 啦啦啦免费观看视频1| 两性夫妻黄色片| 成人高潮视频无遮挡免费网站| 男女做爰动态图高潮gif福利片| 国产精品av久久久久免费| 99久久精品国产亚洲精品| 欧美日韩瑟瑟在线播放| 久久精品影院6| 夜夜夜夜夜久久久久| 色老头精品视频在线观看| 他把我摸到了高潮在线观看| 久99久视频精品免费| 色老头精品视频在线观看| 1024香蕉在线观看| 午夜精品久久久久久毛片777| 国产伦在线观看视频一区| 国产精品久久久人人做人人爽| 国产精品美女特级片免费视频播放器 | 国产欧美日韩精品亚洲av| 亚洲欧美激情综合另类| 婷婷精品国产亚洲av| 亚洲无线在线观看| 久久久久精品国产欧美久久久| 国产高清视频在线播放一区| 色播亚洲综合网| 亚洲av成人一区二区三| 美女高潮喷水抽搐中文字幕| 国产成人欧美在线观看| 国产乱人伦免费视频| 亚洲成人久久性| 身体一侧抽搐| 一本一本综合久久| 亚洲国产高清在线一区二区三| 1024视频免费在线观看| 激情在线观看视频在线高清| 国产精品爽爽va在线观看网站| 久久久精品大字幕| 欧美午夜高清在线| 国产单亲对白刺激| 日韩免费av在线播放| 嫁个100分男人电影在线观看| 欧美精品啪啪一区二区三区| 国产精品av久久久久免费| 精品久久久久久久人妻蜜臀av| 国产欧美日韩精品亚洲av| 亚洲欧美日韩高清在线视频| 免费在线观看完整版高清| 丰满人妻熟妇乱又伦精品不卡| 18禁黄网站禁片免费观看直播| 非洲黑人性xxxx精品又粗又长| 精品不卡国产一区二区三区| 母亲3免费完整高清在线观看| 搡老熟女国产l中国老女人| 亚洲熟妇熟女久久| 亚洲人成网站高清观看| 天天躁狠狠躁夜夜躁狠狠躁| 亚洲成人久久爱视频| 老司机靠b影院| 午夜福利视频1000在线观看| 亚洲人成网站在线播放欧美日韩| 中国美女看黄片| 日本成人三级电影网站| 久久精品成人免费网站| 国产精品98久久久久久宅男小说| 一级片免费观看大全| 欧美不卡视频在线免费观看 | ponron亚洲| 无限看片的www在线观看| 亚洲av电影在线进入| 欧美大码av| 日韩欧美一区二区三区在线观看| www.精华液| 色噜噜av男人的天堂激情| 黄片小视频在线播放| 夜夜夜夜夜久久久久| 精品人妻1区二区| 首页视频小说图片口味搜索| 国产免费av片在线观看野外av| 成人18禁高潮啪啪吃奶动态图| 在线免费观看的www视频| 欧美一级毛片孕妇| 男人舔女人的私密视频| cao死你这个sao货| 嫁个100分男人电影在线观看| 韩国av一区二区三区四区| 久久天堂一区二区三区四区| 国产69精品久久久久777片 | 成人特级黄色片久久久久久久| 午夜精品久久久久久毛片777| 人人妻,人人澡人人爽秒播| 久久久国产成人精品二区| 日韩欧美精品v在线| 99热这里只有精品一区 | av在线天堂中文字幕| 特级一级黄色大片| 日韩大码丰满熟妇| www.自偷自拍.com| 熟女少妇亚洲综合色aaa.| 久久中文看片网| 久久 成人 亚洲| 性色av乱码一区二区三区2| 欧美精品亚洲一区二区| 精品欧美国产一区二区三| 午夜免费成人在线视频| 日韩欧美在线二视频| 亚洲熟妇中文字幕五十中出| 国产熟女xx| 日日干狠狠操夜夜爽| 亚洲中文字幕日韩| 三级毛片av免费| 美女午夜性视频免费| 精品第一国产精品| 午夜福利免费观看在线| 老司机在亚洲福利影院| 后天国语完整版免费观看| 精品人妻1区二区| 国产精品久久电影中文字幕| 亚洲熟妇熟女久久| 在线十欧美十亚洲十日本专区| 日韩高清综合在线| 精品电影一区二区在线| 亚洲av电影不卡..在线观看| 深夜精品福利| 久久精品亚洲精品国产色婷小说| 午夜福利在线观看吧| 欧美一区二区精品小视频在线| 国产区一区二久久| 久久天堂一区二区三区四区| 在线国产一区二区在线| 免费人成视频x8x8入口观看| 国产精品综合久久久久久久免费| 国产成人欧美在线观看| 久久久久久久久久黄片| 亚洲av成人一区二区三| 麻豆av在线久日| 亚洲专区中文字幕在线| 亚洲男人的天堂狠狠| 国产av不卡久久| 99国产精品一区二区三区| 禁无遮挡网站| 亚洲精品一区av在线观看| 亚洲国产中文字幕在线视频| 长腿黑丝高跟| 亚洲自偷自拍图片 自拍| 又大又爽又粗| 亚洲精品一区av在线观看| 亚洲国产中文字幕在线视频| 亚洲国产欧美人成| 国产黄片美女视频| 成人av在线播放网站| 日韩 欧美 亚洲 中文字幕| 怎么达到女性高潮| 欧美成人性av电影在线观看| 免费在线观看影片大全网站| 久久精品国产99精品国产亚洲性色| 国产欧美日韩一区二区三| 色综合婷婷激情| 久久精品91无色码中文字幕| 波多野结衣高清无吗| 国内久久婷婷六月综合欲色啪| 麻豆国产97在线/欧美 | 日韩欧美免费精品| 欧美三级亚洲精品| 女人被狂操c到高潮| 国产91精品成人一区二区三区| 欧美高清成人免费视频www| 亚洲五月天丁香| 亚洲av成人不卡在线观看播放网| 色尼玛亚洲综合影院| 91成年电影在线观看| 亚洲专区国产一区二区| 热99re8久久精品国产| 国产av一区二区精品久久| 久久久久久久久中文| 久久精品91无色码中文字幕| 午夜免费成人在线视频| 久久国产精品人妻蜜桃| 欧美性猛交黑人性爽| 白带黄色成豆腐渣| 国产成人一区二区三区免费视频网站| 丰满的人妻完整版| 在线观看舔阴道视频| 男人的好看免费观看在线视频 | 欧美国产日韩亚洲一区| 亚洲无线在线观看| 国产视频一区二区在线看| 桃色一区二区三区在线观看| 欧美黑人欧美精品刺激| 欧美绝顶高潮抽搐喷水| 真人一进一出gif抽搐免费| 亚洲国产精品sss在线观看| 高潮久久久久久久久久久不卡| 国产高清有码在线观看视频 | 一本久久中文字幕| 亚洲国产精品sss在线观看| 怎么达到女性高潮| 免费搜索国产男女视频| 此物有八面人人有两片| 中文在线观看免费www的网站 | 在线a可以看的网站| aaaaa片日本免费| 欧美黄色片欧美黄色片| 欧美日韩瑟瑟在线播放| 女警被强在线播放| 一进一出好大好爽视频| 亚洲自偷自拍图片 自拍| 国产熟女午夜一区二区三区| 男人舔女人下体高潮全视频| 精品国内亚洲2022精品成人| cao死你这个sao货| 久久久久亚洲av毛片大全| 天堂影院成人在线观看| 午夜亚洲福利在线播放| 欧美一区二区精品小视频在线| 国内久久婷婷六月综合欲色啪| 久久中文字幕人妻熟女| 久久久久久免费高清国产稀缺| 精品午夜福利视频在线观看一区| 麻豆国产97在线/欧美 | 久久久久久久精品吃奶| 亚洲av成人不卡在线观看播放网| 九色国产91popny在线| 欧美成人性av电影在线观看| 伊人久久大香线蕉亚洲五| 91大片在线观看| 淫秽高清视频在线观看| 亚洲欧美日韩东京热| 18美女黄网站色大片免费观看| 亚洲第一欧美日韩一区二区三区| 婷婷精品国产亚洲av在线| 成年免费大片在线观看| 精品电影一区二区在线| 丰满人妻熟妇乱又伦精品不卡| 欧美在线黄色| 天堂影院成人在线观看| 日韩三级视频一区二区三区| 久久久久免费精品人妻一区二区| 亚洲aⅴ乱码一区二区在线播放 | 男人的好看免费观看在线视频 | 国内精品久久久久精免费| 老鸭窝网址在线观看| 男女午夜视频在线观看| 亚洲欧美日韩高清在线视频| 日本 欧美在线| 色在线成人网| 久久 成人 亚洲| 黄片大片在线免费观看| 国产亚洲精品第一综合不卡| 99精品在免费线老司机午夜|