search

Baltoli / project-docs

Documents for my Part III project
0 stars 0 forks source link

Automata Optimisation #28

Closed Baltoli closed 7 years ago

Baltoli commented 7 years ago

Robert mentioned that it might be looking into where instrumentation is placed in a program in order to optimise it. The motivating (overly simple) example is that you wouldn't want the instrumentation for a locking function to go in the lock function itself as not every lock is instrumented, and the overhead tends to stack up. Instead, you'd want to put it at the caller site.

If possible, can I build an example demonstrating this as a problem (and show an analysis that fixes it)?

Baltoli commented 7 years ago

Should do a bit of digging into the internal automata representation to get a better idea of how it works.