色哟哟视频在线观看-色哟哟视频在线-色哟哟欧美15最新在线-色哟哟免费在线观看-国产l精品国产亚洲区在线观看-国产l精品国产亚洲区久久

0
  • 聊天消息
  • 系統(tǒng)消息
  • 評論與回復(fù)
登錄后你可以
  • 下載海量資料
  • 學(xué)習(xí)在線課程
  • 觀看技術(shù)視頻
  • 寫文章/發(fā)帖/加入社區(qū)
會員中心
創(chuàng)作中心

完善資料讓更多小伙伴認識你,還能領(lǐng)取20積分哦,立即完善>

3天內(nèi)不再提示

利用CAS技術(shù)實現(xiàn)無鎖隊列

Linux愛好者 ? 來源:Linux愛好者 ? 作者:陳皓 ? 2021-01-11 10:52 ? 次閱讀

導(dǎo)讀】:本文主要講解利用CAS技術(shù)實現(xiàn)無鎖隊列。

關(guān)于無鎖隊列的實現(xiàn),網(wǎng)上有很多文章,雖然本文可能和那些文章有所重復(fù),但是我還是想以我自己的方式把這些文章中的重要的知識點串起來和大家講一講這個技術(shù)。下面開始正文。

關(guān)于CAS等原子操作

在開始說無鎖隊列之前,我們需要知道一個很重要的技術(shù)就是CAS操作——Compare & Set,或是Compare & Swap,現(xiàn)在幾乎所有的CPU指令都支持CAS的原子操作,X86下對應(yīng)的是 CMPXCHG 匯編指令。有了這個原子操作,我們就可以用其來實現(xiàn)各種無鎖(lock free)的數(shù)據(jù)結(jié)構(gòu)。

這個操作用C語言來描述就是下面這個樣子:(代碼來自Wikipedia的Compare And Swap詞條)意思就是說,看一看內(nèi)存*reg里的值是不是oldval,如果是的話,則對其賦值newval。

intcompare_and_swap(int*reg,intoldval,intnewval)
{
intold_reg_val=*reg;
if(old_reg_val==oldval){
*reg=newval;
}
returnold_reg_val;
}

我們可以看到,old_reg_val 總是返回,于是,我們可以在 compare_and_swap 操作之后對其進行測試,以查看它是否與 oldval相匹配,因為它可能有所不同,這意味著另一個并發(fā)線程已成功地競爭到 compare_and_swap 并成功將 reg 值從 oldval 更改為別的值了。

這個操作可以變種為返回bool值的形式(返回 bool值的好處在于,可以調(diào)用者知道有沒有更新成功):

boolcompare_and_swap(int*addr,intoldval,intnewval)
{
if(*addr!=oldval){
returnfalse;
}
*addr=newval;
returntrue;
}

與CAS相似的還有下面的原子操作:(這些東西大家自己看Wikipedia,也沒什么復(fù)雜的)

  • Fetch And Add,一般用來對變量做 +1 的原子操作

  • Test-and-set,寫值到某個內(nèi)存位置并傳回其舊值。匯編指令BST

  • Test and Test-and-set,用來低低Test-and-Set的資源爭奪情況

:在實際的C/C++程序中,CAS的各種實現(xiàn)版本如下:

1)GCC的CAS

GCC4.1+版本中支持CAS的原子操作(完整的原子操作可參看 GCC Atomic Builtins)

bool__sync_bool_compare_and_swap(type*ptr,typeoldvaltypenewval,...)
type__sync_val_compare_and_swap(type*ptr,typeoldvaltypenewval,...)

2)Windows的CAS

在Windows下,你可以使用下面的Windows API來完成CAS:(完整的Windows原子操作可參看MSDN的InterLocked Functions)

InterlockedCompareExchange(__inoutLONGvolatile*Target,
__inLONGExchange,
__inLONGComperand);

3) C++11中的CAS

C++11中的STL中的atomic類的函數(shù)可以讓你跨平臺。(完整的C++11的原子操作可參看 Atomic Operation Library)

template
boolatomic_compare_exchange_weak(std::atomic*obj,
T*expected,Tdesired);
template
boolatomic_compare_exchange_weak(volatilestd::atomic*obj,
T*expected,Tdesired);

無鎖隊列的鏈表實現(xiàn)

下面的代碼主要參考于兩篇論文:

  • John D. Valois 1994年10月在拉斯維加斯的并行和分布系統(tǒng)系統(tǒng)國際大會上的一篇論文——《Implementing Lock-Free Queues》

  • 美國紐約羅切斯特大學(xué) Maged M. Michael 和 Michael L. Scott 在1996年3月發(fā)表的一篇論文 《Simple, Fast, and Practical Non-Blocking and Blocking ConcurrentQueue Algorithms》

(注:下面的代碼并不完全與這篇論文相同)

初始化一個隊列的代碼很簡,初始化一個dummy結(jié)點(注:在鏈表操作中,使用一個dummy結(jié)點,可以少掉很多邊界條件的判斷),如下所示:

InitQueue(Q)
{
node=newnode()
node->next=NULL;
Q->head=Q->tail=node;
}

我們先來看一下進隊列用CAS實現(xiàn)的方式,基本上來說就是鏈表的兩步操作:

第一步,把tail指針的next指向要加入的結(jié)點。tail->next = p;

第二步,把tail指針移到隊尾。tail = p;

EnQueue(Q,data)//進隊列
{
//準備新加入的結(jié)點數(shù)據(jù)
n=newnode();
n->value=data;
n->next=NULL;
do{
p=Q->tail;//取鏈表尾指針的快照
}while(CAS(p->next,NULL,n)!=TRUE);
//while條件注釋:如果沒有把結(jié)點鏈在尾指針上,再試
CAS(Q->tail,p,n);//置尾結(jié)點tail=n;
}

我們可以看到,程序中的那個 do-while 的 Retry-Loop 中的 CAS 操作:如果 p->next 是 NULL,那么,把新結(jié)點 n 加到隊尾。如果不成功,則重新再來一次!

就是說,很有可能我在準備在隊列尾加入結(jié)點時,別的線程已經(jīng)加成功了,于是tail指針就變了,于是我的CAS返回了false,于是程序再試,直到試成功為止。這個很像我們的搶電話熱線的不停重播的情況。

但是你會看到,為什么我們的“置尾結(jié)點”的操作(第13行)不判斷是否成功,因為:

  • 如果有一個線程T1,它的while中的CAS如果成功的話,那么其它所有的 隨后線程的CAS都會失敗,然后就會再循環(huán),

  • 此時,如果T1 線程還沒有更新tail指針,其它的線程繼續(xù)失敗,因為tail->next不是NULL了。

  • 直到T1線程更新完 tail 指針,于是其它的線程中的某個線程就可以得到新的 tail 指針,繼續(xù)往下走了。

  • 所以,只要線程能從 while 循環(huán)中退出來,意味著,它已經(jīng)“獨占”了,tail 指針必然可以被更新。

  • 這里有一個潛在的問題——如果T1線程在用CAS更新tail指針的之前,線程停掉或是掛掉了,那么其它線程就進入死循環(huán)了。下面是改良版的EnQueue()

EnQueue(Q,data)//進隊列改良版v1
{
n=newnode();
n->value=data;
n->next=NULL;
p=Q->tail;
oldp=p
do{
while(p->next!=NULL)
p=p->next;
}while(CAS(p.next,NULL,n)!=TRUE);//如果沒有把結(jié)點鏈在尾上,再試
CAS(Q->tail,oldp,n);//置尾結(jié)點
}

我們讓每個線程,自己fetch 指針 p 到鏈表尾。但是這樣的fetch會很影響性能。而且,如果一個線程不斷的EnQueue,會導(dǎo)致所有的其它線程都去 fetch 他們的 p 指針到隊尾,能不能不要所有的線程都干同一個事?這樣可以節(jié)省整體的時間?

比如:直接 fetch Q->tail 到隊尾?因為,所有的線程都共享著 Q->tail,所以,一旦有人動了它后,相當于其它的線程也跟著動了,于是,我們的代碼可以改進成如下的實現(xiàn):

EnQueue(Q,data)//進隊列改良版v2
{
n=newnode();
n->value=data;
n->next=NULL;
while(TRUE){
//先取一下尾指針和尾指針的next
tail=Q->tail;
next=tail->next;
//如果尾指針已經(jīng)被移動了,則重新開始
if(tail!=Q->tail)continue;
//如果尾指針的next不為NULL,則fetch全局尾指針到next
if(next!=NULL){
CAS(Q->tail,tail,next);
continue;
}
//如果加入結(jié)點成功,則退出
if(CAS(tail->next,next,n)==TRUE)break;
}
CAS(Q->tail,tail,n);//置尾結(jié)點
}

上述的代碼還是很清楚的,相信你一定能看懂,而且,這也是 Java 中的 ConcurrentLinkedQueue 的實現(xiàn)邏輯,當然,我上面的這個版本比 Java 的好一點,因為沒有 if 嵌套,嘿嘿。

好了,我們解決了EnQueue,我們再來看看DeQueue的代碼:(很簡單,我就不解釋了)

DeQueue(Q)//出隊列
{
do{
p=Q->head;
if(p->next==NULL){
returnERR_EMPTY_QUEUE;
}
while(CAS(Q->head,p,p->next)!=TRUE);
returnp->next->value;
}

我們可以看到,DeQueue的代碼操作的是 head->next,而不是 head 本身。這樣考慮是因為一個邊界條件,我們需要一個dummy的頭指針來解決鏈表中如果只有一個元素,head 和 tail 都指向同一個結(jié)點的問題,這樣 EnQueue 和 DeQueue 要互相排斥了。

但是,如果 head 和 tail 都指向同一個結(jié)點,這意味著隊列為空,應(yīng)該返回 ERR_EMPTY_QUEUE,但是,在判斷 p->next == NULL 時,另外一個EnQueue操作做了一半,此時的 p->next 不為 NULL了,但是 tail 指針還差最后一步,沒有更新到新加的結(jié)點,這個時候就會出現(xiàn),在 EnQueue 并沒有完成的時候, DeQueue 已經(jīng)把新增加的結(jié)點給取走了,此時,隊列為空,但是,head 與 tail 并沒有指向同一個結(jié)點。如下所示:b031238e-523c-11eb-8b86-12bb97331649.jpg

雖然,EnQueue的函數(shù)會把 tail 指針置對,但是,這種情況可能還是會導(dǎo)致一些并發(fā)問題,所以,嚴謹來說,我們需要避免這種情況。于是,我們需要加入更多的判斷條件,還確保這個問題。下面是相關(guān)的改進代碼:

DeQueue(Q)//出隊列,改進版
{
while(TRUE){
//取出頭指針,尾指針,和第一個元素的指針
head=Q->head;
tail=Q->tail;
next=head->next;
//Q->head指針已移動,重新取head指針
if(head!=Q->head)continue;

//如果是空隊列
if(head==tail&&next==NULL){
returnERR_EMPTY_QUEUE;
}

//如果tail指針落后了
if(head==tail&&next==NULL){
CAS(Q->tail,tail,next);
continue;
}
//移動head指針成功后,取出數(shù)據(jù)
if(CAS(Q->head,head,next)==TRUE){
value=next->value;
break;
}
}
free(head);//釋放老的dummy結(jié)點
returnvalue;
}

上面這段代碼的邏輯和 Java 的 ConcurrentLinkedQueue 的 poll 方法很一致了。也是《Simple, Fast, and Practical Non-Blocking and Blocking ConcurrentQueue Algorithms》這篇論文中的實現(xiàn)。

CAS的ABA問題

所謂ABA(見維基百科的ABA詞條),問題基本是這個樣子:

  • 進程P1在共享變量中讀到值為A

  • P1被搶占了,進程P2執(zhí)行

  • P2把共享變量里的值從A改成了B,再改回到A,此時被P1搶占。

  • P1回來看到共享變量里的值沒有被改變,于是繼續(xù)執(zhí)行。

雖然P1以為變量值沒有改變,繼續(xù)執(zhí)行了,但是這個會引發(fā)一些潛在的問題。ABA問題最容易發(fā)生在lock free 的算法中的,CAS首當其沖,因為CAS判斷的是指針的值。很明顯,值是很容易又變成原樣的。

比如上述的DeQueue()函數(shù),因為我們要讓head和tail分開,所以我們引入了一個dummy指針給head,當我們做CAS的之前,如果head的那塊內(nèi)存被回收并被重用了,而重用的內(nèi)存又被EnQueue()進來了,這會有很大的問題。(內(nèi)存管理中重用內(nèi)存基本上是一種很常見的行為)

這個例子你可能沒有看懂,維基百科上給了一個活生生的例子——

你拿著一個裝滿錢的手提箱在飛機場,此時過來了一個火辣性感的美女,然后她很暖昧地挑逗著你,并趁你不注意的時候,把用一個一模一樣的手提箱和你那裝滿錢的箱子調(diào)了個包,然后就離開了,你看到你的手提箱還在那,于是就提著手提箱去趕飛機去了。

這就是ABA的問題。

解決ABA的問題

維基百科上給了一個解——使用double-CAS(雙保險的CAS),例如,在32位系統(tǒng)上,我們要檢查64位的內(nèi)容

  • 一次用CAS檢查雙倍長度的值,前半部是值,后半部分是一個計數(shù)器。

  • 只有這兩個都一樣,才算通過檢查,要吧賦新的值。并把計數(shù)器累加1。

這樣一來,ABA發(fā)生時,雖然值一樣,但是計數(shù)器就不一樣(但是在32位的系統(tǒng)上,這個計數(shù)器會溢出回來又從1開始的,這還是會有ABA的問題)

當然,我們這個隊列的問題就是不想讓那個內(nèi)存重用,這樣明確的業(yè)務(wù)問題比較好解決,論文《Implementing Lock-Free Queues》給出一這么一個方法——使用結(jié)點內(nèi)存引用計數(shù)refcnt!(論文《Simple, Fast, and Practical Non-Blocking and Blocking ConcurrentQueue Algorithms》中的實現(xiàn)方法也基本上是一樣的,用到的是增加一個計數(shù),可以理解為版本號)

SafeRead(q)
{
loop:
p=q->next;
if(p==NULL){
returnp;
}
Fetch&Add(p->refcnt,1);
if(p==q->next){
returnp;
}else{
Release(p);
}
gotoloop;
}

其中的 Fetch&Add和Release分是是加引用計數(shù)和減引用計數(shù),都是原子操作,這樣就可以阻止內(nèi)存被回收了。

用數(shù)組實現(xiàn)無鎖隊列

本實現(xiàn)來自論文《Implementing Lock-Free Queues》

使用數(shù)組來實現(xiàn)隊列是很常見的方法,因為沒有內(nèi)存的分部和釋放,一切都會變得簡單,實現(xiàn)的思路如下:

  • 數(shù)組隊列應(yīng)該是一個ring buffer形式的數(shù)組(環(huán)形數(shù)組)

  • 數(shù)組的元素應(yīng)該有三個可能的值:HEAD,TAIL,EMPTY(當然,還有實際的數(shù)據(jù))

  • 數(shù)組一開始全部初始化成EMPTY,有兩個相鄰的元素要初始化成HEAD和TAIL,這代表空隊列。

  • EnQueue操作。假設(shè)數(shù)據(jù)x要入隊列,定位TAIL的位置,使用double-CAS方法把(TAIL, EMPTY) 更新成 (x, TAIL)。需要注意,如果找不到(TAIL, EMPTY),則說明隊列滿了。

  • DeQueue操作。定位HEAD的位置,把(HEAD, x)更新成(EMPTY, HEAD),并把x返回。同樣需要注意,如果x是TAIL,則說明隊列為空。

算法的一個關(guān)鍵是——如何定位HEAD或TAIL?

  • 我們可以聲明兩個計數(shù)器,一個用來計數(shù)EnQueue的次數(shù),一個用來計數(shù)DeQueue的次數(shù)。

  • 這兩個計算器使用使用Fetch&ADD來進行原子累加,在EnQueue或DeQueue完成的時候累加就好了。

  • 累加后求個模什么的就可以知道TAIL和HEAD的位置了。

如下圖所示:

b05246d6-523c-11eb-8b86-12bb97331649.jpg

小結(jié)

以上基本上就是所有的無鎖隊列的技術(shù)細節(jié),這些技術(shù)都可以用在其它的無鎖數(shù)據(jù)結(jié)構(gòu)上。

  • 無鎖隊列主要是通過CAS、FAA這些原子操作,和Retry-Loop實現(xiàn)。

  • 對于Retry-Loop,我個人感覺其實和鎖什么什么兩樣。只是這種“鎖”的粒度變小了,主要是“鎖”HEAD和TAIL這兩個關(guān)鍵資源。而不是整個數(shù)據(jù)結(jié)構(gòu)。

還有一些和Lock Free的文章你可以去看看:

Code Project 上的雄文 《Yet another implementation of a lock-free circular array queue》

Herb Sutter的《Writing Lock-Free Code: A Corrected Queue》– 用C++11的std::atomic模板。

IBM developerWorks的《設(shè)計不使用互斥鎖的并發(fā)數(shù)據(jù)結(jié)構(gòu)》

責任編輯:xj

原文標題:無鎖隊列的實現(xiàn)

文章出處:【微信公眾號:Linux愛好者】歡迎添加關(guān)注!文章轉(zhuǎn)載請注明出處。


聲明:本文內(nèi)容及配圖由入駐作者撰寫或者入駐合作網(wǎng)站授權(quán)轉(zhuǎn)載。文章觀點僅代表作者本人,不代表電子發(fā)燒友網(wǎng)立場。文章及其配圖僅供工程師學(xué)習(xí)之用,如有內(nèi)容侵權(quán)或者其他違規(guī)問題,請聯(lián)系本站處理。 舉報投訴
  • Linux
    +關(guān)注

    關(guān)注

    87

    文章

    11294

    瀏覽量

    209343
  • CAS
    CAS
    +關(guān)注

    關(guān)注

    0

    文章

    34

    瀏覽量

    15203

原文標題:無鎖隊列的實現(xiàn)

文章出處:【微信號:LinuxHub,微信公眾號:Linux愛好者】歡迎添加關(guān)注!文章轉(zhuǎn)載請注明出處。

收藏 人收藏

    評論

    相關(guān)推薦

    JavaWeb消息隊列使用指南

    在現(xiàn)代的JavaWeb應(yīng)用中,消息隊列(Message Queue)是一種常見的技術(shù),用于異步處理任務(wù)、解耦系統(tǒng)組件、提高系統(tǒng)性能和可靠性。 1. 消息隊列的基本概念 消息隊列是一種應(yīng)
    的頭像 發(fā)表于 11-25 09:27 ?142次閱讀

    嵌入式環(huán)形隊列與消息隊列實現(xiàn)原理

    嵌入式環(huán)形隊列,也稱為環(huán)形緩沖區(qū)或循環(huán)隊列,是一種先進先出(FIFO)的數(shù)據(jù)結(jié)構(gòu),用于在固定大小的存儲區(qū)域中高效地存儲和訪問數(shù)據(jù)。其主要特點包括固定大小的數(shù)組和兩個指針(頭指針和尾指針),分別指向隊列的起始位置和結(jié)束位置。
    的頭像 發(fā)表于 09-02 15:29 ?480次閱讀

    D存器的基本實現(xiàn)

    在Verilog HDL中實現(xiàn)存器(Latch)通常涉及對硬件描述語言的基本理解,特別是關(guān)于信號如何根據(jù)控制信號的變化而保持或更新其值。存器與觸發(fā)器(Flip-Flop)的主要區(qū)別在于,
    的頭像 發(fā)表于 08-30 10:45 ?761次閱讀

    實現(xiàn)源逆變的滿足條件是什么

    源逆變是一種將直流電能轉(zhuǎn)換為交流電能的技術(shù),廣泛應(yīng)用于電力電子領(lǐng)域。 源逆變概述 1.1 源逆變定義 源逆變是一種將直流電能轉(zhuǎn)換為交
    的頭像 發(fā)表于 08-02 17:14 ?946次閱讀

    玩轉(zhuǎn)RT-Thread之消息隊列的應(yīng)用

    在嵌入式系統(tǒng)開發(fā)中,實時處理串口和ADC數(shù)據(jù)是一項重要的任務(wù)。本文將介紹如何在RT-Thread實時操作系統(tǒng)中,利用消息隊列來同時處理來自串口和ADC的數(shù)據(jù)。通過這種方法,我們能夠高效地管理和處理
    的頭像 發(fā)表于 07-23 08:11 ?608次閱讀
    玩轉(zhuǎn)RT-Thread之消息<b class='flag-5'>隊列</b>的應(yīng)用

    利用滑模觀測器實現(xiàn)永磁同步電機的傳感器磁場定向控制

    利用滑模觀測器實現(xiàn)永磁同步電機的傳感器磁場定向控制
    發(fā)表于 07-13 09:32 ?1次下載

    互斥和自旋實現(xiàn)原理

    保護共享資源不被多個線程同時訪問。它的實現(xiàn)原理主要包括以下幾個方面: 1. 的初始化 互斥鎖在創(chuàng)建時需要進行初始化,通常包括設(shè)置的狀態(tài)為“未鎖定”。在某些實現(xiàn)中,還需要初始化
    的頭像 發(fā)表于 07-10 10:07 ?484次閱讀

    進程間通信的消息隊列介紹

    消息隊列是一種非常常見的進程間通信方式。
    的頭像 發(fā)表于 04-08 17:27 ?309次閱讀

    MCU專屬隊列功能模塊之QueueForMcu應(yīng)用

    當需要從隊列頭部獲取多個數(shù)據(jù),但又不希望數(shù)據(jù)從隊列中刪除時,可以使用 Queue_Peek_Array 函數(shù)來實現(xiàn),該函數(shù)的參數(shù)與返回值與 Queue_Pop_Array 完全相同。
    發(fā)表于 03-20 11:44 ?509次閱讀
    MCU專屬<b class='flag-5'>隊列</b>功能模塊之QueueForMcu應(yīng)用

    PLC的點動與自設(shè)計功能實現(xiàn)

    我們通過加裝一個中間繼電器M0.0來實現(xiàn)與點動功能。
    的頭像 發(fā)表于 03-11 14:06 ?1401次閱讀
    PLC的點動與自<b class='flag-5'>鎖</b>設(shè)計功能<b class='flag-5'>實現(xiàn)</b>

    如何利用rfid技術(shù)實現(xiàn)對牛羊的識別

    智慧養(yǎng)殖利用RFID技術(shù)實現(xiàn)養(yǎng)殖場信息化管理,包括動物身份識別、智能分欄、精準飼喂、智能稱重等。RFID電子耳標內(nèi)嵌芯片,通過耳標佩戴、掃描、錄入,準確確定養(yǎng)殖數(shù)量和牛羊身份信息,實現(xiàn)
    的頭像 發(fā)表于 02-23 14:15 ?812次閱讀

    裸機中環(huán)形隊列與RTOS中消息隊列有何區(qū)別呢?

    “環(huán)形隊列”和“消息隊列”在嵌入式領(lǐng)域有應(yīng)用非常廣泛,相信有經(jīng)驗的嵌入式軟件工程師對它們都不陌生。
    的頭像 發(fā)表于 01-26 09:38 ?712次閱讀
    裸機中環(huán)形<b class='flag-5'>隊列</b>與RTOS中消息<b class='flag-5'>隊列</b>有何區(qū)別呢?

    labview 隊列最前端插入的應(yīng)用

    LabVIEW是一種用于實時測試、測量和控制系統(tǒng)的高級系統(tǒng)設(shè)計軟件。它采用了數(shù)據(jù)流編程方式,提供了一種直觀、可視化的方法來構(gòu)建復(fù)雜的測試和測量應(yīng)用程序。其中一個重要的功能是隊列,它可以在軟件設(shè)計中
    的頭像 發(fā)表于 01-08 11:45 ?1186次閱讀

    labview隊列有什么實際作用

    LabVIEW隊列是一種數(shù)據(jù)結(jié)構(gòu),常用于解決多任務(wù)并發(fā)處理的問題。它被廣泛應(yīng)用于科學(xué)研究、工程項目和自動化控制等領(lǐng)域。在LabVIEW中,隊列提供了一種高效、方便的方式來處理不同任務(wù)之間的數(shù)據(jù)
    的頭像 發(fā)表于 01-05 16:42 ?1583次閱讀

    分布式的三種實現(xiàn)方式

    分布式的三種實現(xiàn)方式? 分布式是在分布式系統(tǒng)中用于實現(xiàn)對共享資源進行訪問控制的一種機制。分布式
    的頭像 發(fā)表于 12-28 10:01 ?895次閱讀
    主站蜘蛛池模板: 国产精品无码AV天天爽人妻蜜桃| 99久久免费精品国产| 最新亚洲一区二区三区四区| chinese黑人第一次| 国产乱码一区二区三区| 两百磅美女| 桃花色影院| 97色伦图片97色伦图影院久久| 成人无码在线超碰视频| 精选国产AV精选一区二区三区| 欧美人与动交zOZ0| 亚洲乱码爆乳精品成人毛片| 99在线精品国自产拍不卡| 国产欧美精品一区二区色综合| 麻豆精品国产剧情观看| 国内视频在线精品一区| 欧美熟妇VIVOE精品| 亚洲欧美高清在线精品一区| 成人小视频在线观看| 久久永久视频| 亚洲伊人精品| 丰满人妻妇伦又伦精品APP国产| 久久久国产精品免费A片3D| 天天啪免费视频在线看| bbbbbxxxxx肥胖| 恋夜秀场支持安卓版全部视频国产| 午夜福到在线2019| 成人在线观看国产| 蜜芽在线影片| 中文字幕一区二区三区在线播放| 花蝴蝶hd免费| 亚洲成色WWW久久网站夜月| 国产成人小视频| 日韩免费一区| 爆乳啪啪无码成人二区亚洲欧美| 麻豆天美国产一区在线播放| 在线A亚洲老鸭窝天堂AV高清| 精品粉嫩BBWBBZBBW| 亚洲乱码在线卡一卡二卡新区| 国产午夜精品一区二区| 无码一区二区三区|