Deterministyczny Parallel Java - Deterministic Parallel Java
| OS | Cross-platform |
|---|---|
| Stronie internetowej | http://dpj.cs.uiuc.edu |
Deterministyczny Parallel Java (DPJ) jest rozszerzeniem języka programowania Java , która dodaje równoległe konstrukcje, które zapewniają deterministyczny model programowania dla języków obiektowych . Rozszerzenia języka zdefiniować system typu , że programista (lub interaktywne narzędzie Porting) można wykorzystać do opisywania kodu Java z informacjami typu, a kompilator można użyć, aby wpisać sprawdzić, że program DPJ ma deterministyczne semantyki, czyli wywołuje taki sam efekt widoczny dla danego wejścia, we wszystkich wykonaniach. Równoległe algorytmy, które nie mogą być wyrażone w całości w systemie typu statycznie sprawdzone mechanizmy wymagają czasu wykonywania egzekwować determinizm: dwa podstawowe cele badawcze, aby system typ bardziej wyraziste i zminimalizować potrzebę, by się znowu do czasu wykonywania technik. Z niewielkimi modyfikacjami, rozszerzenia językowe powinny mieć zastosowanie do innych baza OO języków, takich jak C ++ i C # .
Ta praca jest finansowana przez NSF dotacji CSA 07-02724 i 07-20772 OUN, oraz przez firmy Intel i Microsoft poprzez UPCRC Illinois .