Экспериментальная валидация
Мы измерили параметры модели для своей реализации. Значения приведены в табл. 2. На рис. 10 показаны аналитическая модель с использованием этих параметров, а также измерения, полученные для нашей системы без репликации. Можно заметить, что графики относительно близки. Это означает, что модель разумным образом аппроксимирует поведение реальной системы. Эти результаты также показывают, что спекулятивное выполнение многораздельных транзакций приводит к значительному повышению производительности, если такие транзакции составляют значительную часть рабочей нагрузки.
| Переменная | Измеренное значение | Описание |
| tsp | 64 миллисекунды | Время не спекулятивного выполнения однораздельной транзакции |
| tspS | 73 миллисекунды | Время спекулятивного выполнения однораздельной транзакции |
| tmp | 211 миллисекунд | Время выполнения многораздельной транзакции, включая обработку двухфазной фиксации |
| tmpC | 55 миллисекунд | Процессорное время выполнения многораздельной транзакции |
| tmpN | 40 миллисекунд | Сетевая задержка при выполнении многораздельной транзакции |
| l | 13,2% | Накладные расходы синхронизационных блокировок. Доля дополнительного времени выполнения |
Табл. 2. Переменные аналитической модели
Рис. 10. Модельная пропускная способность
