Re: Jádro pudla (Cernobily svet) :-)

[Ales Prochaska]

Pouzivat na zacatku a pak vypnout je jen jedna z moznosti, ta se
pouzije kdyz se zjisti, ze to zdrzuje. Formalne cistsi je priradit
jinou sadu run-time vyjimek a nechat to bezet s range checking i v
ostrem. V praxi se ukazuje, ze to s tim zdrzenim neni tak horke.

Obvykle se to ale nedela tak, ze byste nutne musel definovat rozsahy
mezivypoctu apod., pomoci range se omezi jen promenne (typy) kde vite,
ze na tom zalezi a kde nesmi dojit k manipulaci s chybnou hodnotou.

Jak s touto informaci nalozite zalezi ciste na Vas a Vasi metodce
psani programu, do toho Vam kecat nebudu.

Ales Prochaska

> Zdravim, 

> Jenze ADA, to musi delat porad a u mnoha vypoctu staci proste vypocet i
> komplikovany lze tyto vypocty provadet bez nejakeho testovani mezi a teprve
> az koncovy vysledek je z tohoto hlediska zajimavy a tam hledam teprve zda
> rozsah byl prekrocen a u mezivypoctu si nastavim promenne stejne v mezich,
> které mi daji maxmmalni moznosti dane matematicke operace.

> Stejne když si to vypnu, tak je tahle cela figura na nic:) a psat s ni
> program, který se muze během casu menit a to i vstupni rozsah a dalsi
> parametry vypoctu je k obeseni, protoze bych musel všechny promenne upravit
> na vstupni rozsahy, mezivypoctove taktez, tohle proste nikam nevede a
> nedivim se, ze s A. Prochazka zminuje, ze se to pouziva jen na zacatku a pak
> se to vypne :((((

> S pozdravem, 
>                 Marek Pavlu 

> //  -----Original Message----- 
> //  From: hw-list-bounces@list.hw.cz
> [mailto:hw-list-bounces@list.hw.cz] On 
> //  Behalf Of Jiri Foldyna 
> //  Sent: Monday, March 06, 2006 1:06 AM 
> //  To: 'HW-news' 
> //  Subject: RE: Jádro pudla (Cernobily svet) :-) 
> //  
//  >> UINT16 0 - 65535 
//  >> 
//  >> Nula je OK, kdyz pretece 65535->65536 tak se mi nastavi carry 
//  >> v CPU a je to 
//  >> OK. 
//  >> 
//  >> UserTyp  0 - 32456 
//  >> A jsem v haji, test po kazde operaci, pokud chci testovat, zda doslo k

//  >> preteceni musim resit jako rozdil hranice a hodnoty v takovem typu. 
> //  
> //  No a jak byste si predstavoval efektivni rangecheck takoveho typu v
> //  C/C++/PASCAL/ASM/kdekoli jinde ? Je prece evidentni, ze rangecheck na
> //  typu, 
> //  ktery nema podporu na urovni asembleru, musite vzdy udelat napr. 
> //  porovnanim 
> //  s hranicemi. To bych za slabinu ADA oproti C/C++ rozhodne nepovazoval.
> //  
> //  Jiri Foldyna 
> //  
> //  _______________________________________________ 
> //  HW-list mailing list  -  sponsored by www.HW.cz 
> //  Hw-list@list.hw.cz 
> //  http://list.hw.cz/mailman/listinfo/hw-list 



>   _____  

> avast! Antivirus <http://www.avast.com>  : Odchozi zprava cista. 


> Virova databaze (VPS): 0609-3, 03.03.2006
> Testovano: 6.3.2006 18:26:00
> avast! - copyright (c) 2000-2003 ALWIL Software.



> _______________________________________________
> HW-list mailing list  -  sponsored by www.HW.cz
> Hw-list@list.hw.cz
> http://list.hw.cz/mailman/listinfo/hw-list