On 5/30/19 2:54 PM, Zhengyu Gu wrote: > Updated: http://cr.openjdk.java.net/~zgu/JDK-8225014/webrev.01/index.html Looks good. Maybe you can drop "worker_id" argument that is always 0. Your call. -Aleksey