Ар бир компьютер илимпозу калкыма чекиттик арифметика жөнүндө эмнени билиши керек (1991) [pdf]

Көрүнбөгөн тактык капкан: Эмне үчүн ар бир программистке бул 1991-жылкы PDF керек

Информатика илиминин так, логикалык дүйнөсүндө бир нече документтер Дэвид Голдбергдин 1991-жылы чыккан "Ар бир компьютер илимпозу калкылуучу чекиттүү арифметика жөнүндө эмнени билиши керек" деген макаласынын туруктуу, негиздүү таасирин тийгизген. Отуз жылдан ашык убакыт өткөндөн кийин, анын аталышы ачык чакырык, эскертүү жана маанилүү акылмандык бойдон калууда. Илимий симуляциялардан жана финансылык системалардан баштап оюн кыймылдаткычтарына жана маалымат аналитикасына чейин реалдуу сандар менен иштеген код жазгандардын баары үчүн анын сабактарына көңүл бурбоо тымызын, кымбат жана көп учурда таң калыштуу катачылыктарга алып келет. Бизнес операциялары барган сайын татаал, өз ара байланышкан программалык камсыздоо менен бекемделген доордо, сандык эсептөөнүн негизин түшүнүү академиялык эмес; бул операциялык зарылчылык. Бул, өзгөчө, Mewayz сыяктуу модулдук бизнес OS колдонгондо, анда модулдар боюнча берилиштердин бүтүндүгү — аналитикадан автоматташтырылган эсепке чейин — болжолдуу, ишенимдүү эсептөөлөрдөн көз каранды.

Негизги көйгөй: Чексиздикти чектүү биттерде көрсөтө албайсыз

Негизги маселе жөнөкөй, бирок терең. Биздин компьютерлерибиздин эс тутумунун чектүү көлөмү бар, бирок биз көп учурда чексиз реалдуу сандардын континууму менен иштешибиз керек (мисалы, π же 0,1). Калкыма чекиттүү арифметика стандарттуу компромисс, чектелген тактык менен сандардын кеңири диапазонун көрсөтүү үчүн акылдуу система. Бирок, бул компромисс көпчүлүк сандар так сакталган эмес, болжолдуу экенин билдирет. Голдбергдин кагазы IEEE 754 стандартын кылдат түшүндүрөт, бул башаламандыкка абдан керектүү ырааттуулукту алып келди. Ал сандардын белгиге, көрсөткүчкө жана бөлчөк биттерине кантип коддолгондугун майда-чүйдөсүнө чейин айтып, болжолдуу, бирок болжолдонгон баалуулуктарды, тегеректөө жүрүм-турумун жана NaN (Сан эмес) жана чексиздик сыяктуу өзгөчө объектилерди түзөт. Mewayzде каржы моделдерин куруп жаткан иштеп чыгуучулар үчүн микроскопиялык көрүнгөн тегеректөө катасы отчеттордо же транзакцияларда олуттуу айырмачылыктарга алып келиши мүмкүн жана бүт системага болгон ишенимди кетирет.

Таң калыштуу жүрүм-турум жана катастрофалык ийгиликсиздиктер

Бул кагаз негизги математикалык божомолдорду бузуп, карама-каршы туюктарды көрсөтүү менен белгилүү. Мисалы, тегеректөөдөн улам, калкыма чекиттүү кошуу ассоциативдик эмес; `(a + b) + c` дайыма `a + (b + c)` барабар боло бербейт. Бул параллелдүү эсептөөдө детерминисттик эмес натыйжаларга алып келиши мүмкүн. Дээрлик бирдей сандарды алып салуу катастрофалык жокко чыгарууга алып келиши мүмкүн, анда маанилүү цифралар жок болуп, негизинен тегеректөө катасын калтырат. Балким, эң белгилүү сабак – калкыма чекиттүү сандарды так теңдик үчүн эч качан салыштырбоо керектиги (`==`), тескерисинче, алардын айырмасы бир аз толеранттуулуктун чегинде экендигин текшерүү. Бул жөн гана теориялык таң калыштуу нерселер эмес. Алар Ariane 5 ракетасынын жарылуусунан баштап Patriot ракеталык системаларындагы так эместиктерге чейин чыныгы кырсыктарды жаратты. Бизнес контекстинде инвентардык эсептөөлөрдөгү, баа алгоритмдериндеги же өндүрүмдүүлүк көрсөткүчтөрүндөгү мындай каталар маалыматтын унчукпай бузулушуна алып келип, Mewayz сыяктуу ишенимдүү платформаларды модулдар боюнча маалыматтарды текшерүү жана ырааттуулугун текшерүү үчүн маанилүү кылат.

"Чексиз көп реалдуу сандарды чектүү сандагы биттерге кысуу болжолдуу көрсөтүүнү талап кылат."

Заманбап иштеп чыгуучу үчүн негизги жолдор

Голдбергдин кагазы эскертүүлөрдү гана эмес, практикалык көрсөтмөлөрдү берет. Негизги алып баруучу нерсе "сандык аң-сезимди" өрчүтүү - калкыма чекиттүү сандар болжолдоо экенин дайыма түшүнүү. Бул ой-жүгүртүү маалымат структурасын тандоодон баштап алгоритмди долбоорлоого чейин тандоону маалымдайт. Анын иши эмне үчүн «кош» (64-бит) тактык-критикалык иштер үчүн «сүзүүчүгө» (32-бит) караганда дээрлик дайыма артыкчылыктуу экенин жана эмне үчүн кээ бир алгоритмдер сандык жактан туруктуу, ал эми башкалары андай эмес экенин баса белгилейт. Mewayz чөйрөсүндө модулдарды долбоорлоодо же интеграциялоодо, мейли ал машина үйрөнүүнү болжолдоочу же ресурс пландоочусу - бул аң-сезим негизги сандык операциялардын талап кылынган сый менен аткарылышын камсыздайт жана алардын түпкү себебин издөө өтө кыйын болгон мүчүлүштүктөрдү алдын алат.

Ар бир программист бул негизги түшүнүктөр менен кагаздан тааныш болушу керек:

• Тегеректөө катасы: Санды эң жакын көрсөтүлүүчү мааниге киргизүүдөгү сөзсүз так эместик.
• Коргоочу цифралар: Тегеректөө катасын азайтуу үчүн аралык эсептөөлөрдө колдонулган кошумча сандар.
• IEEE 754 стандарты: Форматтарды, тегеректөө эрежелерин жана өзгөчөлүктөрдү аныктоочу, калкыма чекит менен эсептөө үчүн универсалдуу схема.
• NaN жана Infinity: Операцияларга каталарды кыйрабастан, кылдаттык менен жайылтууга мүмкүндүк берүүчү өзгөчө баалуулуктар.
• Сандык туруктуулук: Көптөгөн операцияларда катаны чоңойтууну көзөмөлдөө үчүн алгоритмдин касиети.

Санариптик дүйнө үчүн жандуу документ

1991-жылы жазылган, ал эми кагаз актуалдуулугун гана өстү. IEEE 754 принциптери ар бир заманбап CPU, GPU жана программалоо тилинин негизин түзөт. Биз AI, массалык маалыматтарды талдоо жана татаал система симуляциясы сыяктуу чектерге умтулган сайын, биздин эсептөөлөрүбүздүн тактыгы барган сайын маанилүү болуп калат. Бизнес логикасын иретке келтирүү үчүн Mewayz сыяктуу модулдук операциялык тутумду колдонгон командалар үчүн, бул сандык катаалдуулукту ыңгайлаштырылган модулдарына киргизүү эң фундаменталдуу деңгээлде мүчүлүштүктөрдүн классын болтурбоочу эң жакшы тажрыйба болуп саналат. Голдбергдин шедеври кагаздан да көп; бул ишенимдүү программалык камсыздоонун негизинин туруктуу бөлүгү. Аны этибарга албоо – бул жөнөкөй скрипт болобу же ишкана деңгээлиндеги бизнес ОС болобу, бүт санарип түзүмүнүн бүтүндүгүн тобокелге салып, кумдун үстүнө куруу.

Көп берилүүчү суроолор

Көрүнбөгөн тактык тузак: Эмне үчүн ар бир программистке бул 1991 PDF керек

Информатика илиминин так, логикалык дүйнөсүндө бир нече документтер Дэвид Голдбергдин 1991-жылы чыккан "Ар бир компьютер илимпозу калкылуучу чекиттүү арифметика жөнүндө эмнени билиши керек" деген макаласынын туруктуу, негиздүү таасирин тийгизген. Отуз жылдан ашык убакыт өткөндөн кийин, анын аталышы ачык чакырык, эскертүү жана маанилүү акылмандык бойдон калууда. Илимий симуляциялардан жана финансылык системалардан баштап оюн кыймылдаткычтарына жана маалымат аналитикасына чейин реалдуу сандар менен иштеген код жазгандардын баары үчүн анын сабактарына көңүл бурбоо тымызын, кымбат жана көп учурда таң калыштуу катачылыктарга алып келет. Бизнес операциялары барган сайын татаал, өз ара байланышкан программалык камсыздоо менен бекемделген доордо, сандык эсептөөнүн негизин түшүнүү академиялык эмес; бул операциялык зарылчылык. Бул, айрыкча, Mewayz сыяктуу модулдук бизнес OS колдонгондо айкын, мында модулдар боюнча маалыматтардын бүтүндүгү – аналитикадан автоматташтырылган эсепке чейин – болжолдуу, ишенимдүү эсептөөлөрдөн көз каранды.

Негизги көйгөй: Сиз чектүү биттерде чексиздикти көрсөтө албайсыз

Негизги маселе жөнөкөй, бирок терең. Биздин компьютерлерибиздин эс тутумунун чектүү көлөмү бар, бирок биз көп учурда чексиз реалдуу сандардын континууму менен иштешибиз керек (мисалы, π же 0,1). Калкыма чекиттүү арифметика стандарттуу компромисс, чектелген тактык менен сандардын кеңири диапазонун көрсөтүү үчүн акылдуу система. Бирок, бул компромисс көпчүлүк сандар так сакталган эмес, болжолдуу экенин билдирет. Голдбергдин кагазы IEEE 754 стандартын кылдат түшүндүрөт, бул башаламандыкка абдан керектүү ырааттуулукту алып келди. Ал сандардын белгиге, көрсөткүчкө жана бөлчөк биттерине кантип коддолгондугун майда-чүйдөсүнө чейин айтып, болжолдуу, бирок болжолдонгон баалуулуктарды, тегеректөө жүрүм-турумун жана NaN (Сан эмес) жана чексиздик сыяктуу өзгөчө объектилерди түзөт. Mewayzде каржы моделдерин куруп жаткан иштеп чыгуучулар үчүн микроскопиялык көрүнгөн тегеректөө катасы отчеттордо же транзакцияларда олуттуу айырмачылыктарга алып келиши мүмкүн жана бүт системага болгон ишенимди жокко чыгарат.

Таң калыштуу жүрүм-турум жана катастрофалык ийгиликсиздиктер

Бул кагаз негизги математикалык божомолдорду бузуп, карама-каршы туюктарды көрсөтүү менен белгилүү. Мисалы, тегеректөөдөн улам, калкыма чекиттүү кошуу ассоциативдик эмес; `(a + b) + c` дайыма `a + (b + c)` барабар боло бербейт. Бул параллелдүү эсептөөдө детерминисттик эмес натыйжаларга алып келиши мүмкүн. Дээрлик бирдей сандарды алып салуу катастрофалык жокко чыгарууга алып келиши мүмкүн, анда маанилүү цифралар жок болуп, негизинен тегеректөө катасын калтырат. Балким, эң белгилүү сабак – калкыма чекиттүү сандарды так теңдик үчүн эч качан салыштырбоо керектиги (`==`), тескерисинче, алардын айырмасы бир аз толеранттуулуктун чегинде экендигин текшерүү. Бул жөн гана теориялык таң калыштуу нерселер эмес. Алар Ariane 5 ракетасынын жарылуусунан баштап Patriot ракеталык системаларындагы так эместиктерге чейин чыныгы кырсыктарды жаратты. Бизнес контекстинде инвентардык эсептөөлөрдөгү, баа алгоритмдериндеги же өндүрүмдүүлүк көрсөткүчтөрүндөгү мындай каталар маалыматтын унчукпай бузулушуна алып келиши мүмкүн, бул Mewayz сыяктуу ишенимдүү платформаларды модулдар боюнча маалыматтарды текшерүү жана ырааттуулугун текшерүү үчүн маанилүү кылат.

Заманбап иштеп чыгуучу үчүн негизги жолдор

Голдбергдин кагазы эскертүүлөрдү гана эмес, практикалык көрсөтмөлөрдү берет. Негизги алып баруучу нерсе "сандык аң-сезимди" өрчүтүү - калкыма чекиттүү сандар болжолдоо экенин дайыма түшүнүү. Бул ой-жүгүртүү маалымат структурасын тандоодон баштап алгоритмди долбоорлоого чейин тандоону маалымдайт. Анын иши эмне үчүн «кош» (64-бит) тактык-критикалык иштер үчүн «сүзүүчүгө» (32-бит) караганда дээрлик дайыма артыкчылыктуу экенин жана эмне үчүн кээ бир алгоритмдер сандык жактан туруктуу, ал эми башкалары андай эмес экенин баса белгилейт. Mewayz чөйрөсүндө модулдарды долбоорлоодо же интеграциялоодо - бул машина үйрөнүү болжолдоочусу же ресурс пландаштыргыч - бул аң-сезим негизги сандык операциялардын талап кылынган урмат-сый менен аткарылышын камсыздайт жана алардын түпкү себебин издөө өтө кыйын болгон мүчүлүштүктөрдү алдын алат.

Санариптик дүйнө үчүн жандуу документ

1991-жылы жазылган, ал эми кагаз актуалдуулугун гана өстү. IEEE 754 принциптери ар бир заманбап CPU, GPU жана программалоо тилинин негизин түзөт. Биз AI, массалык маалыматтарды талдоо жана татаал система симуляциясы сыяктуу чектерге умтулган сайын, биздин эсептөөлөрүбүздүн тактыгы барган сайын маанилүү болуп калат. Бизнес логикасын иретке келтирүү үчүн Mewayz сыяктуу модулдук операциялык тутумду колдонгон командалар үчүн, бул сандык катаалдуулукту ыңгайлаштырылган модулдарына киргизүү эң фундаменталдык деңгээлдеги мүчүлүштүктөрдүн классын болтурбоочу эң жакшы тажрыйба болуп саналат. Голдбергдин шедеври кагаздан да көп; бул ишенимдүү программалык камсыздоонун негизинин туруктуу бөлүгү. Аны этибарга албоо – бул жөнөкөй скрипт болобу же ишкана деңгээлиндеги бизнес ОС болобу, бүт санарип түзүмүнүн бүтүндүгүн тобокелге салып, кумдун үстүнө куруу.