Refining Santa: An Exercise in Efficient Synchronization
arXiv:1810.09613 · doi:10.4204/EPTCS.282.6
Abstract
The Santa Claus Problem is an intricate exercise for concurrent programming. This paper outlines the refinement steps to develop a highly efficient implementation with concurrent objects, starting from a simple specification. The efficiency of the implementation is compared to those in other languages.
In Proceedings Refine 2018, arXiv:1810.08739