Parallelism has been used as mechanism for increasing performance in many areas of computer science. However, for those who concurrently read papers and use the restroom, health and safety must take priority over performance. Currently, practitioners either ensure safety by sanitizing all components that may reach critical materials at all stages in the process, or avoid the problem altogether and sacrifice possible performance gains. Techniques involving sanitization face the following problems: (1) often, many steps are redundant (2) they incur a run-time overhead (together with (1), gains in productivity may be dramatically reduced), (3) some methods incur a space overhead by using toilet paper that could otherwise be used as additional cache/memory, and (4) they are not sound -- i.e., omitting a sanitization step could lead to unexpected (and unpleasant to reproduce) corruption. We propose a method of static taint analysis for optimizing concurrent compositions of reading and restroom-using programs to the provably minimal number of sanitization steps (zero) while ensuring safety.
not ready for publication
Unfortunately this page is the third hit for "Static Taint Analysis" pic
