Артқы қысымды бағыттау - Backpressure routing - Wikipedia

Жылы кезек теориясы, математикалық пән ықтималдық теориясы, кері қысымды бағыттау алгоритмі - бұл кезек күткен желі айналасындағы трафикті бағыттау әдісі, ол желінің максималды өнімділігіне қол жеткізеді,[1] тұжырымдамаларын қолдану арқылы белгіленеді Ляпунов дрейф. Артқы қысымды бағыттау әр жұмыс желідегі бірнеше қызмет түйіндеріне кіре алатын жағдайды қарастырады. Бұл кеңейту максималды салмақ кестесі мұнда әр жұмыс тек бір қызмет түйініне барады.

Кіріспе

Артқы қысымды бағыттау трафикті кептелісті градиенттерді пайдалану арқылы мультипективті желі арқылы динамикалық бағыттау алгоритмі болып табылады. Алгоритмді сымсыз байланыс желілеріне қолдануға болады, оның ішінде сенсорлық желілер, ұялы байланыстың арнайы желілері (MANETS ) және сымсыз және сымдық компоненттері бар гетерогенді желілер.[2][3]

Артқы қысым принциптері басқа салаларға да қолданылуы мүмкін, мысалы өнімді жинау жүйелерін және өңдеу желілерін зерттеуге.[4]Бұл мақала көптеген байланыс ағындарынан пакеттер келетін және тиісті бағыттарға жеткізілетін байланыс желілеріне бағытталған. Артқы қысым алгоритмі саңылаулы уақытта жұмыс істейді. Әрбір слот ол деректерді максималды бағыттарға бағыттауға тырысады дифференциалды артта қалушылық көрші түйіндер арасында. Бұл құбырлар желісі арқылы судың қысым градиенті арқылы қалай ағатындығына ұқсас. Алайда, қысымның алгоритмі көп тауарлы желілерде (әр түрлі пакеттердің тағайындалуы әртүрлі болуы мүмкін) және тарату жылдамдығын (мүмкін уақыт бойынша өзгеруі мүмкін) опциялар жиынтығынан таңдалатын желілерде қолданылуы мүмкін. Артқы қысым алгоритмінің тартымды ерекшеліктері мыналар: (i) бұл желінің максималды өнімділігіне әкеледі, (ii) уақыт бойынша өзгеретін желілік жағдайларға сенімді, (iii) оны трафиктің келу жылдамдығын немесе арнаның тұрақтылығын білмей-ақ жүзеге асыруға болады. Алайда, алгоритм үлкен кідірістерді енгізуі мүмкін, және оны интерференция бар желілерде дәл орындау қиын болуы мүмкін. Кешіктіруді төмендететін және іске асыруды жеңілдететін қысымның өзгеруі төменде сипатталған Кідірісті жақсарту және Таратылған кері қысым.

Артқы қысымды бағыттау негізінен теориялық тұрғыдан зерттелген. Іс жүзінде уақытша сымсыз желілер қысқа жолды есептеу немесе желінің су басуына негізделген альтернативті маршруттау әдістерін қолданды, мысалыТалап бойынша уақытша векторлық векторлық бағдар (AODV),географиялық маршруттау, және өте оппортунистік бағыттау (ExOR) .Алайда, артқы қысымның математикалық оңтайлылық қасиеттері Оңтүстік Калифорния Университетінде және Солтүстік Каролина Мемлекеттік Университетінде сымсыз сынақ төсектерін қолдану тәжірибесінің соңғы эксперименттік көрсетілімдеріне түрткі болды.[5][6][7]

Шығу тегі

Бастапқы қысымның алгоритмін Тассиула және Эфремидс жасаған.[2] Олар а мультип-хоп пакеттің кездейсоқ келуімен және сілтемені таңдаудың белгіленген жиынтығымен радиоарқылы желі. Олардың алгоритмі а максималды салмақты таңдау кезең және а дифференциалды артта қалуды бағыттау Авербух пен Лейтонда көп тауарлы желі ағындарын есептеуге арналған кері қысыммен байланысты алгоритм жасалды.[8]Артқы қысым алгоритмін кейінірек Нили, Модиано және Рорс мобильді желілер үшін жоспарлауды өңдеу үшін кеңейтті.[9]Артқы қысым математикалық тұрғыдан теория арқылы талданады Ляпунов дрейф, және желінің утилитасын максимизациялау үшін ағынды басқару механизмдерімен бірге қолдануға болады.[10][11][3][12][13](тағы қараңыз) Утилита оңтайландыру және айыппұлды азайту арқылы кері қысым ).

Бұл қалай жұмыс істейді

Артқы қысымды маршруттау желіні бір ретлоттан екіншісіне ауыстыру кезегінің квадраттарының қосындысын (шамамен) азайтуға мүмкіндік беретін шешімдер қабылдауға арналған. Бұл техниканың нақты математикалық дамуы кейінгі бөлімдерде сипатталған. Бұл бөлімде жалпы желілік модель және осы модельге қатысты кері қысымды бағыттау жұмысы сипатталған.

Мульти-хоп кезегінің желілік моделі

A 5-node multihop network
1-сурет: 6-түйінді көп дүкен. Түйіндер арасындағы көрсеткілер қазіргі көршілерді бейнелейді.

Арқылы бірнеше секіруді қарастырайық N түйіндер (мысалы 1-суретті қараңыз N = 6) .Желі белгіленген уақытпен жұмыс істейді . Әр слотта желіге жаңа мәліметтер түсуі мүмкін, сонымен қатар маршруттау мен жіберуді жоспарлау туралы шешімдер барлық деректерді тиісті орнына жеткізу үшін жасалады. Түйінге арналған деректерге рұқсат беріңіз ретінде белгіленсін тауар туралы мәліметтер. Әр түйіндегі мәліметтер оның тауарына сәйкес сақталады. Үшін және , рұқсат етіңіз тауардың ағымдағы мөлшері болуы керек c түйіндегі деректер n, деп те аталады кезек артта қалу. Түйін ішіндегі кезек артта қалушылықтың суреті 2. суретте көрсетілген Мысалы, артта қалушылық бүтін бірліктерді қабылдай алады пакеттер, бұл деректер белгіленген ұзындықтағы пакеттерге бөлінген жағдайларда пайдалы. Сонымен қатар, ол нақты мән бірліктерін ала алады биттер. Болжам бойынша барлығына және барлық уақыт белгілері т, өйткені ешқандай түйін өзіне арналған деректерді сақтамайды. Әрбір уақыт алаңы, түйіндер деректерді басқаларға жібере алады. Бір түйіннен екінші түйінге берілетін мәліметтер бірінші түйіннің кезегінен алынып, екіншісінің кезегіне қосылады. Тағайындалған жерге жеткізілетін деректер желіден жойылады. Деректер желіге экзогенді түрде келуі мүмкін және түйінге келетін жаңа мәліметтер саны ретінде анықталады n ойықта т бұл ақыр соңында түйінге жеткізілуі керек c.

Келіңіздер болуы тарату жылдамдығы желі арқылы сілтеме арқылы қолданылады (а,б) ұяшықта т, ол түйіннен тасымалдауға болатын деректер көлемін білдіреді а түйінге б ағымдағы слотта. Келіңіздер беру жылдамдығының матрицасы болуы керек. Бұл жіберу жылдамдығы мүмкін уақыт бойынша өзгеретін нұсқалар жиынтығында таңдалуы керек. Нақтырақ айтсақ, желіде уақыт бойынша өзгеретін арналар мен түйіннің ұтқырлығы болуы мүмкін, және бұл оның кез-келген ұясына әсер етуі мүмкін. S(т) топология жағдайы желінің қасиеттерін ұяшыққа түсіретін желі т берілуіне әсер етеді. Келіңіздер топология күйінде қол жетімді болатын жылдамдық матрицасының нұсқаларын ұсынады S(тӘрбір слот т, желілік контроллер бақылайды S(т) трансмиссияларды таңдайды жиынтық ішінде .Қандай таңдау матрицаны әр слотта таңдау үшін т келесі бөлімде сипатталған.

Бұл уақыт бойынша өзгеретін желі моделі бірінші кезекте әрбір ұяшық t жылдамдығы арналық күй матрицасының жалпы функциялары мен қуатты бөлу матрицасымен анықталған жағдайда жасалған.[9] Сондай-ақ модельді ставкалар басқа басқару шешімдерімен анықталған кезде де қолдануға болады, мысалы, серверді бөлу, ішкі жолақты таңдау, кодтау түрі және т.б. Ол қолдайтын берілістердің жылдамдығы белгілі деп болжайды және беру кезінде қателіктер болмайды. Артқы қысымды маршруттаудың кеңейтілген тұжырымдамалары арналық қателіктері бар желілер үшін, соның ішінде сымсыз тарату артықшылығын пайдаланатын желілер үшін қолданыла алады. көп қабылдағыштың әртүрлілігі.[1]

Артқы қысымды бақылау туралы шешімдер

Әр слот т артқы қысымды бақылаушы қадағалайды S(т) және келесі 3 әрекетті орындайды:

  • Біріншіден, әр сілтеме үшін (а,б), ол таңдайды оңтайлы тауар қолдану.
  • Әрі қарай, бұл нені анықтайды матрица қолдану.
  • Соңында, ол тауардың мөлшерін анықтайды ол сілтеме арқылы жіберіледі (а,б) (ең көп болу , бірақ, мүмкін, кейбір жағдайларда аз).

Оңтайлы тауарды таңдау

Әр түйін а өзінің кезектегі артта қалуын және қазіргі көршілеріндегі артта қалушылықты байқайды. A қазіргі көрші түйін а түйін болып табылады б нөлдік емес беру жылдамдығын таңдауға болатындай етіп ағымдағы слотта, осылайша, көршілер жиынтықпен анықталады . Төтенше жағдайда анодта барлығы болуы мүмкін N - көршілер ретінде тағы 1 түйін. Дегенмен, жиынтықтарды пайдалану әдеттегідей белгілі бір географиялық қашықтықтан артық бөлінетін немесе белгілі бір межеден төмен таралатын сигнал күшіне ие болатын түйіндер арасындағы берілісті болдырмайтын, демек, бұл көршілердің саны үшін әлдеқайда аз N - 1. 1-суреттегі мысал көршілерді сілтеме байланыстары арқылы бейнелейді, осылайша 5 түйіннің 4 және 6 көршілері болады. Мысалда көршілер арасындағы симметриялық қатынас ұсынылады (егер 5 4-тің көршісі болса, 4-тің көршісі болады) 5), бірақ бұл жалпы жағдайда қажет емес.

Берілген түйіннің көршілерінің жиынтығы оның ағымдағы слотта беру үшін қолдана алатын шығыс сілтемелерінің жиынтығын анықтайды. Әр шығыс сілтеме үшін (а,б), оңтайлы тауар тауар ретінде анықталады бұл келесілерді максималды етеді дифференциалды артта қалушылық саны:

Оңтайлы тауарды таңдау кез-келген байланыстар ерікті түрде бұзылады.

A closeup of nodes 1 and 2. The optimal commodity to send over link (1,2) is the green commodity.
2-сурет: 1 және 2 түйіндерінің орналасуы. (1,2) сілтеме арқылы жіберілетін оңтайлы тауар - бұл жасыл тауар. Басқа бағытқа жіберілетін оңтайлы тауар (сілтеме арқылы (2,1)) көк түсті тауар болып табылады.

Мысал 2-суретте көрсетілген. Мысалда әрбір кезекте қазіргі уақытта тек 3 тауар бар деп болжануда: қызыл, жасыл, жәнекөк, және бұл пакеттердің бүтін бірліктерімен өлшенеді. (1,2) сілтемеге назар аудара отырып, дифференциалды артта қалушылықтар:

Демек, ұяшыққа сілтеме (1,2) арқылы жіберілетін оңтайлы тауар т бұл жасыл тауар. Екінші жағынан, артқы сілтеме арқылы жіберілетін оңтайлы тауар (2,1) слотқа т бұл көк тауар.

Таңдау μаб(т) матрица

Әрбір сілтеме үшін оңтайлы тауарлар анықталғаннан кейін (а,б), желілік контроллер келесі салмақтарды есептейді :

Салмақ - бұл оңтайлы тауар сілтемесімен байланысты дифференциалдық артта қалушылық мәні (а,б), 0-ге көбейтілген, содан кейін контроллер келесі шешімге сәйкес беріліс жылдамдығын таңдайды максималды салмақ проблема (байланыстарды ерікті түрде бұзу):

Максималды салмақтың шешіміне мысал ретінде, қазіргі ұяшықта делік т, 6 түйіндік желінің әр сілтемесіндегі дифференциалды артта қалулар сілтеме салмағына әкеледі берілген:

Жинақта мүмкін болатын матрицалардың сансыз шексіз санын қамтуы мүмкін, егер қазіргі топология күйі тек 4 мүмкіндікті қабылдайтын болса, қарапайымдылық үшін:


қазіргі топология күйінде берілу жылдамдығының 4 мүмкін таңдауының суреті S(т). Опция (а) тарату жылдамдығымен бір сілтемені (1,5) белсендіреді . Барлық басқа опциялар екі сілтемені қолданады, олардың әрқайсысында активтендіру жылдамдығы 1 құрайды.

Бұл төрт мүмкіндік матрица түрінде ұсынылған:

6 түйін осы мүмкіндіктердің кез-келгенінде жібере де, қабылдай да алмайтынын ескеріңіз, бұл 6 түйін қазіргі уақытта байланыс ауқымынан тыс болғандықтан пайда болуы мүмкін. 4 мүмкіндіктің әрқайсысы үшін ставкалардың өлшенген сомасы:

  • Таңдау (а): .
  • Таңдау (b): .
  • Таңдау (с): .
  • Таңдау (г): .

Максималды салмақ 12-ге тең болғандықтан, желі контроллері кез-келген нұсқаны таңдап, байламды бұза алады. немесе опция .

Маршруттау айнымалыларын аяқтау

Енді оңтайлы тауарлар делік әрбір сілтеме үшін анықталды және трансмиссиялар егер де берілген сілтеме бойынша оңтайлы тауар үшін дифференциалды артта қалушылық болса (а,б) теріс болса, онда ағымдағы ұяшыққа осы сілтеме бойынша деректер берілмейді. Басқа жағдайда, желі жіберуді ұсынады тауар бірліктері осы сілтеме бойынша деректер. Бұл анықтау арқылы жүзеге асырылады маршруттау айнымалылар әр сілтеме үшін (а,б) және әр тауар c, мұнда:

Мәні тауарға ұсынылатын жеткізу жылдамдығын білдіреді c сілтеме арқылы деректер (а,б) ұяшықта т.Алайда, түйіндерде барлық шығыс сілтемелері бойынша ұсынылған тарифтер бойынша берілісті қолдау үшін белгілі бір тауар жеткіліксіз болуы мүмкін. Бұл слотта пайда болады т түйін үшін n және тауар c егер:

Бұл жағдайда барлық деректер жіберіледі, ал нөлдік деректер ұсынылған тарифтердің пайдаланылмаған бөліктерін толтыру үшін қолданылады, нақты деректерді және нөлдік деректерді сәйкес шығыс сілтемелері бойынша ерікті түрде орналастырады (ұсынылған тарифтерге сәйкес). кезек жағдай. Мұндай ағындар желінің өткізгіштік тұрақтылық қасиеттеріне әсер етпейді. Бұл интуитивті түрде, себебі астыңғы қабаттар беру түйінінде артта қалушылық аз болған кезде пайда болады, демек, тұрақсыздық қаупі жоқ.

Кідірісті жақсарту

Артқы қысым алгоритмі алдын-ала көрсетілген жолдарды пайдаланбайды. Жолдар динамикалық түрде үйренеді, әр түрлі пакеттер үшін әр түрлі болуы мүмкін. Кешігу өте үлкен болуы мүмкін, әсіресе жүйені жеңіл жүктегенде, деректерді межелі жерге қарай итеру үшін қысым жеткіліксіз. Мысал ретінде, бір пакет центрді қабылдайды делік, ал ештеңе енбейді. Бұл пакет желімен серуендеуі мүмкін және ешқашан тағайындалған жерге жете алмайды, өйткені қысым градиенттері өспейді. Бұл кері қысымның өткізу қабілеттілігіне немесе тұрақтылығының қасиеттеріне қайшы келмейді, өйткені желі кез-келген уақытта ең көп дегенде бір пакетке ие, демек, тривиальды тұрақты (жеткізу жылдамдығына 0-ге жету, келу жылдамдығына тең).

Сондай-ақ, алдын-ала көрсетілген жолдар жиынтығында кері қысымды жүзеге асыруға болады. Бұл сыйымдылық аймағын шектеуі мүмкін, бірақ жеткізілім мен кешіктіруді жақсартуы мүмкін. Кідірісті жақсартудың тағы бір әдісі, қуаттылық аймағына әсер етпестен жақсартылғансалмақты жағымды бағыттармен байланыстыратын нұсқа.[9] Мұндай жағымсыздықты модельдеу кешеуілдеудің жақсарғанын көрсетті.[1][3]Артқы қысым бірінші-бірінші шығуды қажет етпейтінін ескеріңіз (ФИФО ) кезекте тұру. Соңғы-алғашқы шығу (байқалды)ЛИФО ) қызмет пакеттің басым көпшілігінің кешігуін күрт жақсарта алады, бұл өнімділікке әсер етпейді.[7][14]

Таратылған кері қысым

Тарату жылдамдығы бір рет болатынын ескеріңіз маршруттау шешімі айнымалысы таңдалдықарапайым таралған тәсілмен есептелуі мүмкін, мұнда әр түйін тек өзі мен көршілерінің арасындағы айырмашылықтарды білуді қажет етеді. Алайда, өткізу жылдамдығын таңдау теңдеулердегі максималды салмақ мәселесін шешуді қажет етеді. (1) - (2). Арналар ортогоналды болған жағдайда, алгоритм табиғи үлестірілген іске асыруға ие және әр түйінде бөлек шешімдерге дейін азаяды. Алайда, максималды салмақ мәселесі - бұл каналдар аралық кедергілері бар желілердің орталықтандырылған басқару проблемасы. Оны орталықтандырылған тәсілмен де шешу өте қиын болуы мүмкін.

Сигнал-шу-плюс-интерференция коэффициентімен (SINR) анықталатын байланыс жылдамдығы бар интерференциялық желілер үшін үлестірілген тәсіл рандомизация көмегімен жүзеге асырылуы мүмкін.[9] Әр түйін кездейсоқ түрде әрбір слотты жіберуге шешім қабылдайды т (егер «жіберетін пакет жоқ болса,» нөлдік «пакетті жіберу). Жіберудің нақты жылдамдығы және сәйкес келетін пакеттер 2 қадамды қол алысу арқылы анықталады: Бірінші қадамда кездейсоқ таңдалған таратқыш түйіндері нақты берілім сигналына пропорционалды сигнал күшін жібереді. Екінші қадамда барлық потенциалды қабылдағыш түйіндері пайда болған кедергілерді өлшейді және сол ақпаратты қайта таратқыштарға жібереді. Барлық шығыс сілтемелері үшін SINR деңгейлері (n,б) содан кейін барлық түйіндерге белгілі nжәне әрбір түйін n шеше алады және Осы ақпаратқа негізделген айнымалылар. Нәтижесінде өнімділігі оңтайлы бола бермейді. Алайда, кездейсоқ жіберу процесін арналық күй процесінің бөлігі ретінде қарастыруға болады (егер арнаның күйі процесі өткен шешімдерге тәуелді болмас үшін, нөлдік пакеттер жіберілген жағдайда). Демек, осы үлестірілген іске асырудың нәтижелігі осындай рандомизацияланған берілістерді қолданатын барлық маршруттау және жоспарлау алгоритмдерінің класына қарағанда оңтайлы болады.

Баламалы үлестірілген іске асыруларды шамамен екі классқа біріктіруге болады: алгоритмдердің бірінші сыныбы максималды салмақ есебіне тұрақты мультипликативті факторларды жақындастыруды қарастырады және тұрақты факторлардың нәтижелерін береді. Алгоритмдердің екінші класы уақыт бойынша максималды салмақ мәселесінің шешімдерін жаңартуға негізделген, максималды салмақ проблемасына аддитивті жуықтамаларды қарастырады. Осы екінші кластағы алгоритмдер арналардың статикалық шарттарын және конвергенцияның ұзақ (көбінесе көпмүшелік емес) уақыттарын қажет етеді, дегенмен олар тиісті болжамдар бойынша максималды өнімділікке қол жеткізе алады.[15][4][13] Аддитивті жуықтамалар көбінесе артқы қысымның оңтайлылығын дәлелдеу үшін ескірген кезек артта қалу ақпаратын қолданған кезде пайдалы (Neely мәтінінің 4.10-жаттығуын қараңыз).[13]

Ляпунов дрейфі арқылы математикалық құрастыру

Бұл бөлімде артқы қысым алгоритмі кезек-кезек артта қалу квадраттарының қосындысының бір слоттан екіншісіне өзгеруіне байланысты шекараны ықтимал азайтудың табиғи салдары ретінде қалай пайда болатындығын көрсетеді.[9][3]

Шешімдердің шектеулері мен кезекті жаңарту теңдеуі

Арқылы бірнеше секіруді қарастырайық N жоғарыдағы бөлімде сипатталғандай түйіндер т, желілік контроллер топология күйін бақылайды S(т) және таңдау жылдамдығы және айнымалыларды бағыттау келесі шектеулерді ескере отырып:

Осы маршруттау айнымалылары анықталғаннан кейін берілістер жасалады (қажет болған жағдайда бос толтыруды қолдана отырып), нәтижесінде алынған кезек жазбалары келесілерді қанағаттандырады:

қайда - бұл жаңа тауардың кездейсоқ мөлшері cэкзогенді түрде түйінге келетін мәліметтер n ойықта т, және бұл тауарға бөлінген жеткізу жылдамдығы c сілтемедегі трафик (n,б) ұяшықта т. Ескертіп қой тұрғын үй мөлшерінен артық болуы мүмкін c сілтеме бойынша шынымен берілетін деректер (а,б) ұяшықта т. Себебі, кері кіру түйіні жеткіліксіз болуы мүмкін n. Дәл осы себептен, теңдеулер (6) - теңдік емес, теңсіздік, өйткені тауардың нақты эндогендік келуінен көп болуы мүмкін c түйінге n ойықта т.Теңдеудің маңызды ерекшелігі (6) дегеніміз, егер ол болса да шешімнің айнымалылары кезектегі артта қалудан тәуелсіз таңдалады.

Болжам бойынша барлық слоттар үшін т және бәрі , өйткені кезек өзіне арналған деректерді сақтамайды.

Ляпунов дрейф

Анықтаңыз Ағымдағы кезектің артта қалуының матрицасы ретінде. а деп аталатын келесі теріс емес функцияны анықтаңыз Ляпунов функциясы:

Бұл кезек артта қалу квадраттарының қосындысы (кейінірек талдауда ыңғайлы болу үшін 1/2 көбейтіледі). Жоғарыда көрсетілген сома бәрін қосумен бірдей n, с осындай өйткені барлығына және барлық слоттар т.

The Ляпуновтың шартты дрейфі анықталды:

Келесі теңсіздік барлығына сәйкес келетінін ескеріңіз , , :

Кезекті жаңарту теңдеуін квадраттау арқылы (теңдеу (6)) және жоғарыдағы теңсіздікті қолдану арқылы барлық слоттар үшін мұны көрсету қиын емес т және айнымалыларды жіберу мен бағыттауды таңдау кез-келген алгоритм бойынша және :[3]

қайда B - бұл ұшудың екінші моментіне және тарату жылдамдығының мүмкін болатын екінші моментіне байланысты ақырлы тұрақты.

Қосындыларды ауыстыру арқылы дрейфті азайту

Артқы қысым алгоритмі бақылауға арналған жәнеS(т) әрбір слот т және таңдаңыз және дрифтің оң жағын азайту үшін теңестірілген теңдеу. (7). Себебі B тұрақты және тұрақтылар, бұл максимумға жетеді:

мұнда түпкілікті сомалар максималды шешімді жарықтандыру үшін күту арқылы жіберілді оппортунистік тұрғыдан күтуді арттыру, жоғарыдағы күту оның ішіндегі функцияны максимизациялау арқылы максималды болады (бақыланатынды ескере отырып) , Осылайша, біреу таңдайды және шектеулерді ескере отырып, теңдеулер. (3) - (5) максимизациялау үшін:

Жоғарыда айтылғандарды қандай шешімдер максималды ететіндігі бірден байқалмайды. Мұны қосындыларды ауыстыру арқылы жарықтандыруға болады. Шынында да, жоғарыдағы өрнек төмендегідей:

Салмақ ток деп аталады дифференциалды артта қалушылық тауар c түйіндер арасындағы а және б. Идея - шешімнің айнымалыларын таңдау салмағы дифференциалды артта қалушылық болып табылатын, жоғарыда көрсетілген соманы максималды ету үшін. Бұл интуитивті түрде үлкен дифференциалды артта қалушылыққа үлкен мөлшерлемені бөлуді білдіреді.

Таңдау керек екені анық қашан болса да . Әрі қарай, берілген белгілі бір сілтеме үшін , оңтайлы екенін көрсету қиын емес теңдеулерге сәйкес таңдау. (3) - (5), келесідей анықталады: Алдымен тауарды табыңыз бұл дифференциалды артта қалушылықты максималды етеді сілтеме үшін (а,бЕгер максималды дифференциалдық артта қалушылық сілтеме үшін теріс болса (а,б), тағайындаңыз барлық тауарларға арналған сілтеме бойынша (а,б). Басқа жағдайда, толық сілтеме мөлшерлемесін бөліңіз тауарға , және осы сілтемедегі барлық басқа тауарларға нөлдік ставка. Осындай таңдау арқылы мыналар туындайды:

қайда бұл сілтеме үшін оңтайлы тауардың дифференциалды артта қалуы (а,б) ұяшықта т (ең көбі 0):

Таңдау ғана қалады . Бұл келесілерді шешу арқылы жасалады:

Жоғарыда келтірілген мәселе теңдеудегі максималды салмақ мәселесімен бірдей. (1) - (2) кері қысым алгоритмі үшін максималды салмақтағы шешімдерді қолданады , содан кейін маршруттау айнымалыларын таңдайды жоғарыда сипатталғандай максималды дифференциалды артта қалушылық арқылы.

Артқы қысым алгоритмінің керемет қасиеті - ол кез келген слотқа ашкөздікпен әрекет етеді т тек байқалған топология күйіне негізделген S(т) және кезек артта қалу сол слот үшін. Осылайша, келу ставкаларын білуді қажет етпейді немесе топологияның ықтималдық ықтималдығы .

Өнімділікті талдау

Бұл бөлім кері қысым алгоритмінің өткізу қабілеттілігін дәлелдейді.[3][13] Қарапайымдылық үшін оқиғалар слоттар бойынша тәуелсіз және бірдей бөлінетін сценарий қарастырылады (i.i.d.), бірақ i.i.d-де жұмыс істемейтін бірдей алгоритмді көрсетуге болады. сценарийлер (төменде қараңыз) I.i.d емес жұмыс және әмбебап жоспарлау ).

Динамикалық келу

Келіңіздер экзогендік келудің матрицасы болуы керек т. Бұл матрица тәуелсіз және бірдей бөлінген деп санаңыз (i.i.) ақырғы секундтық моменттері бар слоттар бойынша және құралдармен:

Болжам бойынша барлығына , өйткені өзіне арналған мәліметтер келмейді. Осылайша, келу ставкаларының матрицасы Бұл теріс емес нақты сандардың матрицасы, диагональында нөлдер бар.

Желі сыйымдылығы аймағы

Топология күйін қабылдаңыз S(т) i.i.d. ықтималдықтары бар слоттардың үстінен (егер S(т) векторлардың сансыз шексіз жиынтығындағы мәндерін нақты бағаланған жазбалары бар қабылдайды, содан кейін - бұл мүмкіндіктің үлестірімі, ықтималдықтың массалық функциясы емес) .Желінің жалпы алгоритмі байқайды S(т) әрбір слот т және беру жылдамдығын таңдайды және айнымалыларды бағыттау теңдеудегі шектеулерге сәйкес. (3) - (5). The желі сыйымдылығы барлық келу жылдамдығы матрицаларының жиынтығын жабу болып табылады ол үшін желіні тұрақтандыратын алгоритм бар. Барлық кезектердің тұрақтылығы желіге трафиктің жалпы кіріс жылдамдығы тағайындалған жерге жеткізілген мәліметтердің жалпы жылдамдығымен бірдей болатындығын білдіреді. Кез-келген келу жылдамдығы матрицасы үшін көрсетілуі мүмкін қуаттылық аймағында , бар стационарлық және рандомизацияланған алгоритм шешімнің айнымалыларын таңдайды және әрбір слот т тек негізделген S(т) (және, демек, кезек артта қалуынан тәуелсіз), барлығы үшін келесілерді береді :[9][13]

Шешімдерді тек негізге алатын осындай стационарлық және рандомизацияланған алгоритм S(т) деп аталады Тек S алгоритмі. Көбінесе бұл туралы ойлау пайдалы болып табылады интерьер дейін , бар болуы үшін осындай , қайда егер 1 болса , ал нөл нөл. Бұл жағдайда бар S-барлығы үшін келесілерді беретін тек алгоритм :

Техникалық талап ретінде тарату жылдамдығының екінші сәттері деп есептеледі осы ставкаларды таңдау кез-келген алгоритм бойынша шектеулі. Егер бұл шектік максималды ставка болса, өте маңызды емес .

Тек S алгоритмдерімен салыстыру

Артқы қысым алгоритмі байқайды және S(т) әрбір слот т шешімдерді таңдайды және дрифтің оң жағын азайту үшін теңестірілген теңдеу. (7), бізде:

қайда және теңдеулерді қанағаттандыратын кез-келген балама шешімдер. (3) - (5), соның ішінде рандомизацияланған шешімдер.

Енді болжам жасаңыз . Сонда бар S- теңдеуді қанағаттандыратын алгоритм. (8). Мұны теңдеудің оң жағына қосу. (10) және шартты күту берілгенін ескеру астында S-алгоритм тек сөзсіз күтумен бірдей (өйткені S(т) i.i.d. слоттардың үстінде және S- тек алгоритм кезектің артта қалуынан тәуелсіз):

Thus, the drift of a quadratic Lyapunov function is less than or equal to a constant B for all slots т. This fact, together with the assumption that queue arrivals have bounded second moments, imply the following for all network queues:[16]

For a stronger understanding of average queue size, one can assume the arrival rates are interior to , so there is an such that Eq. (9) holds for some alternativeS-only algorithm. Plugging Eq. (9) into the right-hand-side of Eq. (10) yields:

from which one immediately obtains (see[3][13]):

This average queue size bound increases as the distance to the boundary of thecapacity region goes to zero. This is the same qualitative performance as a single M/M/1 queue with arrival rate and service rate , whereaverage queue size is proportional to , қайда .

Extensions of the above formulation

Non-i.i.d. operation and universal scheduling

The above analysis assumes i.i.d. properties for simplicity. However, the same backpressure algorithm can be shown to operate robustly in non-i.i.d. жағдайлар. When arrival processes and topology states are ergodic but not necessarily i.i.d., backpressure still stabilizes the system whenever .[9] More generally, using a universal scheduling approach, it has been shown to offer stability and optimality properties for arbitrary (possibly non-ergodic) sample paths.[17]

Backpressure with utility optimization and penalty minimization

Backpressure has been shown to work in conjunction with flow control via a drift-plus-penalty техника.[10][11][3] This technique greedily maximizes a sum of drift and a weighted penalty expression. The penalty is weighted by a parameter V that determines a performance tradeoff. This technique ensures throughput utility is within O(1/V) of optimality while average delay is O(V). Thus, utility can be pushed arbitrarily close to optimality, with a corresponding tradeoff in average delay. Similar properties can be shown for average power minimization[18] and for optimization of more general network attributes.[13]

Alternative algorithms for stabilizing queues while maximizing a network utility have been developed using fluid model analysis,[12] joint fluid analysis and Lagrange multiplier analysis,[19] convex optimization,[20] and stochastic gradients.[21] These approaches do not provide the O(1/V), O(V) utility-delay results.

Сондай-ақ қараңыз

Әдебиеттер тізімі

  1. ^ а б c г. M. J. Neely and R. Urgaonkar, "Optimal Backpressure Routing in Wireless Networks with Multi-Receiver Diversity," Ad Hoc Networks (Elsevier), vol. 7, жоқ. 5, pp. 862-881, July 2009.
  2. ^ а б L. Tassiulas and A. Ephremides,"Stability Properties of Constrained Queueing Systems andScheduling Policies for Maximum Throughput in MultihopRadio Networks, Автоматты басқарудағы IEEE транзакциялары, т. 37, жоқ. 12, pp. 1936-1948, Dec. 1992.
  3. ^ а б c г. e f ж сағ L. Georgiadis, M. J. Neely, and L. Tassiulas, "Resource Allocation and Cross-Layer Control in Wireless Networks,"Foundations and Trends in Networking, т. 1, жоқ. 1, pp. 1-149, 2006.
  4. ^ а б L. Jiang and J. Walrand. Scheduling and Congestion Control for Wireless and Processing Networks,Morgan & Claypool, 2010.
  5. ^ A. Sridharan, S. Moeller, and B. Krishnamachari,"Making Distributed Rate Control using Lyapunov Drifts a Reality in Wireless Sensor Networks,"6th Intl. Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks (WiOpt),April 2008.
  6. ^ A. Warrier, S. Janakiraman, S. Ha, and I. Rhee, "DiffQ: Practical Differential Backlog Congestion Control for WirelessNetworks," Proc. IEEE INFOCOM, Rio de Janeiro, Brazil, 2009.
  7. ^ а б S. Moeller, A. Sridharan, B. Krishnamachari, and O. Gnawali,"Routing Without Routes: The Backpressure Collection Protocol,"Proc. 9th ACM/IEEE Intl. Конф. on Information Processing in Sensor Networks (IPSN),April 2010.
  8. ^ B. Awerbuch and T. Leighton, "A Simple Local-Control Approximation Algorithm for Multicommodity Flow," Proc. 34th IEEE Conf.on Foundations of Computer Science, Oct. 1993.
  9. ^ а б c г. e f ж M. J. Neely, E. Modiano, and C. E. Rohrs, "Dynamic Power Allocation and Routingfor Time Varying Wireless Networks," IEEE журналы байланыс саласындағы таңдаулы аймақтар туралы, т. 23, жоқ. 1, pp. 89-103,January 2005.
  10. ^ а б M. J. Neely. Dynamic Power Allocation and Routing for Satellite and Wireless Networks with Time Varying Channels.Ph.D. Dissertation, Massachusetts Institute of Technology, LIDS. Қараша 2003.
  11. ^ а б M. J. Neely, E. Modiano, and C. Li, "Fairness and Optimal Stochastic Control for Heterogeneous Networks," Proc. IEEE INFOCOM, March 2005.
  12. ^ а б A. Stolyar,"Maximizing Queueing Network Utility subject to Stability: Greedy Primal-Dual Algorithm,"Queueing Systems, т. 50, жоқ. 4, pp. 401-457, 2005.
  13. ^ а б c г. e f ж M. J. Neely.Stochastic Network Optimization with Application to Communication and Queueing Systems,Morgan & Claypool, 2010.
  14. ^ L. Huang, S. Moeller, M. J. Neely, and B. Krishnamachari, "LIFO-Backpressure Achieves Near Optimal Utility-Delay Tradeoff,"Proc. WiOpt, May 2011.
  15. ^ E. Modiano, D. Shah, and G. Zussman, "Maximizing throughput in wireless networks via gossiping," Proc. ACM SIGMETRICS, 2006.
  16. ^ M. J. Neely, "Queue Stability and Probability 1 Convergence via Lyapunov Optimization," Journal of Applied Mathematics, vol. 2012, дои:10.1155/2012/831909.
  17. ^ M. J. Neely, "Universal Scheduling for Networks with Arbitrary Traffic, Channels,and Mobility," Proc. IEEE Conf. on Decision and Control (CDC), Atlanta, GA, Dec. 2010.
  18. ^ M. J. Neely, "Energy Optimal Control for Time Varying Wireless Networks,"Ақпараттық теория бойынша IEEE транзакциялары, т. 52, no. 7, pp. 2915-2934,July 2006
  19. ^ A. Eryilmaz and R. Srikant, "Fair Resource Allocation in Wireless Networks using Queue-Length-Based Schedulingand Congestion Control," Proc. IEEE INFOCOM, March 2005.
  20. ^ X. Lin and N. B. Shroff, "Joint Rate Control and Scheduling in Multihop Wireless Networks,"Proc. of 43rd IEEE Conf. on Decision and Control, Paradise Island, Bahamas, Dec. 2004.
  21. ^ J. W. Lee, R. R. Mazumdar, and N. B. Shroff, "Opportunistic Power Scheduling for Dynamic Multiserver Wireless Systems,"Сымсыз байланыс бойынша IEEE транзакциялары, т. 5, no.6, pp. 1506–1515, June 2006.

Бастапқы көздер

  • L. Tassiulas and A. Ephremides, "Stability Properties of Constrained Queueing Systems and Scheduling Policies for Maximum Throughput in Multihop Radio Networks," Автоматты басқарудағы IEEE транзакциялары, т. 37, жоқ. 12, pp. 1936–1948, Dec. 1992.
  • L. Georgiadis, M. J. Neely, and L. Tassiulas, "Resource Allocation and Cross-Layer Control in Wireless Networks," Foundations and Trends in Networking, т. 1, жоқ. 1, pp. 1–149, 2006.
  • M. J. Neely. Stochastic Network Optimization with Application to Communication and Queueing Systems, Morgan & Claypool, 2010.