block-coroutine-wrapper.py 8.8 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307
  1. #! /usr/bin/env python3
  2. """Generate coroutine wrappers for block subsystem.
  3. The program parses one or several concatenated c files from stdin,
  4. searches for functions with the 'co_wrapper' specifier
  5. and generates corresponding wrappers on stdout.
  6. Usage: block-coroutine-wrapper.py generated-file.c FILE.[ch]...
  7. Copyright (c) 2020 Virtuozzo International GmbH.
  8. This program is free software; you can redistribute it and/or modify
  9. it under the terms of the GNU General Public License as published by
  10. the Free Software Foundation; either version 2 of the License, or
  11. (at your option) any later version.
  12. This program is distributed in the hope that it will be useful,
  13. but WITHOUT ANY WARRANTY; without even the implied warranty of
  14. MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
  15. GNU General Public License for more details.
  16. You should have received a copy of the GNU General Public License
  17. along with this program. If not, see <http://www.gnu.org/licenses/>.
  18. """
  19. import sys
  20. import re
  21. from typing import Iterator
  22. def gen_header():
  23. copyright = re.sub('^.*Copyright', 'Copyright', __doc__, flags=re.DOTALL)
  24. copyright = re.sub('^(?=.)', ' * ', copyright.strip(), flags=re.MULTILINE)
  25. copyright = re.sub('^$', ' *', copyright, flags=re.MULTILINE)
  26. return f"""\
  27. /*
  28. * File is generated by scripts/block-coroutine-wrapper.py
  29. *
  30. {copyright}
  31. */
  32. #include "qemu/osdep.h"
  33. #include "block/coroutines.h"
  34. #include "block/block-gen.h"
  35. #include "block/block_int.h"
  36. #include "block/dirty-bitmap.h"
  37. """
  38. class ParamDecl:
  39. param_re = re.compile(r'(?P<decl>'
  40. r'(?P<type>.*[ *])'
  41. r'(?P<name>[a-z][a-z0-9_]*)'
  42. r')')
  43. def __init__(self, param_decl: str) -> None:
  44. m = self.param_re.match(param_decl.strip())
  45. if m is None:
  46. raise ValueError(f'Wrong parameter declaration: "{param_decl}"')
  47. self.decl = m.group('decl')
  48. self.type = m.group('type')
  49. self.name = m.group('name')
  50. class FuncDecl:
  51. def __init__(self, wrapper_type: str, return_type: str, name: str,
  52. args: str, variant: str) -> None:
  53. self.return_type = return_type.strip()
  54. self.name = name.strip()
  55. self.struct_name = snake_to_camel(self.name)
  56. self.args = [ParamDecl(arg.strip()) for arg in args.split(',')]
  57. self.create_only_co = 'mixed' not in variant
  58. self.graph_rdlock = 'bdrv_rdlock' in variant
  59. self.wrapper_type = wrapper_type
  60. if wrapper_type == 'co':
  61. subsystem, subname = self.name.split('_', 1)
  62. self.target_name = f'{subsystem}_co_{subname}'
  63. else:
  64. assert wrapper_type == 'no_co'
  65. subsystem, co_infix, subname = self.name.split('_', 2)
  66. if co_infix != 'co':
  67. raise ValueError(f"Invalid no_co function name: {self.name}")
  68. if not self.create_only_co:
  69. raise ValueError(f"no_co function can't be mixed: {self.name}")
  70. if self.graph_rdlock:
  71. raise ValueError(f"no_co function can't be rdlock: {self.name}")
  72. self.target_name = f'{subsystem}_{subname}'
  73. t = self.args[0].type
  74. if t == 'BlockDriverState *':
  75. ctx = 'bdrv_get_aio_context(bs)'
  76. elif t == 'BdrvChild *':
  77. ctx = 'bdrv_get_aio_context(child->bs)'
  78. elif t == 'BlockBackend *':
  79. ctx = 'blk_get_aio_context(blk)'
  80. else:
  81. ctx = 'qemu_get_aio_context()'
  82. self.ctx = ctx
  83. self.get_result = 's->ret = '
  84. self.ret = 'return s.ret;'
  85. self.co_ret = 'return '
  86. self.return_field = self.return_type + " ret;"
  87. if self.return_type == 'void':
  88. self.get_result = ''
  89. self.ret = ''
  90. self.co_ret = ''
  91. self.return_field = ''
  92. def gen_list(self, format: str) -> str:
  93. return ', '.join(format.format_map(arg.__dict__) for arg in self.args)
  94. def gen_block(self, format: str) -> str:
  95. return '\n'.join(format.format_map(arg.__dict__) for arg in self.args)
  96. # Match wrappers declared with a co_wrapper mark
  97. func_decl_re = re.compile(r'^(?P<return_type>[a-zA-Z][a-zA-Z0-9_]* [\*]?)'
  98. r'(\s*coroutine_fn)?'
  99. r'\s*(?P<wrapper_type>(no_)?co)_wrapper'
  100. r'(?P<variant>(_[a-z][a-z0-9_]*)?)\s*'
  101. r'(?P<wrapper_name>[a-z][a-z0-9_]*)'
  102. r'\((?P<args>[^)]*)\);$', re.MULTILINE)
  103. def func_decl_iter(text: str) -> Iterator:
  104. for m in func_decl_re.finditer(text):
  105. yield FuncDecl(wrapper_type=m.group('wrapper_type'),
  106. return_type=m.group('return_type'),
  107. name=m.group('wrapper_name'),
  108. args=m.group('args'),
  109. variant=m.group('variant'))
  110. def snake_to_camel(func_name: str) -> str:
  111. """
  112. Convert underscore names like 'some_function_name' to camel-case like
  113. 'SomeFunctionName'
  114. """
  115. words = func_name.split('_')
  116. words = [w[0].upper() + w[1:] for w in words]
  117. return ''.join(words)
  118. def create_mixed_wrapper(func: FuncDecl) -> str:
  119. """
  120. Checks if we are already in coroutine
  121. """
  122. name = func.target_name
  123. struct_name = func.struct_name
  124. graph_assume_lock = 'assume_graph_lock();' if func.graph_rdlock else ''
  125. return f"""\
  126. {func.return_type} {func.name}({ func.gen_list('{decl}') })
  127. {{
  128. if (qemu_in_coroutine()) {{
  129. {graph_assume_lock}
  130. {func.co_ret}{name}({ func.gen_list('{name}') });
  131. }} else {{
  132. {struct_name} s = {{
  133. .poll_state.ctx = {func.ctx},
  134. .poll_state.in_progress = true,
  135. { func.gen_block(' .{name} = {name},') }
  136. }};
  137. s.poll_state.co = qemu_coroutine_create({name}_entry, &s);
  138. bdrv_poll_co(&s.poll_state);
  139. {func.ret}
  140. }}
  141. }}"""
  142. def create_co_wrapper(func: FuncDecl) -> str:
  143. """
  144. Assumes we are not in coroutine, and creates one
  145. """
  146. name = func.target_name
  147. struct_name = func.struct_name
  148. return f"""\
  149. {func.return_type} {func.name}({ func.gen_list('{decl}') })
  150. {{
  151. {struct_name} s = {{
  152. .poll_state.ctx = {func.ctx},
  153. .poll_state.in_progress = true,
  154. { func.gen_block(' .{name} = {name},') }
  155. }};
  156. assert(!qemu_in_coroutine());
  157. s.poll_state.co = qemu_coroutine_create({name}_entry, &s);
  158. bdrv_poll_co(&s.poll_state);
  159. {func.ret}
  160. }}"""
  161. def gen_co_wrapper(func: FuncDecl) -> str:
  162. assert not '_co_' in func.name
  163. assert func.wrapper_type == 'co'
  164. name = func.target_name
  165. struct_name = func.struct_name
  166. graph_lock=''
  167. graph_unlock=''
  168. if func.graph_rdlock:
  169. graph_lock=' bdrv_graph_co_rdlock();'
  170. graph_unlock=' bdrv_graph_co_rdunlock();'
  171. creation_function = create_mixed_wrapper
  172. if func.create_only_co:
  173. creation_function = create_co_wrapper
  174. return f"""\
  175. /*
  176. * Wrappers for {name}
  177. */
  178. typedef struct {struct_name} {{
  179. BdrvPollCo poll_state;
  180. {func.return_field}
  181. { func.gen_block(' {decl};') }
  182. }} {struct_name};
  183. static void coroutine_fn {name}_entry(void *opaque)
  184. {{
  185. {struct_name} *s = opaque;
  186. {graph_lock}
  187. {func.get_result}{name}({ func.gen_list('s->{name}') });
  188. {graph_unlock}
  189. s->poll_state.in_progress = false;
  190. aio_wait_kick();
  191. }}
  192. {creation_function(func)}"""
  193. def gen_no_co_wrapper(func: FuncDecl) -> str:
  194. assert '_co_' in func.name
  195. assert func.wrapper_type == 'no_co'
  196. name = func.target_name
  197. struct_name = func.struct_name
  198. return f"""\
  199. /*
  200. * Wrappers for {name}
  201. */
  202. typedef struct {struct_name} {{
  203. Coroutine *co;
  204. {func.return_field}
  205. { func.gen_block(' {decl};') }
  206. }} {struct_name};
  207. static void {name}_bh(void *opaque)
  208. {{
  209. {struct_name} *s = opaque;
  210. {func.get_result}{name}({ func.gen_list('s->{name}') });
  211. aio_co_wake(s->co);
  212. }}
  213. {func.return_type} coroutine_fn {func.name}({ func.gen_list('{decl}') })
  214. {{
  215. {struct_name} s = {{
  216. .co = qemu_coroutine_self(),
  217. { func.gen_block(' .{name} = {name},') }
  218. }};
  219. assert(qemu_in_coroutine());
  220. aio_bh_schedule_oneshot(qemu_get_aio_context(), {name}_bh, &s);
  221. qemu_coroutine_yield();
  222. {func.ret}
  223. }}"""
  224. def gen_wrappers(input_code: str) -> str:
  225. res = ''
  226. for func in func_decl_iter(input_code):
  227. res += '\n\n\n'
  228. if func.wrapper_type == 'co':
  229. res += gen_co_wrapper(func)
  230. else:
  231. res += gen_no_co_wrapper(func)
  232. return res
  233. if __name__ == '__main__':
  234. if len(sys.argv) < 3:
  235. exit(f'Usage: {sys.argv[0]} OUT_FILE.c IN_FILE.[ch]...')
  236. with open(sys.argv[1], 'w', encoding='utf-8') as f_out:
  237. f_out.write(gen_header())
  238. for fname in sys.argv[2:]:
  239. with open(fname, encoding='utf-8') as f_in:
  240. f_out.write(gen_wrappers(f_in.read()))
  241. f_out.write('\n')