Thanks to my colleague Olivier Henley, the full sources of ParaSail (and more) are now on GitHub:
https://github.com/parasail-lang/parasail
There is a discussion forum there for asking questions about the implementation:
https://github.com/parasail-lang/parasail/discussions
Below is the "readme" file from this GitHub repository:
This is the main source code repository for ParaSail. It contains the compiler, the interpreter, the standard library, and documentation.
Note: this README is for users rather than contributors. If you wish to contribute to the compiler, you should read the Getting Started section of the parasail-dev-guide instead. You can ask for help at Gitter.
import Clock;
interface Dining_Philosophers<Num_Phils : Univ_Integer := 5; Context<>> is
func Dinner_Party (Length_Of_Party : Clock::Interval_Type; Context);
type Philosopher_Index is new Integer<1..Num_Phils>;
type Left_Or_Right is Enum<[#is_left_fork, #is_right_fork]>;
concurrent interface Fork<> is
func Pick_Up_Fork(queued var F : Fork; Which_Fork : Left_Or_Right);
func Put_Down_Fork(locked var F : Fork);
func Create(Index : Philosopher_Index) -> Fork;
end interface Fork;
type Fork_Array is Array<Fork, Indexed_By => Philosopher_Index>;
end interface Dining_Philosophers;
class Dining_Philosophers<Num_Phils : Univ_Integer := 5; Context<>> is
exports
func Dinner_Party(Length_Of_Party : Clock::Interval_Type; Context) is
Delay(Context.Clock.Wall_Clock, Length_Of_Party);
Display(Context.IO.Standard_Output, "Dinner Party is over\n");
return;
||
var Forks : Fork_Array := [for I in 1..Num_Phils => Create(I)];
for Phil in Philosopher_Index concurrent loop
const Left_Fork := Phil;
const Right_Fork := Phil mod Num_Phils + 1;
while True loop
Display(Context.IO.Standard_Output, "Philosopher " | Phil | " is thinking\n");
Delay(Clock, Next(Context.Random)); // Think
then
Pick_Up_Fork(Forks[Left_Fork], #is_left_fork);
||
Pick_Up_Fork(Forks[Right_Fork], #is_right_fork);
then
Display(Context.IO.Standard_Output, "Philosopher " | Phil | " is eating\n");
Delay(Clock, Next(Context.Random)); // Eat
then
Put_Down_Fork(Forks[Left_Fork]);
||
Put_Down_Fork(Forks[Right_Fork]);
end loop;
end loop;
end func Dinner_Party;
concurrent class Fork<> is
var Is_Available : Boolean;
exports
func Create(Index : Philosopher_Index) -> Fork is
return (Is_Available => True);
end func Create;
func Pick_Up_Fork (queued var F : Fork; Which_Fork : Left_Or_Right) is
queued until F.Is_Available then
F.Is_Available := False;
end func Pick_Up_Fork;
func Put_Down_Fork(locked var F : Fork) is
F.Is_Available := True;
end func Put_Down_Fork;
end class Fork;
end class Dining_Philosophers;- Read "ParaSail: Less is More with Multicore".
- To perfect your understanding read "ParaSail: A Pointer-Free Pervasively-Parallel Language for Irregular Computations".
- To gain reference knowledge read "ParaSail: Reference Manual".
- To follow along the original multi-year design process of ParaSail, read the blog "Designing ParaSail, a new programming language".
The ParaSail community congregates in a few places:
- Stack Overflow - Direct questions about using the language.
- Gitter - General discussion and broader questions.
If you are interested in contributing to the ParaSail project, please take a look at the Getting Started section of the parasail-dev-guide.
ParaSail is primarily distributed under the terms of the ParaSail Copyright, the ParaSail Copyright 2 and the ParaSail Copyright Lib.
See ParaSail Copyright, ParaSail Copyright 2, and ParaSail Copyright Lib for details.
