Ho fumana lipapali tsohle tsa regex esale e le O(n²)

Theko e Patiloeng ea ho Bapisa Paterone

Ho baqapi, mantsoe a tloaelehileng (regex) ke sesebelisoa sa bohlokoahali, thipa ea Sesole sa Switzerland bakeng sa ho qaqisa, ho netefatsa, le ho ntša tlhahisoleseling ho tsoa mongolong. Ho tloha ho hlahloba liforomo tsa lengolo-tsoibila ho hlakola data ho tsoa litsing, regex ke eona tharollo ea ho ea. Leha ho le joalo, ka tlas'a sefahleho sena se matla ho na le leraba la ts'ebetso le 'nileng la tšoenya litsamaiso ka lilemo tse mashome: bothata bo bobe ka ho fetisisa ba ho fumana lipapali tsohle ka khoele ke O(n²). Ho rarahana ha nako ena ea quadratic ho bolela hore ha khoele ea ho kenya e ntse e hōla ka mokhoa o tloaelehileng, nako ea ts'ebetso e ka hōla ka potlako, e lebisang ho fokotseha ho sa lebelloang, ho felloa ke matla ha lisebelisoa, le ntho e tsejoang e le ReDoS(Regular Expression Denial of Service). Ho utloisisa moeli ona oa tlhaho ke mohato oa pele oa ho theha lits'ebetso tse matla le tse sebetsang hantle.

Hobaneng Regex Matching O(n²)? Bothata ba ho khutlela morao

Motso oa ho rarahana ha O(n²) o ka har'a mochini o sebelisoang ke lienjineri tsa khale tsa regex: backtracking. Ha enjene ea regex, joalo ka e Perl, Python, kapa Java, e leka ho fumana mefuta eohle e ka khonehang, ha e hlahlobe khoele hang feela. E hlahloba litsela tse fapaneng. Nahana ka paterone e bonolo joalo ka `(a+)+b` e sebelisoang thapong ea hangata "a", joalo ka "aaaaaaaaac". Enjene ka meharo e bapisa "a" kaofela le `a+` ea pele, ebe e leka ho ts'oana le "b" ea ho qetela. Ha e hloleha, e khutlela morao—e sa bapise "a" ea ho qetela le ho leka `+` quantifier sehlopheng se ka ntle. Ts'ebetso ena e pheta-pheta, e qobella enjene ho leka motsoako o mong le o mong o ka khonehang oa hore na "a" e ka aroloa joang, e lebisang ho phatloheng ha menyetla ea menyetla. Palo ea litsela tseo enjene e lokelang ho li hlahloba li ka lekana le lisekoere tsa bolelele ba khoele, kahoo O(n²).

• Greedy Quantifiers: Mehlala e kang `.*` kapa `.+` e sebelisa mongolo o mongata kamoo ho ka khonehang qalong, e leng se lebisang ho kgutlela morao haholo ha likarolo tse latelang tsa paterone li hloleha ho nyallana.
• Nested Quantifiers: Lipolelo tse kang `(a+)+` kapa `(a*a*)*` li theha mekhoa e mengata ea ho arola mohala, ho eketsa nako ea tšebetso.
• Mefuta e sa Khethehang: Ha khoele e ka bapisoa ka litsela tse ngata tse nyallanang, enjene e tlameha ho lekola monyetla o mong le o mong ho fumana tse tšoanang.

Kameho ea Sebele ea Lefatše: Ho Feta Ho Potlana Feela

Sena ha se taba ya thuto feela. Regex e sa sebetseng e ka ba le litlamorao tse mpe maemong a tlhahiso. Tlhahlobo ea netefatso ea data e bonahalang e se na kotsi e ka fetoha bothata ha o sebetsana le lifaele tse kholo kapa o sebetsana le lisebelisoa tse ngata tsa basebelisi. Sephetho se kotsi ka ho fetisisa ke tlhaselo ea ReDoS, moo setšoantšiso se lonya se fanang ka khoele e entsoeng ka hloko e bakang ts'ebetso e mpe ka ho fetesisa ho regex ea kopo ea webo, e fanyeha seva ka nepo mme e etsa hore e se fumanehe ho basebelisi ba molaong. Bakeng sa likhoebo, sena se fetolela ka kotloloho ho nako ea ho theoha, chelete e lahlehileng, le botumo bo senyehileng. Ha ho etsoa litsamaiso tse rarahaneng, haholo tse sebetsanang le data e sa tšepahaleng, ho tseba ka mathata ana a regex ke karolo ea bohlokoa ea tlhahlobo ea ts'ireletso le ts'ebetso.

"Ka nako e 'ngoe re ne re e-na le ntlafatso e nyenyane ea tlhophiso e ileng ea hlahisa regex ho arola likhoele tsa moemeli oa mosebedisi. Tlas'a mojaro o tloaelehileng, e ne e le hantle. Empa nakong ea phallo ea sephethe-phethe, e bakile ho hlōleha ha cascading e ileng ea theola API ea rona ka metsotso. Molato e ne e le O(n²) regex eo re neng re sa tsebe hore re na le eona." - Moenjiniere e Moholo oa DevOps

Ho Haha Lits'ebetso tse Smarter ka Mewayz

Jwale, re ka tswela pele jwang ka nqane ho thibelo ee ya motheo? Tharollo e kenyelletsa motsoako oa lisebelisoa tse betere le likhetho tse bohlale tsa meralo. Taba ea pele, bahlahisi ba ka sebelisa li-analyzer tsa regex ho tseba mekhoa e nang le mathata le ho e ngola bocha hore e sebetse hantle (mohlala, ho sebelisa li-quantifiers kapa lihlopha tsa athomo). Bakeng sa ts'ebetso ea ho qetela, ho na le mekhoa e meng e netefatsang nako ea mohala, O(n), bakeng sa ho bapisa mohlala, le hoja e sa tloaelehe lilaebraring tse tloaelehileng.

Mona ke moo khoebo ea modular OS joalo ka Mewayz e fanang ka monyetla o moholo. Mewayz e u lumella ho arola le ho beha leihlo lits'ebetso tsa bohlokoa. Sebakeng sa ho ba le ts'ebeliso ea monolithic moo regex e le 'ngoe e liehang e ka holofatsang sistimi eohle, o ka sebelisa microservice e inehetseng, e ikhethileng bakeng sa tlhahlobo ea data le netefatso. Haeba bothata ba ts'ebetso bo hlaha, bo teng 'me bo ka rarolloa ntle le ho ama lits'ebetso tse ling tsa khoebo. Ho feta moo, lisebelisoa tsa ho bonoa ka har'a sethala sa Mewayz li ka u thusa ho supa ho se sebetse hantle hona pele li ama bareki ba hau, ho fetola koluoa ​​​​e ka bang mosebetsi o laolehang oa ho ntlafatsa. Ka ho aha holim'a motheo o tenyetsehang le o hlokomelehang, o etsa bonnete ba hore mohopolo oa khoebo ea hau, ho kenyeletsoa le mokhoa o rarahaneng oa ho ngola mongolo, o lula o sebetsa hantle ebile o tiile.

Lipotso Tse Botsoang Hangata

Theko e Patiloeng ea ho Bapisa Paterone

Ho baqapi, mantsoe a tloaelehileng (regex) ke sesebelisoa sa bohlokoahali, thipa ea Sesole sa Switzerland bakeng sa ho qaqisa, ho netefatsa, le ho ntša tlhahisoleseling ho tsoa mongolong. Ho tloha ho hlahloba liforomo tsa lengolo-tsoibila ho hlakola data ho tsoa litsing, regex ke eona tharollo ea ho ea. Leha ho le joalo, ka tlas'a sefahleho sena se matla ho na le leraba la ts'ebetso le 'nileng la tšoenya litsamaiso ka lilemo tse mashome: bothata bo bobe ka ho fetisisa ba ho fumana lipapali tsohle ka khoele ke O(n²). Ho rarahana hona ha nako ea quadratic ho bolela hore ha khoele ea ho kenya e ntse e hola ka mokhoa o tšoanang, nako ea ts'ebetso e ka hola haholo, e lebisang ho ho fokotseha ho sa lebelloang, ho felloa ke matla ha lisebelisoa, le ketsahalo e tsejoang e le ReDoS (Regular Expression Denial of Service). Ho utloisisa moeli ona oa tlhaho ke mohato oa pele oa ho theha lits'ebetso tse matla le tse sebetsang hantle.

Hobaneng Regex Matching O(n²)? Bothata ba ho khutlela morao

Motso oa ho rarahana ha O(n²) o ka har'a mochini o sebelisoang ke lienjineri tsa khale tsa regex: backtracking. Ha enjene ea regex, joalo ka e Perl, Python, kapa Java, e leka ho fumana mefuta eohle e ka khonehang, ha e hlahlobe khoele hang feela. E hlahloba litsela tse fapaneng. Nahana ka paterone e bonolo joalo ka `(a+)+b` e sebelisoang thapong ea hangata "a", joalo ka "aaaaaaaaac". Enjene ka meharo e bapisa "a" kaofela le `a+` ea pele, ebe e leka ho ts'oana le "b" ea ho qetela. Ha e hloleha, e khutlela morao—e sa bapise "a" ea ho qetela le ho leka `+` quantifier sehlopheng se ka ntle. Ts'ebetso ena e pheta-pheta, e qobella enjene ho leka motsoako o mong le o mong o ka khonehang oa hore na "a" e ka aroloa joang, e lebisang ho phatloheng ha menyetla ea menyetla. Palo ea litsela tseo enjene e lokelang ho li hlahloba li ka lekana le lisekoere tsa bolelele ba khoele, kahoo O(n²).

Kameho ea Sebele ea Lefatše: Ho Feta Ho Potlana Feela

Sena ha se taba ya thuto feela. Regex e sa sebetseng e ka ba le litlamorao tse mpe maemong a tlhahiso. Tlhahlobo ea netefatso ea data e bonahalang e se na kotsi e ka fetoha bothata ha o sebetsana le lifaele tse kholo kapa o sebetsana le lisebelisoa tse ngata tsa basebelisi. Sephetho se kotsi ka ho fetisisa ke tlhaselo ea ReDoS, moo setšoantšiso se lonya se fanang ka khoele e entsoeng ka hloko e bakang ts'ebetso e mpe ka ho fetesisa ho regex ea kopo ea webo, e fanyeha seva ka nepo mme e etsa hore e se fumanehe ho basebelisi ba molaong. Bakeng sa likhoebo, sena se fetolela ka kotloloho ho nako ea ho theoha, chelete e lahlehileng, le botumo bo senyehileng. Ha ho etsoa litsamaiso tse rarahaneng, haholo tse sebetsanang le data e sa tšepahaleng, ho tseba ka mathata ana a regex ke karolo ea bohlokoa ea tlhahlobo ea ts'ireletso le ts'ebetso.

Ho Haha Lits'ebetso tse Smarter ka Mewayz

Jwale, re ka tswela pele jwang ka nqane ho thibelo ee ya motheo? Tharollo e kenyelletsa motsoako oa lisebelisoa tse betere le likhetho tse bohlale tsa meralo. Taba ea pele, bahlahisi ba ka sebelisa li-analyzer tsa regex ho tseba mekhoa e nang le mathata le ho e ngola bocha hore e sebetse hantle (mohlala, ho sebelisa li-quantifiers kapa lihlopha tsa athomo). Bakeng sa ts'ebetso ea ho qetela, ho na le mekhoa e meng e netefatsang nako ea mohala, O(n), bakeng sa ho bapisa mohlala, le hoja e sa tloaelehe lilaebraring tse tloaelehileng.