Відео

Rodriguez Margaret Perez Michael Anderson Laura

Thanks for the video! Just a few comments/ideas/suggestions: 1. Question about «are we missing something»: try to formally verify GCC (at least for some target arch.) so the GCC will be mathematically proven to be miscompilation-free and therefore can be used in life-critical and mission-critical software development. 2. Question about «static analysis for GCC's code»: try PVS-Studio as well. 3. Question about «hard to support even one year of one PhD student to develop new features»: try to organize prize-driven development contests where the goal is to implement new features / improve existing ones. 4. Question about «GCC's compilation speed»: there is an effort going on aimed to parallelize GCC itself. In case of success and after adding support of C++ modules GCC should compile .cpp files much faster. 5. Question about «add some protection to not overcommit (ex. out of memory) host's resources»: good idea! For example, if make is called as make -jX, where X > 1 and if there is some time later out of memory error is occurred, the building process should not stop, but rather automatically decrease the X by 1 and retry (i.e. relaunch GCC instances).

Topic is interesting, but hard to listen.

I appreciate for your effort!