Implementing an Outbox — model-checking first | Tomek Masternak
The NServiceBus Outbox gives you consistency between a database and messaging operations, something that would be nontrivial to do on your own. So how does it work? And how can you prove that it works?
It’s hard to build reliable messaging systems. It’s even harder if you can’t use distributed transactions between your message queues and data storage. Fortunately, NServiceBus fills this gap with the Outbox. The Outbox provides similar guarantees to distributed transactions but avoids the complex and cumbersome Two-Phase Commit protocol. Since NServiceBus introduced the Outbox almost 7 years ago, other frameworks followed and added their own implementations.
In this presentation, we’ll use TLA+ to specify and validate the Outbox. TLA+ is a tool for validating critical parts of distributed and concurrent systems, which makes it a perfect tool for the job. By distilling the Outbox to bare essentials we’ll learn how the algorithm works, which guarantees it gives, and the assumptions it makes about messaging and storage infrastructure.
Watch this webinar by Tomek Masternak and learn about:
- The main challenges in building reliable systems using modern messaging infrastructure — both on-premises and in the Cloud.
- The Outbox pattern, how it works, and how it guarantees consistent message processing.
- Using TLA+ to model-check the Outbox algorithm. Warning: hard core computer science. Be prepared!
? Webinar page: https://particular.net/webinars/implementing-an-outbox
Implementing an Outbox — model-checking first
------------------------------------------------------------------------
? Get started here: https://particular.net/
? Subscribe: https://www.youtube.com/c/ParticularSoftware
?? Training: https://particular.net/training-courses
? Webinars: https://particular.net/webinars
? Blog: https://particular.net/blog
? Twitter: https://twitter.com/particularsw
? LinkedIn: https://www.linkedin.com/company/nservicebus-ltd/
? Discuss: https://discuss.particular.net/
? Website: https://particular.net/
#dotnet #microservices #software #outbox
Что делает видео по-настоящему запоминающимся? Наверное, та самая атмосфера, которая заставляет забыть о времени. Когда вы заходите на RUVIDEO, чтобы посмотреть онлайн «Implementing an Outbox — model-checking first | Tomek Masternak», вы рассчитываете на нечто большее, чем просто загрузку плеера. И мы это понимаем. Контент такого уровня заслуживает того, чтобы его смотрели в HD 1080, без дрожания картинки и бесконечного буферизации.
Честно говоря, Rutube сегодня — это кладезь уникальных находок, которые часто теряются в общем шуме. Мы же вытаскиваем на поверхность самое интересное. Будь то динамичный экшн, глубокий разбор темы от любимого автора или просто уютное видео для настроения — всё это доступно здесь бесплатно и без лишних формальностей. Никаких «заполните анкету, чтобы продолжить». Только вы, ваш экран и качественный поток.
Если вас зацепило это видео, не забудьте взглянуть на похожие материалы в блоке справа. Мы откалибровали наши алгоритмы так, чтобы они подбирали контент не просто «по тегам», а по настроению и смыслу. Ведь в конечном итоге, онлайн-кинотеатр — это не склад файлов, а место, где каждый вечер можно найти свою историю. Приятного вам отдыха на RUVIDEO!
Видео взято из открытых источников Rutube. Если вы правообладатель, обратитесь к первоисточнику.