CC
Контракт определяет ЧТО сделать, а не КАК сделать
Size: a a a
2020 July 04
CC
Не-не-не
CD
Всё его API должно быть лок-фри
CC
Погоди)
CC
у тебя есть контракт который описывает ЧТО должно произойти
CD
CC
Как оно происходит зависит от конкретной имплементации которую выбирает пользователь API
CD
есть модуль многопоточной работы
CD
он описывает атомики и мьютексы
CC
Я дам пример как это люди решают в ФП
CD
из него должен быть удален мьютекс
CC
Есть некоторый враппер который определяет будет ли тут блокирующее или неблокирующее взаимодействие. Вот Пользователь апи просто передает этот враппер. Уже пользователь описывает КАК он хочет чтобы проводились операции, а контракт обязует имплементации делать ТО, ЧТО прописано в контракте
CC
За то КАК именно это работает отвечает caller/API user
CC
Если перенести на твой случай, то кмк следует определить контракт ЧТО делаем, и 2 имплементации которые отличаются вот этим вот КАК делать
CC
Но тут есть офк проблема - много лишних слоев абстракции
CC
Но на этапе ранней разработки лучше сделать больше слоев абстракции и впоследствии когда будет выстроена более четкая картина их редуцировать
CC
В таком случае тебе не нужные прототипы(у тебя это выходит в отдельные имплементации которые если надо выбрасываются или модифицируются) и у тебя нет большой боли с изменением корневой логики, ведь количество слоев абстракции которые ты нагородил позволяет тебе очень гибко менять любую концепцию
CC
Вербозно, зато нет каши
CD
смотри
CD
у тебя очень волшебная система, и скедулер не дескедулит блокированные потоки