1 | 1. Contact HTTP server to download the Java applet |
2 | 2. Use the applet to start instrumented HPF application |
3 | 3. HPF server starts (implemented as an HPF extrinsic) |
4 | 4. Java applet establishes communication with the HPF server |
5 | 5. HPF server accepts user's requests: |
6 | - suspend/resume execution of the HPF code |
7 | - send data |
8 | - interpret new HPF statements |
9 | - dynamically link and execute shared objects |