pjc50 comments on “Why has CPU frequency ceased to grow? (2014)”

Unfortunately it requires more than just a change of language, it requires a change in mode of thinking by developers. People are very used to reasoning in terms of “do X, then Y, then Z” or “compute a value X then do A or B on the basis of that”. In order to achieve automatic parallelism you need e.g. a type+proof system that can determine that X/Y/Z are independent, or a system that can partially execute both A and B then retire the branch not taken – without invoking security bugs!


Author: pjc50
Go to Link: https://news.ycombinator.com/item?id=16428533