Линеаризуемость: различия между версиями

Ответ ''соответствует'' обращению, если имена их объектов и потоков согласуются. ''Вызовом метода'' является пара, состоящая из обращения и следующего подходящего ответа. Обращение ''ожидает'' своего завершения в истории, если за ним не следует подходящий ответ. Если H – история, то ''complete''(H) – это подпоследовательность H, состоящая из всех соответствующих обращений и ответов. История H является ''последовательной'', если первым обращением H является вызов, а за каждым обращением (кроме, возможно, последнего) немедленно следует подходящий ответ.