X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/3754c1c65c0a5bc761e60531752803735fe28db3..60059959d6d517261ca7f4176b0267bc37caf04d:/src/simix/simcalls.py diff --git a/src/simix/simcalls.py b/src/simix/simcalls.py index 1d57171c74..ad1435e375 100755 --- a/src/simix/simcalls.py +++ b/src/simix/simcalls.py @@ -1,8 +1,7 @@ #!/usr/bin/env python # -*- coding: utf-8 -*- -# Copyright (c) 2014. The SimGrid Team. -# All rights reserved. +# Copyright (c) 2014. The SimGrid Team. All rights reserved. # This program is free software; you can redistribute it and/or modify it # under the terms of the license (GNU LGPL) which comes with this package. @@ -62,14 +61,14 @@ class Simcall(object): self.check_pre() def check_body(self): - if self.simcalls_BODY is None: - f = open('smx_user.c') - self.simcalls_BODY = set(re.findall('simcall_BODY_(.*?)\(', f.read())) - f.close() - if self.name not in self.simcalls_BODY: - print '# ERROR: No function calling simcall_BODY_%s'%self.name - print '# Add something like this to smx_user.c:' - print '''%s simcall_%s(%s) + if self.simcalls_BODY is None: + f = open('smx_user.c') + self.simcalls_BODY = set(re.findall('simcall_BODY_(.*?)\(', f.read())) + f.close() + if self.name not in self.simcalls_BODY: + print '# ERROR: No function calling simcall_BODY_%s'%self.name + print '# Add something like this to smx_user.c:' + print '''%s simcall_%s(%s) { return simcall_BODY_%s(%s); }\n'''%(self.res.ret() @@ -78,8 +77,8 @@ class Simcall(object): for arg in self.args) ,self.name ,', '.join(arg.name for arg in self.args)) - return False - return True + return False + return True def check_pre(self): if self.simcalls_PRE is None: @@ -102,40 +101,36 @@ class Simcall(object): return True def enum(self): - return 'SIMCALL_%s,'%(self.name.upper()) + return ' SIMCALL_%s,'%(self.name.upper()) def string(self): return '[SIMCALL_%s] = "SIMCALL_%s",'%(self.name.upper(), self.name.upper()) - - def result_getter_setter(self): - return '%s\n%s'%(self.result_getter(), self.result_setter()) - - def result_getter(self): - return '' if self.res.type == 'void' else '''static inline %s simcall_%s__get__result(smx_simcall_t simcall){ - return %s simcall->result.%s; -}'''%(self.res.ret(), self.name, self.res.cast(), self.res.field()) - - def result_setter(self): - return '' if self.res.type == 'void' else '''static inline void simcall_%s__set__result(smx_simcall_t simcall, %s result){ - simcall->result.%s = result; -}'''%(self.name, self.res.type, self.res.field()) - def args_getter_setter(self): + def accessors(self): res = [] for i in range(len(self.args)): res.append(self.arg_getter(i)) res.append(self.arg_setter(i)) + if self.res.type != 'void': + res.append('static inline %s simcall_%s__get__result(smx_simcall_t simcall){'%(self.res.ret(), self.name)) + res.append(' return %s simcall->result.%s;'%(self.res.cast(), self.res.field())) + res.append('}') + res.append('static inline void simcall_%s__set__result(smx_simcall_t simcall, %s result){'%(self.name, self.res.type,)) + res.append(' simcall->result.%s = result;'%(self.res.field())) + res.append('}') return '\n'.join(res) def arg_getter(self, i): arg = self.args[i] - return '''static inline %s simcall_%s__get__%s(smx_simcall_t simcall){ + return ''' +static inline %s simcall_%s__get__%s(smx_simcall_t simcall){ return %s simcall->args[%i].%s; }'''%(arg.ret(), self.name, arg.name, arg.cast(), i, arg.field()) def arg_setter(self, i): arg = self.args[i] - return '''static inline void simcall_%s__set__%s(smx_simcall_t simcall, %s arg){ + return ''' +static inline void simcall_%s__set__%s(smx_simcall_t simcall, %s arg){ simcall->args[%i].%s = arg; }'''%(self.name, arg.name, arg.type, i, arg.field()) @@ -151,7 +146,8 @@ class Simcall(object): 'SIMIX_simcall_answer(simcall);\n ' if self.has_answer else ' ') def body(self): - return ''' inline static %s simcall_BODY_%s(%s) { + return ''' +inline static %s simcall_BODY_%s(%s) { smx_process_t self = SIMIX_process_self(); /* Go to that function to follow the code flow through the simcall barrier */ @@ -167,7 +163,7 @@ class Simcall(object): SIMIX_simcall_name(self->simcall.call), (int)self->simcall.call); SIMIX_process_yield(self); } else { - SIMIX_simcall_pre(&self->simcall, 0); + SIMIX_simcall_handle(&self->simcall, 0); } %s }'''%(self.res.ret() @@ -182,13 +178,13 @@ class Simcall(object): ,'' if self.res.type == 'void' else 'return self->simcall.result.%s;'%self.res.field()) def parse(fn): - res = [] + simcalls = [] resdi = None - resd = {} + simcalls_guarded = {} for line in open(fn).read().split('\n'): if line.startswith('##'): resdi = [] - resd[re.search(r'## *(.*)', line).group(1)] = resdi + simcalls_guarded[re.search(r'## *(.*)', line).group(1)] = resdi if line.startswith('#') or not line: continue match = re.match(r'(\S*?) *(\S*?) *\((.*?)(?:, *(.*?))?\) *(.*)', line) @@ -199,25 +195,34 @@ def parse(fn): sargs.append(Arg(n,t,c)) sim = Simcall(name, Arg('result', rest, resc), sargs, ans == 'True') if resdi is None: - res.append(sim) + simcalls.append(sim) else: resdi.append(sim) - return res, resd - -def write(fn, func, scs, scd,pre="",post=""): - f = open(fn, 'w') - f.write('/*********************************************\n') - f.write(' * File Generated by src/simix/simcalls.py *\n') - f.write(' * from src/simix/simcalls.in *\n') - f.write(' * Do not modify this file, add new simcalls *\n') - f.write(' * in src/simix/simcalls.in *\n') - f.write(' *********************************************/\n\n') - f.write(pre) - f.write('\n'.join(func(sc) for sc in scs)) - for k, v in scd.items(): - f.write('\n#ifdef %s\n%s\n#endif\n'%(k, '\n'.join(func(sc) for sc in v))) - f.write(post) - f.close() + return simcalls, simcalls_guarded + +def header(name): + fd = open(name, 'w') + fd.write('/**********************************************************************/\n') + fd.write('/* File generated by src/simix/simcalls.py from src/simix/simcalls.in */\n') + fd.write('/* */\n') + fd.write('/* DO NOT EVER CHANGE THIS FILE */\n') + fd.write('/* */\n') + fd.write('/* change simcalls specification in src/simix/simcalls.in */\n') + fd.write('/**********************************************************************/\n\n') + fd.write('/*\n') + fd.write(' * Note that the name comes from http://en.wikipedia.org/wiki/Popping\n') + fd.write(' * Indeed, the control flow is doing a strange dance in there.\n') + fd.write(' *\n') + fd.write(' * That\'s not about http://en.wikipedia.org/wiki/Poop, despite the odor :)\n') + fd.write(' */\n\n') + return fd + +def handle(fd,func, simcalls, guarded_simcalls): + fd.write('\n'.join(func(simcall) for simcall in simcalls)) + for guard, list in guarded_simcalls.items(): + fd.write('\n#ifdef %s\n'%(guard)) + fd.write('\n'.join(func(simcall) for simcall in list)) + fd.write('\n#endif\n') if __name__=='__main__': import sys @@ -227,23 +232,90 @@ if __name__=='__main__': ok &= all(map(Simcall.check, simcalls)) for k,v in simcalls_dict.items(): ok &= all(map(Simcall.check, v)) + # FIXME: we should not hide it #if not ok: + # print ("Some checks fail!") # sys.exit(1) - write('simcalls_generated_enum.h', Simcall.enum, simcalls, simcalls_dict,""" -/** - * @brief All possible simcalls. - */ -typedef enum { -SIMCALL_NONE, - """,""" -SIMCALL_NEW_API_INIT, -NUM_SIMCALLS -} e_smx_simcall_t; - """) + ### + ### smx_popping_accessors.c + ### + fd = header('popping_accessors.h') + handle(fd, Simcall.accessors, simcalls, simcalls_dict) + fd.close() + + ### + ### smx_popping_enum.c + ### + fd = header("popping_enum.h") + fd.write('/**\n') + fd.write(' * @brief All possible simcalls.\n') + fd.write(' */\n') + fd.write('typedef enum {\n') + fd.write(' SIMCALL_NONE,\n') + + handle(fd, Simcall.enum, simcalls, simcalls_dict) + + fd.write(' NUM_SIMCALLS\n') + fd.write('} e_smx_simcall_t;\n') + fd.close() + + ### + ### smx_popping_generated.c + ### + + fd = header("popping_generated.c") + + fd.write('#include "smx_private.h"\n'); + fd.write('#ifdef HAVE_MC\n'); + fd.write('#include "mc/mc_private.h"\n'); + fd.write('#endif\n'); + fd.write('\n'); + fd.write('XBT_LOG_EXTERNAL_DEFAULT_CATEGORY(simix_popping);\n\n'); + + fd.write('/** @brief Simcalls\' names (generated from src/simix/simcalls.in) */\n') + fd.write('const char* simcall_names[] = {\n') + + handle(fd, Simcall.string, simcalls, simcalls_dict) + + fd.write('[SIMCALL_NONE] = "NONE"\n') + fd.write('};\n\n') + + + fd.write('/**\n'); + fd.write(' * @brief (in kernel mode) unpack the simcall and activate the handler\n'); + fd.write(' * \n') + fd.write(' * This function is generated from src/simix/simcalls.in\n') + fd.write(' */\n'); + fd.write('void SIMIX_simcall_handle(smx_simcall_t simcall, int value) {\n'); + fd.write(' XBT_DEBUG("Handling simcall %p: %s", simcall, SIMIX_simcall_name(simcall->call));\n'); + fd.write(' SIMCALL_SET_MC_VALUE(simcall, value);\n'); + fd.write(' if (simcall->issuer->context->iwannadie && simcall->call != SIMCALL_PROCESS_CLEANUP)\n'); + fd.write(' return;\n'); + fd.write(' switch (simcall->call) {\n'); + + handle(fd, Simcall.case, simcalls, simcalls_dict) + + fd.write(' case NUM_SIMCALLS:\n'); + fd.write(' break;\n'); + fd.write(' case SIMCALL_NONE:\n'); + fd.write(' THROWF(arg_error,0,"Asked to do the noop syscall on %s@%s",\n'); + fd.write(' SIMIX_process_get_name(simcall->issuer),\n'); + fd.write(' SIMIX_host_get_name(SIMIX_process_get_host(simcall->issuer))\n'); + fd.write(' );\n'); + fd.write(' break;\n'); + fd.write('\n'); + fd.write(' }\n'); + fd.write('}\n'); + + fd.close() - write('simcalls_generated_string.c', Simcall.string, simcalls, simcalls_dict) - write('simcalls_generated_res_getter_setter.h', Simcall.result_getter_setter, simcalls, simcalls_dict) - write('simcalls_generated_args_getter_setter.h', Simcall.args_getter_setter, simcalls, simcalls_dict) - write('simcalls_generated_case.c', Simcall.case, simcalls, simcalls_dict) - write('simcalls_generated_body.c', Simcall.body, simcalls, simcalls_dict) + ### + ### smx_popping_bodies.c + ### + fd = header('popping_bodies.c') + fd.write('#include "smx_private.h"\n') + fd.write('#include "mc/mc_interface.h"\n') + fd.write('#include "xbt/ex.h"\n') + handle(fd, Simcall.body, simcalls, simcalls_dict) + fd.close()