xref: /openbmc/qemu/scripts/block-coroutine-wrapper.py (revision aaaa20b69b93c961ed8064c553a3577f8c072982)
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