gmane.comp.lang.concurrency.pop.devel

Little occam advice

Chalmers, Kevin — 2011-01-27T15:29:13

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

Dr Kevin Chalmers PhD BEng(Hons) MBCS
Programme Leader Interactive Entertainment and Games Development
School of Computing
Edinburgh Napier University
Merchiston Campus
Edinburgh EH10 5DT
T 0131 455 2484
E k.chalmers-KJSHoIMUuCKFxr2TtlUqVg< at >public.gmane.org


Edinburgh Napie

compiling/linking occam-pi code in windows 7

2010-12-15T11:25:40

 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:

Compiling: C:\Users\vangelis\Documents\DEVELOPMENT\Occam\test2.occ occbuild:
Command failed: C:\Prog

The status of JCSP

Russel Winder — 2010-08-07T09:48:43

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.

GroovyCSP

Russel Winder — 2010-07-15T11:27:35

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?

CSP and Actor Comparison

Rick Beton — 2010-05-01T13:09:18

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

Releasing JCSP 1.1.0

Russel Winder — 2010-04-28T10:12:12

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

JCSP development

Russel Winder — 2010-04-21T08:50:37

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.

Error with the Transterpreter in the Gumstix

Thiago Castro Ferreira — 2010-03-29T12:54:53

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 | xa

The Correct Script of the Error

Thiago Castro Ferreira — 2010-02-18T17:33:15

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 in

Gumstix Buildroot

Thiago Castro Ferreira — 2010-02-18T17:28:27

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.uclib

KRoC release process notes

Adam Sampson — 2010-02-16T17:21:41

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,

JCSP in the Codehaus snapshots repository

Russel Winder — 2010-02-13T18:18:31

I used Maven and created a build of JCSP HEAD and have uploaded it to
the Codehaus snapshot repository.

groupId : org.codehaus.jcsp
artifactId : jcsp
version : 1.1-rc5-SNAPSHOT

I am not sure if it corresponds to the appropriate content one of the
official jar structures, but it does allow me to run my test Java
programs.  This is just an experiment to see if we are heading in the
right direction, I have no doubt that I have made errors.  I guess the
real test is whether the Groovy Parallel stuff compiles and runs its
tests.

JCSP Version number

Russel Winder — 2010-02-13T16:17:07

Hi,

HEAD of JCSP has had some commits since the 1.1-rc4 tag, but the JCSP
version number in the Ant build file has not yet been updated.  As part
of the move to put a JCSP artefact in the Maven repository, I will, at
least for now, use a number of 1.1-rc5-SNAPSHOT for a build of HEAD and
put this artefact in the snapshot repository.  As this is the snapshot
repository, there is no finality about this choice of number, it can be
changed to something else later.  Only when an artefact goes into the
main Maven repository does it have to be left in place in perpetuity.

If I should be using a different number please say and I will change to
that immediately.

Thanks.

JCSP Project at Codehaus

Russel Winder — 2010-02-13T09:18:59

Peter,

Codehaus has agreed to my proposal for a JCSP project.  Indeed the
project is already set up with the potential for a Git repository, a
JIRA, access to Bamboo, and mailing lists.

Currently I am the sole despot, but it is generally wise to have more
than one despot for a project.   Clearly it would be appropriate for you
to be a despot as you are the project lead for JCSP -- if you are up for
this extra role.

So the simple avenue to getting JCSP into the Maven repository is now
open to us.

Yesterday I created a Git repository from the Kent Subversion store, and
will upload the content to the JCSP Git repository at Codehaus shortly.
Because of lots of issues to do with the way git-svn works, it is best
to have a staging repository between Kent and Codehaus.  I haven't found
a way to automate things safely as yet -- I'm still working on it -- so
in the short term I will manually refresh the Codehaus mirror using the
staging repository on my server.  We are talking about relatively low
traffic here so

Progressing JCSP

Russel Winder — 2010-02-12T19:05:38

Hi,

As some of you may already have heard, Jon Kerridge's Groovy Parallel is
being incorporated into the GPars project (http://gpars.codehaus.org) so
as to provide the Groovy/Java world with an easy CSP capability.  Of
course this means JCSP is going to be more widely needed since Groovy
Parallel is a wrapper around JCSP.

This means that we need to get JCSP into the Maven repository, and also
begin the move to arrive at a 1.1 final release.  And then a 1.2,
1.3, . . . but getting a JCSP artefact (or two) into the Maven
repository is the primary need just now.

Given the GPars/Groovy situation, the easiest way of getting JCSP into
the Maven repository is to have a Codehaus project JCSP, and I have
already applied for this project on behalf of Peter Welch, all of you
and all the GPars team.  If the request is successful then we will get a
Git repository, a JIRA issue tracker, and a Bamboo continuous
integration service (*).  The intention is for this Git repository to be
a mirror of the Kent Subversion repos

Config question (building on Ubuntu 8.04)

Matt Jadud — 2010-02-09T14:30:56

Hi all,

I configured and built a cross-build, but when I run the ./build.sh in
the tvm/arduino directory, I get a configuration failure.

configure:3245: avr-gcc -qlanglvl=extc89 -c -g -O2  conftest.c >&5
avr-gcc: unrecognized option '-qlanglvl=extc89'
conftest.c:12:23: error: sys/types.h: No such file or directory
conftest.c:13:22: error: sys/stat.h: No such file or directory
conftest.c:16: warning: 'struct stat' declared inside parameter list
conftest.c:16: warning: its scope is only this definition or
declaration, which is probably not what you want
conftest.c:50: warning: 'struct stat' declared inside parameter list

I can include/send the log, but that might be enough.

I have autoconf 2.61 and automake 1.10.1. I can upgrade the tools, if
anyone thinks that is the problem.

Any thoughts? I'm going to be in-and-out because of classes,
interviews with candidates, etc., and I'd like to have this built and
on the machines today (for some definition of today). Hence, I'll ask
for insight sooner rather than

(unknown)

Thiago Castro Ferreira — 2010-01-29T17:01:21

Hi,
In the last few days I found the special compiler C for the microprocessor that I'm using, the Gumstix basix 400xm-BT. I need to compile the Transterpreter and put it in the gumstix.
 
But I still have the same doubt. Where is the source-code of the Transterpreter that I need to compile. Can you show me where I have to download and the paste that it is?
 
Thank you,
Thiago.


      ____________________________________________________________________________________
Veja quais são os assuntos do momento no Yahoo! +Buscados
http://br.maisbuscados.yahoo.com

Compile Transterpreter

Thiago Castro Ferreira — 2010-01-12T16:55:07

Hello!
First I wish Happy New Year for everyone in this list.
 
Second, I need to compile the Transterpreter to a Gumstix sensor 400xm-BT and I want to know where can I find the source code of Transterpreter and how I compile it? 
 
Thanks,
Thiago.


      ____________________________________________________________________________________
Veja quais são os assuntos do momento no Yahoo! +Buscados
http://br.maisbuscados.yahoo.com

Ubuntu 9.10 AVR build broken?

Matt Jadud — 2010-01-11T22:57:28

Hi all,

I'll poke at this more this evening/tomorrow (my evening isn't
actually free, so most likely tomorrow). I thought I'd mention that
the AVR build under a fully up-to-date Ubuntu 9.10 is broken. It seems
to be autotools related:

Pasted below is a bit of the output from running the configure script.

It looks like I have avr-gcc 4.3.3, and Autoconf 2.64. I don't
remember what versions of what tools I need to have on hand, nor do I
understand (yet) why this particular error would manifest itself this
way.

I will try checking out a clean tree and do a straight TVM build.
However, having a working AVR build is actually more important in this
case.

If the error triggers an obvious brainstorm for anyone, feel free to
poke it before I do. I have a feeling I won't have more work time this
evening...

Cheers,
Matt

reynoldsm< at >ubuntu:~/svn/tvm-avr/obj-avr$ ../configure
--prefix=/home/reynoldsm/tvm-avr --with-toolchain=tvm --target=avr
--with-wrapper=arduino
checking build system type... i686-pc-linux-gnu
chec

Transterpreter watch?

Adam Sampson — 2009-12-01T13:25:05

This might be a fun platform for resurrecting the MSP430 port:
http://www.ti-estore.com/Merchant2/merchant.mvc?Screen=PROD&Product_Code=eZ430-Chronos-433

Calling Damian ...

P.H.Welch — 2009-11-17T16:10:29


Hi Damian,

Apologies to everyone else!

Damian: what's the best email for you these days?  I sent an urgent mail
to your Kent address ... need reply!!  :)

Thanks,

Peter.