Mercurial Hosting > luan
annotate src/luan/modules/Thread.luan @ 1578:c922446f53aa
immutable threading
author | Franklin Schmidt <fschmidt@gmail.com> |
---|---|
date | Mon, 08 Feb 2021 14:16:19 -0700 |
parents | d9a5405a3102 |
children | 915cb538e2a3 |
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() |
1322 | 7 local Time = require "luan:Time.luan" |
1233
3fad7091b419
make Thread.safe implicit
Franklin Schmidt <fschmidt@gmail.com>
parents:
1188
diff
changeset
|
8 local Logging = require "luan:logging/Logging.luan" |
3fad7091b419
make Thread.safe implicit
Franklin Schmidt <fschmidt@gmail.com>
parents:
1188
diff
changeset
|
9 local logger = Logging.logger "Thread" |
794
f16c77ef0f4f
add Parsers.json_string and Thread.global
Franklin Schmidt <fschmidt@gmail.com>
parents:
788
diff
changeset
|
10 |
301
a6bf8ff720f8
add java security
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff
changeset
|
11 |
1088
bae2d0c2576c
change module naming convention
Franklin Schmidt <fschmidt@gmail.com>
parents:
794
diff
changeset
|
12 local Thread = {} |
503 | 13 |
1104 | 14 Thread.sleep = ThreadLuan.sleep |
503 | 15 |
1233
3fad7091b419
make Thread.safe implicit
Franklin Schmidt <fschmidt@gmail.com>
parents:
1188
diff
changeset
|
16 local function safe(fn) |
1308
70eecde81820
remove fn,... to improve readability
Franklin Schmidt <fschmidt@gmail.com>
parents:
1302
diff
changeset
|
17 return function() |
1520 | 18 try |
19 fn() | |
20 catch e | |
21 logger.error(e) | |
22 end | |
1188
9f5edbef3f55
remove old web log files
Franklin Schmidt <fschmidt@gmail.com>
parents:
1166
diff
changeset
|
23 end |
9f5edbef3f55
remove old web log files
Franklin Schmidt <fschmidt@gmail.com>
parents:
1166
diff
changeset
|
24 end |
9f5edbef3f55
remove old web log files
Franklin Schmidt <fschmidt@gmail.com>
parents:
1166
diff
changeset
|
25 |
1308
70eecde81820
remove fn,... to improve readability
Franklin Schmidt <fschmidt@gmail.com>
parents:
1302
diff
changeset
|
26 function Thread.fork(fn) |
1233
3fad7091b419
make Thread.safe implicit
Franklin Schmidt <fschmidt@gmail.com>
parents:
1188
diff
changeset
|
27 fn = safe(fn) |
1308
70eecde81820
remove fn,... to improve readability
Franklin Schmidt <fschmidt@gmail.com>
parents:
1302
diff
changeset
|
28 ThreadLuan.fork(fn) |
1233
3fad7091b419
make Thread.safe implicit
Franklin Schmidt <fschmidt@gmail.com>
parents:
1188
diff
changeset
|
29 end |
3fad7091b419
make Thread.safe implicit
Franklin Schmidt <fschmidt@gmail.com>
parents:
1188
diff
changeset
|
30 |
1366
ae2321a09723
improve Thread.schedule
Franklin Schmidt <fschmidt@gmail.com>
parents:
1353
diff
changeset
|
31 function Thread.schedule(fn,options) |
1233
3fad7091b419
make Thread.safe implicit
Franklin Schmidt <fschmidt@gmail.com>
parents:
1188
diff
changeset
|
32 fn = safe(fn) |
1366
ae2321a09723
improve Thread.schedule
Franklin Schmidt <fschmidt@gmail.com>
parents:
1353
diff
changeset
|
33 options = options or {} |
ae2321a09723
improve Thread.schedule
Franklin Schmidt <fschmidt@gmail.com>
parents:
1353
diff
changeset
|
34 ThreadLuan.schedule(fn,options) |
1233
3fad7091b419
make Thread.safe implicit
Franklin Schmidt <fschmidt@gmail.com>
parents:
1188
diff
changeset
|
35 end |
3fad7091b419
make Thread.safe implicit
Franklin Schmidt <fschmidt@gmail.com>
parents:
1188
diff
changeset
|
36 |
1578 | 37 function Thread.schedule_closure(init_fn,options) |
38 local function safe_init() | |
39 return safe(init_fn()) | |
40 end | |
41 options = options or {} | |
42 ThreadLuan.schedule_closure(safe_init,options) | |
43 end | |
44 | |
1233
3fad7091b419
make Thread.safe implicit
Franklin Schmidt <fschmidt@gmail.com>
parents:
1188
diff
changeset
|
45 |
1322 | 46 local forever = Time.period{years=100} |
794
f16c77ef0f4f
add Parsers.json_string and Thread.global
Franklin Schmidt <fschmidt@gmail.com>
parents:
788
diff
changeset
|
47 |
1578 | 48 function Thread.global_callable(name,init_fn,timeout) |
1322 | 49 timeout = timeout or forever |
1578 | 50 local callable = ThreadLuan.globalCallable(name,init_fn,timeout) |
1157
50879022f49d
failed attempt to remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents:
1104
diff
changeset
|
51 local mt = {} |
50879022f49d
failed attempt to remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents:
1104
diff
changeset
|
52 function mt.__index(_,key) |
50879022f49d
failed attempt to remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents:
1104
diff
changeset
|
53 return function(...) |
1159
3ef883468fd0
remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents:
1157
diff
changeset
|
54 return callable.call(key,...) |
1157
50879022f49d
failed attempt to remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents:
1104
diff
changeset
|
55 end |
50879022f49d
failed attempt to remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents:
1104
diff
changeset
|
56 end |
50879022f49d
failed attempt to remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents:
1104
diff
changeset
|
57 local tbl = {} |
50879022f49d
failed attempt to remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents:
1104
diff
changeset
|
58 set_metatable(tbl,mt) |
50879022f49d
failed attempt to remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents:
1104
diff
changeset
|
59 return tbl |
50879022f49d
failed attempt to remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents:
1104
diff
changeset
|
60 end |
1159
3ef883468fd0
remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents:
1157
diff
changeset
|
61 |
3ef883468fd0
remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents:
1157
diff
changeset
|
62 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
|
63 |
1322 | 64 function Thread.global_map(name,timeout) |
1578 | 65 local function init() |
66 local map = {} | |
67 local fns = {} | |
1166
7ef40e1923b7
add back Thread.global
Franklin Schmidt <fschmidt@gmail.com>
parents:
1159
diff
changeset
|
68 |
1578 | 69 function fns.__index(_,key) |
70 return map[key] | |
71 end | |
1166
7ef40e1923b7
add back Thread.global
Franklin Schmidt <fschmidt@gmail.com>
parents:
1159
diff
changeset
|
72 |
1578 | 73 function fns.__new_index(_,key,value) |
74 map[key] = value | |
75 end | |
1166
7ef40e1923b7
add back Thread.global
Franklin Schmidt <fschmidt@gmail.com>
parents:
1159
diff
changeset
|
76 |
1578 | 77 return fns |
1322 | 78 end |
1578 | 79 local mt = Thread.global_callable(name,init,timeout) |
1322 | 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 | |
1088
bae2d0c2576c
change module naming convention
Franklin Schmidt <fschmidt@gmail.com>
parents:
794
diff
changeset
|
99 return Thread |