1 / 15

Language Issues of Compiling Ada to Hardware

Language Issues of Compiling Ada to Hardware. Michael Ward Real-Time Systems Group University of York michael.ward@cs.york.ac.uk. Overview. Real-Time background Compiler Background Hardware Ada Issues Representation Clauses Fine Grain Parallelism Others Future work Conclusions.

Anita
Download Presentation

Language Issues of Compiling Ada to Hardware

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. Language Issues of Compiling Ada to Hardware Michael Ward Real-Time Systems Group University of York michael.ward@cs.york.ac.uk

  2. Overview • Real-Time background • Compiler Background • Hardware Ada Issues • Representation Clauses • Fine Grain Parallelism • Others • Future work • Conclusions

  3. Real-Time Systems • Real-Time systems typically have high cost of failure - need to be proved correct. • Both functional and timing correctness need to be proved. • Processor based implementations are hard to analyse for timing. • Hardware implementations of RTSs provide the accuracy of timing. • Current hardware implementations of high-level languages do not provide for RTS.

  4. Hardware Compiler Review • Hardware Ada compiler attempts to provide a RTS capable language in hardware. • Uses SPARK and Ravenscar subsets of the Ada 95 language to give static, analysable subset. • Generates circuits from Ada program using a template instantiation approach. • Gives a much lower rate of pessimism than a conventional implementation of the same program

  5. Timing Analysis of Compiler procedure trisum (n : in integer; sum : out integer) is tri : integer; begin sum := 0; for i in 1..n loop tri := 0; for j in 1..i loop tri := tri + j; end loop; sum := sum + tri; end loop; end trisum;

  6. Ada Issues • Ada definition is processor biased. • Always assumes von-Nuemann based implementations. • Causes no problems with the hardware implementation of the sequential language. • Affects the concurrent and system integration parts: • Representation clauses • Priorities, queueing and blocking • Does not allow for some capabilities of the implementation • Fine-grain parallelism

  7. Representation Clauses • Allow the representation and location of a variable to be declared in the program. • Location is specified as an address • FPGAs have no address bus, therefore no addresses. • Possible Solutions: • Include a memory map in the circuit. • Attach each variable to a set of device pins. • Include many small memory maps. • Also need a method of naming the pins to use for attachment.

  8. Representation Example port_1 : fpga.port(8); for port_1’pins use fpga.pins_to_port(p1,p3,p2,p5,p9,p8,p7,p10); port_2 : fpga.port(2); LCD_port : fpga.port(4); debug : integer range 0..15; for debug’port use LCD_port; -- reg1 to reg4 defined as for a processor based application for reg1’data_port use port_1; for reg1’addr_port use fpga.address_port’(port2, 0); for reg2’data_port use port_1; for reg2’addr_port use fpga.address_port’(port2, 1);

  9. Representation Cont.

  10. Fine-grain Parallelism • Concurrent tasks can be implemented in parallel on FPGAs. • More (fine-grained) parallelism is available in the sequential parts of the programs. • Semantic analysis can detect this parallelism but has problems: • Not all parallelism can be found. • Some necessarily sequential code will be parallelised.

  11. Parallelism Solutions • Use a pragma ‘Parallel’ • Indicates sections to be parallelised. • No comment on the rest of the code. • Can miss more parallelism which hasn’t been indicated. • Use two pragmas ‘Parallel’ and ‘Sequence’ • Indicates sections to parallelise, and those to leave sequential • Compiler can attempt to parallelise all unindicated sections. • Change Ada syntax to include a PARALLEL statement. • Requires changes to the rest of the specification of the sequential part of the language. • Static semantics will change.

  12. Parallelism Example

  13. Other Issues • Interrupts. • Much greater range of interrupt signals possible. • Need to consider alternative means of naming interrupt sources. • Specific protected types (e.g. Buffers, stacks) • Allow more efficient implementations of the protected objects. • Reduce code (and therefore potential error. • Specific communication types : • Destructive / non-destructive write. • Destructive / non-destructive read.

  14. Further Work • Can be split into 3 parts : • Compiler • Multiple concurrent tasks. • Intertask communication. • System Integration. • Timing Analysis. • Can only cope with flat sequential code. • Needs extension to cope with sub-programs. • Concurrency and task interference needs to be analysed. • Ada Language • More issues need to be addressed, and others will no doubt appear.

  15. Conclusions • Shown the benefits to timing analysis of hardware implementations of Ada. • Problems with the Ada specification have been identified. • Solutions to some of these have been discussed.

More Related