Chalmers, Kevin | 27 Jan 16:29
Picon
Picon

Little occam advice

Hi folks,

I'm having a little problem trying to compile an occam-pi program.  The error I'm getting is "Error 1 in
routine loadmobile - ARRAYITEM for unsupported MOBILE type".  A brief snippet of what I'm trying to do:

DATA TYPE NODE.ID
  MOBILE RECORD
    MOBILE []BYTE name:
    MOBILE []BYTE protocol:
    MOBILE []BYTE address:
    INT64 attr1:
    INT64 attr2:
    INT32 attr3:
:

PROC link.manager(...)
  MOBILE [100]NODE.ID nodes:
  -- ...
  SEQ
    -- ...
    input ? index; node.id
    nodes[index] := node.id -- ******

The compiler doesn't seem to like the starred line - assigning a mobile value to an array.  For mobile channel
ends, not a problem, but mobile data types it just doesn't seem to like it.  Any advice?

Cheers,

Kevin

(Continue reading)

vitaxe | 15 Dec 12:25
Picon

compiling/linking occam-pi code in windows 7

 I have just downloaded the Transterpreter for both Windows and Mac OSX. I have
been playing with Arduino for quite a time and I wanted to see what OCCAM can
offer as an alternative.

I have got a little problem in compiling occam-pi code in win 7 and not be able
to find any relevant open forum to post my question, I decided to send it here.
My apologies for any inconvenience.

For testing the Arduino module, I used the Arduino UNO board on both Windows 7
and Mac OSX and it works perfectly well.   Then I wrote the following  occam
code to test the Desktop (TVM) and it works without problem on Mac OSX but it
gives an error in Windows 7.

#INCLUDE "course.module"

PROC main (CHAN BYTE scr!)
 SEQ
   out.string("Hello World!*n", 0, scr!)
   scr ! 'B'
   scr ! '*n'
   scr ! '*n'
   SEQ i = 1 FOR 10
     SEQ
       out.int(i, 0, scr!)
       scr ! 'A'
       scr ! '*n'
:

The error I get in Win 7 is the following:

(Continue reading)

Russel Winder | 7 Aug 11:48
Picon
Gravatar

The status of JCSP

As per my previous email, since there seems to be no effort available to
do a JCSP 1.1 release based on RC-5, I have released 1.1-rc5 from the
confines of the Codehaus snapshot repository into the Codehaus main
repository (*).  When the Maven repository next syncs up with the
Codehaus main repository, the jcsp-1.1-rc5 artefact will be out there in
the wild as the main representative of JCSP. 

I just hope the inconsistency between this and the information on
http://www.cs.kent.ac.uk/projects/ofa/jcsp/ won't confuse anyone too
much.

(*) And marked the "maven build" branch off trunk as being rc6-SNAPSHOT.
This branch only exists in the Git mirror at Codehaus of the Subversion
repository at Kent.  At some point there needs to be a merge so that the
Subversion repository at Kent has the Maven build, and the nascent
Gradle build, in the main repository.

--

-- 
Russel.
=============================================================================
Dr Russel Winder      t: +44 20 7585 2200   voip: sip:russel.winder <at> ekiga.net
41 Buckmaster Road    m: +44 7770 465 077   xmpp: russel@...
London SW11 1EN, UK   w: www.russel.org.uk  skype: russel_winder
Russel Winder | 15 Jul 13:27
Picon
Gravatar

GroovyCSP

I think it is unacceptable that people have to use the Codehaus snapshot
repository to get JCSP so that they can use GroovyCSP from the GPars
0.10 release that is present in the main Maven repository.  I am
therefore proposing to push out JCSP 1.1-rc5 as a full release so it
gets into the main Maven repository.

Does this seem like a sensible strategy?  Any obvious pitfalls?

--

-- 
Russel.
=============================================================================
Dr Russel Winder      t: +44 20 7585 2200   voip: sip:russel.winder <at> ekiga.net
41 Buckmaster Road    m: +44 7770 465 077   xmpp: russel@...
London SW11 1EN, UK   w: www.russel.org.uk  skype: russel_winder
Rick Beton | 1 May 15:09
Picon

CSP and Actor Comparison

Hi all,

I was frustrated to see that the Wikipedia comparison of CSP and the actor model was almost non-existent.  The existing text on this subject seems inadequate:
  http://en.wikipedia.org/wiki/Actor_model#Contrast_with_other_models_of_message-passing_concurrency

It is almost totally concerned with Hoare's preliminary CSP ideas rather than what we now know as CSP.  I'm no expert on CCS so cannot comment on what it says with any certainty.  However, perhaps the remarks on CSP in that section should just be deleted.

So I had a go at writing something clearer:
  http://en.wikipedia.org/wiki/Communicating_sequential_processes#Comparison_with_the_Actor_Model

Please would you consider reviewing this and correcting any obvious howlers.

Regards,
Rick
--
Big Bee Consultants Limited : Registered in England & Wales No. 6397941
Registered Office: 71 The Hundred, Romsey, Hampshire, SO51 8BZ

Russel Winder | 28 Apr 12:12
Picon
Gravatar

Releasing JCSP 1.1.0

I am not sure what the official constitution is regarding JCSP and
decision making, but I assume Adam and myself voting for making the
current trunk, which is 1.1-rc5, into the 1.1.0 release, branching it
for a 1.1.x maintenance branch, tagging it 1.1.0, and releasing it,
doesn't constitute a sufficiency for a decision.  I guess I need to get
a bit more pushy so as to get the people who need to say yes to say yes
-- or, of course no, but I hope they say yes.

There is also the issue of how to get the extra material I have in the
Git repository associated with the Maven and Gradle builds into the
Subversion repository so that the master version is indeed master.

Thanks.

--

-- 
Russel.
=============================================================================
Dr Russel Winder      t: +44 20 7585 2200   voip: sip:russel.winder <at> ekiga.net
41 Buckmaster Road    m: +44 7770 465 077   xmpp: russel@...
London SW11 1EN, UK   w: www.russel.org.uk  skype: russel_winder
Russel Winder | 21 Apr 10:50
Picon
Gravatar

JCSP development

Hi,

I am not sure of the appropriate protocol hence this email.

GPars is looking to release its 0.10 mid-May, it is entering a beta
cycle now.  This is the first release of GPars that will have GroovyCSP.
GroovyCSP is effectively just a wrapper around JCSP.  Currently we have
JCSP 1.1-RC5 as the version in the Maven repository.  I would like to
propose that this be released as 1.1.0 (it is a release candidate and as
far as I know there have been no changes to the codebase since it was
released), a maintenance branch taken to cover the need for bug-fix
releases, and that trunk is renumbered as 1.2.0-SNAPSHOT.   I guess my
question is what is the right way of making this proposal.

Thanks.

--

-- 
Russel.
=============================================================================
Dr Russel Winder      t: +44 20 7585 2200   voip: sip:russel.winder <at> ekiga.net
41 Buckmaster Road    m: +44 7770 465 077   xmpp: russel@...
London SW11 1EN, UK   w: www.russel.org.uk  skype: russel_winder
Picon
Favicon

Error with the Transterpreter in the Gumstix

Hello all,
I'm a brazilian student and I have had problems with the building of the gumstix buildroot. I should fix this error very quickly, because I need to compile the Transterpreter and put it on Gumstix to begin to work with them. I send the error to some lists about Gumstix, but nobody knows what the error is. I know this list isn't about Gumstix, but I expect that someone of this list will know the problem and will can report for me.

The script of the error is:

root <at> ubuntu:/home/thiago/gumstix-buildroot# make
if [ -f "target/generic/skel.tar.gz" ] ; then \
        zcat target/generic/skel.tar.gz | tar -C /home/thiago/gumstix-buildroot/build_arm_nofpu -xf -; \
    fi;
if [ -d "target/generic/target_skeleton" ] ; then \
        cp -a target/generic/target_skeleton/* /home/thiago/gumstix-buildroot/build_arm_nofpu/root/; \
    fi;
touch /home/thiago/gumstix-buildroot/build_arm_nofpu/staging_dir/fakeroot.env
find /home/thiago/gumstix-buildroot/build_arm_nofpu/root -type d -name CVS | xargs rm -rf
find /home/thiago/gumstix-buildroot/build_arm_nofpu/root -type d -name .svn | xargs rm -rf

Checking build system dependencies:
sed works:                Ok
GNU make version '3.81':        Ok
gcc version '4.4.1':            Ok
which installed:            Ok
bison installed:            Ok
flex installed:                Ok
gettext installed:            Ok
Build system dependencies:        Ok

mkdir -p /home/thiago/gumstix-buildroot/toolchain_build_arm_nofpu
bzcat /home/thiago/gumstix-buildroot/dl/uClibc-20070424.tar.bz2 | tar -C /home/thiago/gumstix-buildroot/toolchain_build_arm_nofpu   -xf -
touch /home/thiago/gumstix-buildroot/toolchain_build_arm_nofpu/uClibc/.unpacked
(cd /home/thiago/gumstix-buildroot/toolchain_build_arm_nofpu/uClibc; QUILT_PATCHES=/home/thiago/gumstix-buildroot/toolchain/uClibc /home/thiago/gumstix-buildroot/toolchain/quilt/bin/quilt --cmdpath /home/thiago/gumstix-buildroot/toolchain/quilt/share --quiltrc /home/thiago/gumstix-buildroot/toolchain/quilt/quilt.quiltrc push -a)
Aplicando caminho /home/thiago/gumstix-buildroot/toolchain/uClibc/restore-baudrates.patch
patching file libc/sysdeps/linux/common/bits/termios.h

Aplicando caminho /home/thiago/gumstix-buildroot/toolchain/uClibc/POSIX-string-compare-equals.patch
patching file extra/config/lxdialog/check-lxdialog.sh

Aplicando caminho /home/thiago/gumstix-buildroot/toolchain/uClibc/ftruncate-fixup.patch
patching file libc/sysdeps/linux/arm/bits/uClibc_arch_features.h

Now at patch /home/thiago/gumstix-buildroot/toolchain/uClibc/ftruncate-fixup.patch
echo /home/thiago/gumstix-buildroot/toolchain/uClibc > /home/thiago/gumstix-buildroot/toolchain_build_arm_nofpu/uClibc/.patched
cp toolchain/uClibc/uClibc.config /home/thiago/gumstix-buildroot/toolchain_build_arm_nofpu/uClibc/.config
cp: impossível obter estado de `toolchain/uClibc/uClibc.config': Arquivo ou diretório não encontrado (File or Directory didn't found)
make: ** [/home/thiago/gumstix-buildroot/toolchain_build_arm_nofpu/uClibc/.configured] Erro 1 (Error 1)


Thank you,
Thiago.

Veja quais são os assuntos do momento no Yahoo! + Buscados: Top 10 - Celebridades - Música - Esportes
Picon
Favicon

The Correct Script of the Error

Sorry,
I send the wrong script of the errors. The correct is this one:

root <at> ubuntu:/home/thiago/gumstix-buildroot# make

if [ -f "target/generic/skel.tar.gz" ] ; then \
        zcat target/generic/skel.tar.gz | tar -C /home/thiago/gumstix-buildroot/build_arm_nofpu -xf -; \
    fi;
if [ -d "target/generic/target_skeleton" ] ; then \
        cp -a target/generic/target_skeleton/* /home/thiago/gumstix-buildroot/build_arm_nofpu/root/; \
    fi;
touch /home/thiago/gumstix-buildroot/build_arm_nofpu/staging_dir/fakeroot.env
find /home/thiago/gumstix-buildroot/build_arm_nofpu/root -type d -name CVS | xargs rm -rf
find /home/thiago/gumstix-buildroot/build_arm_nofpu/root -type d -name .svn | xargs rm -rf

Checking build system dependencies:
sed works:                Ok
GNU make version '3.81':        Ok
gcc version '4.4.1':            Ok
which installed:            Ok
bison installed:            Ok
flex installed:                Ok
gettext installed:            Ok
Build system dependencies:        Ok

mkdir -p /home/thiago/gumstix-buildroot/dl
toolchain/getter_script.sh -P /home/thiago/gumstix-buildroot/dl http://www.uclibc.org/downloads/snapshots/uClibc-20070424.tar.bz2
--2010-02-18 14:31:37--  http://www.uclibc.org/downloads/snapshots/uClibc-20070424.tar.bz2
Resolvendo www.uclibc.org... 140.211.167.224
Conectando-se a www.uclibc.org|140.211.167.224|:80... conectado!
HTTP requisição enviada, aguardando resposta... 404 Not Found
2010-02-18 14:31:38 ERRO 404: Not Found.

Retrying from gumstix alternate site...
--2010-02-18 14:31:38--  http://files.gumstix.com/uClibc-20070424.tar.bz2
Resolvendo files.gumstix.com... 69.163.172.9
Conectando-se a files.gumstix.com|69.163.172.9|:80... conectado!
HTTP requisição enviada, aguardando resposta... 404 Not Found
2010-02-18 14:31:39 ERRO 404: Not Found.

make: ** [/home/thiago/gumstix-buildroot/dl/uClibc-20070424.tar.bz2] Erro 1


Veja quais são os assuntos do momento no Yahoo! + Buscados: Top 10 - Celebridades - Música - Esportes
Picon
Favicon

Gumstix Buildroot

Hi guys,
In the last few days I download the gumstix-buildroot to compile the Transterpreter. But I have had problems to build the Buildroot when I give the commands:

cd gumtix-buildroot
make

This is the script of the error:

------------------------------------------------------------------------------------

Checking build system dependencies:
sed works:                Ok
GNU make version '3.81':        Ok
gcc version '4.4.1':            Ok
which installed:            Ok
bison installed:            Ok
flex installed:                Ok
gettext installed:            Ok
Build system dependencies:        Ok

mkdir -p /home/thiago/gumstix-buildroot/dl
toolchain/getter_script.sh -P /home/thiago/gumstix-buildroot/dl http://www.uclibc.org/downloads/snapshots/uClibc-20070424.tar.bz2
--2010-02-18 14:09:39--  http://www.uclibc.org/downloads/snapshots/uClibc-20070424.tar.bz2
Resolvendo www.uclibc.org... 140.211.167.224
Conectando-se a www.uclibc.org|140.211.167.224|:80... conectado!
HTTP requisição enviada, aguardando resposta... 404 Not Found
2010-02-18 14:09:41 ERRO 404: Not Found.

Retrying from gumstix alternate site...
--2010-02-18 14:09:41--  http://files.gumstix.com/uClibc-20070424.tar.bz2
Resolvendo files.gumstix.com... 69.163.172.9
Conectando-se a files.gumstix.com|69.163.172.9|:80... conectado!
HTTP requisição enviada, aguardando resposta... 404 Not Found
2010-02-18 14:09:41 ERRO 404: Not Found.

make: ** [/home/thiago/gumstix-buildroot/dl/uClibc-20070424.tar.bz2] Erro 1
root <at> ubuntu:/home/thiago/gumstix-buildroot# make clean
rm -rf /home/thiago/gumstix-buildroot/build_arm_nofpu /home/thiago/gumstix-buildroot/toolchain_build_arm_nofpu  /home/thiago/gumstix-buildroot/rootfs.arm_nofpu /home/thiago/gumstix-buildroot/u-boot.bin
root <at> ubuntu:/home/thiago/gumstix-buildroot# cd /homethiago
bash: cd: /homethiago: Arquivo ou diretório não encontrado
root <at> ubuntu:/home/thiago/gumstix-buildroot# cd /home/thiago
root <at> ubuntu:/home/thiago# svn co http://svn.gumstix.com/gumstix-buildroot/trunk gumstix-buildroot
kjkGerado cópia de trabalho para revisão 1642.
root <at> ubuntu:/home/thiago# svn co http://svn.gumstix.com/gumstix-buildroot/trunk gumstix-buildroot
Gerado cópia de trabalho para revisão 1642.
root <at> ubuntu:/home/thiago# cd gumstix-buildroot
root <at> ubuntu:/home/thiago/gumstix-buildroot# make
if [ -f "target/generic/skel.tar.gz" ] ; then \
        zcat target/generic/skel.tar.gz | tar -C /home/thiago/gumstix-buildroot/build_arm_nofpu -xf -; \
    fi;
if [ -d "target/generic/target_skeleton" ] ; then \
        cp -a target/generic/target_skeleton/* /home/thiago/gumstix-buildroot/build_arm_nofpu/root/; \
    fi;
touch /home/thiago/gumstix-buildroot/build_arm_nofpu/staging_dir/fakeroot.env
find /home/thiago/gumstix-buildroot/build_arm_nofpu/root -type d -name CVS | xargs rm -rf
find /home/thiago/gumstix-buildroot/build_arm_nofpu/root -type d -name .svn | xargs rm -rf

Checking build system dependencies:
sed works:                Ok
GNU make version '3.81':        Ok
gcc version '4.4.1':            Ok
which installed:            Ok
bison installed:            Ok
flex installed:                Ok
gettext installed:            Ok
Build system dependencies:        Ok

mkdir -p /home/thiago/gumstix-buildroot/dl
toolchain/getter_script.sh -P /home/thiago/gumstix-buildroot/dl http://www.uclibc.org/downloads/snapshots/uClibc-20070424.tar.bz2
--2010-02-18 14:22:03--  http://www.uclibc.org/downloads/snapshots/uClibc-20070424.tar.bz2
Resolvendo www.uclibc.org... 140.211.167.224
Conectando-se a www.uclibc.org|140.211.167.224|:80... conectado!
HTTP requisição enviada, aguardando resposta... 404 Not Found
2010-02-18 14:22:04 ERRO 404: Not Found.

Retrying from gumstix alternate site...
--2010-02-18 14:22:04--  http://files.gumstix.com/uClibc-20070424.tar.bz2
Resolvendo files.gumstix.com... 69.163.172.9
Conectando-se a files.gumstix.com|69.163.172.9|:80... conectado!
HTTP requisição enviada, aguardando resposta... 404 Not Found
2010-02-18 14:22:05 ERRO 404: Not Found.

make: ** [/home/thiago/gumstix-buildroot/dl/uClibc-20070424.tar.bz2] Erro 1

-------------------------------------------------------------------------------------

What can I do to solve this problem? Have other way to make the buildroot?

Thanks,
Thiago

Veja quais são os assuntos do momento no Yahoo! + Buscados: Top 10 - Celebridades - Música - Esportes
Adam Sampson | 16 Feb 18:21
Picon
Favicon

KRoC release process notes

Hi all,

Further to last week's discussion, I've stuck some initial notes about
the KRoC release process on the Wiki here:

  http://projects.cs.kent.ac.uk/projects/kroc/trac/wiki/NotesForDevelopers

Thanks,

--

-- 
Adam Sampson                                         <http://offog.org/>


Gmane