1*aaaa20b6SVladimir Sementsov-Ogievskiy#! /usr/bin/env python3 2*aaaa20b6SVladimir Sementsov-Ogievskiy"""Generate coroutine wrappers for block subsystem. 3*aaaa20b6SVladimir Sementsov-Ogievskiy 4*aaaa20b6SVladimir Sementsov-OgievskiyThe program parses one or several concatenated c files from stdin, 5*aaaa20b6SVladimir Sementsov-Ogievskiysearches for functions with the 'generated_co_wrapper' specifier 6*aaaa20b6SVladimir Sementsov-Ogievskiyand generates corresponding wrappers on stdout. 7*aaaa20b6SVladimir Sementsov-Ogievskiy 8*aaaa20b6SVladimir Sementsov-OgievskiyUsage: block-coroutine-wrapper.py generated-file.c FILE.[ch]... 9*aaaa20b6SVladimir Sementsov-Ogievskiy 10*aaaa20b6SVladimir Sementsov-OgievskiyCopyright (c) 2020 Virtuozzo International GmbH. 11*aaaa20b6SVladimir Sementsov-Ogievskiy 12*aaaa20b6SVladimir Sementsov-OgievskiyThis program is free software; you can redistribute it and/or modify 13*aaaa20b6SVladimir Sementsov-Ogievskiyit under the terms of the GNU General Public License as published by 14*aaaa20b6SVladimir Sementsov-Ogievskiythe Free Software Foundation; either version 2 of the License, or 15*aaaa20b6SVladimir Sementsov-Ogievskiy(at your option) any later version. 16*aaaa20b6SVladimir Sementsov-Ogievskiy 17*aaaa20b6SVladimir Sementsov-OgievskiyThis program is distributed in the hope that it will be useful, 18*aaaa20b6SVladimir Sementsov-Ogievskiybut WITHOUT ANY WARRANTY; without even the implied warranty of 19*aaaa20b6SVladimir Sementsov-OgievskiyMERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 20*aaaa20b6SVladimir Sementsov-OgievskiyGNU General Public License for more details. 21*aaaa20b6SVladimir Sementsov-Ogievskiy 22*aaaa20b6SVladimir Sementsov-OgievskiyYou should have received a copy of the GNU General Public License 23*aaaa20b6SVladimir Sementsov-Ogievskiyalong with this program. If not, see <http://www.gnu.org/licenses/>. 24*aaaa20b6SVladimir Sementsov-Ogievskiy""" 25*aaaa20b6SVladimir Sementsov-Ogievskiy 26*aaaa20b6SVladimir Sementsov-Ogievskiyimport sys 27*aaaa20b6SVladimir Sementsov-Ogievskiyimport re 28*aaaa20b6SVladimir Sementsov-Ogievskiyfrom typing import Iterator 29*aaaa20b6SVladimir Sementsov-Ogievskiy 30*aaaa20b6SVladimir Sementsov-Ogievskiy 31*aaaa20b6SVladimir Sementsov-Ogievskiydef gen_header(): 32*aaaa20b6SVladimir Sementsov-Ogievskiy copyright = re.sub('^.*Copyright', 'Copyright', __doc__, flags=re.DOTALL) 33*aaaa20b6SVladimir Sementsov-Ogievskiy copyright = re.sub('^(?=.)', ' * ', copyright.strip(), flags=re.MULTILINE) 34*aaaa20b6SVladimir Sementsov-Ogievskiy copyright = re.sub('^$', ' *', copyright, flags=re.MULTILINE) 35*aaaa20b6SVladimir Sementsov-Ogievskiy return f"""\ 36*aaaa20b6SVladimir Sementsov-Ogievskiy/* 37*aaaa20b6SVladimir Sementsov-Ogievskiy * File is generated by scripts/block-coroutine-wrapper.py 38*aaaa20b6SVladimir Sementsov-Ogievskiy * 39*aaaa20b6SVladimir Sementsov-Ogievskiy{copyright} 40*aaaa20b6SVladimir Sementsov-Ogievskiy */ 41*aaaa20b6SVladimir Sementsov-Ogievskiy 42*aaaa20b6SVladimir Sementsov-Ogievskiy#include "qemu/osdep.h" 43*aaaa20b6SVladimir Sementsov-Ogievskiy#include "block/coroutines.h" 44*aaaa20b6SVladimir Sementsov-Ogievskiy#include "block/block-gen.h" 45*aaaa20b6SVladimir Sementsov-Ogievskiy#include "block/block_int.h"\ 46*aaaa20b6SVladimir Sementsov-Ogievskiy""" 47*aaaa20b6SVladimir Sementsov-Ogievskiy 48*aaaa20b6SVladimir Sementsov-Ogievskiy 49*aaaa20b6SVladimir Sementsov-Ogievskiyclass ParamDecl: 50*aaaa20b6SVladimir Sementsov-Ogievskiy param_re = re.compile(r'(?P<decl>' 51*aaaa20b6SVladimir Sementsov-Ogievskiy r'(?P<type>.*[ *])' 52*aaaa20b6SVladimir Sementsov-Ogievskiy r'(?P<name>[a-z][a-z0-9_]*)' 53*aaaa20b6SVladimir Sementsov-Ogievskiy r')') 54*aaaa20b6SVladimir Sementsov-Ogievskiy 55*aaaa20b6SVladimir Sementsov-Ogievskiy def __init__(self, param_decl: str) -> None: 56*aaaa20b6SVladimir Sementsov-Ogievskiy m = self.param_re.match(param_decl.strip()) 57*aaaa20b6SVladimir Sementsov-Ogievskiy if m is None: 58*aaaa20b6SVladimir Sementsov-Ogievskiy raise ValueError(f'Wrong parameter declaration: "{param_decl}"') 59*aaaa20b6SVladimir Sementsov-Ogievskiy self.decl = m.group('decl') 60*aaaa20b6SVladimir Sementsov-Ogievskiy self.type = m.group('type') 61*aaaa20b6SVladimir Sementsov-Ogievskiy self.name = m.group('name') 62*aaaa20b6SVladimir Sementsov-Ogievskiy 63*aaaa20b6SVladimir Sementsov-Ogievskiy 64*aaaa20b6SVladimir Sementsov-Ogievskiyclass FuncDecl: 65*aaaa20b6SVladimir Sementsov-Ogievskiy def __init__(self, return_type: str, name: str, args: str) -> None: 66*aaaa20b6SVladimir Sementsov-Ogievskiy self.return_type = return_type.strip() 67*aaaa20b6SVladimir Sementsov-Ogievskiy self.name = name.strip() 68*aaaa20b6SVladimir Sementsov-Ogievskiy self.args = [ParamDecl(arg.strip()) for arg in args.split(',')] 69*aaaa20b6SVladimir Sementsov-Ogievskiy 70*aaaa20b6SVladimir Sementsov-Ogievskiy def gen_list(self, format: str) -> str: 71*aaaa20b6SVladimir Sementsov-Ogievskiy return ', '.join(format.format_map(arg.__dict__) for arg in self.args) 72*aaaa20b6SVladimir Sementsov-Ogievskiy 73*aaaa20b6SVladimir Sementsov-Ogievskiy def gen_block(self, format: str) -> str: 74*aaaa20b6SVladimir Sementsov-Ogievskiy return '\n'.join(format.format_map(arg.__dict__) for arg in self.args) 75*aaaa20b6SVladimir Sementsov-Ogievskiy 76*aaaa20b6SVladimir Sementsov-Ogievskiy 77*aaaa20b6SVladimir Sementsov-Ogievskiy# Match wrappers declared with a generated_co_wrapper mark 78*aaaa20b6SVladimir Sementsov-Ogievskiyfunc_decl_re = re.compile(r'^int\s*generated_co_wrapper\s*' 79*aaaa20b6SVladimir Sementsov-Ogievskiy r'(?P<wrapper_name>[a-z][a-z0-9_]*)' 80*aaaa20b6SVladimir Sementsov-Ogievskiy r'\((?P<args>[^)]*)\);$', re.MULTILINE) 81*aaaa20b6SVladimir Sementsov-Ogievskiy 82*aaaa20b6SVladimir Sementsov-Ogievskiy 83*aaaa20b6SVladimir Sementsov-Ogievskiydef func_decl_iter(text: str) -> Iterator: 84*aaaa20b6SVladimir Sementsov-Ogievskiy for m in func_decl_re.finditer(text): 85*aaaa20b6SVladimir Sementsov-Ogievskiy yield FuncDecl(return_type='int', 86*aaaa20b6SVladimir Sementsov-Ogievskiy name=m.group('wrapper_name'), 87*aaaa20b6SVladimir Sementsov-Ogievskiy args=m.group('args')) 88*aaaa20b6SVladimir Sementsov-Ogievskiy 89*aaaa20b6SVladimir Sementsov-Ogievskiy 90*aaaa20b6SVladimir Sementsov-Ogievskiydef snake_to_camel(func_name: str) -> str: 91*aaaa20b6SVladimir Sementsov-Ogievskiy """ 92*aaaa20b6SVladimir Sementsov-Ogievskiy Convert underscore names like 'some_function_name' to camel-case like 93*aaaa20b6SVladimir Sementsov-Ogievskiy 'SomeFunctionName' 94*aaaa20b6SVladimir Sementsov-Ogievskiy """ 95*aaaa20b6SVladimir Sementsov-Ogievskiy words = func_name.split('_') 96*aaaa20b6SVladimir Sementsov-Ogievskiy words = [w[0].upper() + w[1:] for w in words] 97*aaaa20b6SVladimir Sementsov-Ogievskiy return ''.join(words) 98*aaaa20b6SVladimir Sementsov-Ogievskiy 99*aaaa20b6SVladimir Sementsov-Ogievskiy 100*aaaa20b6SVladimir Sementsov-Ogievskiydef gen_wrapper(func: FuncDecl) -> str: 101*aaaa20b6SVladimir Sementsov-Ogievskiy assert func.name.startswith('bdrv_') 102*aaaa20b6SVladimir Sementsov-Ogievskiy assert not func.name.startswith('bdrv_co_') 103*aaaa20b6SVladimir Sementsov-Ogievskiy assert func.return_type == 'int' 104*aaaa20b6SVladimir Sementsov-Ogievskiy assert func.args[0].type in ['BlockDriverState *', 'BdrvChild *'] 105*aaaa20b6SVladimir Sementsov-Ogievskiy 106*aaaa20b6SVladimir Sementsov-Ogievskiy name = 'bdrv_co_' + func.name[5:] 107*aaaa20b6SVladimir Sementsov-Ogievskiy bs = 'bs' if func.args[0].type == 'BlockDriverState *' else 'child->bs' 108*aaaa20b6SVladimir Sementsov-Ogievskiy struct_name = snake_to_camel(name) 109*aaaa20b6SVladimir Sementsov-Ogievskiy 110*aaaa20b6SVladimir Sementsov-Ogievskiy return f"""\ 111*aaaa20b6SVladimir Sementsov-Ogievskiy/* 112*aaaa20b6SVladimir Sementsov-Ogievskiy * Wrappers for {name} 113*aaaa20b6SVladimir Sementsov-Ogievskiy */ 114*aaaa20b6SVladimir Sementsov-Ogievskiy 115*aaaa20b6SVladimir Sementsov-Ogievskiytypedef struct {struct_name} {{ 116*aaaa20b6SVladimir Sementsov-Ogievskiy BdrvPollCo poll_state; 117*aaaa20b6SVladimir Sementsov-Ogievskiy{ func.gen_block(' {decl};') } 118*aaaa20b6SVladimir Sementsov-Ogievskiy}} {struct_name}; 119*aaaa20b6SVladimir Sementsov-Ogievskiy 120*aaaa20b6SVladimir Sementsov-Ogievskiystatic void coroutine_fn {name}_entry(void *opaque) 121*aaaa20b6SVladimir Sementsov-Ogievskiy{{ 122*aaaa20b6SVladimir Sementsov-Ogievskiy {struct_name} *s = opaque; 123*aaaa20b6SVladimir Sementsov-Ogievskiy 124*aaaa20b6SVladimir Sementsov-Ogievskiy s->poll_state.ret = {name}({ func.gen_list('s->{name}') }); 125*aaaa20b6SVladimir Sementsov-Ogievskiy s->poll_state.in_progress = false; 126*aaaa20b6SVladimir Sementsov-Ogievskiy 127*aaaa20b6SVladimir Sementsov-Ogievskiy aio_wait_kick(); 128*aaaa20b6SVladimir Sementsov-Ogievskiy}} 129*aaaa20b6SVladimir Sementsov-Ogievskiy 130*aaaa20b6SVladimir Sementsov-Ogievskiyint {func.name}({ func.gen_list('{decl}') }) 131*aaaa20b6SVladimir Sementsov-Ogievskiy{{ 132*aaaa20b6SVladimir Sementsov-Ogievskiy if (qemu_in_coroutine()) {{ 133*aaaa20b6SVladimir Sementsov-Ogievskiy return {name}({ func.gen_list('{name}') }); 134*aaaa20b6SVladimir Sementsov-Ogievskiy }} else {{ 135*aaaa20b6SVladimir Sementsov-Ogievskiy {struct_name} s = {{ 136*aaaa20b6SVladimir Sementsov-Ogievskiy .poll_state.bs = {bs}, 137*aaaa20b6SVladimir Sementsov-Ogievskiy .poll_state.in_progress = true, 138*aaaa20b6SVladimir Sementsov-Ogievskiy 139*aaaa20b6SVladimir Sementsov-Ogievskiy{ func.gen_block(' .{name} = {name},') } 140*aaaa20b6SVladimir Sementsov-Ogievskiy }}; 141*aaaa20b6SVladimir Sementsov-Ogievskiy 142*aaaa20b6SVladimir Sementsov-Ogievskiy s.poll_state.co = qemu_coroutine_create({name}_entry, &s); 143*aaaa20b6SVladimir Sementsov-Ogievskiy 144*aaaa20b6SVladimir Sementsov-Ogievskiy return bdrv_poll_co(&s.poll_state); 145*aaaa20b6SVladimir Sementsov-Ogievskiy }} 146*aaaa20b6SVladimir Sementsov-Ogievskiy}}""" 147*aaaa20b6SVladimir Sementsov-Ogievskiy 148*aaaa20b6SVladimir Sementsov-Ogievskiy 149*aaaa20b6SVladimir Sementsov-Ogievskiydef gen_wrappers(input_code: str) -> str: 150*aaaa20b6SVladimir Sementsov-Ogievskiy res = '' 151*aaaa20b6SVladimir Sementsov-Ogievskiy for func in func_decl_iter(input_code): 152*aaaa20b6SVladimir Sementsov-Ogievskiy res += '\n\n\n' 153*aaaa20b6SVladimir Sementsov-Ogievskiy res += gen_wrapper(func) 154*aaaa20b6SVladimir Sementsov-Ogievskiy 155*aaaa20b6SVladimir Sementsov-Ogievskiy return res 156*aaaa20b6SVladimir Sementsov-Ogievskiy 157*aaaa20b6SVladimir Sementsov-Ogievskiy 158*aaaa20b6SVladimir Sementsov-Ogievskiyif __name__ == '__main__': 159*aaaa20b6SVladimir Sementsov-Ogievskiy if len(sys.argv) < 3: 160*aaaa20b6SVladimir Sementsov-Ogievskiy exit(f'Usage: {sys.argv[0]} OUT_FILE.c IN_FILE.[ch]...') 161*aaaa20b6SVladimir Sementsov-Ogievskiy 162*aaaa20b6SVladimir Sementsov-Ogievskiy with open(sys.argv[1], 'w', encoding='utf-8') as f_out: 163*aaaa20b6SVladimir Sementsov-Ogievskiy f_out.write(gen_header()) 164*aaaa20b6SVladimir Sementsov-Ogievskiy for fname in sys.argv[2:]: 165*aaaa20b6SVladimir Sementsov-Ogievskiy with open(fname, encoding='utf-8') as f_in: 166*aaaa20b6SVladimir Sementsov-Ogievskiy f_out.write(gen_wrappers(f_in.read())) 167*aaaa20b6SVladimir Sementsov-Ogievskiy f_out.write('\n') 168