Java Monitor Objects: Synchronization (Part 1)

Transcription

1 Java Monitor Objects: Synchronization (Part 1) Douglas C. Schmidt Institute for Software Integrated Systems Vanderbilt University Nashville, Tennessee, USA

2 Learning Objectives in this Part of the Lesson Recognize the synchronized methods/statements provided by Java build-in monitor objects to support mutual exclusion Producer offer() Monitor Object synchronized m1() synchronized m2() poll() Consumer <<contains>> 1 <<contains>> 1 Wait Queue Entrance Queue Mutual exclusion is used to protect shared state from corruption due to concurrent 2 access by multiple threads

3 Java Synchronized Methods 3

4 The BusySynchronizedQueue class showcases Java built-in synchronization mechanisms Java Synchronized Methods class BusySynchronizedQueue<E> implements BoundedQueue<E> { private LinkedList<E> mlist; private int mcapacity; BusySynchronizedQueue(int capacity) { mlist = new LinkedList<E>(); mcapacity = capacity; See github.com/douglascraigschmidt/posa/tree/ master/ex/m3/queues/busysynchronizedqueue 4

5 The BusySynchronizedQueue class showcases Java built-in synchronization mechanisms Java Synchronized Methods class BusySynchronizedQueue<E> implements BoundedQueue<E> { private LinkedList<E> mlist; private int mcapacity; BusySynchronizedQueue(int capacity){ mlist = new LinkedList<E>(); mcapacity = capacity; 5

6 The BusySynchronizedQueue class showcases Java built-in synchronization mechanisms Java Synchronized Methods class BusySynchronizedQueue<E> implements BoundedQueue<E> { private LinkedList<E> mlist; private int mcapacity; This internal state must be protected against race conditions BusySynchronizedQueue(int capacity){ mlist = new LinkedList<E>(); mcapacity = capacity; 6

7 The BusySynchronizedQueue class showcases Java built-in synchronization mechanisms The constructor initializes the internal state Java Synchronized Methods class BusySynchronizedQueue<E> implements BoundedQueue<E> { private LinkedList<E> mlist; private int mcapacity; BusySynchronizedQueue(int capacity){ mlist = new LinkedList<E>(); mcapacity = capacity; 7

8 Methods in a built-in monitor object can be marked with the synchronized keyword Java Synchronized Methods class BusySynchronizedQueue<E> implements BoundedQueue<E> { public synchronized boolean offer(e e) { public synchronized E poll() { public synchronized boolean isempty() { See docs.oracle.com/javase/tutorial/ essential/concurrency/syncmeth.html 8

9 Methods in a built-in monitor object can be marked with the synchronized keyword A synchronized method is serialized wrt any other synchronized method in an object Java Synchronized Methods class BusySynchronizedQueue<E> implements BoundedQueue<E> { public synchronized boolean offer(e e) { public synchronized E poll() { public synchronized boolean isempty() { See lesson on Java ReentrantLock 9

10 Methods in a built-in monitor object can be marked with the synchronized keyword A synchronized method is serialized wrt any other synchronized method in an object When used in the method declaration, the entire body of the method is serialized Java Synchronized Methods class BusySynchronizedQueue<E> implements BoundedQueue<E> { public synchronized boolean offer(e e) { if (!isfull()) { mlist.add(e); return true; else return false; public synchronized E poll() { return mlist.poll(); public synchronized boolean isempty() { return mlist.size() == 0; 10

11 The synchronized keyword is not considered to be part of a method's signature Java Synchronized Methods class BusySynchronizedQueue<E> implements BoundedQueue<E> { public synchronized boolean offer(e e) { public synchronized E poll() { Synchronization is considered to be an implementation detail public synchronized boolean isempty() { See gee.cs.oswego.edu/dl/cpj/ mechanics.html#synchronization 11

12 The synchronized keyword is not considered to be part of a method's signature synchronized is not inherited when subclasses override superclass methods Java Synchronized Methods class SynchronizedQueue<E> extends BusySynchronizedQueue<E>{ public boolean offer(e e) { public E poll() { These methods will not be synchronized unless the implementation explicitly synchronizes them public boolean isempty() { 12

13 Java Synchronized Methods Pros of synchronized methods Synchronized methods can be identified by examining the method interfaces The syntax is compact i.e., the code is more legible The method is the unit of synchronization See stackoverflow.com/questions/574240/is-there-an-advantage-to-usea-synchronized-method-instead-of-a-synchronized-blo/574525#

14 Cons of synchronized methods Synchronizes to the intrinsic lock (this), so it is possible for other objects to synchronize with it too The granularity of locking is coarse-grained i.e., locking is a a perobject/per-method basis Java Synchronized Methods See stackoverflow.com/questions/574240/is-there-an-advantage-to-usea-synchronized-method-instead-of-a-synchronized-blo/574525#

15 End of Java Monitor Objects: Synchronization (Part 1) 15

16 Java Monitor Objects: Synchronization (Part 2) Douglas C. Schmidt Institute for Software Integrated Systems Vanderbilt University Nashville, Tennessee, USA

17 Learning Objectives in this Part of the Lesson Recognize the synchronized methods/statements provided by Java build-in monitor objects to support mutual exclusion Producer offer() m1() m2() Monitor Object poll() Consumer <<contains>> 1 <<contains>> 1 Wait Queue Entrance Queue void m1() { synchronized(this) { Mutual exclusion is used to protect shared state from corruption due to concurrent 2 access by multiple threads

18 Java Synchronized Statements 3

19 Synchronized methods incur several constraints Java Synchronized Statements 4

20 Synchronized methods incur several constraints, e.g. They can yield excessive overhead due to coarsegrained serialization Java Synchronized Statements Thread 1 m1() m2() Synchronized A Java Monitor Queue Object synchronized m1() synchronized m2() Thread 2 Synchronization occurs at the method level <<contains>> Wait Queue wait() notify() notifyall() 1 1 <<contains>> Entrance Queue 5

21 Synchronized methods incur several constraints, e.g. Java Synchronized Statements They can yield excessive overhead due to coarsegrained serialization Always synchronizes on the implicit lock (this) May be a source of contention Thread 1 m1() <<contains>> m2() Synchronized A Java Monitor Queue Object synchronized m1() synchronized m2() 1 1 <<contains>> Thread 2 Wait Queue wait() notify() notifyall() Entrance Queue 6

22 e.g., consider the Java Exchanger class Java Synchronized Statements Defines a synchronization point where threads can pair & swap elements within pairs public class Exchanger<V> { private synchronized void createslot(int index){ final Slot newslot = new Slot(); final Slot[] a = arena; if (a[index] == null) a[index] = newslot; private volatile Slot[] arena = new Slot[CAPACITY]; See grepcode.com/file/repository.grepcode.com/java/root/ 7 jdk/openjdk/6-b14/java/util/concurrent/exchanger.java

23 Java Synchronized Statements e.g., consider the Java Exchanger class One approach synchronizes at the method level public class Exchanger<V> { private synchronized void createslot(int index){ final Slot newslot = new Slot(); final Slot[] a = arena; if (a[index] == null) a[index] = newslot; private volatile Slot[] arena = new Slot[CAPACITY]; 8

24 Java Synchronized Statements e.g., consider the Java Exchanger class One approach synchronizes at the method level public class Exchanger<V> { private synchronized void createslot(int index){ final Slot newslot = new Slot(); final Slot[] a = arena; if (a[index] == null) a[index] = newslot; Lazily create slot if this is the first time it s accessed private volatile Slot[] arena = new Slot[CAPACITY]; 9

25 Java Synchronized Statements e.g., consider the Java Exchanger class One approach synchronizes at the method level Another approach synchronizes individual statements public class Exchanger<V> { private void createslot(int index){ final Slot newslot = new Slot(); final Slot[] a = arena; synchronized (this) { if (a[index] == null) a[index] = newslot; private volatile Slot[] arena = new Slot[CAPACITY]; See docs.oracle.com/javase/tutorial/ 10 essential/concurrency/locksync.html

26 Java Synchronized Statements e.g., consider the Java Exchanger class One approach synchronizes at the method level Another approach synchronizes individual statements public class Exchanger<V> { private void createslot(int index){ final Slot newslot = new Slot(); final Slot[] a = arena; synchronized (this) { if (a[index] == null) a[index] = newslot; Synchronized statements are finer-grained than synchronized methods private volatile Slot[] arena = new Slot[CAPACITY]; 11

27 Java Synchronized Statements e.g., consider the Java Exchanger class One approach synchronizes at the method level Another approach synchronizes individual statements public class Exchanger<V> { private void createslot(int index){ final Slot newslot = new Slot(); final Slot[] a = arena; synchronized (this) { if (a[index] == null) a[index] = newslot; Create slot outside of lock to narrow the synchronization region private volatile Slot[] arena = new Slot[CAPACITY]; 12

28 Java Synchronized Statements e.g., consider the Java Exchanger class One approach synchronizes at the method level Another approach synchronizes individual statements Intrinsic lock is often used to synchronize a statement public class Exchanger<V> { private void createslot(int index){ final Slot newslot = new Slot(); final Slot[] a = arena; synchronized (this) { if (a[index] == null) a[index] = newslot; Only this statement is serialized via the intrinsic lock private volatile Slot[] arena = new Slot[CAPACITY]; 13

29 Java Synchronized Statements e.g., consider the Java Exchanger class One approach synchronizes at the method level Another approach synchronizes individual statements Intrinsic lock is often used to synchronize a statement Explicit lock synchronization can also be used public class Exchanger<V> { private void createslot(int index){ final Slot newslot = new Slot(); final Slot[] a = arena; synchronized (a) { if (a[index] == null) a[index] = newslot; Can also synchronize using an explicit object private volatile Slot[] arena = new Slot[CAPACITY]; 14

30 Java Synchronized Statements e.g., consider the Java Exchanger class One approach synchronizes at the method level Another approach synchronizes individual statements Intrinsic lock is often used to synchronize a statement Explicit lock synchronization can also be used e.g., in situations where the intrinsic lock is too limited or too contended public class Exchanger<V> { private void createslot(int index){ final Slot newslot = new Slot(); final Slot[] a = arena; synchronized (a) { if (a[index] == null) a[index] = newslot; Can also synchronize using an explicit object private volatile Slot[] arena = new Slot[CAPACITY]; See 15 PDF/specific-notification.pdf

31 More info is available in the online Java documentation Java Synchronized Statements See docs.oracle.com/javase/tutorial/ essential/concurrency/locksync.html 16

32 Java Synchronized Statements Pros of synchronized statements Allows a private field to be used as the synchronizer i.e., hides implementation details Synchronized statements can be found by searching references to a variable via the IDE See stackoverflow.com/questions/574240/is-there-an-advantage-to-usea-synchronized-method-instead-of-a-synchronized-blo/574525#

33 Java Synchronized Statements Cons of synchronized statements The syntax is more complicated i.e., code is harder to read See stackoverflow.com/questions/574240/is-there-an-advantage-to-usea-synchronized-method-instead-of-a-synchronized-blo/574525#

34 Implementing the Double-Checked Locking Pattern 19

35 Implementing the Double-Checked Locking Pattern Synchronized statements can be used to implement patterns like Double-Checked Locking public class Exchanger<V> { private void createslot(int index){ final Slot newslot = new Slot(); final Slot[] a = arena; synchronized (a) { if (a[index] == null) a[index] = newslot; private Object doexchange() { final Slot slot = arena[index]; if (slot == null) // Lazily initialize slots createslot(index); private volatile Slot[] arena = new Slot[CAPACITY]; See en.wikipedia.org/wiki/ Double-checked_locking 20

36 Implementing the Double-Checked Locking Pattern Synchronized statements can be used to implement patterns like Double-Checked Locking Synchronization is done lazily when initialization is first performed public class Exchanger<V> { private void createslot(int index){ final Slot newslot = new Slot(); final Slot[] a = arena; synchronized (a) { if (a[index] == null) a[index] = newslot; private Object doexchange() { final Slot slot = arena[index]; if (slot == null) // Lazily initialize slots createslot(index); private volatile Slot[] arena = new Slot[CAPACITY]; 21

37 Implementing the Double-Checked Locking Pattern Synchronized statements can be used to implement patterns like Double-Checked Locking Synchronization is done lazily when initialization is first performed public class Exchanger<V> { private void createslot(int index){ final Slot newslot = new Slot(); final Slot[] a = arena; synchronized (a) { if (a[index] == null) a[index] = newslot; Double-Checked Locking optimization is done here private Object doexchange() { final Slot slot = arena[index]; if (slot == null) // Lazily initialize slots createslot(index); private volatile Slot[] arena = new Slot[CAPACITY]; 22

38 Implementing the Double-Checked Locking Pattern Synchronized statements can be used to implement patterns like Double-Checked Locking Synchronization is done lazily when initialization is first performed There s no need to synchronize this check since reference reads & writes are atomic public class Exchanger<V> { private void createslot(int index){ final Slot newslot = new Slot(); final Slot[] a = arena; synchronized (a) { if (a[index] == null) a[index] = newslot; private Object doexchange() { final Slot slot = arena[index]; if (slot == null) // Lazily initialize slots createslot(index); private volatile Slot[] arena = new Slot[CAPACITY]; See docs.oracle.com/javase/specs/ 23 jls/se8/html/jls-17.html#jls-17.7

39 Implementing the Double-Checked Locking Pattern Synchronized statements can be used to implement patterns like Double-Checked Locking Synchronization is done lazily when initialization is first performed public class Exchanger<V> { private void createslot(int index){ final Slot newslot = new Slot(); final Slot[] a = arena; synchronized (a) { if (a[index] == null) a[index] = newslot; A new slot is created only if the current slot is null private Object doexchange() { final Slot slot = arena[index]; if (slot == null) // Lazily initialize slots createslot(index); private volatile Slot[] arena = new Slot[CAPACITY]; 24

40 Implementing the Double-Checked Locking Pattern Synchronized statements can be used to implement patterns like Double-Checked Locking Synchronization is done lazily when initialization is first performed public class Exchanger<V> { private void createslot(int index){ final Slot newslot = new Slot(); final Slot[] a = arena; synchronized (a) { if (a[index] == null) a[index] = newslot; Only synchronize during initialize private Object doexchange() { final Slot slot = arena[index]; if (slot == null) // Lazily initialize slots createslot(index); private volatile Slot[] arena = new Slot[CAPACITY]; 25

41 End of Java Monitor Objects: Synchronization (Part 2) 26

42 Java Monitor Objects: Synchronization (Part 3) Douglas C. Schmidt Institute for Software Integrated Systems Vanderbilt University Nashville, Tennessee, USA

43 Learning Objectives in this Part of the Lesson Recognize the synchronized methods/statements provided by Java build-in monitor objects to support mutual exclusion Understand how to fix the race conditions in the buggy concurrent Java app by using synchronized methods Producer offer() BusySynchronized Queue synchronized offer() synchronized poll() poll() Consumer <<contains>> 1 <<contains>> 1 Wait Queue Entrance Queue The use of synchronized methods only 2 provides a partial solution, however

44 Partial Solution Using Java Synchronized Methods 3

45 Partial Solution Using Java Synchronized Methods See en.wikipedia.org/wiki/ Crazy_Horse_Memorial 4

46 Partial Solution Using Java Synchronized Methods A concurrent producer/consumer app that passes messages via the class BusySynchronizedQueue See github.com/douglascraigschmidt/posa/tree/ master/ex/m3/queues/busysynchronizedqueue 5

47 Partial Solution Using Java Synchronized Methods The BusySynchronizedQueue is modeled on the Java ArrayBoundedQueue Producer offer() BusySynchronized Queue offer() poll() poll() Consumer See docs.oracle.com/javase/8/docs/api/ 6 java/util/concurrent/arrayboundedqueue.html

48 Partial Solution Using Java Synchronized Methods UML class diagram showing the design of the BusySynchronizedQueue See github.com/douglascraigschmidt/posa/tree/master/ ex/m3/queues/busysynchronizedqueue/app/src/main/ 7 java/edu/vandy/busysynchronizedqueue/model

49 Partial Solution Using Java Synchronized Methods UML sequence diagram of the BusySynchronizedQueue unit test : BusySynchronized QueueTest consumer : Thread producer : Thread busyqueue : Busy SynchronizedQueue main() new() new() new() start() run() start() run() offer( ") poll() See github.com/douglascraigschmidt/posa/tree/master/ex/m3/queues/ BusySynchronizedQueue/app/src/test/java/edu/vandy/busysynchronizedqueue 8

50 Partial Solution Using Java Synchronized Methods UML sequence diagram of the BusySynchronizedQueue unit test : BusySynchronized QueueTest main() The main thread coordinates 9 the other threads in the test

51 Partial Solution Using Java Synchronized Methods UML sequence diagram of the BusySynchronizedQueue unit test : BusySynchronized QueueTest consumer : Thread producer : Thread busyqueue : Busy SynchronizedQueue main() new() new() new() start() run() start() run() offer( ") poll() The consumer & producer threads generate & process messages sent via the BusySynchronizedQueue, 10 respectively

52 Partial Solution Using Java Synchronized Methods UML sequence diagram of the BusySynchronizedQueue unit test : BusySynchronized QueueTest consumer : Thread producer : Thread busyqueue : Busy SynchronizedQueue main() new() new() new() start() run() start() run() offer( ") poll() The offer() & poll() methods are synchronized, so the test runs correctly, but is inefficient 11 due to busy waiting!!

53 Implementation of the BusySynchronizedQueue 12

54 Implementation of the BusySynchronizedQueue Java synchronized methods protects critical sections from concurrent access class BusySynchronizedQueue<E> implements BoundedQueue<E> { private ListedList<E> mlist; private int mcapacity; public BusySynchronizedQueue(int capacity) { mcapacity = capacity; mlist = new LinkedList<>(); public synchronized boolean offer(e e) { if (!isfull()) { mlist.add(e); return true; else return false; public E synchronized poll() { return mlist.poll(); See github.com/douglascraigschmidt/posa/tree/ master/ex/m3/queues/busysynchronizedqueue 13

55 Implementation of the BusySynchronizedQueue Java synchronized methods protects critical sections from concurrent access class BusySynchronizedQueue<E> implements BoundedQueue<E> { private ListedList<E> mlist; private int mcapacity; public BusySynchronizedQueue(int capacity) { mcapacity = capacity; mlist = new LinkedList<>(); public synchronized boolean offer(e e) { if (!isfull()) { mlist.add(e); return true; else return false; Only one synchronized method can be active in any given object public E synchronized poll() { return mlist.poll(); 14

56 Implementation of the BusySynchronizedQueue Java synchronized methods protects critical sections from concurrent access class BusySynchronizedQueue<E> implements BoundedQueue<E> { private ListedList<E> mlist; private int mcapacity; public BusySynchronizedQueue(int capacity) { mcapacity = capacity; mlist = new LinkedList<>(); public synchronized boolean offer(e e) { if (!isfull()) { mlist.add(e); return true; else return false; Only one synchronized method can be active in any given object public E synchronized poll() { return mlist.poll(); This constraint may actually be a liability for certain types of concurrently accessed objects, e.g., double-ended 15 queues implemented as linked lists

57 Implementation of the BusySynchronizedQueue Java synchronized methods protects critical sections from concurrent access Adding the synchronized keyword has two effects class BusySynchronizedQueue<E> implements BoundedQueue<E> { private ListedList<E> mlist; private int mcapacity; public BusySynchronizedQueue(int capacity) { mcapacity = capacity; mlist = new LinkedList<>(); public synchronized boolean offer(e e) { if (!isfull()) { mlist.add(e); return true; else return false; public E synchronized poll() { return mlist.poll(); See docs.oracle.com/javase/tutorial/ 16 essential/concurrency/syncmeth.html

58 Implementation of the BusySynchronizedQueue Java synchronized methods protects critical sections from concurrent access Adding the synchronized keyword has two effects class BusySynchronizedQueue<E> implements BoundedQueue<E> { private ListedList<E> mlist; private int mcapacity; public BusySynchronizedQueue(int capacity) { mcapacity = capacity; mlist = new LinkedList<>(); public synchronized boolean offer(e e) { if (!isfull()) { mlist.add(e); return true; else return false; Invocations of offer() & poll() on the same object can t interleave public E synchronized poll() { return mlist.poll(); i.e., each synchronized 17 method is atomic?

59 Implementation of the BusySynchronizedQueue Java synchronized methods protects critical sections from concurrent access Adding the synchronized keyword has two effects class BusySynchronizedQueue<E> implements BoundedQueue<E> { private ListedList<E> mlist; private int mcapacity; public BusySynchronizedQueue(int capacity) { mcapacity = capacity; mlist = new LinkedList<>(); public synchronized boolean offer(e e) { Establishes a happensbefore relation to if (!isfull()) { mlist.add(e); return true; else ensure visibility of state return false; changes to all threads public E synchronized poll() { return mlist.poll(); See en.wikipedia.org/ 18 wiki/happened-before

60 Evaluating the Busy SynchronizedQueue 19

61 Evaluating the BusySynchronizedQueue There are limitations with Java synchronized methods when they are used alone See github.com/douglascraigschmidt/posa/tree/ master/ex/m3/queues/busysynchronizedqueue 20

62 There are limitations with Java synchronized methods when they are used alone class BusySynchronizedQueue<E> implements BoundedQueue<E> { private ListedList<E> mlist; private int mcapacity; public BusySynchronizedQueue(int capacity) { mcapacity = capacity; mlist = new LinkedList<>(); public synchronized boolean offer(e e) { if (!isfull()) { mlist.add(e); return true; Evaluating the BusySynchronizedQueue else return false; Concurrent calls to these methods will busy wait.. public E synchronized poll() { return mlist.poll(); See en.wikipedia.org/ wiki/busy_waiting 21

63 Evaluating the BusySynchronizedQueue There are limitations with Java synchronized methods when they are used alone class BusySynchronizedQueue<E> implements BoundedQueue<E> { private ListedList<E> mlist; private int mcapacity; public BusySynchronizedQueue(int capacity) { mcapacity = capacity; mlist = new LinkedList<>(); public synchronized boolean offer(e e) { if (!isfull()) { mlist.add(e); return true; else return false; Need to coordinate offer() & poll() so they won t busy wait when there s nothing to do public E synchronized poll() { return mlist.poll(); Java built-in monitor objects therefore provide wait & notify mechanisms 22 to avoid busy waiting

64 End of Java Monitor Objects: Synchronization (Part 3) 23