Concurrent Hash Table Assignment
Contents
Motivation
For this exercise you will create a thread safe data structure. You have previously created a non-thread safe HashTable. Now, with the help of multiple ReentrantReadWriteLocks you will create a thread safe Map that both deals with contention and allows simultaneous gets.
Previous Exercise
You will directly use
from the Hashtable exercise.
Further, you will be implementing thread-safe versions of put, get, computeIfAbsent, and compute methods (along with many of the utility methods) from HashTable.
Code To Implement
ConcurrentHashTable
| class: | ConcurrentHashTable.java |  |
| methods: | constructor hashFunction entryCreator createEntry chains readWriteLocks chainIndexOf lockIndexOfChainIndex entryOf put get computeIfAbsent compute |
|
| package: | hashtable.concurrent.exercise | |
| source folder: | student/src/main/java |
None of the methods should be protected by synchronized. You will use the correct ReadWriteLock in the correct mode (Read or Write) to keep your ConcurrentHashTable thread-safe.
constructor
method: public ConcurrentHashTable(int chainCount, Supplier<Collection<Entry<K, V>>> chainCreator,
BiFunction<K, V, Entry<K, V>> entryCreator, ToIntFunction<K> hashFunction) 
(sequential implementation only)
Much like the constructor from the not-thread safe HashTable, with the added responsibility of creating the ReadWriteLocks.
For this assignment you will create one instance of ReadWriteLock for each chain. Each ReadWriteLock will be responsible for the chain with the same array index.
Life After 231 Note:
In this assignment we will simply allocate a ReadWriteLock per chain. Each lock will be responsible for the chain with the same array index.
However, it is reasonable in some circumstances to have more than one chain protected by a single lock. For example, if you had 1024 chains and only wanted to allocate 16 Locks, each Lock would be responsible for 1024/16 (64) chains. The reduced cost in allocating Locks might be worth if you were willing to accept that tasks on separate chains would block if they were protected by the same lock.
Again, for this assignment, we will simply allocate a ReadWriteLock per chain.
support methods
These methods are to remain unprotected by any Lock (intrinsic via synchronized or explicit via a Lock). That will be the responsibility of the public methods: put, get, computeIfAbsent, and compute.
hashFunction()
akin to the HashTable version.
entryCreator()
akin to the HashTable version.
createEntry(key,value)
akin to the HashTable version.
chains()
akin to the HashTable version.
readWriteLocks()
new to this exercise
chainIndexOf(key)
new to this exercise but similar to functionality of HashTable
lockIndexOfChainIndex(chainIndex)
provided:
private int lockIndexOfChainIndex(int chainIndex) {
return chainIndex;
}
entryOf(chain, key)
akin to the HashTable version.
public methods
Be sure to make each of these methods thread safe by acquiring the appropriate (read or write) lock for the appropriate bucket.
Which method, lock() or tryLock(), is the appropriate one to use for creating a thread safe data structure such as this?
Whenever you acquire a lock, but sure to leverage try finally and unlock() the lock within the finally block.
 Warning: Do NOT call get() from put, computeIfAbsent, or compute. It will result in a nonintuitive error. entryOf(chain, key) gives you everything you need. |
| Warning: Do NOT call any of your public methods from eachother. Simply use your unprotected utility methods. |
 Tip: Be sure to make your ConcurrentBucketHashMap thread-safe. If any code is going to access shared mutable data, it needs to do so in a thread-safe manner. |
get(key)
method: public V get(Object key) (thread-safe required)
put(key, value)
method: public V put(K key, V value) (thread-safe required)
computeIfAbsent(key, mappingFunction)
method: public V computeIfAbsent(K key, Function<? super K, ? extends V> mappingFunction) (thread-safe required)
compute(key, remappingFunction)
method: public V compute(K key, BiFunction<? super K, ? super V, ? extends V> remappingFunction) (thread-safe required)
Testing Your Solution
| class: | __ConcurrentHashTableTestSuite.java |  |
| package: | hashtable.concurrent.exercise | |
| source folder: | testing/src/test/java |
Pledge, Acknowledgments, Citations
| file: | exercise-concurrent-hash-table-pledge-acknowledgments-citations.txt |
More info about the Honor Pledge
