Organized into four chapters, this book begins with an overview of the model in its simplest form. This text then explains locking, which uses a combination of blocking and restarts to achieve correctness. Other chapters test the model and the method of analysis by comparing the model's predictions to simulation results wherein the prediction and simulations indicate that restarts can cause thrashing. This book discusses as well the formula for throughput and for the restart rate. The final chapter deals with the adaptation of the model to timestamping and distributed algorithms.
This book is a valuable resource for mathematicians and research workers.
Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.