In a computer operating system, the

In a computer operating system, the file system is the part that writes data to disk and tracks
where the data is stored. if th. computer crashes while it's writing data, the file system's
records can become corrupt. Hours of work could be lost, or programs could stop working
properly.
At the ACM Symposium on Operating Systems Principles in October, MIT researchers will
present the firsffite system that is mathematically guaranteed not to lose track of data during
crashes. Although tfre fite system is slow by today's standards, the techniques the researchers
used to verify iti performance can be extended to more sophisticated designs. Ultimately,
formal verification could make it much easier to develop reliable, efficient file systems'
"What many people worry about is building these file systems to be reliable, both when they're
operating noimally but also in the case of crashes, power failure, software bugs, hardware
.i.orr, what have you," says Nickolai Zeldovich, an associate professor of computer science and
engineering and one of three MIT computer-science professors on the new paper' "Making sure
thit the file system can recover from a crash at any point is tricky because there are so many
different places that you could crash. You literally have to consider every instruction or every
disk operation and think, 'Well, what if I crash now? What now? What now?' And so empirically,
people have found lots of bugs in file systems that have to do with crash recovery, and they keep
finding them, even in very well tested file systems, because it's just so hard to do.

ผลลัพธ์ (ไทย) 1:

ในระบบปฏิบัติการคอมพิวเตอร์ ระบบแฟ้มเป็นส่วนหนึ่งที่เขียนข้อมูลไปยังดิสก์และแทร็คที่ข้อมูลถูกเก็บไว้ ถ้า th เกิดปัญหาเครื่องคอมพิวเตอร์ในขณะที่มันจะเขียนข้อมูล ระบบไฟล์ของระเบียนสามารถเสียหาย ชั่วโมงการทำงานอาจสูญหาย หรือโปรแกรมอาจหยุดการทำงานถูกต้องนักวิจัย MIT จะที่วิชาการพลอากาศบนระบบปฏิบัติการหลักในเดือนตุลาคมนำเสนอระบบ firsffite ที่มี mathematically รับประกันไม่หายของข้อมูลระหว่างล้มเหลว แม้ว่าระบบ fite tfre ช้า โดยวันนี้มาตรฐาน เทคนิคนักวิจัยใช้ตรวจสอบตัลประสิทธิภาพได้ออกแบบเพิ่มเติมให้ทันสมัยมากขึ้น ในที่สุดการตรวจสอบอย่างเป็นทางอาจทำได้ง่ายมากในการพัฒนาของระบบแฟ้มที่เชื่อถือได้ ประสิทธิภาพ"หลายคนที่กังวลเกี่ยวกับกำลังสร้างระบบแฟ้มเหล่านี้จะเชื่อถือได้ ทั้งสองเมื่อnoimally ปฏิบัติแต่ในกรณีที่เกิดปัญหา พลังงาน ข้อบกพร่องของซอฟต์แวร์ ฮาร์ดแวร์การ i.orr สิ่งที่มีคุณ, "กล่าวว่า Nickolai Zeldovich ศาสตราจารย์การวิทยาศาสตร์คอมพิวเตอร์ และวิศวกรรมและของอาจารย์วิทยาการคอมพิวเตอร์ MIT สามบนกระดาษใหม่ ' "ทำแน่ราษฎร์อุทิศระบบแฟ้มสามารถกู้คืนจากความล้มเหลวตลอดเป็นเรื่องยุ่งยากเนื่องจากมีหลายสถานต่าง ๆ ที่คุณอาจผิดพลาด คุณอย่างแท้จริงต้องพิจารณาทุกคำ หรือทุกดิสก์การดำเนินการและคิดว่า, ' ดี ถ้าฉันผิดพลาดตอนนี้ อะไรขณะนี้ ตอนนี้อะไร?' และดังนั้น empiricallyคนได้พบข้อบกพร่องมากมายในระบบแฟ้มที่ต้องการกู้คืนความล้มเหลว และพวกเขาทำให้หาพวกเขา ใน ระบบไฟล์ดีทดสอบได้ก็ยาก

ผลลัพธ์ (ไทย) 3:

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

ในงาน ACM ได้อย่างถูกต้อง บนระบบปฏิบัติการหลักในเดือนตุลาคม , นักวิจัย MIT จะ
เสนอระบบที่ firsffite mathematically รับประกันไม่สูญเสียการติดตามของข้อมูลในระหว่าง
ล่ม ถึงแม้ว่าระบบ fite tfre ช้า โดยมาตรฐานของวันนี้ , เทคนิคที่นักวิจัยใช้ในการตรวจสอบประสิทธิภาพ
เผอิญสามารถขยายเพื่อการออกแบบที่ซับซ้อนมากขึ้น ในที่สุด
อย่างเป็นทางการการตรวจสอบทำให้มันง่ายมากที่จะสร้างระบบแฟ้มที่มีประสิทธิภาพ
ที่เชื่อถือได้" สิ่งที่หลายคนเป็นห่วงคือ อาคารเหล่านี้ระบบแฟ้มที่สามารถเชื่อถือได้ ทั้งเมื่อพวกเขา
ปฏิบัติการ noimally แต่ยังในกรณีเกิดปัญหาไฟดับบักซอฟต์แวร์ ฮาร์ดแวร์

i.orr สิ่งที่คุณ กล่าวว่า nickolai zeldovich ศาสตราจารย์ของวิทยาศาสตร์คอมพิวเตอร์และวิศวกรรม และหนึ่งในสามของ MIT
วิทยาศาสตร์คอมพิวเตอร์อาจารย์บนกระดาษ " แน่ใจ
' ใหม่ทิดไฟล์ระบบสามารถกู้คืนจากความผิดพลาดที่จุดใด ๆที่เป็นเรื่องยุ่งยากเพราะมีสถานที่ที่แตกต่างกันมากมาย
ที่คุณอาจชน คุณอย่างแท้จริงจะต้องพิจารณาทุกวิชาหรือทุก
ดิสก์การดำเนินงานและคิดว่า ' แล้วถ้าฉันพลาด ? ตอนนี้อะไร ? อะไรตอนนี้ ? ดังนั้นจากผล
คนได้พบมากของข้อบกพร่องในระบบแฟ้ม ที่ต้องทำกู้คืนความล้มเหลว และพวกเขาให้
หาพวกเขาแม้ในการทดสอบเป็นอย่างดี ระบบแฟ้ม เพราะมันยากที่จะทำ