block-coroutine-wrapper.py 6.7 KB

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