Коли ми думаємо про ефективність комп'ютера – про ефективність будь-чого – про кожен шар абстракції (поверх коду) – це має свою ціну. Зазвичай, чим вище шар абстракції – тим вище ціна. Тепер подумайте про снарки (які генеруються в споживчому обладнанні загального призначення) – це приблизно емуляція емуляції над емуляцією емуляції. Що ж, дійсно цікава частина полягає в тому, як це піде далі: -- деякі шари можуть стати настільки швидкими через загальне прискорення комп'ютера, що накладні витрати стануть незначними. -- деякі шари можуть бути реалізовані нативно (наприклад, від ISA до фактично спеціальних чіпів, схожих на ігри сьогодні), якщо світ бачить достатню загальну цінність у снарках, а снарк випадково стане дійсно хорошим у продажах та лобіюванні -- деякі шари можуть бути просто оптимізовані самі по собі, витративши більше великих світлих умів на опімізації Дійсно дійсно дуже цікаве питання: якщо об'єднати все вищесказане – чи отримаємо ми загальне призначення (буквально будь-яку програму) доведення снарка в реальному часі? Моя ставка скоріше так, це ні-хе-хе. Але подивимося