{"id":26269,"date":"2016-07-21T11:24:10","date_gmt":"2016-07-21T09:24:10","guid":{"rendered":"https:\/\/mamchenkov.net\/wordpress\/?p=26269"},"modified":"2016-07-21T11:24:10","modified_gmt":"2016-07-21T09:24:10","slug":"the-regex-that-killed-stackoverflow","status":"publish","type":"post","link":"https:\/\/mamchenkov.net\/wordpress\/2016\/07\/21\/the-regex-that-killed-stackoverflow\/","title":{"rendered":"The RegEx that killed StackOverflow"},"content":{"rendered":"\n

Here’s an outage postmortem<\/a> from the recent StackOverflow<\/a> downtime. \u00a0It just shows you how easy it is to break things, even they were built by some of the smartest people around. \u00a0Programming is touch and there is no way around it.<\/p>\n

Technical Details<\/strong><\/p>\n

The regular expression was: ^[\\s\\u200c]+|[\\s\\u200c]+$ Which is intended to trim unicode space from start and end of a line. A simplified version of the Regex that exposes the same issue would be \\s+$ which to a human looks easy (\u201call the spaces at the end of the string\u201d), but which means quite some work for a simple backtracking Regex engine. The malformed post contained roughly 20,000 consecutive characters of whitespace on a comment line that started with — play happy sound for player to enjoy. For us, the sound was not happy.<\/p>\n

If the string to be matched against contains 20,000 space characters in a row, but not at the end, then the Regex engine will start at the first space, check that it belongs to the \\s character class, move to the second space, make the same check, etc. After the 20,000th space, there is a different character, but the Regex engine expected a space or the end of the string. Realizing it cannot match like this it backtracks, and tries matching \\s+$ starting from the second space, checking 19,999 characters. The match fails again, and it backtracks to start at the third space, etc.<\/p>\n

So the Regex engine has to perform a \u201ccharacter belongs to a certain character class\u201d check (plus some additional things) 20,000+19,999+19,998+\u2026+3+2+1 = 199,990,000 times, and that takes a while. This is not classic catastrophic backtracking (talk on backtracking) (performance is O(n\u00b2), not exponential, in length), but it was enough. This regular expression has been replaced with a substring function.<\/p><\/blockquote>\n\n","protected":false},"excerpt":{"rendered":"\n

Here’s an outage postmortem from the recent StackOverflow downtime. \u00a0It just shows you how easy it is to break things, even they were built by some of the smartest people around. \u00a0Programming is touch and there is no way around it. Technical Details The regular expression was: ^[\\s\\u200c]+|[\\s\\u200c]+$ Which is intended to trim unicode space … Continue reading The RegEx that killed StackOverflow<\/span><\/a><\/p>\n\n","protected":false},"author":2,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_monsterinsights_skip_tracking":false,"_monsterinsights_sitenote_active":false,"_monsterinsights_sitenote_note":"","_monsterinsights_sitenote_category":0,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"_jetpack_feature_clip_id":0,"_jetpack_memberships_contains_paid_content":false,"footnotes":"","jetpack_publicize_message":"The RegEx that killed StackOverflow #programming #WebDev #StackOverflow","jetpack_publicize_feature_enabled":true,"jetpack_social_post_already_shared":true,"jetpack_social_options":{"image_generator_settings":{"template":"highway","default_image_id":0,"font":"","enabled":false},"version":2},"jetpack_post_was_ever_published":false,"_links_to":"","_links_to_target":""},"categories":[1,18,62,1334],"tags":[2290,3435,1330],"keyring_services":[],"class_list":["post-26269","post","type-post","status-publish","format-standard","hentry","category-general","category-programming","category-technology","category-web-work","tag-regular-expressions","tag-stackoverflow","tag-web-development"],"aioseo_notices":[],"aioseo_head":"\n\t\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t