Refining Santa: An Exercise in Efficient Synchronization
arXiv:1810.09613v1
Originality Synthesis-oriented
AI Analysis
This work addresses a specific concurrency exercise for programmers, but it appears incremental as it builds on existing specifications and comparisons.
The paper tackled the Santa Claus Problem by refining a concurrent programming implementation to achieve high efficiency, comparing its performance to other language implementations.
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.