CSC 456 Fall 2013/7a ac

Survey of Primitives for Synchronization

Assignment

7a. Survey of primitives for synchronization Section 7.3 of Solihin covers the need for synchronization at the program level. It mentions lock and unlock operations. But real programs do not usually call lock and unlock mechanisms. Instead, they use higher-level operations, such as Java’s synchronized statement, or Open MP pragmas. Consider popular languages and common OSs such as Linux, MacOS, and Windows. How would programs do synchronization in these environments?

Ideas

synchronization constucts

syncs in clr semaphores in monitors (how many langs available in?)

Different Synchronization Constructs, languages that support them, general info.

Test-and-Set

Test-and-Test-and-Set

Lock-free

Array-lock

Semaphore-Java, C Acquire/Release the semaphore to enter the critical section. Only 1 thread can have the semaphore at a time.

Mutex-Java, C Like a binary semaphore, but with a few differences such as deletion safety (a process holding a mutex cannot be deleted).

Monitor-Java, C

Synchronized-Java

pragma-C (OpenMP)

a study of behavior of synchronization methods in commonly used languages and systems cederman et al.

Supported Synchronization in Different Languages

The following table shows different programming languages and their support for various synchronization methods. The cells are color coded based on the following key:

Supported Operating Systems Key

None

Windows Only

Mac Only

Linux Only

Windows & Mac

Windows & Linux

Mac & Linux

All

Synchronization Support

Language	Semaphore/Mutex	Monitor	OpenMP	Synchronized	Other
C
Java
C++					Slim Rd/Wr Lock (SRW)
C#
Ruby					Get Sources
Python					Get Sources
PHP					Get Sources
Fortran					Coarray<ref name=umdguide></ref>

References

Cederman et al.

Apple Synchronization

C++ Sync Article