SIGCSE
2002
ACM
14 years 2 days ago
2002
ACM
This paper discusses differences in the semantics of various semaphore implementations and their ramifications in developing solutions to synchronization problems. An approach is ...
EUROPAR
2000
Springer
14 years 4 months ago
2000
Springer
Balancing networks are highly distributed data structures used to solve multiprocessor synchronization problems. Typically, balancing networks are accessed by tokens, and the distr...
ICPP
2002
IEEE
14 years 5 months ago
2002
IEEE
The development of correct synchronization code for distributed programs is a challenging task. In this paper, we propose an aspect oriented technique for developing synchronizati...
SIGCSE
2004
ACM
14 years 5 months ago
2004
ACM
This paper describes two design patterns that are powerful tools to help teach how semaphores are used to solve synchronization problems. The patterns are general enough to be use...
INFOCOM
2005
IEEE
14 years 6 months ago
2005
IEEE
— Given two versions of a file, a current version located on one machine and an outdated version known only to another machine, the remote file synchronization problem is how t...