Mercurial Hosting > luan

annotate src/luan/modules/ThreadLuan.java @ 1562:b89212fd04b5

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
remove table.luan
author Franklin Schmidt <fschmidt@gmail.com>
date Sun, 08 Nov 2020 16:50:59 -0700
parents 78d937870762
children 8fbcc4747091
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
167
4c0131c2b650 merge luan/lib into modules
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 142
diff changeset
1 package luan.modules;
126
0149bdf98fd8 add ThreadLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
2
715
a82d385ec2c3 add Thread.schedule() and improve Time.period()
Franklin Schmidt <fschmidt@gmail.com>
parents: 646
diff changeset
3 import java.io.Closeable;
1166
7ef40e1923b7 add back Thread.global
Franklin Schmidt <fschmidt@gmail.com>
parents: 1159
diff changeset
4 import java.util.Arrays;
1157
50879022f49d failed attempt to remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1106
diff changeset
5 import java.util.Iterator;
794
f16c77ef0f4f add Parsers.json_string and Thread.global
Franklin Schmidt <fschmidt@gmail.com>
parents: 788
diff changeset
6 import java.util.Map;
1157
50879022f49d failed attempt to remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1106
diff changeset
7 import java.util.HashMap;
126
0149bdf98fd8 add ThreadLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
8 import java.util.concurrent.Executor;
0149bdf98fd8 add ThreadLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
9 import java.util.concurrent.Executors;
1366
ae2321a09723 improve Thread.schedule
Franklin Schmidt <fschmidt@gmail.com>
parents: 1335
diff changeset
10 import java.util.concurrent.ScheduledExecutorService;
715
a82d385ec2c3 add Thread.schedule() and improve Time.period()
Franklin Schmidt <fschmidt@gmail.com>
parents: 646
diff changeset
11 import java.util.concurrent.ScheduledFuture;
a82d385ec2c3 add Thread.schedule() and improve Time.period()
Franklin Schmidt <fschmidt@gmail.com>
parents: 646
diff changeset
12 import java.util.concurrent.TimeUnit;
1366
ae2321a09723 improve Thread.schedule
Franklin Schmidt <fschmidt@gmail.com>
parents: 1335
diff changeset
13 import java.util.concurrent.locks.Lock;
ae2321a09723 improve Thread.schedule
Franklin Schmidt <fschmidt@gmail.com>
parents: 1335
diff changeset
14 import java.util.concurrent.locks.ReentrantLock;
1515
78d937870762 Thread.synchronized
Franklin Schmidt <fschmidt@gmail.com>
parents: 1454
diff changeset
15 import goodjava.util.WeakCacheMap;
221
ec016471c6eb make LuanTable an interface
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 171
diff changeset
16 import luan.Luan;
126
0149bdf98fd8 add ThreadLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
17 import luan.LuanFunction;
0149bdf98fd8 add ThreadLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
18 import luan.LuanTable;
0149bdf98fd8 add ThreadLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
19 import luan.LuanException;
781
fbbdd369a13a rename DeepCloner to LuanCloner
Franklin Schmidt <fschmidt@gmail.com>
parents: 775
diff changeset
20 import luan.LuanCloner;
1322
d5739c101bd6 improve Thread
Franklin Schmidt <fschmidt@gmail.com>
parents: 1308
diff changeset
21 import luan.LuanCloneable;
1454
219f2b937f2b remove log4j
Franklin Schmidt <fschmidt@gmail.com>
parents: 1443
diff changeset
22 import luan.modules.logging.LuanLogger;
1402
27efb1fcbcb5 move luan.lib to goodjava
Franklin Schmidt <fschmidt@gmail.com>
parents: 1401
diff changeset
23 import goodjava.logging.Logger;
27efb1fcbcb5 move luan.lib to goodjava
Franklin Schmidt <fschmidt@gmail.com>
parents: 1401
diff changeset
24 import goodjava.logging.LoggerFactory;
126
0149bdf98fd8 add ThreadLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
25
0149bdf98fd8 add ThreadLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
26
168
ebe9db183eb7 rename *Lib.java to *Luan.java
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 167
diff changeset
27 public final class ThreadLuan {
1401
ef1620aa99cb fix gc issues
Franklin Schmidt <fschmidt@gmail.com>
parents: 1389
diff changeset
28 private static final Logger logger = LoggerFactory.getLogger(ThreadLuan.class);
ef1620aa99cb fix gc issues
Franklin Schmidt <fschmidt@gmail.com>
parents: 1389
diff changeset
29
126
0149bdf98fd8 add ThreadLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
30 private static final Executor exec = Executors.newCachedThreadPool();
1366
ae2321a09723 improve Thread.schedule
Franklin Schmidt <fschmidt@gmail.com>
parents: 1335
diff changeset
31 public static final ScheduledExecutorService scheduler = Executors.newScheduledThreadPool(1);
126
0149bdf98fd8 add ThreadLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
32
1366
ae2321a09723 improve Thread.schedule
Franklin Schmidt <fschmidt@gmail.com>
parents: 1335
diff changeset
33 private static Runnable runnable(final LuanFunction fn) {
ae2321a09723 improve Thread.schedule
Franklin Schmidt <fschmidt@gmail.com>
parents: 1335
diff changeset
34 return new Runnable() {
ae2321a09723 improve Thread.schedule
Franklin Schmidt <fschmidt@gmail.com>
parents: 1335
diff changeset
35 public synchronized void run() {
1454
219f2b937f2b remove log4j
Franklin Schmidt <fschmidt@gmail.com>
parents: 1443
diff changeset
36 LuanLogger.startThreadLogging(fn.luan());
1366
ae2321a09723 improve Thread.schedule
Franklin Schmidt <fschmidt@gmail.com>
parents: 1335
diff changeset
37 try {
ae2321a09723 improve Thread.schedule
Franklin Schmidt <fschmidt@gmail.com>
parents: 1335
diff changeset
38 fn.call();
ae2321a09723 improve Thread.schedule
Franklin Schmidt <fschmidt@gmail.com>
parents: 1335
diff changeset
39 } catch(LuanException e) {
ae2321a09723 improve Thread.schedule
Franklin Schmidt <fschmidt@gmail.com>
parents: 1335
diff changeset
40 e.printStackTrace();
1454
219f2b937f2b remove log4j
Franklin Schmidt <fschmidt@gmail.com>
parents: 1443
diff changeset
41 } finally {
219f2b937f2b remove log4j
Franklin Schmidt <fschmidt@gmail.com>
parents: 1443
diff changeset
42 LuanLogger.endThreadLogging();
582
31926755689e add Thread.synchronized
Franklin Schmidt <fschmidt@gmail.com>
parents: 574
diff changeset
43 }
31926755689e add Thread.synchronized
Franklin Schmidt <fschmidt@gmail.com>
parents: 574
diff changeset
44 }
31926755689e add Thread.synchronized
Franklin Schmidt <fschmidt@gmail.com>
parents: 574
diff changeset
45 };
31926755689e add Thread.synchronized
Franklin Schmidt <fschmidt@gmail.com>
parents: 574
diff changeset
46 }
1366
ae2321a09723 improve Thread.schedule
Franklin Schmidt <fschmidt@gmail.com>
parents: 1335
diff changeset
47
ae2321a09723 improve Thread.schedule
Franklin Schmidt <fschmidt@gmail.com>
parents: 1335
diff changeset
48 public static void fork(LuanFunction fn) {
ae2321a09723 improve Thread.schedule
Franklin Schmidt <fschmidt@gmail.com>
parents: 1335
diff changeset
49 LuanCloner cloner = new LuanCloner(LuanCloner.Type.COMPLETE);
ae2321a09723 improve Thread.schedule
Franklin Schmidt <fschmidt@gmail.com>
parents: 1335
diff changeset
50 final LuanFunction newFn = (LuanFunction)cloner.get(fn);
ae2321a09723 improve Thread.schedule
Franklin Schmidt <fschmidt@gmail.com>
parents: 1335
diff changeset
51 exec.execute(runnable(newFn));
ae2321a09723 improve Thread.schedule
Franklin Schmidt <fschmidt@gmail.com>
parents: 1335
diff changeset
52 }
ae2321a09723 improve Thread.schedule
Franklin Schmidt <fschmidt@gmail.com>
parents: 1335
diff changeset
53
1515
78d937870762 Thread.synchronized
Franklin Schmidt <fschmidt@gmail.com>
parents: 1454
diff changeset
54 private static final Map<String,ScheduledFuture> scheduleds = new WeakCacheMap<String,ScheduledFuture>();
1401
ef1620aa99cb fix gc issues
Franklin Schmidt <fschmidt@gmail.com>
parents: 1389
diff changeset
55
1440
4e50b78c7040 logging
Franklin Schmidt <fschmidt@gmail.com>
parents: 1439
diff changeset
56 private static void cancel(ScheduledFuture sf,String src) {
1439
67bed466460e minor logging
Franklin Schmidt <fschmidt@gmail.com>
parents: 1420
diff changeset
57 boolean b = sf.cancel(false);
1443
42c07ecb0ddc DomainHandler
Franklin Schmidt <fschmidt@gmail.com>
parents: 1441
diff changeset
58 if( !sf.isCancelled() )
1441
83e2585104b9 logging
Franklin Schmidt <fschmidt@gmail.com>
parents: 1440
diff changeset
59 logger.error(src+" cancel="+b+" isCancelled="+sf.isCancelled()+" isDone="+sf.isDone()+" "+sf);
1439
67bed466460e minor logging
Franklin Schmidt <fschmidt@gmail.com>
parents: 1420
diff changeset
60 }
67bed466460e minor logging
Franklin Schmidt <fschmidt@gmail.com>
parents: 1420
diff changeset
61
1515
78d937870762 Thread.synchronized
Franklin Schmidt <fschmidt@gmail.com>
parents: 1454
diff changeset
62 public static synchronized void schedule(LuanFunction fn,LuanTable options)
1301
a9cc35c71eb0 go back to Thread.schedule
Franklin Schmidt <fschmidt@gmail.com>
parents: 1267
diff changeset
63 throws LuanException
a9cc35c71eb0 go back to Thread.schedule
Franklin Schmidt <fschmidt@gmail.com>
parents: 1267
diff changeset
64 {
1420
225808b90cee options handling
Franklin Schmidt <fschmidt@gmail.com>
parents: 1408
diff changeset
65 options = new LuanTable(options);
225808b90cee options handling
Franklin Schmidt <fschmidt@gmail.com>
parents: 1408
diff changeset
66 Number delay = Utils.removeNumber(options,"delay");
225808b90cee options handling
Franklin Schmidt <fschmidt@gmail.com>
parents: 1408
diff changeset
67 Number repeatingDelay = Utils.removeNumber(options,"repeating_delay");
225808b90cee options handling
Franklin Schmidt <fschmidt@gmail.com>
parents: 1408
diff changeset
68 Number repeatingRate = Utils.removeNumber(options,"repeating_rate");
225808b90cee options handling
Franklin Schmidt <fschmidt@gmail.com>
parents: 1408
diff changeset
69 String id = Utils.removeString(options,"id");
1366
ae2321a09723 improve Thread.schedule
Franklin Schmidt <fschmidt@gmail.com>
parents: 1335
diff changeset
70 if( repeatingDelay!=null && repeatingRate!=null )
ae2321a09723 improve Thread.schedule
Franklin Schmidt <fschmidt@gmail.com>
parents: 1335
diff changeset
71 throw new LuanException("can't define both repeating_delay and repeating_rate");
ae2321a09723 improve Thread.schedule
Franklin Schmidt <fschmidt@gmail.com>
parents: 1335
diff changeset
72 boolean repeating = repeatingDelay!=null || repeatingRate!=null;
1420
225808b90cee options handling
Franklin Schmidt <fschmidt@gmail.com>
parents: 1408
diff changeset
73 Utils.checkEmpty(options);
1401
ef1620aa99cb fix gc issues
Franklin Schmidt <fschmidt@gmail.com>
parents: 1389
diff changeset
74 if( id != null ) {
1515
78d937870762 Thread.synchronized
Franklin Schmidt <fschmidt@gmail.com>
parents: 1454
diff changeset
75 ScheduledFuture sf = scheduleds.remove(id);
78d937870762 Thread.synchronized
Franklin Schmidt <fschmidt@gmail.com>
parents: 1454
diff changeset
76 if( sf != null )
78d937870762 Thread.synchronized
Franklin Schmidt <fschmidt@gmail.com>
parents: 1454
diff changeset
77 cancel(sf,"id "+id);
1401
ef1620aa99cb fix gc issues
Franklin Schmidt <fschmidt@gmail.com>
parents: 1389
diff changeset
78 }
1335
e0cf0d108a77 major cleanup
Franklin Schmidt <fschmidt@gmail.com>
parents: 1333
diff changeset
79 Luan luan = fn.luan();
785
d69d3c51c44e more work on incremental cloning
Franklin Schmidt <fschmidt@gmail.com>
parents: 782
diff changeset
80 LuanCloner cloner = new LuanCloner(LuanCloner.Type.COMPLETE);
1333
25746915a241 merge Luan and LuanState
Franklin Schmidt <fschmidt@gmail.com>
parents: 1330
diff changeset
81 final Luan newLuan = (Luan)cloner.clone(luan);
715
a82d385ec2c3 add Thread.schedule() and improve Time.period()
Franklin Schmidt <fschmidt@gmail.com>
parents: 646
diff changeset
82 final LuanFunction newFn = (LuanFunction)cloner.get(fn);
1366
ae2321a09723 improve Thread.schedule
Franklin Schmidt <fschmidt@gmail.com>
parents: 1335
diff changeset
83 final Runnable r = runnable(newFn);
715
a82d385ec2c3 add Thread.schedule() and improve Time.period()
Franklin Schmidt <fschmidt@gmail.com>
parents: 646
diff changeset
84 final ScheduledFuture sf;
1366
ae2321a09723 improve Thread.schedule
Franklin Schmidt <fschmidt@gmail.com>
parents: 1335
diff changeset
85 if( repeatingDelay != null ) {
ae2321a09723 improve Thread.schedule
Franklin Schmidt <fschmidt@gmail.com>
parents: 1335
diff changeset
86 if( delay==null )
ae2321a09723 improve Thread.schedule
Franklin Schmidt <fschmidt@gmail.com>
parents: 1335
diff changeset
87 delay = repeatingDelay;
ae2321a09723 improve Thread.schedule
Franklin Schmidt <fschmidt@gmail.com>
parents: 1335
diff changeset
88 sf = scheduler.scheduleWithFixedDelay(r,delay.longValue(),repeatingDelay.longValue(),TimeUnit.MILLISECONDS);
ae2321a09723 improve Thread.schedule
Franklin Schmidt <fschmidt@gmail.com>
parents: 1335
diff changeset
89 } else if( repeatingRate != null ) {
ae2321a09723 improve Thread.schedule
Franklin Schmidt <fschmidt@gmail.com>
parents: 1335
diff changeset
90 if( delay==null )
ae2321a09723 improve Thread.schedule
Franklin Schmidt <fschmidt@gmail.com>
parents: 1335
diff changeset
91 delay = repeatingRate;
ae2321a09723 improve Thread.schedule
Franklin Schmidt <fschmidt@gmail.com>
parents: 1335
diff changeset
92 sf = scheduler.scheduleWithFixedDelay(r,delay.longValue(),repeatingRate.longValue(),TimeUnit.MILLISECONDS);
ae2321a09723 improve Thread.schedule
Franklin Schmidt <fschmidt@gmail.com>
parents: 1335
diff changeset
93 } else if( delay != null ) {
ae2321a09723 improve Thread.schedule
Franklin Schmidt <fschmidt@gmail.com>
parents: 1335
diff changeset
94 sf = scheduler.schedule(r,delay.longValue(),TimeUnit.MILLISECONDS);
715
a82d385ec2c3 add Thread.schedule() and improve Time.period()
Franklin Schmidt <fschmidt@gmail.com>
parents: 646
diff changeset
95 } else {
1366
ae2321a09723 improve Thread.schedule
Franklin Schmidt <fschmidt@gmail.com>
parents: 1335
diff changeset
96 scheduler.schedule(r,0L,TimeUnit.MILLISECONDS);
ae2321a09723 improve Thread.schedule
Franklin Schmidt <fschmidt@gmail.com>
parents: 1335
diff changeset
97 return;
715
a82d385ec2c3 add Thread.schedule() and improve Time.period()
Franklin Schmidt <fschmidt@gmail.com>
parents: 646
diff changeset
98 }
1401
ef1620aa99cb fix gc issues
Franklin Schmidt <fschmidt@gmail.com>
parents: 1389
diff changeset
99 Object c = new Object() {
ef1620aa99cb fix gc issues
Franklin Schmidt <fschmidt@gmail.com>
parents: 1389
diff changeset
100 protected void finalize() throws Throwable {
1440
4e50b78c7040 logging
Franklin Schmidt <fschmidt@gmail.com>
parents: 1439
diff changeset
101 cancel(sf,"gc");
1401
ef1620aa99cb fix gc issues
Franklin Schmidt <fschmidt@gmail.com>
parents: 1389
diff changeset
102 }
ef1620aa99cb fix gc issues
Franklin Schmidt <fschmidt@gmail.com>
parents: 1389
diff changeset
103 };
ef1620aa99cb fix gc issues
Franklin Schmidt <fschmidt@gmail.com>
parents: 1389
diff changeset
104 luan.registry().put(c,c); // cancel on gc
ef1620aa99cb fix gc issues
Franklin Schmidt <fschmidt@gmail.com>
parents: 1389
diff changeset
105 if( id != null )
1515
78d937870762 Thread.synchronized
Franklin Schmidt <fschmidt@gmail.com>
parents: 1454
diff changeset
106 scheduleds.put(id,sf);
715
a82d385ec2c3 add Thread.schedule() and improve Time.period()
Franklin Schmidt <fschmidt@gmail.com>
parents: 646
diff changeset
107 }
a82d385ec2c3 add Thread.schedule() and improve Time.period()
Franklin Schmidt <fschmidt@gmail.com>
parents: 646
diff changeset
108
1159
3ef883468fd0 remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1157
diff changeset
109 /*
1099
a5406f076726 improve Thread.global
Franklin Schmidt <fschmidt@gmail.com>
parents: 1080
diff changeset
110 public static class GlobalMap {
794
f16c77ef0f4f add Parsers.json_string and Thread.global
Franklin Schmidt <fschmidt@gmail.com>
parents: 788
diff changeset
111
f16c77ef0f4f add Parsers.json_string and Thread.global
Franklin Schmidt <fschmidt@gmail.com>
parents: 788
diff changeset
112 private static class Value {
f16c77ef0f4f add Parsers.json_string and Thread.global
Franklin Schmidt <fschmidt@gmail.com>
parents: 788
diff changeset
113 final long time = System.currentTimeMillis();
1099
a5406f076726 improve Thread.global
Franklin Schmidt <fschmidt@gmail.com>
parents: 1080
diff changeset
114 final Object v;
794
f16c77ef0f4f add Parsers.json_string and Thread.global
Franklin Schmidt <fschmidt@gmail.com>
parents: 788
diff changeset
115
1099
a5406f076726 improve Thread.global
Franklin Schmidt <fschmidt@gmail.com>
parents: 1080
diff changeset
116 Value(Object v) {
a5406f076726 improve Thread.global
Franklin Schmidt <fschmidt@gmail.com>
parents: 1080
diff changeset
117 this.v = v;
794
f16c77ef0f4f add Parsers.json_string and Thread.global
Franklin Schmidt <fschmidt@gmail.com>
parents: 788
diff changeset
118 }
f16c77ef0f4f add Parsers.json_string and Thread.global
Franklin Schmidt <fschmidt@gmail.com>
parents: 788
diff changeset
119 }
f16c77ef0f4f add Parsers.json_string and Thread.global
Franklin Schmidt <fschmidt@gmail.com>
parents: 788
diff changeset
120
f16c77ef0f4f add Parsers.json_string and Thread.global
Franklin Schmidt <fschmidt@gmail.com>
parents: 788
diff changeset
121 public long timeout = 60000L; // one minute
f16c77ef0f4f add Parsers.json_string and Thread.global
Franklin Schmidt <fschmidt@gmail.com>
parents: 788
diff changeset
122 private Map<String,Value> map = new LinkedHashMap<String,Value>() {
1080
0d884377e923 eliminate other head
Franklin Schmidt <fschmidt@gmail.com>
parents: 814
diff changeset
123 protected boolean removeEldestEntry(Map.Entry<String,Value> eldest) {
794
f16c77ef0f4f add Parsers.json_string and Thread.global
Franklin Schmidt <fschmidt@gmail.com>
parents: 788
diff changeset
124 return eldest.getValue().time < System.currentTimeMillis() - timeout;
f16c77ef0f4f add Parsers.json_string and Thread.global
Franklin Schmidt <fschmidt@gmail.com>
parents: 788
diff changeset
125 }
f16c77ef0f4f add Parsers.json_string and Thread.global
Franklin Schmidt <fschmidt@gmail.com>
parents: 788
diff changeset
126 };
f16c77ef0f4f add Parsers.json_string and Thread.global
Franklin Schmidt <fschmidt@gmail.com>
parents: 788
diff changeset
127
1099
a5406f076726 improve Thread.global
Franklin Schmidt <fschmidt@gmail.com>
parents: 1080
diff changeset
128 public synchronized Object get(String key) {
794
f16c77ef0f4f add Parsers.json_string and Thread.global
Franklin Schmidt <fschmidt@gmail.com>
parents: 788
diff changeset
129 Value val = map.get(key);
1099
a5406f076726 improve Thread.global
Franklin Schmidt <fschmidt@gmail.com>
parents: 1080
diff changeset
130 return val==null ? null : val.v;
794
f16c77ef0f4f add Parsers.json_string and Thread.global
Franklin Schmidt <fschmidt@gmail.com>
parents: 788
diff changeset
131 }
f16c77ef0f4f add Parsers.json_string and Thread.global
Franklin Schmidt <fschmidt@gmail.com>
parents: 788
diff changeset
132
1099
a5406f076726 improve Thread.global
Franklin Schmidt <fschmidt@gmail.com>
parents: 1080
diff changeset
133 public synchronized Object put(String key,Object v) throws LuanException {
a5406f076726 improve Thread.global
Franklin Schmidt <fschmidt@gmail.com>
parents: 1080
diff changeset
134 Value val;
a5406f076726 improve Thread.global
Franklin Schmidt <fschmidt@gmail.com>
parents: 1080
diff changeset
135 if( v == null ) {
a5406f076726 improve Thread.global
Franklin Schmidt <fschmidt@gmail.com>
parents: 1080
diff changeset
136 val = map.remove(key);
a5406f076726 improve Thread.global
Franklin Schmidt <fschmidt@gmail.com>
parents: 1080
diff changeset
137 } else {
a5406f076726 improve Thread.global
Franklin Schmidt <fschmidt@gmail.com>
parents: 1080
diff changeset
138 if( !(v instanceof String || v instanceof Boolean || v instanceof Number) )
a5406f076726 improve Thread.global
Franklin Schmidt <fschmidt@gmail.com>
parents: 1080
diff changeset
139 throw new LuanException("can't assign type "+Luan.type(v)+" to Thread.global");
a5406f076726 improve Thread.global
Franklin Schmidt <fschmidt@gmail.com>
parents: 1080
diff changeset
140 val = map.put(key,new Value(v));
a5406f076726 improve Thread.global
Franklin Schmidt <fschmidt@gmail.com>
parents: 1080
diff changeset
141 }
a5406f076726 improve Thread.global
Franklin Schmidt <fschmidt@gmail.com>
parents: 1080
diff changeset
142 return val==null ? null : val.v;
794
f16c77ef0f4f add Parsers.json_string and Thread.global
Franklin Schmidt <fschmidt@gmail.com>
parents: 788
diff changeset
143 }
f16c77ef0f4f add Parsers.json_string and Thread.global
Franklin Schmidt <fschmidt@gmail.com>
parents: 788
diff changeset
144 }
1159
3ef883468fd0 remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1157
diff changeset
145 */
1104
772d16c89056 add Thread.sleep()
Franklin Schmidt <fschmidt@gmail.com>
parents: 1099
diff changeset
146
772d16c89056 add Thread.sleep()
Franklin Schmidt <fschmidt@gmail.com>
parents: 1099
diff changeset
147 public static void sleep(long millis) throws InterruptedException {
772d16c89056 add Thread.sleep()
Franklin Schmidt <fschmidt@gmail.com>
parents: 1099
diff changeset
148 Thread.sleep(millis);
772d16c89056 add Thread.sleep()
Franklin Schmidt <fschmidt@gmail.com>
parents: 1099
diff changeset
149 }
1157
50879022f49d failed attempt to remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1106
diff changeset
150
50879022f49d failed attempt to remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1106
diff changeset
151
1243
3ffc7c4a3b85 improve Thread.global_callable to allow passing of safe tables
Franklin Schmidt <fschmidt@gmail.com>
parents: 1202
diff changeset
152 private static class Unsafe {
3ffc7c4a3b85 improve Thread.global_callable to allow passing of safe tables
Franklin Schmidt <fschmidt@gmail.com>
parents: 1202
diff changeset
153 private final String reason;
3ffc7c4a3b85 improve Thread.global_callable to allow passing of safe tables
Franklin Schmidt <fschmidt@gmail.com>
parents: 1202
diff changeset
154
3ffc7c4a3b85 improve Thread.global_callable to allow passing of safe tables
Franklin Schmidt <fschmidt@gmail.com>
parents: 1202
diff changeset
155 Unsafe(String reason) {
3ffc7c4a3b85 improve Thread.global_callable to allow passing of safe tables
Franklin Schmidt <fschmidt@gmail.com>
parents: 1202
diff changeset
156 this.reason = reason;
3ffc7c4a3b85 improve Thread.global_callable to allow passing of safe tables
Franklin Schmidt <fschmidt@gmail.com>
parents: 1202
diff changeset
157 }
3ffc7c4a3b85 improve Thread.global_callable to allow passing of safe tables
Franklin Schmidt <fschmidt@gmail.com>
parents: 1202
diff changeset
158 }
3ffc7c4a3b85 improve Thread.global_callable to allow passing of safe tables
Franklin Schmidt <fschmidt@gmail.com>
parents: 1202
diff changeset
159
1562
b89212fd04b5 remove table.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 1515
diff changeset
160 private static Object makeSafe(Object v) throws LuanException {
1243
3ffc7c4a3b85 improve Thread.global_callable to allow passing of safe tables
Franklin Schmidt <fschmidt@gmail.com>
parents: 1202
diff changeset
161 if( v instanceof LuanTable ) {
3ffc7c4a3b85 improve Thread.global_callable to allow passing of safe tables
Franklin Schmidt <fschmidt@gmail.com>
parents: 1202
diff changeset
162 LuanTable tbl = (LuanTable)v;
3ffc7c4a3b85 improve Thread.global_callable to allow passing of safe tables
Franklin Schmidt <fschmidt@gmail.com>
parents: 1202
diff changeset
163 if( tbl.getMetatable() != null )
3ffc7c4a3b85 improve Thread.global_callable to allow passing of safe tables
Franklin Schmidt <fschmidt@gmail.com>
parents: 1202
diff changeset
164 return new Unsafe("table with metatable");
1562
b89212fd04b5 remove table.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 1515
diff changeset
165 LuanTable rtn = new LuanTable();
1243
3ffc7c4a3b85 improve Thread.global_callable to allow passing of safe tables
Franklin Schmidt <fschmidt@gmail.com>
parents: 1202
diff changeset
166 for( Map.Entry entry : tbl.rawIterable() ) {
1562
b89212fd04b5 remove table.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 1515
diff changeset
167 Object key = makeSafe( entry.getKey() );
1243
3ffc7c4a3b85 improve Thread.global_callable to allow passing of safe tables
Franklin Schmidt <fschmidt@gmail.com>
parents: 1202
diff changeset
168 if( key instanceof Unsafe )
3ffc7c4a3b85 improve Thread.global_callable to allow passing of safe tables
Franklin Schmidt <fschmidt@gmail.com>
parents: 1202
diff changeset
169 return key;
1562
b89212fd04b5 remove table.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 1515
diff changeset
170 Object value = makeSafe( entry.getValue() );
1243
3ffc7c4a3b85 improve Thread.global_callable to allow passing of safe tables
Franklin Schmidt <fschmidt@gmail.com>
parents: 1202
diff changeset
171 if( value instanceof Unsafe )
3ffc7c4a3b85 improve Thread.global_callable to allow passing of safe tables
Franklin Schmidt <fschmidt@gmail.com>
parents: 1202
diff changeset
172 return value;
3ffc7c4a3b85 improve Thread.global_callable to allow passing of safe tables
Franklin Schmidt <fschmidt@gmail.com>
parents: 1202
diff changeset
173 rtn.rawPut(key,value);
3ffc7c4a3b85 improve Thread.global_callable to allow passing of safe tables
Franklin Schmidt <fschmidt@gmail.com>
parents: 1202
diff changeset
174 }
3ffc7c4a3b85 improve Thread.global_callable to allow passing of safe tables
Franklin Schmidt <fschmidt@gmail.com>
parents: 1202
diff changeset
175 return rtn;
3ffc7c4a3b85 improve Thread.global_callable to allow passing of safe tables
Franklin Schmidt <fschmidt@gmail.com>
parents: 1202
diff changeset
176 } else if( v instanceof Object[] ) {
1157
50879022f49d failed attempt to remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1106
diff changeset
177 Object[] a = (Object[])v;
1243
3ffc7c4a3b85 improve Thread.global_callable to allow passing of safe tables
Franklin Schmidt <fschmidt@gmail.com>
parents: 1202
diff changeset
178 for( int i=0; i<a.length; i++ ) {
1562
b89212fd04b5 remove table.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 1515
diff changeset
179 Object obj = makeSafe(a[i]);
1243
3ffc7c4a3b85 improve Thread.global_callable to allow passing of safe tables
Franklin Schmidt <fschmidt@gmail.com>
parents: 1202
diff changeset
180 if( obj instanceof Unsafe )
3ffc7c4a3b85 improve Thread.global_callable to allow passing of safe tables
Franklin Schmidt <fschmidt@gmail.com>
parents: 1202
diff changeset
181 return obj;
3ffc7c4a3b85 improve Thread.global_callable to allow passing of safe tables
Franklin Schmidt <fschmidt@gmail.com>
parents: 1202
diff changeset
182 a[i] = obj;
1157
50879022f49d failed attempt to remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1106
diff changeset
183 }
1243
3ffc7c4a3b85 improve Thread.global_callable to allow passing of safe tables
Franklin Schmidt <fschmidt@gmail.com>
parents: 1202
diff changeset
184 return a;
1157
50879022f49d failed attempt to remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1106
diff changeset
185 } else {
1322
d5739c101bd6 improve Thread
Franklin Schmidt <fschmidt@gmail.com>
parents: 1308
diff changeset
186 if( v instanceof LuanCloneable )
d5739c101bd6 improve Thread
Franklin Schmidt <fschmidt@gmail.com>
parents: 1308
diff changeset
187 return new Unsafe("type "+Luan.type(v));
d5739c101bd6 improve Thread
Franklin Schmidt <fschmidt@gmail.com>
parents: 1308
diff changeset
188 return v;
1157
50879022f49d failed attempt to remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1106
diff changeset
189 }
50879022f49d failed attempt to remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1106
diff changeset
190 }
50879022f49d failed attempt to remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1106
diff changeset
191
50879022f49d failed attempt to remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1106
diff changeset
192 public static final class Callable {
50879022f49d failed attempt to remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1106
diff changeset
193 private long expires;
1333
25746915a241 merge Luan and LuanState
Franklin Schmidt <fschmidt@gmail.com>
parents: 1330
diff changeset
194 private final Luan luan = new Luan();
1157
50879022f49d failed attempt to remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1106
diff changeset
195 private final LuanTable fns;
50879022f49d failed attempt to remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1106
diff changeset
196
1335
e0cf0d108a77 major cleanup
Franklin Schmidt <fschmidt@gmail.com>
parents: 1333
diff changeset
197 Callable(LuanTable fns) {
1157
50879022f49d failed attempt to remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1106
diff changeset
198 LuanCloner cloner = new LuanCloner(LuanCloner.Type.COMPLETE);
50879022f49d failed attempt to remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1106
diff changeset
199 this.fns = (LuanTable)cloner.get(fns);
50879022f49d failed attempt to remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1106
diff changeset
200 }
50879022f49d failed attempt to remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1106
diff changeset
201
1333
25746915a241 merge Luan and LuanState
Franklin Schmidt <fschmidt@gmail.com>
parents: 1330
diff changeset
202 public synchronized Object call(Luan callerLuan,String fnName,Object... args) throws LuanException {
1562
b89212fd04b5 remove table.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 1515
diff changeset
203 Object obj = makeSafe(args);
1243
3ffc7c4a3b85 improve Thread.global_callable to allow passing of safe tables
Franklin Schmidt <fschmidt@gmail.com>
parents: 1202
diff changeset
204 if( obj instanceof Unsafe )
3ffc7c4a3b85 improve Thread.global_callable to allow passing of safe tables
Franklin Schmidt <fschmidt@gmail.com>
parents: 1202
diff changeset
205 throw new LuanException("can't pass "+((Unsafe)obj).reason+" to global_callable "+Arrays.asList(args));
3ffc7c4a3b85 improve Thread.global_callable to allow passing of safe tables
Franklin Schmidt <fschmidt@gmail.com>
parents: 1202
diff changeset
206 args = (Object[])obj;
1562
b89212fd04b5 remove table.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 1515
diff changeset
207 Object f = fns.get(luan,fnName);
1157
50879022f49d failed attempt to remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1106
diff changeset
208 if( f == null )
50879022f49d failed attempt to remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1106
diff changeset
209 throw new LuanException("function '"+fnName+"' not found in global_callable");
50879022f49d failed attempt to remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1106
diff changeset
210 if( !(f instanceof LuanFunction) )
50879022f49d failed attempt to remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1106
diff changeset
211 throw new LuanException("value of '"+fnName+"' not a function in global_callable");
50879022f49d failed attempt to remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1106
diff changeset
212 LuanFunction fn = (LuanFunction)f;
1335
e0cf0d108a77 major cleanup
Franklin Schmidt <fschmidt@gmail.com>
parents: 1333
diff changeset
213 Object rtn = fn.call(args);
1562
b89212fd04b5 remove table.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 1515
diff changeset
214 rtn = makeSafe(rtn);
1243
3ffc7c4a3b85 improve Thread.global_callable to allow passing of safe tables
Franklin Schmidt <fschmidt@gmail.com>
parents: 1202
diff changeset
215 if( rtn instanceof Unsafe )
3ffc7c4a3b85 improve Thread.global_callable to allow passing of safe tables
Franklin Schmidt <fschmidt@gmail.com>
parents: 1202
diff changeset
216 throw new LuanException("can't return "+((Unsafe)rtn).reason+" from global_callable");
1157
50879022f49d failed attempt to remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1106
diff changeset
217 return rtn;
50879022f49d failed attempt to remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1106
diff changeset
218 }
50879022f49d failed attempt to remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1106
diff changeset
219 }
50879022f49d failed attempt to remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1106
diff changeset
220
50879022f49d failed attempt to remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1106
diff changeset
221 private static Map<String,Callable> callableMap = new HashMap<String,Callable>();
50879022f49d failed attempt to remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1106
diff changeset
222
50879022f49d failed attempt to remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1106
diff changeset
223 private static void sweep() {
50879022f49d failed attempt to remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1106
diff changeset
224 long now = System.currentTimeMillis();
50879022f49d failed attempt to remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1106
diff changeset
225 for( Iterator<Callable> iter = callableMap.values().iterator(); iter.hasNext(); ) {
50879022f49d failed attempt to remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1106
diff changeset
226 Callable callable = iter.next();
50879022f49d failed attempt to remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1106
diff changeset
227 if( callable.expires < now )
50879022f49d failed attempt to remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1106
diff changeset
228 iter.remove();
50879022f49d failed attempt to remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1106
diff changeset
229 }
50879022f49d failed attempt to remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1106
diff changeset
230 }
50879022f49d failed attempt to remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1106
diff changeset
231
1335
e0cf0d108a77 major cleanup
Franklin Schmidt <fschmidt@gmail.com>
parents: 1333
diff changeset
232 public static synchronized Callable globalCallable(String name,LuanTable fns,long timeout) {
1157
50879022f49d failed attempt to remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1106
diff changeset
233 Callable callable = callableMap.get(name);
50879022f49d failed attempt to remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1106
diff changeset
234 if( callable == null ) {
50879022f49d failed attempt to remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1106
diff changeset
235 sweep();
1335
e0cf0d108a77 major cleanup
Franklin Schmidt <fschmidt@gmail.com>
parents: 1333
diff changeset
236 callable = new Callable(fns);
1157
50879022f49d failed attempt to remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1106
diff changeset
237 callableMap.put(name,callable);
50879022f49d failed attempt to remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1106
diff changeset
238 }
50879022f49d failed attempt to remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1106
diff changeset
239 callable.expires = System.currentTimeMillis() + timeout;
50879022f49d failed attempt to remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1106
diff changeset
240 return callable;
50879022f49d failed attempt to remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1106
diff changeset
241 }
1159
3ef883468fd0 remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1157
diff changeset
242
3ef883468fd0 remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1157
diff changeset
243 public static synchronized void removeGlobalCallable(String name) {
3ef883468fd0 remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1157
diff changeset
244 callableMap.remove(name);
3ef883468fd0 remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1157
diff changeset
245 }
3ef883468fd0 remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1157
diff changeset
246
1366
ae2321a09723 improve Thread.schedule
Franklin Schmidt <fschmidt@gmail.com>
parents: 1335
diff changeset
247
1515
78d937870762 Thread.synchronized
Franklin Schmidt <fschmidt@gmail.com>
parents: 1454
diff changeset
248 public static Object runInLock(Lock lock,long timeout,LuanFunction fn,Object... args)
1366
ae2321a09723 improve Thread.schedule
Franklin Schmidt <fschmidt@gmail.com>
parents: 1335
diff changeset
249 throws LuanException, InterruptedException
ae2321a09723 improve Thread.schedule
Franklin Schmidt <fschmidt@gmail.com>
parents: 1335
diff changeset
250 {
1515
78d937870762 Thread.synchronized
Franklin Schmidt <fschmidt@gmail.com>
parents: 1454
diff changeset
251 if( !lock.tryLock(timeout,TimeUnit.MILLISECONDS) )
1366
ae2321a09723 improve Thread.schedule
Franklin Schmidt <fschmidt@gmail.com>
parents: 1335
diff changeset
252 throw new LuanException("failed to acquire lock");
ae2321a09723 improve Thread.schedule
Franklin Schmidt <fschmidt@gmail.com>
parents: 1335
diff changeset
253 try {
1372
431d5bec3ca4 add Thread.new_synchronizer
Franklin Schmidt <fschmidt@gmail.com>
parents: 1366
diff changeset
254 return fn.call(args);
1366
ae2321a09723 improve Thread.schedule
Franklin Schmidt <fschmidt@gmail.com>
parents: 1335
diff changeset
255 } finally {
ae2321a09723 improve Thread.schedule
Franklin Schmidt <fschmidt@gmail.com>
parents: 1335
diff changeset
256 lock.unlock();
ae2321a09723 improve Thread.schedule
Franklin Schmidt <fschmidt@gmail.com>
parents: 1335
diff changeset
257 }
ae2321a09723 improve Thread.schedule
Franklin Schmidt <fschmidt@gmail.com>
parents: 1335
diff changeset
258 }
ae2321a09723 improve Thread.schedule
Franklin Schmidt <fschmidt@gmail.com>
parents: 1335
diff changeset
259
1515
78d937870762 Thread.synchronized
Franklin Schmidt <fschmidt@gmail.com>
parents: 1454
diff changeset
260 private static final Map<String,Lock> locks = new WeakCacheMap<String,Lock>();
78d937870762 Thread.synchronized
Franklin Schmidt <fschmidt@gmail.com>
parents: 1454
diff changeset
261
78d937870762 Thread.synchronized
Franklin Schmidt <fschmidt@gmail.com>
parents: 1454
diff changeset
262 public static synchronized Lock getLock(String key) {
78d937870762 Thread.synchronized
Franklin Schmidt <fschmidt@gmail.com>
parents: 1454
diff changeset
263 Lock lock = locks.get(key);
78d937870762 Thread.synchronized
Franklin Schmidt <fschmidt@gmail.com>
parents: 1454
diff changeset
264 if( lock == null ) {
78d937870762 Thread.synchronized
Franklin Schmidt <fschmidt@gmail.com>
parents: 1454
diff changeset
265 lock = new ReentrantLock();
78d937870762 Thread.synchronized
Franklin Schmidt <fschmidt@gmail.com>
parents: 1454
diff changeset
266 locks.put(key,lock);
78d937870762 Thread.synchronized
Franklin Schmidt <fschmidt@gmail.com>
parents: 1454
diff changeset
267 }
78d937870762 Thread.synchronized
Franklin Schmidt <fschmidt@gmail.com>
parents: 1454
diff changeset
268 return lock;
78d937870762 Thread.synchronized
Franklin Schmidt <fschmidt@gmail.com>
parents: 1454
diff changeset
269 }
78d937870762 Thread.synchronized
Franklin Schmidt <fschmidt@gmail.com>
parents: 1454
diff changeset
270
126
0149bdf98fd8 add ThreadLib
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
271 }