Cad ba cheart go mbeadh a fhios ag gach eolaí ríomhaireachta faoi uimhríocht snámhphointe (1991) [pdf]

An Gaiste Dofheicthe Beachtais: An Fáth a dteastaíonn an PDF 1991 seo ag Gach Ríomhchláraitheoir

I ndomhan beacht, loighciúil na ríomheolaíochta, is beag doiciméad a raibh an tionchar buan, bunúsach ag páipéar 1991 David Goldberg, "An Rud Ar Chóir do Gach Ríomheolaí Ar A Bhfuil A Eolas Faoi Shnámhphointe Arithmetic." Breis is trí scór bliain ina dhiaidh sin, tá a theideal fós ina ghlaoch soiléir, rabhadh, agus píosa riachtanach eagna. Do dhuine ar bith a scríobhann cód a dhéileálann le fíoruimhreacha - ó ionsamhlúcháin eolaíocha agus córais airgeadais go hinnill chluiche agus anailísíocht sonraí - déantar neamhaird ar a chuid ceachtanna chun cúirt a dhéanamh ar theipeanna caolchúiseacha, costasacha agus go minic baffling. I ré ina bhfuil oibríochtaí gnó á gcumhachtú níos mó ag bogearraí casta, idirnasctha, ní rud acadúil é bunchloch na ríomh uimhriúil a thuiscint; is riachtanas oibríochta é. Tá sé seo fíor go háirithe agus OS gnó modúlach á ghiaráil ar nós Mewayz, áit a bhfuil sláine sonraí trasna modúil - ó anailísíocht go billeáil uathoibrithe - ag brath ar ríomhaireacht intuartha, iontaofa.

An Phríomhfhadhb: Ní Féidir Leat Éiginneacht a Léiriú i nGiotáin Chríochnaithe

Tá an bhuncheist simplí ach domhain. Tá méid teoranta cuimhne ag ár ríomhairí, ach is minic a bhíonn orainn oibriú le contanam gan teorainn de réaduimhreacha (ar nós π nó 0.1). Is é uimhríocht snámhphointe an comhréiteach caighdeánach, córas cliste chun raon leathan uimhreacha a léiriú le cruinneas teoranta. Mar sin féin, ciallaíonn an comhréiteach seo go ndéantar formhór na n-uimhreacha a neasú, gan iad a stóráil go beacht. Míníonn páipéar Goldberg go cúramach caighdeán IEEE 754, rud a thug comhsheasmhacht a raibh géarghá leis don chaos seo. Sonraíonn sé conas a dhéantar uimhreacha a ionchódú i ngiotáin chomharthaí, easpónantúla agus codáin, ag cruthú tírdhreach intuartha ach aisteach de luachanna inléirithe, iompraíochtaí slánaithe, agus eintitis speisialta ar nós NaN (Ní Uimhir) agus éigríochta. D'fhorbróirí atá ag tógáil samhlacha airgeadais ar Mewayz, d'fhéadfadh earráid shlánaithe atá cosúil go micreascópach a bheith ina neamhréireachtaí suntasacha i dtuarascálacha nó idirbhearta, rud a bhainfidh an bonn de mhuinín sa chóras iomlán.

Iompar Iontasacha agus Teipeanna Tubaisteacha

Tá cáil ar an bpáipéar mar gheall ar ghasúir fhrithintuigeacha a sháraíonn boinn tuisceana bunúsacha matamaitice a léiriú. Mar shampla, mar gheall ar shlánú, níl suimiú snámhphointe comhthiomsaitheach; Ní ionann `(a + b) + c` i gcónaí `a + (b + c)`. Is féidir torthaí neamhchinntitheacha i ríomhanna comhthreomhara a bheith mar thoradh air seo. Is féidir cealú tubaisteach a bheith mar thoradh ar bhaint líon nach mór comhionann, áit a n-imíonn digití suntasacha, rud a fhágann earráid shlánaithe den chuid is mó. B'fhéidir gurb é an ceacht is cáiliúla ná an gá gan comparáid a dhéanamh riamh le huimhreacha snámhphointe ar mhaithe le comhionannas beacht (`==`) ach ina ionad sin seiceáil an bhfuil a difríocht laistigh de lamháltas beag bídeach. Ní quirks teoiriciúla amháin iad seo. Tá tubaistí sa saol fíor ina gcúis leo, ó phléasc roicéad Ariane 5 go míchruinneas i gcórais luath-dhiúracán Patriot. I gcomhthéacs gnó, d'fhéadfadh éilliú sonraí ciúine a bheith mar thoradh ar earráidí dá leithéid in áirimh fardail, halgartaim praghsála, nó méadracht feidhmíochta, rud a fhágann go bhfuil ardáin láidre mar Mewayz ríthábhachtach chun bailíochtú sonraí agus seiceálacha comhsheasmhachta a fhorfheidhmiú ar fud na modúl.

"Tá gá le hionadaíocht thart ar roinnt réaduimhreacha a bhrú go gan teorainn isteach i líon teoranta giotán."

Eochairbhealaí beir leat don Fhorbróir Nua-Aimseartha

Ní rabhaidh amháin a sholáthraíonn páipéar Goldberg ach treoir phraiticiúil. Is é an croí beir leat ná "comhfhiosacht uimhriúil" a chothú - feasacht leanúnach gur neastacháin iad uimhreacha snámhphointe. Ba cheart go mbeadh an meon meon seo mar bhonn eolais do roghanna ó roghnú struchtúir sonraí go dearadh algartam. Leagann a shaothar béim ar an bhfáth gur fearr ‘dúbailte’ (64-giotán) a úsáid beagnach i gcónaí ná ‘snámhán’ (32-giotán) le haghaidh obair chruinn-chriticiúil, agus cén fáth a bhfuil algartaim áirithe cobhsaí go huimhriúil agus cinn eile nach bhfuil. Nuair a bhíonn modúil á ndearadh nó á gcomhtháthú laistigh de thimpeallacht Mewayz - cibé acu is réamhaisnéiseoir meaisínfhoghlama nó sceidealóir acmhainne é - cinntíonn an comhfhios seo go láimhseáiltear oibríochtaí uimhriúla bunúsacha leis an meas a éilíonn siad, rud a choscann glitches atá deacair go mór a rianú siar go dtí a mbunchúis.

Ba cheart go mbeadh cur amach ag gach ríomhchláraitheoir ar na bunchoincheapa seo ón bpáipéar:

• Earráid shlánaithe: An mhíchruinneas dosheachanta a bhaineann le huimhir a fheistiú ar an luach inléirithe is gaire.
• Digití Garda: Úsáidtear digití breise i ríomhanna idirmheánacha chun earráid shlánaithe a íoslaghdú.
• Caighdeán IEEE 754: An treoirphlean uilíoch le haghaidh ríomh snámhphointe, formáidí a shainiú, rialacha slánúcháin agus eisceachtaí.
• NaN agus Infinity: Luachanna speisialta a ligeann d'oibríochtaí earráidí a iomadú go galánta seachas tuairteála.
• Cobhsaíocht Uimhriúil: Airíonna algartam chun méadú earráide a rialú thar go leor oibríochtaí.

Doiciméad Beo do Dhomhan Digiteach

Agus é scríofa i 1991, níl ach méadú tagtha ar ábharthacht an pháipéir. Tá prionsabail IEEE 754 mar bhonn agus mar thaca ag gach LAP, GPU agus teanga ríomhchlárúcháin nua-aimseartha. Agus muid ag brú isteach i dteorainneacha mar AI, anailís ollmhór sonraí, agus ionsamhlúchán casta córais, éiríonn beachtas ár n-áirimh níos tábhachtaí fós. I gcás foirne a úsáideann córas oibriúcháin modúlach mar Mewayz chun a loighic gnó a shruthlíniú, is cleachtas is fearr é an déine uimhriúil seo a neadú ina modúil saincheaptha a chuireann cosc ​​ar aicme fabhtanna ar an leibhéal is bunúsaí. Tá níos mó ná páipéar i masterpiece Goldberg; is cuid bhuan de bhunchloch na hinnealtóireachta bogearraí iontaofa é. Le neamhaird a dhéanamh de, is éard atá i gceist ná tógáil ar ghaineamh, rud a chuireann sláine an struchtúir dhigitigh ar fad i mbaol, bíodh sé ina script shimplí nó ina OS gnó de ghrád fiontair.

Ceisteanna Coitianta

An Gaiste Dofheicthe Beachtais: An Fáth a dteastaíonn an PDF 1991 seo ag Gach Ríomhchláraitheoir

I ndomhan beacht, loighciúil na ríomheolaíochta, is beag doiciméad a raibh an tionchar buan, bunúsach ag páipéar 1991 David Goldberg, "An Rud Ar Chóir do Gach Ríomheolaí Ar A Bhfuil A Eolas Faoi Shnámhphointe Arithmetic." Breis is trí scór bliain ina dhiaidh sin, tá a theideal fós ina ghlaoch soiléir, rabhadh, agus píosa riachtanach eagna. Do dhuine ar bith a scríobhann cód a dhéileálann le fíoruimhreacha - ó ionsamhlúcháin eolaíocha agus córais airgeadais go hinnill chluiche agus anailísíocht sonraí - déantar neamhaird ar a chuid ceachtanna chun cúirt a dhéanamh ar theipeanna caolchúiseacha, costasacha agus go minic baffling. I ré ina bhfuil oibríochtaí gnó á gcumhachtú níos mó ag bogearraí casta, idirnasctha, ní rud acadúil é bunchloch na ríomh uimhriúil a thuiscint; is riachtanas oibríochta é. Tá sé seo fíor go háirithe agus OS gnó modúlach ar nós Mewayz á ghiaráil, áit a mbraitheann sláine sonraí trasna modúil - ó anailísíocht go billeáil uathoibrithe - ar ríomhaireacht intuartha iontaofa.

An Phríomhfhadhb: Ní Féidir Leat Éiginneacht a Léiriú i nGiotáin Chríochnaithe

Tá an bhuncheist simplí ach domhain. Tá méid teoranta cuimhne ag ár ríomhairí, ach is minic a bhíonn orainn oibriú le contanam gan teorainn de réaduimhreacha (ar nós π nó 0.1). Is é uimhríocht snámhphointe an comhréiteach caighdeánach, córas cliste chun raon leathan uimhreacha a léiriú le cruinneas teoranta. Mar sin féin, ciallaíonn an comhréiteach seo go ndéantar formhór na n-uimhreacha a neasú, gan iad a stóráil go beacht. Míníonn páipéar Goldberg go cúramach caighdeán IEEE 754, rud a thug comhsheasmhacht a raibh géarghá leis don chaos seo. Sonraíonn sé conas a dhéantar uimhreacha a ionchódú i ngiotáin chomharthaí, easpónantúla agus codáin, ag cruthú tírdhreach intuartha ach aisteach de luachanna inléirithe, iompraíochtaí slánaithe, agus eintitis speisialta ar nós NaN (Ní Uimhir) agus éigríochta. D'fhorbróirí atá ag tógáil samhlacha airgeadais ar Mewayz, d'fhéadfadh earráid shlánaithe atá cosúil le micreascóp a bheith ann go neamhréireachtaí suntasacha i dtuarascálacha nó idirbhearta, rud a bhainfeadh an bonn d'iontaoibh an chórais ar fad.

Iompar Iontasacha agus Teipeanna Tubaisteacha

Tá cáil ar an bpáipéar mar gheall ar ghasúir fhrithintuigeacha a sháraíonn boinn tuisceana bunúsacha matamaitice a léiriú. Mar shampla, mar gheall ar shlánú, níl suimiú snámhphointe comhthiomsaitheach; Ní ionann `(a + b) + c` i gcónaí `a + (b + c)`. Is féidir torthaí neamhchinntitheacha i ríomhanna comhthreomhara a bheith mar thoradh air seo. Is féidir cealú tubaisteach a bheith mar thoradh ar bhaint líon nach mór comhionann, áit a n-imíonn digití suntasacha, rud a fhágann earráid shlánaithe den chuid is mó. B'fhéidir gurb é an ceacht is cáiliúla ná an gá gan comparáid a dhéanamh riamh le huimhreacha snámhphointe ar mhaithe le comhionannas beacht (`==`) ach ina ionad sin seiceáil an bhfuil a difríocht laistigh de lamháltas beag bídeach. Ní quirks teoiriciúla amháin iad seo. Tá tubaistí sa saol fíor ina gcúis leo, ó phléasc roicéad Ariane 5 go míchruinneas i gcórais luath-dhiúracán Patriot. I gcomhthéacs gnó, d'fhéadfadh éilliú sonraí ciúine a bheith mar thoradh ar earráidí dá leithéid in ríomh fardail, halgartaim praghsála, nó méadracht feidhmíochta, rud a fhágann go bhfuil ardáin láidre cosúil le Mewayz ríthábhachtach chun bailíochtú sonraí agus seiceálacha comhsheasmhachta a fhorfheidhmiú thar modúil.

Eochairbhealaí beir leat don Fhorbróir Nua-Aimseartha

Ní rabhaidh amháin a sholáthraíonn páipéar Goldberg ach treoir phraiticiúil. Is é an croí beir leat ná "comhfhiosacht uimhriúil" a chothú - feasacht leanúnach gur neastacháin iad uimhreacha snámhphointe. Ba cheart go mbeadh an meon meon seo mar bhonn eolais do roghanna ó roghnú struchtúir sonraí go dearadh algartam. Leagann a shaothar béim ar an bhfáth gur fearr ‘dúbailte’ (64-giotán) a úsáid beagnach i gcónaí ná ‘snámhán’ (32-giotán) le haghaidh obair chruinn-chriticiúil, agus cén fáth a bhfuil algartaim áirithe cobhsaí go huimhriúil agus cinn eile nach bhfuil. Nuair a bhíonn modúil á ndearadh nó á gcomhtháthú laistigh de thimpeallacht Mewayz - cibé acu is réamhaisnéiseoir meaisínfhoghlama nó sceidealóir acmhainne é - cinntíonn an chomhfhios seo go láimhseáiltear oibríochtaí uimhriúla bunúsacha leis an meas a éilíonn siad, rud a choscann glitches atá deacair go háirithe a rianú siar go dtí a mbunchúis.

Doiciméad Beo do Dhomhan Digiteach

Agus é scríofa i 1991, níl ach méadú tagtha ar ábharthacht an pháipéir. Tá prionsabail IEEE 754 mar bhonn agus mar thaca ag gach LAP, GPU agus teanga ríomhchlárúcháin nua-aimseartha. Agus muid ag brú isteach i dteorainneacha mar AI, anailís ollmhór sonraí, agus ionsamhlúchán casta córais, éiríonn beachtas ár n-áirimh níos tábhachtaí fós. Maidir le foirne a úsáideann córas oibriúcháin modúlach cosúil le Mewayz chun a loighic gnó a shruthlíniú, is cleachtas is fearr é an déine uimhriúil seo a leabú ina modúil saincheaptha a chuireann cosc ​​ar aicme fabhtanna ar an leibhéal is bunúsaí. Tá níos mó ná páipéar i masterpiece Goldberg; is cuid bhuan de bhunchloch na hinnealtóireachta bogearraí iontaofa é. Le neamhaird a dhéanamh de, is éard atá i gceist ná tógáil ar ghaineamh, rud a chuireann sláine an struchtúir dhigitigh ar fad i mbaol, bíodh sé ina script shimplí nó ina OS gnó de ghrád fiontair.