بارلىق regex مۇسابىقىلىرىنى تېپىش ئەزەلدىن O (n²)

ھەقىقىي دۇنيانىڭ تەسىرى: ئاستىلاشتىن باشقا

بۇ پەقەت ئىلمىي ئەندىشە ئەمەس. ئۈنۈمسىز رېئاكسىيە ئىشلەپچىقىرىش مۇھىتىدا ئېغىر ئاقىۋەتلەرنى كەلتۈرۈپ چىقىرىدۇ. قارىماققا زىيانسىزدەك كۆرۈنىدىغان سانلىق مەلۇمات دەلىللەش تەكشۈرۈشى چوڭ ھۆججەتلەرنى بىر تەرەپ قىلغاندا ياكى يۇقىرى مىقداردىكى ئىشلەتكۈچى كىرگۈزۈشنى بىر تەرەپ قىلغاندا توسالغۇغا ئايلىنىپ قالىدۇ. ئەڭ خەتەرلىك نەتىجە ReDoS ھۇجۇمى بولۇپ ، يامان غەرەزلىك ئارتىس ئەستايىدىللىق بىلەن ياسالغان تىزما بىلەن تەمىنلەيدۇ ، ئۇ تور قوللىنىشچان پروگراممىسىنىڭ رېگېسكىسىدا ئەڭ ناچار ئەھۋالنى كەلتۈرۈپ چىقىرىدۇ ، مۇلازىمېتىرنى ئۈنۈملۈك ئېسىپ قانۇنلۇق ئىشلەتكۈچىلەرگە ئېرىشەلمەيدۇ. كارخانىلارغا نىسبەتەن ، بۇ بىۋاسىتە چۈشۈش ، كىرىمنى يوقىتىش ۋە ئىناۋىتىگە زىيان يەتكۈزۈش قاتارلىقلارنى كۆرسىتىدۇ. مۇرەككەپ سىستېمىلارنى قۇرغاندا ، بولۇپمۇ ئىشەنچسىز سانلىق مەلۇماتلارنى بىر تەرەپ قىلىدىغان سىستېمىلارنى قۇرغاندا ، بۇ regex توزاقلىرىدىن خەۋەردار بولۇش بىخەتەرلىك ۋە ئىقتىدارنى تەكشۈرۈشنىڭ مۇھىم تەركىبىي قىسمى.

"بىز ئىلگىرى كىچىك تىپتىكى سەپلىمە يېڭىلاش ئېلىپ باردۇق ، ئۇ ئىشلەتكۈچى ۋاكالەتچىسىنىڭ تىزمىسىنى تەھلىل قىلىش ئۈچۈن regex نى تونۇشتۇردى. نورمال يۈك ئاستىدا ، بۇ ياخشى ئىدى. ئەمما قاتناش دولقۇنى قوزغالغاندا ، ئۇ بىزنىڭ API نى بىر نەچچە مىنۇت چۈشۈرۈۋېتىدىغان كاساتچىلىق مەغلۇبىيىتىنى كەلتۈرۈپ چىقاردى. بۇ جىنايەتچى بىز ئەزەلدىن بىلمەيدىغان O (n²) رېژىسسورى ئىدى." - يۇقىرى دەرىجىلىك DevOps ئىنژېنېرى

Mewayz بىلەن تېخىمۇ ئەقىللىق سىستېما قۇرۇش

ئۇنداقتا ، بىز قانداق قىلىپ بۇ ئاساسىي چەكلىمىلەردىن ھالقىپ كېتىمىز؟ ھەل قىلىش چارىسى تېخىمۇ ياخشى قورال ۋە تېخىمۇ ئەقىللىق بىناكارلىق تاللاشلىرىنى بىرلەشتۈرۈشنى ئۆز ئىچىگە ئالىدۇ. بىرىنچىدىن ، پروگراممېرلار regex ئانالىزچىسى ئارقىلىق مەسىلە بار ئەندىزىلەرنى پەرقلەندۈرەلەيدۇ ۋە ئۇلارنى تېخىمۇ ئۈنۈملۈك قىلىپ قايتا يازالايدۇ (مەسىلەن ، مىقدارلاشتۇرغۇچ ياكى ئاتوم گۇرۇپپىسىنى ئىشلىتىش). ئاخىرقى ئىقتىدار ئۈچۈن ، ئۆلچەملىك كۈتۈپخانىلاردا كۆپ كۆرۈلمىسىمۇ ، ئەندىزە ماسلاشتۇرۇش ئۈچۈن سىزىقلىق ۋاقىت ، O (n) غا كاپالەتلىك قىلىدىغان باشقا ھېسابلاش ئۇسۇلى بار.

بۇ يەردە Mewayz غا ئوخشاش مودۇللۇق سودا OS كۆرۈنەرلىك ئەۋزەللىك بىلەن تەمىنلەيدۇ. Mewayz ھالقىلىق جەريانلارنى بۆلۈپ نازارەت قىلالايسىز. يەككە ئاستا رېگېس پۈتكۈل سىستېمىنى پالەچ ھالغا چۈشۈرۈپ قويالايدىغان يەككە قوللىنىشچان پروگراممىغا ئىگە بولۇشنىڭ ئورنىغا ، سانلىق مەلۇماتلارنى ئانالىز قىلىش ۋە دەلىللەش ئۈچۈن مەخسۇس ، يەككە مىكروسكوپ ئورۇنلاشتۇرالايسىز. ئەگەر ئىقتىدار مەسىلىسى كۆرۈلسە ، ئۇ بار بولۇپ ، باشقا سودا تىجارىتىگە تەسىر كۆرسەتمەيلا ھەل قىلغىلى بولىدۇ. ئۇندىن باشقا ، Mewayz سۇپىسىدىكى كۆزىتىش قوراللىرى خېرىدارلىرىڭىزغا تەسىر كۆرسىتىشتىن ئىلگىرى بۇ ئۈنۈمسىزلىكلەرنى ئېنىقلاپ ، يوشۇرۇن كرىزىسنى باشقۇرۇلىدىغان ئەلالاشتۇرۇش ۋەزىپىسىگە ئايلاندۇرالايسىز. جانلىق ۋە كۆزىتىشكە بولىدىغان ئاساسقا تايىنىپ ، مۇرەككەپ تېكىست بىر تەرەپ قىلىشنى ئۆز ئىچىگە ئالغان سودا لوگىكىڭىزنىڭ ئۈنۈملۈك ۋە قەيسەر بولۇشىغا كاپالەتلىك قىلىسىز.

دائىم سورايدىغان سوئاللار

ئەندىزە ماسلاشتۇرۇشنىڭ يوشۇرۇن خىراجىتى

پروگراممېرلارغا نىسبەتەن ، دائىملىق ئىپادىلەش (regex) كەم بولسا بولمايدىغان قورال ، شىۋىتسارىيە ئارمىيىسىنىڭ پىچاقنى تېكىستتىن تەھلىل قىلىش ، دەلىللەش ۋە ئېلىش ئۈچۈن پىچاق. ئېلېكترونلۇق خەت فورماتىنى تەكشۈرۈشتىن تارتىپ خاتىرىدىكى سانلىق مەلۇماتلارنى بىر تەرەپ قىلىشقىچە ، regex ھەل قىلىش چارىسى. قانداقلا بولمىسۇن ، بۇ كۈچلۈك يۈزنىڭ ئاستىدا نەچچە ئون يىل سىستېمىنى باشتىن كەچۈرگەن ئىقتىدار توزىقى بار: بارلىق مۇسابىقىنى بىر قۇردىن تېپىشنىڭ ئەڭ ناچار ۋاقىت مۇرەككەپلىكى O (n²). بۇ تۆت چاسا ۋاقىتنىڭ مۇرەككەپلىكى ، كىرگۈزۈش تىزمىسىنىڭ تۈز ئۆسۈشىگە ئەگىشىپ ، بىر تەرەپ قىلىش ۋاقتىنىڭ شىددەت بىلەن ئۆسۈپ ، ئويلىمىغان يەردىن ئاستىلاش ، بايلىقنىڭ خورىشى ۋە ReDoS (مۇلازىمەتنى دائىملىق ئىپادىلەشنى رەت قىلىش) دەپ ئاتىلىدىغان ھادىسىنى كەلتۈرۈپ چىقىرىدۇ. بۇ ئۆزىگە خاس چەكلىمىلەرنى چۈشىنىش تېخىمۇ پۇختا ۋە ئۈنۈملۈك قوللىنىشچان پروگراممىلارنى قۇرۇشنىڭ بىرىنچى قەدىمى.

نېمە ئۈچۈن Regex ماس كېلىدۇ O (n²)؟ كەينىگە قايتىش مەسىلىسى

O (n²) مۇرەككەپلىكىنىڭ يىلتىزى كۆپىنچە ئەنئەنىۋى regex ماتور ئىشلىتىدىغان مېخانىزمدا: كەينىگە قايتىش. Perl ، Python ياكى Java دىكىگە ئوخشاش regex ماتورى مۇمكىن بولغان بارلىق ماسلىقنى تېپىشقا ئۇرۇنغاندا ، ئۇ پەقەت بىر قېتىملا سىكانىرلىمايدۇ. ئۇ ئوخشىمىغان يوللارنى تەتقىق قىلىدۇ. «Aaaaaaaac» غا ئوخشاش كۆپىنچە «a» لار قاتارىغا قوللىنىلغان `(a +) + b` غا ئوخشاش ئاددىي ئەندىزىنى ئويلاڭ. ماتور ئاچكۆزلۈك بىلەن بارلىق «a» لارنى بىرىنچى «a +» بىلەن ماسلاشتۇرىدۇ ، ئاندىن ئاخىرقى «b» بىلەن ماسلاشتۇرماقچى بولىدۇ. مەغلۇپ بولغاندا ، ئۇ كەينىگە چېكىنىدۇ - ئاخىرقى «a» بىلەن تەڭداشسىز ھەمدە سىرتقى گۇرۇپپىدىكى «+» مىقدارنى سىنايدۇ. بۇ جەريان تەكرارلىنىدۇ ، ماتورنى «a» لارنى قانداق گۇرۇپپىلاشقا بولىدىغان ھەر خىل بىرلەشتۈرۈشنى سىناپ بېقىشقا مەجبۇرلايدۇ ، بۇ ئېھتىماللىقنىڭ بىرىكمە پارتىلىشىنى كەلتۈرۈپ چىقىرىدۇ. ماتور چوقۇم ئىزدىنىدىغان يوللارنىڭ سانىنى ئۇزۇنلۇقنىڭ كۋادراتسى بىلەن ماسلاشتۇرغىلى بولىدۇ ، شۇڭلاشقا O (n²).

ھەقىقىي دۇنيانىڭ تەسىرى: ئاستىلاشتىن باشقا

بۇ پەقەت ئىلمىي ئەندىشە ئەمەس. ئۈنۈمسىز رېئاكسىيە ئىشلەپچىقىرىش مۇھىتىدا ئېغىر ئاقىۋەتلەرنى كەلتۈرۈپ چىقىرىدۇ. قارىماققا زىيانسىزدەك كۆرۈنىدىغان سانلىق مەلۇمات دەلىللەش تەكشۈرۈشى چوڭ ھۆججەتلەرنى بىر تەرەپ قىلغاندا ياكى يۇقىرى مىقداردىكى ئىشلەتكۈچى كىرگۈزۈشنى بىر تەرەپ قىلغاندا توسالغۇغا ئايلىنىپ قالىدۇ. ئەڭ خەتەرلىك نەتىجە ReDoS ھۇجۇمى بولۇپ ، يامان غەرەزلىك ئارتىس ئەستايىدىللىق بىلەن ياسالغان تىزما بىلەن تەمىنلەيدۇ ، ئۇ تور قوللىنىشچان پروگراممىسىنىڭ رېگېسكىسىدا ئەڭ ناچار ئەھۋالنى كەلتۈرۈپ چىقىرىدۇ ، مۇلازىمېتىرنى ئۈنۈملۈك ئېسىپ قانۇنلۇق ئىشلەتكۈچىلەرگە ئېرىشەلمەيدۇ. كارخانىلارغا نىسبەتەن ، بۇ بىۋاسىتە چۈشۈش ، كىرىمنى يوقىتىش ۋە ئىناۋىتىگە زىيان يەتكۈزۈش قاتارلىقلارنى كۆرسىتىدۇ. مۇرەككەپ سىستېمىلارنى قۇرغاندا ، بولۇپمۇ ئىشەنچسىز سانلىق مەلۇماتلارنى بىر تەرەپ قىلىدىغان سىستېمىلارنى قۇرغاندا ، بۇ regex توزاقلىرىدىن خەۋەردار بولۇش بىخەتەرلىك ۋە ئىقتىدارنى تەكشۈرۈشنىڭ مۇھىم تەركىبىي قىسمى.

Mewayz

ئۇنداقتا ، بىز قانداق قىلىپ بۇ ئاساسىي چەكلىمىلەردىن ھالقىپ كېتىمىز؟ ھەل قىلىش چارىسى تېخىمۇ ياخشى قورال ۋە تېخىمۇ ئەقىللىق بىناكارلىق تاللاشلىرىنى بىرلەشتۈرۈشنى ئۆز ئىچىگە ئالىدۇ. بىرىنچىدىن ، پروگراممېرلار regex ئانالىزچىسى ئارقىلىق مەسىلە بار ئەندىزىلەرنى پەرقلەندۈرەلەيدۇ ۋە ئۇلارنى تېخىمۇ ئۈنۈملۈك قىلىپ قايتا يازالايدۇ (مەسىلەن ، مىقدارلاشتۇرغۇچ ياكى ئاتوم گۇرۇپپىسىنى ئىشلىتىش). ئاخىرقى ئىقتىدار ئۈچۈن ، ئۆلچەملىك كۈتۈپخانىلاردا كۆپ كۆرۈلمىسىمۇ ، ئەندىزە ماسلاشتۇرۇش ئۈچۈن سىزىقلىق ۋاقىت ، O (n) غا كاپالەتلىك قىلىدىغان باشقا ھېسابلاش ئۇسۇلى بار.