ถ้าคุณไม่เคยสังเกตสไตล์การเขียนข่าวของนักเขียน Blognone ตลอด 10 ปีที่ผ่านมาก็นับว่าคุณพลาดมาก (คุณอยู่ที่นี่มา 17 ปีแล้วนะ หัดหาคำตอบให้ตัวเองบ้าง ไม่ใช่ทุกคำถามที่จะได้คำตอบ ผมนี่ได้ตีมือ User ประจำเพราะไม่ยอมรับตัวเองนี่แหละ) และไม่จำเป็นต้องคิดไปเองด้วยว่าคนอื่นเป็นอย่างไรด้วย (ผมก็ Cite ไว้แล้วนะ ไม่ได้คิดไปเอง เสียหายหาเม้นนั้นไม่เจอ) คำว่า Opinionated ไม่ได้เกิดขึ้นมาเฉย ๆ หรอกนะ

อีกอย่างใครมันจะบ้าอยากจะไปบอก "ความจริง" ถ้าตอบไปแล้วมันทำให้ตัวเองมีปัญหาแบบไม่จำเป็น เหมือนที่คุณกำลังทำอยู่นี่แหละ

มันจะดีมากน่ะแหละถ้าสื่อจะไม่มีอคติ แค่ผมไม่เคยเห็นใน Blognone เลยสักกะที และไม่น่าจะใช่เพราะจะทำยอด Engage ด้วย (เพราะถ้าจริงจะตลกมาก ที่เห็นคอมเม้นก็หน้าเดิม ๆ กันทั้งนั้น ผมก็ด้วย) เลยคิดว่าลดความคาดหวังและไปอ่านข่าวเพิ่มเติมเองน่าจะง่ายกว่า อนึ่งพลวัตการแสดงความคิดเห็นของคนใน Blognone ก็หลากหลายพอที่ผมจะไม่ห่วง คนเขียนข่าวชักจูงคนไม่ได้แน่ ๆ

เอาง่าย ๆ ผมเกลียด Freedesktop.org เข้ากระดูกดำ (ในโลกคอมพิวเตอร์ ผมเป็นสายอนุรักษ์นิยม แต่พวกเวรตะไลนี่ชอบพัง Compat ประจำ) แต่ผมเห็นคนยกยอปอปั้น Wayland หรือ GNOME ก็ไม่ได้เดือดร้อนอะไรนะ คิดเอาว่าขนาดโดนสังคมกดดันให้มาใช้ Wayland ก็ต้องทนเอา

เราเชื่อมั่นในความไม่เป็นกลาง อย่าลังเลที่จะใส่ความคิดเห็นส่วนตัวถ้าเห็นสมควร อย่างไรก็ตาม คุณต้องทำใจรับไว้ด้วยว่าเราก็เปิดโอกาสให้ความคิดเห็นที่ตรงข้ามกับคุณเช่นเดียวกัน

Blognone—Writing Guideline

In this specific instance, the Bot Management system has a limit on the number of machine learning features that can be used at runtime. Currently that limit is set to 200, well above our current use of ~60 features. Again, the limit exists because for performance reasons we preallocate memory for the features.

Again, the limit exists because for performance reasons

Dev ตั้งใจให้เป็นแบบนี้อยู่แล้ว เพราะไม่คิดว่ามันจะเกิน จึง Design แบบนี้ และ Rust เองก็ถูกออกแบบให้ Panic เมื่อ unwrap แบบไม่มี value มาตั้งแต่ต้น จึง Panic และ Crash ออกมา มันไม่ได้ Buffer Overflow แต่อย่างใด เพราะอาการ Buffer Overflow จะปล่อยให้หน่วยความจำถูกเขียนทับได้ และโปรแกรมก็จะรันต่อไปจนกว่าจะถูกป้องกันโดยตัวป้องกันหน่วยความจำ (Segfault) หรือสิ้นสุด Flow แบบเงียบ ๆ ไปเลย (ซึ่งน่ากลัวมากถ้าเกิดจากการถูกโจมตี ทำให้โปรแกรมนั้นถูกยึดไปเลย) ซึ่ง Rust ก็ไม่ได้ปล่อย เครื่องไม่ได้แม้กระทั่งดีด Segfault (Hardware Memory Protection) ออกมาด้วยซ้ำ เป็น Error จากฝั่ง Rust เอง ไม่เห็น Mention Segfault เลยสักบรรทัด นอกจากว่าคนเขียนบทความฝั่ง Cloudflare โกหก

thread fl2_worker_thread panicked: called Result::unwrap() on an Err value

Error Handling. The Rust Programming Language.

สรุป Rust ผิดเหรอกรณีนี้ที่ยอม Crash ออกมา หรือคุณมองว่าการที่ Rust ปล่อย panic!() คือ Buffer Overflow? (ซึ่งผิดมหันต์)

อนึ่ง

Unrelated to this incident, we were and are currently migrating our customer traffic to a new version of our proxy service, internally known as FL2. Both versions were affected by the issue, although the impact observed was different.

เนื้อข่าวบอกตั้งแต่เริ่มต้นเลยว่ากำลังอยู่ในระหว่าง Migrate ระบบ Bot ไปยัง FL2 (ที่เขียนด้วย Rust) ดังนั้นข้อผิดพลาดมันยังไม่ได้ไปถึง FL2 เลยด้วยซ้ำในช่วงเกิดเหตุ แต่ระหว่างทางมันเกิดพอดีเลยทำให้ได้เจอข้อผิดพลาดของโปรแกรมนี้ ที่ต่างจากตัว FL (1) ออกไป

Customers deployed on the new FL2 proxy engine, observed HTTP 5xx errors. Customers on our old proxy engine, known as FL, did not see errors, but bot scores were not generated correctly, resulting in all traffic receiving a bot score of zero. Customers that had rules deployed to block bots would have seen large numbers of false positives. Customers who were not using our bot score in their rules did not see any impact.

เนื้อหาบอกชัดเจนว่ากรณีของ FL2 (Rust) ปล่อยปุ๊บระบบล่มทันที แต่ FL1 (Lua) กลับไม่เจอ Error แต่พบว่า Bot Score ปล่อยค่าออกมาไม่ถูกต้องและเกิด False Positive ขึ้นจำนวนมากจนต้องสืบสวนต่อและเผอิญไปเจอว่า FL2 (Rust) ไม่ยอมปล่อยให้รันต่อเมื่อค่าไม่ถูกต้องจึง Panic ออกมา ผมยังหาความเชื่อมโยงเลยว่า Rust เป็นปัญหาอย่างไรกับ Incident ครั้งนี้

เพิ่งผ่านมาเห็น ขอตอบเสริมไว้หน่อย

อย่างที่หลายคนตอบไปแล้วว่า ไม่ใช่ buffer overflow เพราะ พฤติกรรม ของ buffer overflow คือ การเขียนข้อมูลเกินออกไปจากพื้นที่หน่วยความจำที่จองไว้

ในกรณีนี้ ผมมองว่า พฤติกรรม มันคือ out-of-bound access มากกว่า เช่น ในบางภาษาจะมี index out-of-bound exception

ส่วน segmentation fault เป็น การตอบสนอง ระดับ OS จาก out-of-bound access – ซึ่งคิดว่าในกรณีนี้ ตัวภาษา Rust น่าจะตรวจเจอและดักไว้ก่อน ยังไปไม่ถึง OS เลยด้วยซ้ำ จึงยังไม่เกิด segmentation fault

แล้วกรณีเกิดอะไรขึ้นบ้าง?

• ผลจากการที่ Rust ตรวจเจอ พฤติกรรม out-of-bound access จึง ตอบสนอง และส่งผลให้ทำงานไม่สำเร็จ (อย่างไรไม่รู้) แล้ว append_with_names() แสดง พฤติกรรม ด้วยการคืนค่ากลับมาตาม type ที่เป็น Result<T, E> โดยมีค่าเป็น Err(E)
• หลังจากนั้น เมื่อสั่ง Result.unwarp() เจอค่า Err(E) แล้วไม่มีการ handle ไว้ ทำให้ Rust ตอบสนอง อีกครั้งด้วยการเกิด พฤติกรรม panic จนนำไปสู่จุดจบของโปรเซส

สรุปว่า

• ไม่ใช่ทั้ง buffer overflow และ segmentation fault
• แต่เป็น out-of-bound access อันนำไปสู่ panic ครับ

ถ้าว่ากันตาม ตรรกะ สิ่งที่ควรทำคือคุณไม่ตอบผมเพราะมันจะได้ไม่เป็นไปตามที่ผมคาด ผมจะได้คิดผิดไป

ทำแบบนี้มันเป็นเครื่องยืนยันมากขึ้นว่า คุณใช้อารมณ์เหนือตรรกะ น่ะครับ

คือผมมีเหตุที่เชื่อคุณไม่ได้น่ะครับ

• คุณ distract ตัวเองและคนอื่น โดนการคิดว่าคนอื่นเป็นอย่างที่คุณคิดมากเกินไป ลองอ่าน post ตัวเองดู ไม่ใช่แค่กับผม แต่กับ post คนอื่นที่คุณ object ด้วย คุณจะกล่าวถึง บุคคลที่สอง เป็นนั้น เป็นนี้เยอะมาก ซึ่งไม่เกี่ยวกับเนื้อหาเลย
• และบ่อ่ยครั้งคุณอ้างถึงที่คุณเข้าใจอยู่คนเดียว แล้วไม่อธิบายบ้าง ไปหาอ่านเองบ้าง นี้ก็ไม่ประโยชน์อะไร
• เอาสองอันมารวมกัน ทีนี้มันทำให้ผมไม่สามารถ หาใจความได้ว่าอะไรคือ สิ่งที่ผมผิดไป

ลองเทียบ post ตัวคุณเองกับ ของคุณ hisoft https://www.blognone.com/node/149199#comment-1348126

อันนีเขาพยายาม focus สิ่งที่ผมพลาด ถึงผมไม่คุ้นกับ rust แต่มันทำให้ผม hint บางอย่าง
ทำให้ผมต้องเชื่อ แต่มันยัง 50% เพราะมีบางอย่างที่มันยังคลุมเคลืออยู่
และผมก็บอกวิธีให้ผมเชื่อ 100% ไว้แล้ว

แต่คุณไม่สนใจ เอาอะไรมาให้มันบานปลายอีกก็ไม่รู้ พิสูจน์สิ่งที่ผมกังขาอยู่ได้ก็จบแล้ว
ถึงไม่พิสูจน์ผมก็ยังเชื่อว่าตัวเองผิด 50% อยู่มันก็ไม่ได้มีปัญหาอะไร

คือถ้าจะตอบผม เอาแค่เรื่องที่ผมกังขาอยู่ก็พอนะครับ
คือถ้านอกเรื่องต่ออีก ผมจนมุมแน่นอน เพราะผมจะคิดว่าคุณอยู่ระดับเดียวกับ นายแบก/นางแบก พรรคการเมือง ผมไม่รู้จะอธิบายอย่างไรแล้วน่ะ