🚀 go-pugleaf

"Immona" <c.oleszkiewicz@na.gmailu> writes:

>>Jeśli ma nie być dodatkowych narzutów związanych z 'try', to przy
>>typowej konwencji wołania funkcji jedynym sposobem na stwierdzenie,
>>co robić w przypadku wyjątku, jest obejrzenie każdej ramki stosu
>>między 'throw' a 'try' i znalezienie tych informacji na podstawie
>>adresu powrotu w "mapach kodu" (które mogą być zaalokowane
>>statycznie). Przy czym oglądać trzeba również te ramki stosu,
>>w których nie ma żadnych 'try', nawet niejawnych, bo a priori nie
>>wiadomo, które ramki takie są, a adresy powrotu trzeba wyszukiwać
>>w jakichś statycznych słownikach.
>
> Ale Javy to nie dotyczy chyba ..?

Hmm, właściwie to nie wiem, dlaczego wyjątki w C++ są wolne. Moje
rozumowanie było błędne: te ramki stosu i tak trzeba było kiedyś
utworzyć, więc asymptotyczny koszt rzucania wyjątku nie ma wpływu na
asymptotyczny koszt programu. Jednak eksperyment pokazuje, że rzucanie
wyjątku w GCC rzeczywiście jest wolne:

           | OCaml | C++ (GCC) | Java (Sun) |
-----------+-------+-----------+------------+
 pusty     | 0.003 |   0.004   |   0.246    |
 wynikiem  | 0.408 |   0.140   |   0.328    |
 wyjątkiem | 0.614 |  70.310   |   1.696    |

Programy niżej. Czasy w sekundach. Pusty program ma pętlę długości 0;
w ten sposób można wyeliminować czas uruchomienia programu. "Wynikiem"
przekazuje wynik w typie bool, "wyjątkiem" przekazuje wynik wyjątkiem.
Wygląda na to, że wyjątki w Javie Suna są dużo szybsze niż w GCC,
ale wolniejsze niż w OCamlu. Z czasów można wywnioskować, że żaden
kompilator nie wyoptymalizował całej pętli, więc mimo że to
microbenchmark, wynik wydaje się mierzyć prawdziwy koszt wyjątków.

----------------------------------------------------------------------
exception Exn

let test1 x y = x < y

let test2 x y = if x < y then raise Exn

let _ =
  let count = ref 0 in
  for i = 0 to 9999999 do
    (* if test1 i 5000000 then count := !count + 1 *)
    try test2 i 5000000 with Exn -> count := !count + 1
  done;
  print_int !count; print_newline()
......................................................................
ocamlopt exc-ml.ml -o exc-ml
time ./exc-ml
(ocaml-3.09.0)
----------------------------------------------------------------------
#include <iostream>

bool test1(int x, int y) {
   return x < y;
}

void test2(int x, int y) {
   if (x < y) throw 0;
}

int main() {
   int count = 0;
   for (int i = 0; i < 10000000; ++i) {
      // if (test1(i, 5000000)) ++count;
      try {test2(i, 5000000);} catch (int x) {++count;}
   }
   std::cout << count << std::endl;
}
......................................................................
g++ -O2 exc-cc.cc -o exc-cc
time ./exc-cc
(gcc-4.1.0)
----------------------------------------------------------------------
class ExcJava {
   static RuntimeException exn = new RuntimeException();

   static boolean test1(int x, int y) {
      return x < y;
   }

   static void test2(int x, int y) {
      if (x < y) throw exn;
   }

   public static void main(String[] args) {
      int count = 0;
      for (int i = 0; i < 10000000; ++i) {
         // if (test1(i, 5000000)) ++count;
         try {test2(i, 5000000);} catch (RuntimeException x) {++count;}
      }
      System.out.println(count);
   }
}
......................................................................
javac ExcJava.java
time java ExcJava
(java-sun-1.5.0.01)
----------------------------------------------------------------------

-- 
   __("<         Marcin Kowalczyk
   \__/       qrczak@knm.org.pl
    ^^     http://qrnik.knm.org.pl/~qrczak/