più veloce moltiplicazione Fixnum in rubino?

Question

utilizzando 1.9.2p290 rubino (2011-07-09 revisione 32553) [x86_64-linux]

Ho fatto un sacco di profilazione ed è venuto alla mia attenzione che rubino Fixnum moltiplicazione è molto lento.

Attraverso alcuni profili, ho appreso che questo è (parzialmente) perché ogni chiamata a Fixnum # * comporta 6 chiamate a Kernel # tipo_di.

So che è possibile scrivere estensioni C, ma queste moltiplicazioni sono diffuse in tutto il codice. Quindi, c'è comunque da evitare questo sovraccarico all'interno di Ruby?

grazie

Answer 1

Dubito seriamente che queste misure sono accurate, per diverse ragioni:

1. Non dichiarate quale implementazione di Ruby che si sta utilizzando, ma ruby-prof è un profiler di Ruby. Identifica il codice Ruby. Non esiste un'implementazione Ruby che conosca dove Fixnum#* è un codice Ruby. In MRI, YARV, MRuby e tinyrb è codice C, in Rubinius è codice C++, in MacRuby è codice Objective-C, in JRuby e XRuby è codice Java, in RubyGoLightly è codice Go, in IronRuby e Ruby. NET è il codice C#, in MagLev e SmallRuby è il codice Smalltalk, in Cardinal è il codice PASM. ruby-prof può profilare il codice Ruby, non può profilare C, C++, Objective-C, Java, C#, Vai, Smalltalk o PASM. Solo Ruby. Pertanto, è semplicemente impossibile profilo Fixnum#*.

2. Non è necessario per Fixnum#* controllare la classe più di una volta. Sa che self è un Fixnum, perché altrimenti la chiamata non sarebbe stata inviata al metodo Fixnum#* in primo luogo, quindi è sufficiente controllare l'argomento. Inoltre, deve verificare se il risultato si adatta o meno a Fixnum, ma lo farebbe internamente, non tramite una chiamata a kind_of? (infatti, non ha nemmeno senso: per poter chiamare un metodo sul risultato della moltiplicazione, dovrebbe prima costruire l'oggetto risultato, e per costruire l'oggetto risultato, dovrebbe già sapere se si adatta a Fixnum o meno).

3. Non farebbe questo controllo di classe chiamando kind_of? e passando attraverso l'intero sistema di ricerca metodo e dispacciamento metodo Ruby. E 'una funzione interna di attuazione Ruby, ha accesso a tutti i dettagli di implementazione interni privati, sarebbe solo verificare la classe direttamente o chiamare una qualche funzione interprete interno, non il metodo di Ruby kind_of?

4. ho controllato l'attuazione di Fixnum#* in varie implementazioni popolari di Ruby e non ha trovato qualsiasi chiamate a kind_of?. Sfortunatamente, non hai indicato quale implementazione di Ruby stai usando.

   • Rubinius: Fixnum::mul in vm/builtin/fixnum.cpp l. 78–89
   • YARV: fix_mul in numeric.c l. 2596–2640
   • JRuby: org.jruby.RubyFixnum.{op_mul, multiplyFixnum, multiplyOther} in src/org/jruby/RubyFixnum.java l. 472–520 (Qui si può vedere chiaramente, per esempio, come il metodo utilizza l'operatore Java instanceof invece che il metodo di Ruby kind_of? per controllare la classe.)

Answer 2

Beh, penso di aver capito. Sto usando il libray GSL, e sembra che corregga il Fixnum # * con il codice che puoi vedere qui: https://github.com/romanbsd/rb-gsl/blob/master/lib/gsl/oper.rb#L15

Questo codice include ... attendere ... 6 chiamate al numero # del kernel di tipo? in una grande enunciazione.

Non ho intenzione di fingere di capire completamente come funziona o perché succede, ma il percorso del codice si abbina perfettamente con l'output del profiler.