JCSP zmienilo status na open source

Thread View: pl.comp.objects

8 messages

[T] Back to Threads [V] Tree View [G] Group Articles

8 total messages Started by A.L. Thu, 07 Sep 2006 20:59

#15433

Author: A.L.
Date: Thu, 07 Sep 2006 20:59

47 lines
2520 bytes

JCSP zmienilo status na Open Source. Dla tych ktorzy nie wiedza co
to jest: jest to Javowa implementacja frameworku CSP (Communicating
Sequential Processes) wymyslonego pzrez Hoare, tego samego ktory
wymyslil monitor i po wymysleniu go uznal ze to pomylka. Z
niezabdanych powodow model wspolbieznosci Javy oparto na monitorach,
tyle ze nie kompletnych, a "okrojonych".

JCSP jest proba naprawienia tego.

Oryginalna ksaizke Hoare wykjadajaca podstawy CSP mozna sciagnac
stad:

http://www.usingcsp.com/

A stronie www.jcsp.org jest nastepuajcy komunikat

"I can proudly announce that JCSP has now been fully open sourced!
I'd like to thank the University of Kent and Peter Welch for giving
permission to release the JCSP source code and binaries under the
LGPL license which will allow almost limitless use of JCSP in both
commercial and non-commercial projects.

The process of setting up a collaborative source repository using
the Perforce Source Control System is well under way. Further
details will be forthcoming shortly. In the meantime, enjoy the ZIP
files of the code below. 

There are two separate downloads available. The binary 'productized'
version of JCSP uses a binary installer which adds shortcuts to
documentation and demos to your start menu plus high quality PDFs of
the documentation, or the open source version, which contains full
source code, and prebuilt jars and optional DLLs (DLLs are for J#
support and JCSP.NET CNS Windows Service) and JavaDocs (but no
PDFs).

Jim Moores"

Tamze sa linki do zrodej i wersji binarnej. Oryginalna strona JCSP
jest tutaj

http://www.cs.kent.ac.uk/projects/ofa/jcsp/

Tamze sporo publikacji, prezentacji i innych materialow.

A.L.

Re: JCSP zmienilo status na open source

#15434

Author: Maciej Sobczak
Date: Fri, 08 Sep 2006 15:37

11 lines
1190 bytes

A.L. wrote:

> Hoare, tego samego ktory
> wymyslil monitor i po wymysleniu go uznal ze to pomylka

Kiedy to Hoare uznał, że monitor to pomyłka?


-- 
Maciej Sobczak : http://www.msobczak.com/
Programming    : http://www.msobczak.com/prog/

Re: JCSP zmienilo status na open source

#15435

Author: A.L.
Date: Fri, 08 Sep 2006 16:28

14 lines
1133 bytes

On Fri, 08 Sep 2006 17:37:09 +0200, Maciej Sobczak
<no.spam@no.spam.com> wrote:

>A.L. wrote:
>
>> Hoare, tego samego ktory
>> wymyslil monitor i po wymysleniu go uznal ze to pomylka
>
>Kiedy to Hoare uznał, że monitor to pomyłka?

Jest jego artykul na ten temat. Jak znajde to dam znac. Niestety,
jest papierowy tylko o ile sobie przypominam...

A.L.

Re: JCSP zmienilo status na open source

#15436

Author: Sektor van Skijlen
Date: Fri, 08 Sep 2006 22:15

28 lines
2037 bytes

Dnia Thu, 07 Sep 2006 15:59:47 -0500, A.L. skrobie:

> JCSP zmienilo status na Open Source. Dla tych ktorzy nie wiedza co
> to jest: jest to Javowa implementacja frameworku CSP (Communicating
> Sequential Processes) wymyslonego pzrez Hoare, tego samego ktory
> wymyslil monitor i po wymysleniu go uznal ze to pomylka. Z
> niezabdanych powodow model wspolbieznosci Javy oparto na monitorach,
> tyle ze nie kompletnych, a "okrojonych".

> JCSP jest proba naprawienia tego.

Tak przy okazji:

CSP Framework                Time per iteration
=============                ==================
occam (KRoC 1.3.3)           1.3 microseconds
C++CSP                       5 microseconds
JCSP (JDK 1.4)               230 microseconds


(Źródło: http://www.twistedsquare.com/cppcsp/docs/index.html)


-- 
//  _    ___         Michal "Sektor" Malecki <sektor(whirl)kis.p.lodz.pl>
\\ L_ |/ `|  /^\ ,()                         <ethouris(O)gmail.com>
// \_ |\  \/ \_/ /\ C++ bez cholesterolu: http://www.intercon.pl/~sektor/cbx
"I am allergic to Java because programming in Java reminds me casting spells"

Re: JCSP zmienilo status na open source

#15437

Author: A.L.
Date: Fri, 08 Sep 2006 22:23

26 lines
1685 bytes

On Fri, 8 Sep 2006 22:15:32 +0000 (UTC), Sektor van Skijlen
<ethouris@guess.if.gmail.com.is.valid.or.invalid> wrote:

>Dnia Thu, 07 Sep 2006 15:59:47 -0500, A.L. skrobie:
>
>> JCSP zmienilo status na Open Source. Dla tych ktorzy nie wiedza co
>> to jest: jest to Javowa implementacja frameworku CSP (Communicating
>> Sequential Processes) wymyslonego pzrez Hoare, tego samego ktory
>> wymyslil monitor i po wymysleniu go uznal ze to pomylka. Z
>> niezabdanych powodow model wspolbieznosci Javy oparto na monitorach,
>> tyle ze nie kompletnych, a "okrojonych".
>
>> JCSP jest proba naprawienia tego.
>
>Tak przy okazji:
>
>CSP Framework                Time per iteration
>=============                ==================
>occam (KRoC 1.3.3)           1.3 microseconds
>C++CSP                       5 microseconds
>JCSP (JDK 1.4)               230 microseconds
>

Czy to Panska kompletna wiedza na temat CSP?

A.L.

Re: JCSP zmienilo status na open source

#15438

Author: Sektor van Skijlen
Date: Sat, 09 Sep 2006 13:54

36 lines
2487 bytes

Dnia Fri, 08 Sep 2006 17:23:28 -0500, A.L. skrobie:
> On Fri, 8 Sep 2006 22:15:32 +0000 (UTC), Sektor van Skijlen
> <ethouris@guess.if.gmail.com.is.valid.or.invalid> wrote:

> >Dnia Thu, 07 Sep 2006 15:59:47 -0500, A.L. skrobie:
> >
> >> JCSP zmienilo status na Open Source. Dla tych ktorzy nie wiedza co
> >> to jest: jest to Javowa implementacja frameworku CSP (Communicating
> >> Sequential Processes) wymyslonego pzrez Hoare, tego samego ktory
> >> wymyslil monitor i po wymysleniu go uznal ze to pomylka. Z
> >> niezabdanych powodow model wspolbieznosci Javy oparto na monitorach,
> >> tyle ze nie kompletnych, a "okrojonych".
> >
> >> JCSP jest proba naprawienia tego.
> >
> >Tak przy okazji:
> >
> >CSP Framework                Time per iteration
> >=============                ==================
> >occam (KRoC 1.3.3)           1.3 microseconds
> >C++CSP                       5 microseconds
> >JCSP (JDK 1.4)               230 microseconds
> >

> Czy to Panska kompletna wiedza na temat CSP?

Nie, to jest pierwszy rzut oka na to, co wyrzuciły gugle.

Zacząłem guglać, bo temat mnie zainteresował. I szczerze mówiąc, interesuje
nadal ;)

-- 
//  _    ___         Michal "Sektor" Malecki <sektor(whirl)kis.p.lodz.pl>
\\ L_ |/ `|  /^\ ,()                         <ethouris(O)gmail.com>
// \_ |\  \/ \_/ /\ C++ bez cholesterolu: http://www.intercon.pl/~sektor/cbx
"I am allergic to Java because programming in Java reminds me casting spells"

Re: JCSP zmienilo status na open source

#15439

Author: A.L.
Date: Sat, 09 Sep 2006 14:36

20 lines
1559 bytes

On Sat, 9 Sep 2006 13:54:30 +0000 (UTC), Sektor van Skijlen
<ethouris@guess.if.gmail.com.is.valid.or.invalid> wrote:

>Dnia Fri, 08 Sep 2006 17:23:28 -0500, A.L. skrobie:
> 
>
>> Czy to Panska kompletna wiedza na temat CSP?
>
>Nie, to jest pierwszy rzut oka na to, co wyrzuciły gugle.
>
>Zacząłem guglać, bo temat mnie zainteresował. I szczerze mówiąc, interesuje
>nadal ;)

No to proponuej tutaj

http://web.comlab.ox.ac.uk/oucl/work/geraint.jones/publications/book/Pio1/

http://web.comlab.ox.ac.uk/oucl/work/geraint.jones/publications/book/Pio2/

A.L.

Re: JCSP zmienilo status na open source

#15440

Author: A.L.
Date: Sat, 09 Sep 2006 14:53

29 lines
1692 bytes

On Sat, 09 Sep 2006 09:36:07 -0500, A.L. <alewando@fala2005.com>
wrote:

>On Sat, 9 Sep 2006 13:54:30 +0000 (UTC), Sektor van Skijlen
><ethouris@guess.if.gmail.com.is.valid.or.invalid> wrote:
>
>>Dnia Fri, 08 Sep 2006 17:23:28 -0500, A.L. skrobie:
>> 
>>
>>> Czy to Panska kompletna wiedza na temat CSP?
>>
>>Nie, to jest pierwszy rzut oka na to, co wyrzuciły gugle.
>>
>>Zacząłem guglać, bo temat mnie zainteresował. I szczerze mówiąc, interesuje
>>nadal ;)
>
>No to proponuej tutaj
>
>http://web.comlab.ox.ac.uk/oucl/work/geraint.jones/publications/book/Pio1/
>
>http://web.comlab.ox.ac.uk/oucl/work/geraint.jones/publications/book/Pio2/
>
>A.L.

I jescze to...

http://ic.arc.nasa.gov/people/filman/text/dpl/dpl.html

A.L.

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads