In che modo Object.observe() influisce sulle prestazioni?

Question

L'API JavaScript Object.observe() consente a qualsiasi parte di codice di ricevere notifiche di modifica per tutte le modifiche di proprietà di qualsiasi oggetto JavaScript.

Questo non influisce gravemente sulla generazione del codice e sulle ottimizzazioni delle prestazioni che possono essere eseguite dal motore JavaScript (ad es. V8)? Sembra che il codice nativo generato ora debba controllare ogni singola scrittura dell'oggetto se deve essere generata una notifica di modifica. Non è possibile determinare staticamente se un determinato oggetto ha impostato o meno notifiche. Quindi i controlli non possono essere ottimizzati.

Sembra che qualsiasi motore JavaScript conforme sia ora bloccato in una permanente e grave perdita di prestazioni dovuta a questa API.

Answer 1

moderna JavaScript utilizzano caching in linea e tecniche di ricompilazione adattiva per minimizzare l'impatto dell'invio dinamico sul codice generato.

Se stiamo parlando di V8, il fatto che l'oggetto sia osservato o meno è codificato nella sua classe nascosta. Sia gli stub di cache inline che il codice ottimizzato già controllano la classe nascosta rispetto ad alcuni valori attesi per determinare se un oggetto ha una forma prevista o meno. Lo stesso controllo fornisce informazioni sul fatto che l'oggetto sia osservato o meno. Quindi nulla cambia sui percorsi del codice che funzionano con oggetti non osservati. Iniziare a osservare l'oggetto viene trattato allo stesso modo della sua modifica: la classe nascosta dell'oggetto viene passata a un'altra, con un set di bit osservato: puoi leggere Runtime_SetIsObserved per vederlo.

Il ragionamento simile si applica alle parti del sistema che omettono le guardie nel codice ottimizzato e invece deoptimizzano il codice in base alle ipotesi di "forma": una volta che un oggetto viene osservato, tutto il codice ottimizzato in base all'assunzione che tale oggetto non è stato osservato essere deottimizzato Quindi, di nuovo, non viene pagato alcun prezzo per gli oggetti non osservati.

Detto questo, l'attuale implementazione di Object.observe in V8 fa sì che gli oggetti osservati paghino un prezzo elevato perché li normalizza (li converte in rappresentazione di dizionario) e richiede round trip attraverso il sistema runtime per la registrazione di osservazioni. Ma non ci sono difficoltà tecniche intrinseche nel ridurre significativamente questo costo in seguito.

Answer 2

Questo non influisce gravemente sulla generazione del codice e sulle ottimizzazioni delle prestazioni che possono essere eseguite dal motore JavaScript (ad es. V8)?

Sì. Proprio come Proxy, Getter/Setter e forse anche oggetti prototipo - tutti sono dinamici in JavaScript.

Tuttavia, a causa della loro asincronia, saranno possibili nuove (e migliori) ottimizzazioni; e potevano rendere obsoleto un altro codice più inefficiente. Citando le Goals from the harmony draft:

• Nessun involucro o del proxy oggetti necessari, fornendo l'efficienza della memoria e dell'identità oggetto
• modificare le notifiche su Add/delete di una proprietà su un oggetto
• modificare le notifiche sulle modifiche descrittore di proprietà di proprietà su un oggetto
• La possibilità per un oggetto di indicare manualmente quando una proprietà accessor è stata modificata
• efficiente implementabile nei motori
• semplice, mirato, estensione a corrente ES
• asincrono notifica delle modifiche, ma consentono il recupero sincrona dei cambiamenti in attesa di consegna motori