Mercurial Hosting > luan
annotate src/luan/modules/Thread.luan @ 1515:78d937870762
Thread.synchronized
author | Franklin Schmidt <fschmidt@gmail.com> |
---|---|
date | Sat, 30 May 2020 17:58:35 -0600 |
parents | 5b8f76e26ab7 |
children | d9a5405a3102 |
rev | line source |
---|---|
1353
8d95711f6615
replace java() with require "java"
Franklin Schmidt <fschmidt@gmail.com>
parents:
1322
diff
changeset
|
1 require "java" |
321
7f7708e8fdd4
remove import statement
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
320
diff
changeset
|
2 local ThreadLuan = require "java:luan.modules.ThreadLuan" |
1372
431d5bec3ca4
add Thread.new_synchronizer
Franklin Schmidt <fschmidt@gmail.com>
parents:
1366
diff
changeset
|
3 local ReentrantLock = require "java:java.util.concurrent.locks.ReentrantLock" |
794
f16c77ef0f4f
add Parsers.json_string and Thread.global
Franklin Schmidt <fschmidt@gmail.com>
parents:
788
diff
changeset
|
4 local Luan = require "luan:Luan.luan" |
f16c77ef0f4f
add Parsers.json_string and Thread.global
Franklin Schmidt <fschmidt@gmail.com>
parents:
788
diff
changeset
|
5 local error = Luan.error |
f16c77ef0f4f
add Parsers.json_string and Thread.global
Franklin Schmidt <fschmidt@gmail.com>
parents:
788
diff
changeset
|
6 local set_metatable = Luan.set_metatable or error() |
1188
9f5edbef3f55
remove old web log files
Franklin Schmidt <fschmidt@gmail.com>
parents:
1166
diff
changeset
|
7 local try = Luan.try or error() |
1322 | 8 local Time = require "luan:Time.luan" |
1233
3fad7091b419
make Thread.safe implicit
Franklin Schmidt <fschmidt@gmail.com>
parents:
1188
diff
changeset
|
9 local Logging = require "luan:logging/Logging.luan" |
3fad7091b419
make Thread.safe implicit
Franklin Schmidt <fschmidt@gmail.com>
parents:
1188
diff
changeset
|
10 local logger = Logging.logger "Thread" |
794
f16c77ef0f4f
add Parsers.json_string and Thread.global
Franklin Schmidt <fschmidt@gmail.com>
parents:
788
diff
changeset
|
11 |
301
a6bf8ff720f8
add java security
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff
changeset
|
12 |
1088
bae2d0c2576c
change module naming convention
Franklin Schmidt <fschmidt@gmail.com>
parents:
794
diff
changeset
|
13 local Thread = {} |
503 | 14 |
1104 | 15 Thread.sleep = ThreadLuan.sleep |
503 | 16 |
1233
3fad7091b419
make Thread.safe implicit
Franklin Schmidt <fschmidt@gmail.com>
parents:
1188
diff
changeset
|
17 local function safe(fn) |
1308
70eecde81820
remove fn,... to improve readability
Franklin Schmidt <fschmidt@gmail.com>
parents:
1302
diff
changeset
|
18 return function() |
70eecde81820
remove fn,... to improve readability
Franklin Schmidt <fschmidt@gmail.com>
parents:
1302
diff
changeset
|
19 try { |
1241 | 20 fn |
1188
9f5edbef3f55
remove old web log files
Franklin Schmidt <fschmidt@gmail.com>
parents:
1166
diff
changeset
|
21 catch = function(e) |
9f5edbef3f55
remove old web log files
Franklin Schmidt <fschmidt@gmail.com>
parents:
1166
diff
changeset
|
22 logger.error(e) |
9f5edbef3f55
remove old web log files
Franklin Schmidt <fschmidt@gmail.com>
parents:
1166
diff
changeset
|
23 end |
1308
70eecde81820
remove fn,... to improve readability
Franklin Schmidt <fschmidt@gmail.com>
parents:
1302
diff
changeset
|
24 } |
1188
9f5edbef3f55
remove old web log files
Franklin Schmidt <fschmidt@gmail.com>
parents:
1166
diff
changeset
|
25 end |
9f5edbef3f55
remove old web log files
Franklin Schmidt <fschmidt@gmail.com>
parents:
1166
diff
changeset
|
26 end |
9f5edbef3f55
remove old web log files
Franklin Schmidt <fschmidt@gmail.com>
parents:
1166
diff
changeset
|
27 |
1308
70eecde81820
remove fn,... to improve readability
Franklin Schmidt <fschmidt@gmail.com>
parents:
1302
diff
changeset
|
28 function Thread.fork(fn) |
1233
3fad7091b419
make Thread.safe implicit
Franklin Schmidt <fschmidt@gmail.com>
parents:
1188
diff
changeset
|
29 fn = safe(fn) |
1308
70eecde81820
remove fn,... to improve readability
Franklin Schmidt <fschmidt@gmail.com>
parents:
1302
diff
changeset
|
30 ThreadLuan.fork(fn) |
1233
3fad7091b419
make Thread.safe implicit
Franklin Schmidt <fschmidt@gmail.com>
parents:
1188
diff
changeset
|
31 end |
3fad7091b419
make Thread.safe implicit
Franklin Schmidt <fschmidt@gmail.com>
parents:
1188
diff
changeset
|
32 |
1366
ae2321a09723
improve Thread.schedule
Franklin Schmidt <fschmidt@gmail.com>
parents:
1353
diff
changeset
|
33 function Thread.schedule(fn,options) |
1233
3fad7091b419
make Thread.safe implicit
Franklin Schmidt <fschmidt@gmail.com>
parents:
1188
diff
changeset
|
34 fn = safe(fn) |
1366
ae2321a09723
improve Thread.schedule
Franklin Schmidt <fschmidt@gmail.com>
parents:
1353
diff
changeset
|
35 options = options or {} |
ae2321a09723
improve Thread.schedule
Franklin Schmidt <fschmidt@gmail.com>
parents:
1353
diff
changeset
|
36 ThreadLuan.schedule(fn,options) |
1233
3fad7091b419
make Thread.safe implicit
Franklin Schmidt <fschmidt@gmail.com>
parents:
1188
diff
changeset
|
37 end |
3fad7091b419
make Thread.safe implicit
Franklin Schmidt <fschmidt@gmail.com>
parents:
1188
diff
changeset
|
38 |
3fad7091b419
make Thread.safe implicit
Franklin Schmidt <fschmidt@gmail.com>
parents:
1188
diff
changeset
|
39 |
1322 | 40 local forever = Time.period{years=100} |
794
f16c77ef0f4f
add Parsers.json_string and Thread.global
Franklin Schmidt <fschmidt@gmail.com>
parents:
788
diff
changeset
|
41 |
1322 | 42 function Thread.global_callable(name,fns,timeout) |
43 timeout = timeout or forever | |
44 local callable = ThreadLuan.globalCallable(name,fns,timeout) | |
1157
50879022f49d
failed attempt to remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents:
1104
diff
changeset
|
45 local mt = {} |
50879022f49d
failed attempt to remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents:
1104
diff
changeset
|
46 function mt.__index(_,key) |
50879022f49d
failed attempt to remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents:
1104
diff
changeset
|
47 return function(...) |
1159
3ef883468fd0
remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents:
1157
diff
changeset
|
48 return callable.call(key,...) |
1157
50879022f49d
failed attempt to remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents:
1104
diff
changeset
|
49 end |
50879022f49d
failed attempt to remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents:
1104
diff
changeset
|
50 end |
50879022f49d
failed attempt to remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents:
1104
diff
changeset
|
51 local tbl = {} |
50879022f49d
failed attempt to remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents:
1104
diff
changeset
|
52 set_metatable(tbl,mt) |
50879022f49d
failed attempt to remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents:
1104
diff
changeset
|
53 return tbl |
50879022f49d
failed attempt to remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents:
1104
diff
changeset
|
54 end |
1159
3ef883468fd0
remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents:
1157
diff
changeset
|
55 |
3ef883468fd0
remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents:
1157
diff
changeset
|
56 Thread.remove_global_callable = ThreadLuan.removeGlobalCallable |
1157
50879022f49d
failed attempt to remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents:
1104
diff
changeset
|
57 |
1322 | 58 function Thread.global_map(name,timeout) |
59 timeout = timeout or forever | |
1166
7ef40e1923b7
add back Thread.global
Franklin Schmidt <fschmidt@gmail.com>
parents:
1159
diff
changeset
|
60 |
1322 | 61 local map = {} |
62 local fns = {} | |
63 | |
64 function fns.get(key) | |
65 return map[key] | |
66 end | |
1166
7ef40e1923b7
add back Thread.global
Franklin Schmidt <fschmidt@gmail.com>
parents:
1159
diff
changeset
|
67 |
1322 | 68 function fns.put(key,value) |
69 map[key] = value | |
70 end | |
1166
7ef40e1923b7
add back Thread.global
Franklin Schmidt <fschmidt@gmail.com>
parents:
1159
diff
changeset
|
71 |
1322 | 72 local callable = ThreadLuan.globalCallable(name,fns,timeout) |
73 local mt = {} | |
74 function mt.__index(_,key) | |
75 return callable.call("get",key) | |
76 end | |
77 function mt.__new_index(_,key,value) | |
78 return callable.call("put",key,value) | |
79 end | |
80 local tbl = {} | |
81 set_metatable(tbl,mt) | |
82 return tbl | |
1166
7ef40e1923b7
add back Thread.global
Franklin Schmidt <fschmidt@gmail.com>
parents:
1159
diff
changeset
|
83 end |
7ef40e1923b7
add back Thread.global
Franklin Schmidt <fschmidt@gmail.com>
parents:
1159
diff
changeset
|
84 |
1366
ae2321a09723
improve Thread.schedule
Franklin Schmidt <fschmidt@gmail.com>
parents:
1353
diff
changeset
|
85 |
1515 | 86 local default_time_out = Time.period{minutes=10} |
1366
ae2321a09723
improve Thread.schedule
Franklin Schmidt <fschmidt@gmail.com>
parents:
1353
diff
changeset
|
87 local run_in_lock = ThreadLuan.runInLock |
1515 | 88 local get_lock = ThreadLuan.getLock |
1366
ae2321a09723
improve Thread.schedule
Franklin Schmidt <fschmidt@gmail.com>
parents:
1353
diff
changeset
|
89 |
1515 | 90 function Thread.synchronized(fn,key,time_out) |
91 time_out = time_out or default_time_out | |
92 local lock = get_lock(key) | |
93 return function(...) | |
94 return run_in_lock(lock,time_out,fn,...) | |
95 end | |
96 end | |
97 | |
98 | |
99 -- remove | |
1372
431d5bec3ca4
add Thread.new_synchronizer
Franklin Schmidt <fschmidt@gmail.com>
parents:
1366
diff
changeset
|
100 function Thread.new_synchronizer() |
431d5bec3ca4
add Thread.new_synchronizer
Franklin Schmidt <fschmidt@gmail.com>
parents:
1366
diff
changeset
|
101 local lock = ReentrantLock.new() |
431d5bec3ca4
add Thread.new_synchronizer
Franklin Schmidt <fschmidt@gmail.com>
parents:
1366
diff
changeset
|
102 return function(fn) |
431d5bec3ca4
add Thread.new_synchronizer
Franklin Schmidt <fschmidt@gmail.com>
parents:
1366
diff
changeset
|
103 return function(...) |
1515 | 104 return run_in_lock(lock,default_time_out,fn,...) |
1372
431d5bec3ca4
add Thread.new_synchronizer
Franklin Schmidt <fschmidt@gmail.com>
parents:
1366
diff
changeset
|
105 end |
431d5bec3ca4
add Thread.new_synchronizer
Franklin Schmidt <fschmidt@gmail.com>
parents:
1366
diff
changeset
|
106 end |
431d5bec3ca4
add Thread.new_synchronizer
Franklin Schmidt <fschmidt@gmail.com>
parents:
1366
diff
changeset
|
107 end |
431d5bec3ca4
add Thread.new_synchronizer
Franklin Schmidt <fschmidt@gmail.com>
parents:
1366
diff
changeset
|
108 |
431d5bec3ca4
add Thread.new_synchronizer
Franklin Schmidt <fschmidt@gmail.com>
parents:
1366
diff
changeset
|
109 |
1088
bae2d0c2576c
change module naming convention
Franklin Schmidt <fschmidt@gmail.com>
parents:
794
diff
changeset
|
110 return Thread |