💾 Archived View for siiky.srht.site › wiki › wp.bill_lin.efficient_compilation_concurrent_programs.g… captured on 2024-08-25 at 00:05:25. Gemini links have been rewritten to link to archived content

-=-=-=-=-=-=-

Bill Lin, "Efficient Compilation of Process-Based Concurrent Programs without Run-Time Scheduling"

siiky

2024/01/26

whitepaper,petri_nets,programming,distributed

https://doi.org/10.1109/DATE.1998.655859

We believe that detailed processor-specific optimizations can only be achieved by optimizing code generators that have been highly optimized to a particular processor architecture. This is because most modern processors employ very sophisticated pipelining and superscalar execution schemes that differ from processor to processor. We take an intermediate approach. Our software synthesis method aims to produce, as intermediate output, plain C code that retains a high degree of parallelism so that the subsequent processor-specific code generation step can produce efficient executable machine code for the target processor.

p. 5, §4.2

So the end program really is a plain sequential program, nothing special about it. Bill Lin hopes the C compiler to take advantage of CPU features.

[4]

[6]