block-coroutine-wrapper.py 7.0 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246
  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, return_type: str, name: str, args: str,
  52. 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. subsystem, subname = self.name.split('_', 1)
  60. self.co_name = f'{subsystem}_co_{subname}'
  61. t = self.args[0].type
  62. if t == 'BlockDriverState *':
  63. ctx = 'bdrv_get_aio_context(bs)'
  64. elif t == 'BdrvChild *':
  65. ctx = 'bdrv_get_aio_context(child->bs)'
  66. elif t == 'BlockBackend *':
  67. ctx = 'blk_get_aio_context(blk)'
  68. else:
  69. ctx = 'qemu_get_aio_context()'
  70. self.ctx = ctx
  71. self.get_result = 's->ret = '
  72. self.ret = 'return s.ret;'
  73. self.co_ret = 'return '
  74. self.return_field = self.return_type + " ret;"
  75. if self.return_type == 'void':
  76. self.get_result = ''
  77. self.ret = ''
  78. self.co_ret = ''
  79. self.return_field = ''
  80. def gen_list(self, format: str) -> str:
  81. return ', '.join(format.format_map(arg.__dict__) for arg in self.args)
  82. def gen_block(self, format: str) -> str:
  83. return '\n'.join(format.format_map(arg.__dict__) for arg in self.args)
  84. # Match wrappers declared with a co_wrapper mark
  85. func_decl_re = re.compile(r'^(?P<return_type>[a-zA-Z][a-zA-Z0-9_]* [\*]?)'
  86. r'\s*co_wrapper'
  87. r'(?P<variant>(_[a-z][a-z0-9_]*)?)\s*'
  88. r'(?P<wrapper_name>[a-z][a-z0-9_]*)'
  89. r'\((?P<args>[^)]*)\);$', re.MULTILINE)
  90. def func_decl_iter(text: str) -> Iterator:
  91. for m in func_decl_re.finditer(text):
  92. yield FuncDecl(return_type=m.group('return_type'),
  93. name=m.group('wrapper_name'),
  94. args=m.group('args'),
  95. variant=m.group('variant'))
  96. def snake_to_camel(func_name: str) -> str:
  97. """
  98. Convert underscore names like 'some_function_name' to camel-case like
  99. 'SomeFunctionName'
  100. """
  101. words = func_name.split('_')
  102. words = [w[0].upper() + w[1:] for w in words]
  103. return ''.join(words)
  104. def create_mixed_wrapper(func: FuncDecl) -> str:
  105. """
  106. Checks if we are already in coroutine
  107. """
  108. name = func.co_name
  109. struct_name = func.struct_name
  110. graph_assume_lock = 'assume_graph_lock();' if func.graph_rdlock else ''
  111. return f"""\
  112. {func.return_type} {func.name}({ func.gen_list('{decl}') })
  113. {{
  114. if (qemu_in_coroutine()) {{
  115. {graph_assume_lock}
  116. {func.co_ret}{name}({ func.gen_list('{name}') });
  117. }} else {{
  118. {struct_name} s = {{
  119. .poll_state.ctx = {func.ctx},
  120. .poll_state.in_progress = true,
  121. { func.gen_block(' .{name} = {name},') }
  122. }};
  123. s.poll_state.co = qemu_coroutine_create({name}_entry, &s);
  124. bdrv_poll_co(&s.poll_state);
  125. {func.ret}
  126. }}
  127. }}"""
  128. def create_co_wrapper(func: FuncDecl) -> str:
  129. """
  130. Assumes we are not in coroutine, and creates one
  131. """
  132. name = func.co_name
  133. struct_name = func.struct_name
  134. return f"""\
  135. {func.return_type} {func.name}({ func.gen_list('{decl}') })
  136. {{
  137. {struct_name} s = {{
  138. .poll_state.ctx = {func.ctx},
  139. .poll_state.in_progress = true,
  140. { func.gen_block(' .{name} = {name},') }
  141. }};
  142. assert(!qemu_in_coroutine());
  143. s.poll_state.co = qemu_coroutine_create({name}_entry, &s);
  144. bdrv_poll_co(&s.poll_state);
  145. {func.ret}
  146. }}"""
  147. def gen_wrapper(func: FuncDecl) -> str:
  148. assert not '_co_' in func.name
  149. name = func.co_name
  150. struct_name = func.struct_name
  151. graph_lock=''
  152. graph_unlock=''
  153. if func.graph_rdlock:
  154. graph_lock=' bdrv_graph_co_rdlock();'
  155. graph_unlock=' bdrv_graph_co_rdunlock();'
  156. creation_function = create_mixed_wrapper
  157. if func.create_only_co:
  158. creation_function = create_co_wrapper
  159. return f"""\
  160. /*
  161. * Wrappers for {name}
  162. */
  163. typedef struct {struct_name} {{
  164. BdrvPollCo poll_state;
  165. {func.return_field}
  166. { func.gen_block(' {decl};') }
  167. }} {struct_name};
  168. static void coroutine_fn {name}_entry(void *opaque)
  169. {{
  170. {struct_name} *s = opaque;
  171. {graph_lock}
  172. {func.get_result}{name}({ func.gen_list('s->{name}') });
  173. {graph_unlock}
  174. s->poll_state.in_progress = false;
  175. aio_wait_kick();
  176. }}
  177. {creation_function(func)}"""
  178. def gen_wrappers(input_code: str) -> str:
  179. res = ''
  180. for func in func_decl_iter(input_code):
  181. res += '\n\n\n'
  182. res += gen_wrapper(func)
  183. return res
  184. if __name__ == '__main__':
  185. if len(sys.argv) < 3:
  186. exit(f'Usage: {sys.argv[0]} OUT_FILE.c IN_FILE.[ch]...')
  187. with open(sys.argv[1], 'w', encoding='utf-8') as f_out:
  188. f_out.write(gen_header())
  189. for fname in sys.argv[2:]:
  190. with open(fname, encoding='utf-8') as f_in:
  191. f_out.write(gen_wrappers(f_in.read()))
  192. f_out.write('\n')