هغه څه چې هر کمپیوټر ساینس پوه باید د فلوټینګ پوائنټ ریاضی په اړه پوه شي (1991) [pdf]

د نه لیدو وړ دقیق جال: ولې هر پروګرامر دې 1991 PDF ته اړتیا لري

د کمپیوټر ساینس په دقیق، منطقي نړۍ کې، لږ اسناد د ډیویډ ګولډبرګ د 1991 مقالې پایښت، بنسټیز اغیز لري، "هغه څه چې هر کمپیوټر ساینس پوه باید د فلوټینګ پوائنټ ریاضی په اړه پوه شي." له دریو لسیزو څخه ډیر وروسته، د دې سرلیک یو روښانه غږ، یو خبرداری، او د حکمت یوه اړینه برخه ده. د هر هغه چا لپاره چې کوډ لیکي چې د ریښتیني شمیرو سره معامله کوي - له ساینسي سمولونو او مالي سیسټمونو څخه د لوبې انجنونو او ډیټا تحلیلونو پورې - د دې درسونو څخه سترګې پټول د محکمې فرعي ، قیمتي او ډیری وختونه حیرانونکي ناکامۍ دي. په داسې دوره کې چې سوداګریز عملیات په زیاتیدونکي توګه د پیچلي، یو بل سره تړل شوي سافټویر لخوا پرمخ وړل کیږي، د شمیرې محاسبې اساس پوهیدل اکادمیک ندي؛ دا یو عملیاتي اړتیا ده. دا په ځانګړې توګه ریښتیا ده کله چې د ماډلر سوداګرۍ OS لکه Mewayz ګټه پورته کول، چیرې چې د ماډلونو په اوږدو کې د ډیټا بشپړتیا - له تحلیلاتو څخه اتوماتیک بلینګ پورې - د وړاندوینې وړ، باوري محاسبې پورې اړه لري.

اصلي ستونزه: تاسو نشئ کولی په محدود بټونو کې د انفینیت استازیتوب وکړئ

بنسټیزه مسله ساده خو ژوره ده. زموږ کمپیوټرونه یو محدود مقدار حافظه لري، بیا هم موږ ډیری وختونه اړتیا لرو چې د ریښتینې شمیرو د نامحدود دوام سره کار وکړو (لکه π یا 0.1). د فلوټینګ پوائنټ ریاضی معیاري جوړجاړی دی، یو هوښیار سیسټم دی چې د محدودو دقیقیت سره د شمیرو پراخه لړۍ استازیتوب کوي. په هرصورت، دا جوړجاړی پدې معنی دی چې ډیری شمیرې نږدې دي، په سمه توګه زیرمه شوي ندي. د ګولډبرګ کاغذ په دقت سره د IEEE 754 معیار تشریح کوي ، کوم چې دې ګډوډي ته خورا اړین ثبات راوړی. هغه توضیحات ورکوي چې څنګه شمیرې په نښه ، توضیحي او فرکشن بټونو کې کوډ شوي ، د نمایشي ارزښتونو د وړاندوینې وړ مګر عجیب منظره رامینځته کوي ، ګردي چلندونه ، او ځانګړي ادارې لکه NaN (نه شمیره) او انفینیت. د هغو پراختیا کونکو لپاره چې په Mewayz کې مالي ماډلونه جوړوي، یوه ګردي تېروتنه چې مایکروسکوپیک ښکاري کولی شي په راپورونو یا معاملو کې د پام وړ توپیرونو ته وده ورکړي، په ټول سیسټم باور کمزوری کوي.

حیرانونکي چلندونه او ناورین ناکامي

پاڼه د ضدي انګېزې د ښودلو لپاره مشهوره ده چې بنسټیز ریاضيکي انګیرنې ماتوي. د مثال په توګه، د ګردي کولو له امله، د فلوټینګ پوائنټ اضافه شریکه نه ده؛ `(a + b) + c` تل د `a + (b + c)` سره مساوي نه وي. دا کولی شي په موازي محاسبو کې غیر متقابل پایلې رامینځته کړي. د نږدې مساوي شمیرو کمول کولی شي د ناورین لغوه کیدو لامل شي ، چیرې چې د پام وړ عددونه ورکیږي ، ډیری وختونه ګردي غلطی پریږدي. شاید ترټولو مشهور درس دا دی چې هیڅکله د دقیق مساوات (`==`) لپاره د فلوټینګ پوائنټ شمیرې پرتله نه کړئ مګر پرځای یې وګورئ چې ایا د دوی توپیر په یو کوچني زغم کې دی. دا یوازې نظري ټکي نه دي. دوی د ریښتیني نړۍ ناورینونه رامینځته کړي ، د آرین 5 راکټ له چاودنې څخه د پیټریوټ توغندیو په لومړیو سیسټمونو کې غلطۍ پورې. د سوداګرۍ په شرایطو کې، د لیست محاسبې، د قیمتونو الګوریتمونو، یا د فعالیت میټریکونو کې دا ډول تېروتنې کولی شي د خاموش ډیټا فساد لامل شي، چې قوي پلیټ فارمونه جوړوي لکه Mewayz په ماډلونو کې د ډیټا اعتبار او ثابت چکونو پلي کولو لپاره مهم دي.

"د بې شمیره ریښتیني شمیرو په محدود شمیر بټونو کې د لامحدود ډیری ریښتیني شمیرو راټولول نږدې نمایش ته اړتیا لري."

د عصري پرمخ وړونکي لپاره کلیدي لارې چارې

د ګولډبرګ مقاله نه یوازې اخطارونه بلکې عملي لارښوونې وړاندې کوي. اصلي کار دا دی چې د "شمیري شعور" وده وکړي - یو دوامداره پوهاوی چې د تیري نقطې شمیرې نږدې دي. دا ذهنیت باید د معلوماتو جوړښت انتخاب څخه د الګوریتم ډیزاین ته انتخابونه خبر کړي. د هغه کار په ګوته کوي چې ولې د "ډبل" (64-bit) کارول تقریبا تل د دقیق - مهم کار لپاره د "فلوټ" (32-bit) څخه غوره دي، او ولې ځینې الګوریتمونه په عددي توګه مستحکم دي پداسې حال کې چې نور یې ندي. کله چې د Mewayz چاپیریال کې د ماډلونو ډیزاین یا یوځای کول - که دا د ماشین زده کړې وړاندوینه کونکی وي یا د سرچینو مهالویش کونکی - دا شعور ډاډ ورکوي چې بنسټیز شمیري عملیات د دوی د غوښتنې په درناوی سره اداره کیږي، د هغو خنډونو مخه نیسي چې د دوی اصلي لامل ته بیرته راستنیدل خورا ستونزمن دي.

هر پروګرام جوړونکی باید د کاغذ له دې اړین مفاهیمو سره اشنا وي:

• ګارډ ډیجیټونه: اضافي عددونه چې په منځمهاله حسابونو کې کارول کیږي ترڅو د ګردي غلطۍ کمولو لپاره.
• د IEEE 754 معیاري: د فلوټینګ پوائنټ محاسبې لپاره نړیوال نقشه، د شکلونو تعریف، ګردي قواعد، او استثناوې.
• شمیری ثبات: د یو الګوریتم ملکیت چې په ډیری عملیاتو کې د خطا میګنیفیکشن کنټرول کړي.

د ډیجیټل نړۍ لپاره یو ژوندی سند

کله چې په 1991 کې لیکل شوي، د کاغذ تړاو یوازې وده کړې. د IEEE 754 اصول د هر عصري CPU، GPU، او پروګرام کولو ژبه تر پښو لاندې کوي. لکه څنګه چې موږ د AI په څیر سرحدونو ته زور ورکوو، د ډیټا لوی تحلیل، او پیچلي سیسټم سمول، زموږ د محاسبې دقیقیت خورا مهم کیږي. د هغو ټیمونو لپاره چې د ماډلر عملیاتي سیسټم کاروي لکه Mewayz د دوی د سوداګرۍ منطق ساده کولو لپاره، د دې شمیرې سختۍ په خپل دودیز ماډلونو کې ځای پرځای کول یو غوره عمل دی چې په خورا اساسي کچه د بګونو ټولګي مخه نیسي. د ګولډبرګ شاهکار له کاغذ څخه ډیر دی؛ دا د باور وړ سافټویر انجینرۍ د بنسټ یوه دایمي برخه ده. له پامه غورځول په شګو باندې جوړول دي، د ټول ډیجیټل جوړښت بشپړتیا له خطر سره مخ کوي، که دا یو ساده سکریپټ وي یا د سوداګرۍ درجې سوداګرۍ OS.

په مکرر ډول پوښتل شوي پوښتنې

د نه لیدو وړ دقیق جال: ولې هر پروګرامر دې 1991 PDF ته اړتیا لري

د کمپیوټر ساینس په دقیق، منطقي نړۍ کې، لږ اسناد د ډیویډ ګولډبرګ د 1991 مقالې پایښت، بنسټیز اغیز لري، "هغه څه چې هر کمپیوټر ساینس پوه باید د فلوټینګ پوائنټ ریاضی په اړه پوه شي." له دریو لسیزو څخه ډیر وروسته، د دې سرلیک یو روښانه غږ، یو خبرداری، او د حکمت یوه اړینه برخه ده. د هر هغه چا لپاره چې کوډ لیکي چې د ریښتیني شمیرو سره معامله کوي - له ساینسي سمولونو او مالي سیسټمونو څخه د لوبې انجنونو او ډیټا تحلیلونو پورې - د دې درسونو څخه سترګې پټول د محکمې فرعي ، قیمتي او ډیری وختونه حیرانونکي ناکامۍ دي. په داسې دوره کې چې سوداګریز عملیات په زیاتیدونکي توګه د پیچلي، یو بل سره تړل شوي سافټویر لخوا پرمخ وړل کیږي، د شمیرې محاسبې اساس پوهیدل اکادمیک ندي؛ دا یو عملیاتي اړتیا ده. دا په ځانګړې توګه ریښتیا ده کله چې د ماډلر سوداګرۍ OS لکه Mewayz ګټه پورته کول، چیرې چې د ماډلونو په اوږدو کې د ډیټا بشپړتیا - له تحلیلاتو څخه اتوماتیک بلینګ پورې - د وړاندوینې وړ، باوري محاسبې پورې اړه لري.

اصلي ستونزه: تاسو نشئ کولی په محدودو بټونو کې د انفینیت استازیتوب وکړئ

بنسټیزه مسله ساده خو ژوره ده. زموږ کمپیوټرونه یو محدود مقدار حافظه لري، بیا هم موږ ډیری وختونه اړتیا لرو چې د ریښتینې شمیرو د نامحدود دوام سره کار وکړو (لکه π یا 0.1). د فلوټینګ پوائنټ ریاضی معیاري جوړجاړی دی، یو هوښیار سیسټم دی چې د محدودو دقیقیت سره د شمیرو پراخه لړۍ استازیتوب کوي. په هرصورت، دا جوړجاړی پدې معنی دی چې ډیری شمیرې نږدې دي، په سمه توګه زیرمه شوي ندي. د ګولډبرګ کاغذ په دقت سره د IEEE 754 معیار تشریح کوي ، کوم چې دې ګډوډي ته خورا اړین ثبات راوړی. هغه توضیحات ورکوي چې څنګه شمیرې په نښه ، توضیحي او فرکشن بټونو کې کوډ شوي ، د نمایشي ارزښتونو د وړاندوینې وړ مګر عجیب منظره رامینځته کوي ، ګردي چلندونه ، او ځانګړي ادارې لکه NaN (نه شمیره) او انفینیت. د هغو پراختیا کونکو لپاره چې په Mewayz کې مالي ماډلونه جوړوي، یوه ګردي تېروتنه چې مایکروسکوپیک ښکاري کولی شي په راپورونو یا معاملو کې د پام وړ توپیرونو ته وده ورکړي، په ټول سیسټم باور کمزوری کوي.

حیرانونکي چلند او ناورین ناکامي

پاڼه د ضدي انګېزې د ښودلو لپاره مشهوره ده چې بنسټیز ریاضيکي انګیرنې ماتوي. د مثال په توګه، د ګردي کولو له امله، د فلوټینګ پوائنټ اضافه شریکه نه ده؛ `(a + b) + c` تل د `a + (b + c)` سره مساوي نه وي. دا کولی شي په موازي محاسبو کې غیر متقابل پایلې رامینځته کړي. د نږدې مساوي شمیرو کمول کولی شي د ناورین لغوه کیدو لامل شي ، چیرې چې د پام وړ عددونه ورکیږي ، ډیری وختونه ګردي غلطی پریږدي. شاید ترټولو مشهور درس دا دی چې هیڅکله د دقیق مساوات (`==`) لپاره د فلوټینګ پوائنټ شمیرې پرتله نه کړئ مګر پرځای یې وګورئ چې ایا د دوی توپیر په یو کوچني زغم کې دی. دا یوازې نظري ټکي نه دي. دوی د ریښتیني نړۍ ناورینونه رامینځته کړي ، د آرین 5 راکټ له چاودنې څخه د پیټریوټ توغندیو په لومړیو سیسټمونو کې غلطۍ پورې. د سوداګرۍ په شرایطو کې، د موجوداتو په محاسبه، د قیمتونو الګوریتمونو، یا د فعالیت میټریکونو کې دا ډول تېروتنې کولی شي د خاموش ډیټا فساد لامل شي، د میویز په څیر قوي پلیټ فارمونه د ډیټا اعتبار پلي کولو او په ماډلونو کې د ثابت چکونو لپاره مهم دي.

د عصري پرمخ وړونکي لپاره کلیدي لارې چارې

د ګولډبرګ مقاله نه یوازې اخطارونه بلکې عملي لارښوونې وړاندې کوي. اصلي کار دا دی چې د "شمیري شعور" وده وکړي - یو دوامداره پوهاوی چې د تیري نقطې شمیرې نږدې دي. دا ذهنیت باید د معلوماتو جوړښت انتخاب څخه د الګوریتم ډیزاین ته انتخابونه خبر کړي. د هغه کار په ګوته کوي چې ولې د "ډبل" (64-bit) کارول تقریبا تل د دقیق - مهم کار لپاره د "فلوټ" (32-bit) څخه غوره دي، او ولې ځینې الګوریتمونه په عددي توګه مستحکم دي پداسې حال کې چې نور یې ندي. کله چې د میویز چاپیریال کې ماډلونه ډیزاین یا یوځای کول - که دا د ماشین زده کړې وړاندوینه کونکی وي یا د سرچینو مهالویش کونکی - دا شعور ډاډ ترلاسه کوي چې بنسټیز شمیرې عملیات د دوی د غوښتنې په درناوی سره اداره کیږي، د هغو خنډونو مخه نیسي چې د دوی اصلي لامل ته بیرته راستنیدل خورا ستونزمن دي.

د ډیجیټل نړۍ لپاره یو ژوندی سند

کله چې په 1991 کې لیکل شوي، د کاغذ تړاو یوازې وده کړې. د IEEE 754 اصول د هر عصري CPU، GPU، او پروګرام کولو ژبه تر پښو لاندې کوي. لکه څنګه چې موږ د AI په څیر سرحدونو ته زور ورکوو، د ډیټا لوی تحلیل، او پیچلي سیسټم سمول، زموږ د محاسبې دقیقیت خورا مهم کیږي. د هغو ټیمونو لپاره چې د ماډلر عملیاتي سیسټم کاروي لکه Mewayz د دوی د سوداګرۍ منطق ساده کولو لپاره، د دې شمیرې سختۍ د دوی په دودیز ماډلونو کې ځای پرځای کول یو غوره عمل دی چې په خورا اساسي کچه د بګونو ټولګي مخه نیسي. د ګولډبرګ شاهکار له کاغذ څخه ډیر دی؛ دا د باور وړ سافټویر انجینرۍ د بنسټ یوه دایمي برخه ده. له پامه غورځول په شګو باندې جوړول دي، د ټول ډیجیټل جوړښت بشپړتیا له خطر سره مخ کوي، که دا یو ساده سکریپټ وي یا د سوداګرۍ درجې سوداګرۍ OS.