# - [x] `ConcurrentList`
# - [ ] `ConcurrentHashMap`
# - [ ] `ConcurrentHashSet`
-# - [ ] `ConcurrentContainer`
+# - [ ] `ConcurrentRef`
# - [ ] `ConcurrentQueue`
#
# Introduced collections specialize their critical methods according to the
real_collection.unshift(e)
mutex.unlock
end
+
+ redef fun push(e)
+ do
+ mutex.lock
+ real_collection.push(e)
+ mutex.unlock
+ end
end