From varensas@eecs.uic.edu Fri Jan 19 17:38:55 1996 Received: from optima.CS.Arizona.EDU by cheltenham.CS.Arizona.EDU; Fri, 19 Jan 1996 16:38:50 MST Received: from mail.eecs.uic.edu by optima.cs.arizona.edu (5.65c/15) via SMTP id AA03359; Fri, 19 Jan 1996 16:38:48 MST Received: from bert.eecs.uic.edu (bert.eecs.uic.edu [128.248.166.23]) by mail.eecs.uic.edu (8.6.11/8.6.10) with ESMTP id RAA28344 for ; Fri, 19 Jan 1996 17:38:56 -0600 Received: (varensas@localhost) by bert.eecs.uic.edu (8.6.10/8.6.10) id RAA01108; Fri, 19 Jan 1996 17:38:55 -0600 Date: Fri, 19 Jan 1996 17:38:55 -0600 (CST) From: Victor Arensas To: info-SR@cs.arizona.edu Subject: SR project Message-Id: Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Hello, there! I am a graduate student of UIC (University of Illinois at Chicago). I am really enjoying to work with SR language, which I am using for my project. I think it is a wonderful language! I have one problem though. My school has a restriction on using "rsh - remote shell" facility. That is why I can not built virtual machines on different servers. So, my project is based on physical server now. I can not use command "create vm on 'serverName'". Instead, I use only command like "create vm ", which creates virtual machine on one physical server. Please, if anybody knows any way to get over this problem, HELP!!! Otherwise, I have a very cool project. Thanks in advance. From pinio@tulip.ics.agh.edu.pl Thu Apr 11 20:24:28 1996 Received: from optima.CS.Arizona.EDU by cheltenham.CS.Arizona.EDU; Thu, 11 Apr 1996 11:22:42 MST Received: from tulip.ics.agh.edu.pl by optima.cs.arizona.edu (5.65c/15) via SMTP id AA16939; Thu, 11 Apr 1996 11:22:37 MST Received: by tulip.ics.agh.edu.pl (4.1/SMI-4.1) id AA08650; Thu, 11 Apr 96 20:24:28 +0200 Date: Thu, 11 Apr 96 20:24:28 +0200 From: pinio@tulip.ics.agh.edu.pl (Aleksander Laurentowski) Message-Id: <9604111824.AA08650@tulip.ics.agh.edu.pl> To: info-sr@cs.arizona.edu Subject: SR 2.3 build error on Solaris I am sorry to disturb all of you with such a peanut, but I cannot install SR (v. 2.3) on my Sun workstation. Everything goes fine until: cc -g -E asm.c | \ sed -e '/^ *$/d' -e '/^#/'d -e 's/ :/:/' >asm.s as -o asm.o asm.s . ../paths.sh; cc -g -o cstest \ cstest.o asm.o $LIBM $LIBC Undefined first referenced symbol in file sr_chg_context cstest.o sr_build_context cstest.o sr_check_stk cstest.o _sr_stk_underflow asm.o _sr_stk_corrupted asm.o _sr_stk_overflow asm.o ld: fatal: Symbol referencing errors. No output written to cstest My system is: $ uname -a SunOS pansy 5.4 Generic_101945-37 sun4m sparc $ the compiler: $ cc -V cc: SC3.0.1 13 Jul 1994 $ Thank you in advance for any help, With Best Regards, Aleksander Laurentowski Department of Computer Science, University of Mining & Metallurgy (AGH) Al. Mickiewicza 30, 30-059 Cracow, Poland, tel. +48 12 17 39 82, tel/fax +48 12 33 94 06 e-mail: pinio@ics.agh.edu.pl http://galaxy.uci.agh.edu.pl/~pinio From gmt Thu Apr 11 12:33:00 1996 Received: from hawk.CS.Arizona.EDU by cheltenham.CS.Arizona.EDU; Thu, 11 Apr 1996 12:33:00 MST Received: by hawk.CS.Arizona.EDU; (5.65/1.1.8.2/08Nov94-0446PM) id AA00798; Thu, 11 Apr 1996 12:33:00 -0700 Date: Thu, 11 Apr 1996 12:33:00 -0700 From: Gregg Townsend Message-Id: <9604111933.AA00798@hawk.CS.Arizona.EDU> To: info-sr@cs.arizona.edu, pinio@tulip.ics.agh.edu.pl Subject: Re: SR 2.3 build error on Solaris Set CFLAGS=-D__svr4__ -g in the main Makefile, run "make clean", and try again. That should fix the particular problem. You might check the references to Solaris in the Configuration and Systems file to make sure the rest of the configuration settings are right. Gregg Townsend / gmt@CS.Arizona.EDU / +1 520 621 4325 / 32 13 45N 110 57 16W Computer Science / Univ of Arizona / 1040 E 4th St / Tucson AZ 85721-0077 From whitney@saturn.sdsu.edu Wed Apr 17 20:02:20 1996 Received: from optima.CS.Arizona.EDU by cheltenham.CS.Arizona.EDU; Wed, 17 Apr 1996 20:00:42 MST Received: from saturn.sdsu.edu by optima.cs.arizona.edu (5.65c/15) via SMTP id AA13496; Wed, 17 Apr 1996 20:00:38 MST Received: from [130.191.9.34] (mx2p1.sdsu.edu [130.191.9.34]) by saturn.sdsu.edu (4.1/8.6.10) with SMTP id UAA00413; Wed, 17 Apr 1996 20:00:28 -0700 (PDT) Message-Id: Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Date: Wed, 17 Apr 1996 20:02:20 -0700 To: info-sr@cs.arizona.edu From: whitney@saturn.sdsu.edu (Roger Whitney) Subject: SR on Paragon Cc: steube@sdsc.edu I am trying to have SR installed on a local Paragon and the techies are having some problems with the installation. We did this last year with no problems, however the current release of SR does not seem to work. Does SR still support the Paragon? If so has anyone installed it recently? What did you have to do to make SR run on the Paragon? --- Roger Whitney Mathematical Science Department whitney@cs.sdsu.edu San Diego State University http://cs.sdsu.edu/~whitney San Diego, CA 92182-7720 (619) 594-3535 (619) 594-6746 (fax) From agangal@mcs.mcs.csuhayward.edu Thu Apr 18 10:03:59 1996 Received: from optima.CS.Arizona.EDU by cheltenham.CS.Arizona.EDU; Thu, 18 Apr 1996 10:03:06 MST Received: from mcs.csuhayward.edu by optima.cs.arizona.edu (5.65c/15) via SMTP id AA13547; Thu, 18 Apr 1996 10:03:03 MST Received: from buzzer.mcs (buzzer.mcs.csuhayward.edu) by mcs.csuhayward.edu (4.1/SMI-4.0) id AA16456; Thu, 18 Apr 96 10:05:12 PDT Received: by buzzer.mcs (5.0/SMI-SVR4) id AA05312; Thu, 18 Apr 1996 10:03:59 +0800 Date: Thu, 18 Apr 1996 10:03:59 +0800 From: agangal@mcs.mcs.csuhayward.edu (Anita Gangal) Message-Id: <9604181703.AA05312@buzzer.mcs> To: info-sr@cs.arizona.edu Subject: xtango Cc: agangal@mcs.mcs.csuhayward.edu X-Sun-Charset: US-ASCII Content-Length: 192 I am trying to locate xtango the animation software from hartley's book. I tried georgia tech but apparently the site has moved, can anyone help? Thanks in advance. Anita Gangal csuhayward From shartley@king.mcs.drexel.edu Thu Apr 18 13:28:16 1996 Received: from optima.CS.Arizona.EDU by cheltenham.CS.Arizona.EDU; Thu, 18 Apr 1996 10:27:54 MST Received: from mcs.drexel.edu by optima.cs.arizona.edu (5.65c/15) via SMTP id AA14833; Thu, 18 Apr 1996 10:27:51 MST Received: from cheshire.mcs.drexel.edu by mcs.drexel.edu (4.1/SMI-4.0) id AA03563; Thu, 18 Apr 96 13:27:41 EDT Received: by cheshire.mcs.drexel.edu (SMI-8.6/SMI-SVR4) id NAA03592; Thu, 18 Apr 1996 13:28:16 -0400 Date: Thu, 18 Apr 1996 13:28:16 -0400 Message-Id: <199604181728.NAA03592@cheshire.mcs.drexel.edu> Reply-To: "Stephen J. Hartley" X-Url: http://www.mcs.drexel.edu/~shartley/index.html From: shartley@cheshire.mcs.drexel.edu To: info-sr@cs.arizona.edu Subject: Re: xtango Cc: agangal@mcs.mcs.csuhayward.edu John T. Stasko and Doug Hayes, ``XTANGO Algorithm Animation Designer's Package,'' October 1992, available by anonymous "ftp" from machine "ftp.cc.gatech.edu" (from directory "pub/people/stasko", retrieve file "xtango.tar.Z", then uncompress and extract file "xtangodoc.ps" from directory "./xtango/doc" in the archive file "xtango.tar"). >I am trying to locate xtango the animation software from hartley's book. >I tried georgia tech but apparently the site has moved, can anyone help? --- Stephen J. Hartley +1-215- http://www.mcs.drexel.edu/~shartley shartley@mcs.drexel.edu 895-2678 Math & CS, Drexel U, Phila, PA 19104 From guta@csg.uwaterloo.ca Wed May 15 15:16:57 1996 Received: from optima.CS.Arizona.EDU by cheltenham.cs.arizona.edu; Wed, 15 May 1996 12:15:47 MST Received: from csg.uwaterloo.ca by optima.cs.arizona.edu (5.65c/15) via SMTP id AA03965; Wed, 15 May 1996 12:15:44 MST Received: by csg.uwaterloo.ca id <52342>; Wed, 15 May 1996 15:17:08 -0400 Date: Wed, 15 May 1996 15:16:57 -0400 From: Maria Augusta Vieira Nelson Sender: Maria Augusta Vieira Nelson Reply-To: Maria Augusta Vieira Nelson Subject: How to postpone a request in SR To: info-sr@cs.arizona.edu Message-Id: Mime-Version: 1.0 Content-Type: TEXT/PLAIN; CHARSET=US-ASCII I would like to know a very specific thing about SR. In the input statement, is it possible to postpone a request of an operation after it starts to service it? Is it possible to bundle up the request and send it to another operation in the resource like the "requeue" in ADA? I think that it is not possible to postpone a request if its servicing requires other resources that may not be immediately available. In my opinion in this case, what happens is that the task can not continue servicing requests until the resources become available and the request can be completed. Am I wrong? Thanks Maria Augusta Nelson guta@csg.uwaterloo.ca From olsson@cs.ucdavis.edu Wed May 15 12:47:19 1996 Received: from optima.CS.Arizona.EDU by cheltenham.cs.arizona.edu; Wed, 15 May 1996 12:49:09 MST Received: from toadflax.cs.ucdavis.edu by optima.cs.arizona.edu (5.65c/15) via SMTP id AA05732; Wed, 15 May 1996 12:47:31 MST Received: from ivy.cs.ucdavis.edu by toadflax.cs.ucdavis.edu (4.1/UCD.CS.2.6) id AA16228; Wed, 15 May 96 12:47:20 PDT Received: by ivy.cs.ucdavis.edu (5.65/UCD.CS.2.6) id AA27746; Wed, 15 May 1996 12:47:19 -0700 Date: Wed, 15 May 1996 12:47:19 -0700 From: olsson@cs.ucdavis.edu Message-Id: <9605151947.AA27746@ivy.cs.ucdavis.edu> To: guta@csg.uwaterloo.ca Cc: info-sr@cs.arizona.edu In-Reply-To: (message from Maria Augusta Vieira Nelson on Wed, 15 May 1996 15:16:57 -0400) Subject: How to postpone a request in SR See SR's forward statement. (Also SR's input statement allows selective receipt based on parameter values, which can sometimes be used to determine whether or not to service a request.) From agangal@mcs.mcs.csuhayward.edu Mon May 20 16:20:53 1996 Received: from optima.CS.Arizona.EDU by cheltenham.cs.arizona.edu; Mon, 20 May 1996 16:25:56 MST Received: from mcs.csuhayward.edu by optima.cs.arizona.edu (5.65c/15) via SMTP id AA25204; Mon, 20 May 1996 16:25:28 MST Received: from snazzy.mcs (snazzy.mcs.csuhayward.edu) by mcs.csuhayward.edu (4.1/SMI-4.0) id AA25499; Mon, 20 May 96 16:26:37 PDT Received: by snazzy.mcs (5.0/SMI-SVR4) id AA17728; Mon, 20 May 1996 16:20:53 +0800 Date: Mon, 20 May 1996 16:20:53 +0800 From: agangal@mcs.mcs.csuhayward.edu (Anita Gangal) Message-Id: <9605202320.AA17728@snazzy.mcs> To: info-sr@cs.arizona.edu Subject: vm capability Cc: agangal@mcs.mcs.csuhayward.edu X-Sun-Charset: US-ASCII Content-Length: 214 I am having a problem with vm capability. What action is taken to ensure that capability is accepted by the host machine? I get an error," permission denied" Thanks in advance to answerer. Anita Gangal From towns@best.com Mon May 20 21:02:26 1996 Received: from optima.CS.Arizona.EDU by cheltenham.cs.arizona.edu; Mon, 20 May 1996 21:01:52 MST Received: from mail1.best.com by optima.cs.arizona.edu (5.65c/15) via SMTP id AA09361; Mon, 20 May 1996 21:01:48 MST Received: from shellx.best.com (shellx.best.com [206.86.0.11]) by mail1.best.com (8.6.12/8.6.5) with ESMTP id VAA22576 for ; Mon, 20 May 1996 21:01:34 -0700 Received: from [206.86.94.224] (towns.vip.best.com [206.86.94.224]) by shellx.best.com (8.6.12/8.6.5) with SMTP id VAA19724 for ; Mon, 20 May 1996 21:01:23 -0700 Message-Id: <199605210401.VAA19724@shellx.best.com> Subject: UNSUBCRIBE info-sr Date: Mon, 20 May 96 21:02:26 +0100 From: John Townsend To: Mime-Version: 1.0 Content-Type: text/plain; charset="US-ASCII" UNSUBSCRIBE info-sr John_Townsend@taligent.com --------------------------------------------------------------------------- John Townsend "I know I want something, Conscience I just don't know what it is!" Shooting Star Systems Email: towns@best.com --------------------------------------------------------------------------- From f92peka@dd.chalmers.se Tue May 21 10:12:24 1996 Received: from optima.CS.Arizona.EDU by cheltenham.cs.arizona.edu; Tue, 21 May 1996 01:12:59 MST Received: from chalmers.se by optima.cs.arizona.edu (5.65c/15) via SMTP id AA22060; Tue, 21 May 1996 01:12:56 MST Received: from eru.dd.chalmers.se (root@eru.dd.chalmers.se [129.16.117.10]) by chalmers.se (8.7.5/8.7.3) with SMTP id KAA10122 for ; Tue, 21 May 1996 10:12:34 +0200 (MET DST) Received: from emeldir by eru.dd.chalmers.se (5.x/3.14+gl) id AA03105; Tue, 21 May 1996 10:12:27 +0200 Received: from localhost by emeldir (5.x/SVR4-minimal.client) id AA28142; Date: Tue, 21 May 1996 10:12:24 +0200 (MET DST) From: Per Karlsson X-Sender: f92peka@emeldir To: info-sr@cs.arizona.edu Subject: UNSUBSCRIBE info-sr Message-Id: Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII UNSUBSCRIBE From gmt Tue May 21 08:48:22 1996 Received: from hawk.CS.Arizona.EDU by cheltenham.cs.arizona.edu; Tue, 21 May 1996 08:48:22 MST Received: by hawk.CS.Arizona.EDU; (5.65/1.1.8.2/08Nov94-0446PM) id AA03810; Tue, 21 May 1996 08:48:22 -0700 Date: Tue, 21 May 1996 08:48:22 -0700 From: Gregg Townsend Message-Id: <9605211548.AA03810@hawk.CS.Arizona.EDU> To: info-sr Subject: Info-SR administrivia A reminder: to subscribe or unsubscribe to the Info-SR mailing list, please send mail to info-sr-request@cs.arizona.edu and not to the whole list. Gregg Townsend / gmt@CS.Arizona.EDU / +1 520 621 4325 / 32 13 45N 110 57 16W Computer Science / Univ of Arizona / 1040 E 4th St / Tucson AZ 85721-0077 From gmt Tue May 21 10:10:30 1996 Received: from hawk.CS.Arizona.EDU by cheltenham.cs.arizona.edu; Tue, 21 May 1996 10:12:15 MST Received: by hawk.CS.Arizona.EDU; (5.65/1.1.8.2/08Nov94-0446PM) id AA04287; Tue, 21 May 1996 10:10:30 -0700 Date: Tue, 21 May 1996 10:10:30 -0700 From: Gregg Townsend Message-Id: <9605211710.AA04287@hawk.CS.Arizona.EDU> To: agangal@mcs.mcs.csuhayward.edu, info-sr@cs.arizona.edu Subject: Re: vm capability From: agangal@mcs.mcs.csuhayward.edu (Anita Gangal) I am having a problem with vm capability. What action is taken to ensure that capability is accepted by the host machine? I get an error," permission denied" Remote VMs are created using the rsh or remsh ("remote shell") program. My guess is that you don't have permission to execute on the remote machine using rsh. Gregg Townsend / gmt@CS.Arizona.EDU / +1 520 621 4325 / 32 13 45N 110 57 16W Computer Science / Univ of Arizona / 1040 E 4th St / Tucson AZ 85721-0077 From benson@cs.ucdavis.edu Tue Jun 4 04:50:18 1996 Received: from optima.CS.Arizona.EDU by cheltenham.cs.arizona.edu; Tue, 4 Jun 1996 04:50:33 MST Received: from toadflax.cs.ucdavis.edu by optima.cs.arizona.edu (5.65c/15) via SMTP id AA04568; Tue, 4 Jun 1996 04:50:30 MST Received: from elysium.cs.ucdavis.edu by toadflax.cs.ucdavis.edu (4.1/UCD.CS.2.6) id AA06025; Tue, 4 Jun 96 04:50:18 PDT Received: from localhost.cs.ucdavis.edu by elysium.cs.ucdavis.edu (5.65/UCD.CS.2.6) id AA17659; Tue, 4 Jun 1996 04:50:18 -0700 Message-Id: <9606041150.AA17659@elysium.cs.ucdavis.edu> To: info-sr@cs.arizona.edu Subject: Interesting distributed SR apps Date: Tue, 04 Jun 96 04:50:18 -0700 From: benson@cs.ucdavis.edu X-Mts: smtp I have recently ported SR to Amoeba and I have access to an 85 node Amoeba processor pool. I am looking for some interesting distributed SR applications that exhibit decent speed up. Anyone have any source code lying around that you could send me? The apps don't have to be large, they just have to do a reasonable amount of computation. Thanks Greg From jperez@arturo.lsi.us.es Tue Jun 4 14:33:18 1996 Received: from optima.CS.Arizona.EDU by cheltenham.cs.arizona.edu; Tue, 4 Jun 1996 05:37:58 MST Received: from mailgw.cica.es by optima.cs.arizona.edu (5.65c/15) via SMTP id AA06124; Tue, 4 Jun 1996 05:37:17 MST Received: from lsi.us.es (arturo.lsi.us.es [150.214.141.54]) by mailgw.cica.es (8.7.5/8.7.3) with SMTP id OAA26708 for ; Tue, 4 Jun 1996 14:33:47 +0200 (MET DST) Received: by lsi.us.es (5.x/SMI-SVR4) id AA11809; Tue, 4 Jun 1996 14:33:18 +0200 From: jperez@arturo.lsi.us.es (JOSE A. PEREZ CASTELLANOS) Message-Id: <9606041233.AA11809@lsi.us.es> Subject: a distributed SR example To: info-sr@cs.arizona.edu Date: Tue, 4 Jun 1996 14:33:18 +0200 (MET DST) X-Mailer: ELM [version 2.4 PL23] Content-Type: text Hello. The following is a very trivial SR example I wrote to ilustrate a speech about distributed programming in SR. Altought all comments are written in Spanish (sorry, I have no time to translate it to English now) it works very easy: - The program integrates a (fixed) function using the trapezoidal method, distributing the calculus of the trapezoides among different nodes. - The program load the names of the nodes from a file named "nodos" (at current directory). Don't forget to create this file. - At run time, the program ask for the integration interval. The first value must be smaller that the second one. Remember that the function is fixed, and in order to chage it, you only have to change the "f" operation definition. ****************************************** * Jose Antonio Perez Castellanos * * Dep. Lenguajes y Sistemas Informaticos * * Universidad de Sevilla - SPAIN * * jperez@lsi.us.es * ****************************************** >------------------------ CUT HERE -------------------------------------------> #------------------------------------------------------------------- # integrador # # Recurso integrador. Proporciona un servidor capaz de integrar # un intervalo de una funcion predefinida cuya capacidad se le pasa # enviando el resultado al buzon remitente #------------------------------------------------------------------- resource integrador type frvr= cap (real) returns real type integrador_rsp= cap (var valor: real) op integrar (x1,x2:real; f: frvr; remitente: integrador_rsp) {send} body integrador () var x1,x2: real var f: frvr; var remitente: integrador_rsp; const epsilon:= 0.001; var i, j, total:real; process servidor do true -> receive integrar (x1, x2, f, remitente) total:= 0; i:= x1; do i < x2 -> if i+epsilon > x2 -> j:= x2 [] else -> j:= i+epsilon fi total+:= ((f (i) + f (j))*(j-i)/2) i:= j; od send remitente (total) od end end integrador resource main () import integrador const NOMFICHNODOS:= "nodos" # nombre del fichero que contiene los nombres de los nodos const MAXHOST:= 16 # N: maximo de hosts a emplear var hosts [MAXHOST]: string [255] # Nombres de los hosts a emplear var pmvhosts [MAXHOST]: cap vm # Caps. a las maquinas virtuales var printeg [MAXHOST]: cap integrador # Caps. a las instancias de los rec. var numhosts: int; # Numero de hosts que se van a emplear var intg: real # resultado de la integral op buzon_res (res resultado: real) # buzon de resultados op f (x:real) returns y:real # funcisn que se va a integrar proc f (x) returns y y:= 2*x*x; end # este servicio lee el fichero de hosts, devolviendo los nombres # y el numero de hosts procedure obt_hosts (nomfich: string [*]; res hosts [*]: string [*]; res nhosts: int) var f: file var r,i: int f:= open (nomfich, READ) if f=null -> write ("Error: No se encontrs fichero de hosts") stop (1) fi i:= 1; nhosts:= 0; r:= read (f, hosts [i++]) do r != EOF -> nhosts++ r:= read (f, hosts [i++]) od end # aqui comienza la ejecucion var a, b: real; # Se obtienen los lmmites de integracion writes ("Limite inferior de integracion: ") read (a) writes ("Limite superior de integracion: ") read (b) # Se obtienen los nodos que van a colaborar: obt_hosts (NOMFICHNODOS, hosts, numhosts) write ("creando maquinas virtuales remotas...") # Se activan los nodos, poniendo una instancia de "integrador" sobre cada nodo fa i:= 1 to numhosts -> writes (hosts [i], ": ") pmvhosts [i]:= create vm () on hosts [i] if pmvhosts [i] = null -> write ("Error en creacion de maquina virtual"); stop (1) [] else -> write (" Ok"); fi printeg [i]:= create integrador () on pmvhosts [i] af write ("Enviando trabajos a las maquinas remotas...") # se reparte el intervalo entre todos los nodos que van a colaborar: fa i:= 1 to numhosts -> var x1:= a + (b-a)*(i-1)/numhosts var x2:= a + (b-a)*i/numhosts send printeg [i].integrar (x1, x2, f, buzon_res) af write ("Esperando resultados de maquinas remotas...") # se esperan los resultados de los colaboradores intg := 0; fa i:= 1 to numhosts -> in buzon_res (resultado) -> intg+:= resultado ni writes ("x"); af write ("") write ("resultado: ", intg) write ("Destruyendo maquinas virtuales...") fa i:= 1 to numhosts -> destroy pmvhosts [i] af end main From VELLINGA@nwciowa.edu Wed Jun 26 08:43:08 1996 Received: from optima.CS.Arizona.EDU by cheltenham.cs.arizona.edu; Wed, 26 Jun 1996 06:50:10 MST Received: from solomon.nwciowa.edu by optima.cs.arizona.edu (5.65c/15) via SMTP id AA21915; Wed, 26 Jun 1996 06:50:08 MST Received: by solomon.nwciowa.edu; id AA17752; Wed, 26 Jun 1996 08:48:40 -0500 Received: from NOAH/MAIL by nwciowa.edu (Mercury 1.21); 26 Jun 96 08:43:35 CST Received: from MAIL by NOAH (Mercury 1.21); 26 Jun 96 08:43:08 CST From: "Mark Vellinga" Organization: Northwestern College To: info-sr@cs.arizona.edu Date: Wed, 26 Jun 1996 08:43:08 CST Subject: age() function X-Confirm-Reading-To: "Mark Vellinga" X-Pmrqc: 1 Return-Receipt-To: "Mark Vellinga" Priority: normal X-Mailer: Pegasus Mail for Windows (v2.01) Message-Id: <3D80F197EBF@nwciowa.edu> What exactly does the age() function tell me. CPU time, wall clock time, ??? Please e-mail to me directly. Thanks. Mark From jperez@arturo.lsi.us.es Wed Jun 26 18:27:19 1996 Received: from optima.CS.Arizona.EDU by cheltenham.cs.arizona.edu; Wed, 26 Jun 1996 09:34:01 MST Received: from mailgw.cica.es by optima.cs.arizona.edu (5.65c/15) via SMTP id AA28082; Wed, 26 Jun 1996 09:32:05 MST Received: from lsi.us.es (arturo.lsi.us.es [150.214.141.54]) by mailgw.cica.es (8.7.5/8.7.3) with SMTP id SAA02386; Wed, 26 Jun 1996 18:27:41 +0200 (MET DST) Received: by lsi.us.es (5.x/SMI-SVR4) id AA19496; Wed, 26 Jun 1996 18:27:19 +0200 From: jperez@arturo.lsi.us.es (JOSE A. PEREZ CASTELLANOS) Message-Id: <9606261627.AA19496@lsi.us.es> Subject: what age () does To: VELLINGA@nwciowa.edu Date: Wed, 26 Jun 1996 18:27:19 +0200 (MET DST) Cc: info-sr@cs.arizona.edu X-Mailer: ELM [version 2.4 PL23] Content-Type: text Hello. The age () function returns the number of milliseconds elapsed since the program's execution start. These milliseconds are real time, not CPU time. ******************************************* * Jose Antonio Perez Castellanos * * Dept. Lenguajes y Sistemas Informaticos * * Univerdidad de Sevilla - SPAIN * * jperez@lsi.us.es * ******************************************* From lschwe@ns.cencom.net Thu Jul 18 15:59:06 1996 Received: from optima.CS.Arizona.EDU by cheltenham.cs.arizona.edu; Thu, 18 Jul 1996 15:06:07 MST Received: from ns.cencom.net by optima.cs.arizona.edu (5.65c/15) via SMTP id AA22367; Thu, 18 Jul 1996 15:06:05 MST Received: from larry (root@[198.69.20.105]) by ns.cencom.net (8.7.5/8.7.3) with SMTP id RAA03737 for ; Thu, 18 Jul 1996 17:07:48 -0500 (CDT) Sender: root@ns.cencom.net Message-Id: <31EEA59A.288F8068@ns.cencom.net> Date: Thu, 18 Jul 1996 15:59:06 -0500 From: larry X-Mailer: Mozilla 3.0b5a (X11; I; Linux 1.2.13 i586) Mime-Version: 1.0 To: info-sr@cs.arizona.edu Subject: Multiprocessor hardware for Pentium PC Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Does anyone make a true multiprocessor board for a Pentium PC that can run under Linux? If so, how do I get it? Shukran jazeelan! Larry Schweizer lschwe@cencom.net From aperezr@une.edu.ve Fri Sep 20 16:39:19 1996 Received: from optima.CS.Arizona.EDU by cheltenham.cs.arizona.edu; Fri, 20 Sep 1996 13:43:40 MST Received: from bigbang.une.edu.ve by optima.cs.arizona.edu (5.65c/15) via SMTP id AA19928; Fri, 20 Sep 1996 13:41:01 MST Received: from pc1.une.edu.ve by bigbang.une.edu.ve (SMI-8.6/SMI-SVR4) id UAA12250; Fri, 20 Sep 1996 20:49:41 +0400 Message-Id: <3242C8B7.7084@une.edu.ve> Date: Fri, 20 Sep 1996 16:39:19 +0000 From: alfredo perez Organization: UNIVERSIDAD NUEVA ESPARTA X-Mailer: Mozilla 2.02 [es] (Win95; I) Mime-Version: 1.0 To: info-sr@cs.arizona.edu Subject: subscribe X-Url: http://av.yahoo.com/bin/search?p=mailing+list&hc=42&hs=500&b=1 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit aperzr@une.edu.ve From t837626@parijs.tip.nl Fri Sep 20 23:44:36 1996 Received: from optima.CS.Arizona.EDU by cheltenham.cs.arizona.edu; Fri, 20 Sep 1996 14:45:38 MST Received: from parijs.tip.nl by optima.cs.arizona.edu (5.65c/15) via SMTP id AA21116; Fri, 20 Sep 1996 14:43:15 MST Received: from t837626 by parijs.tip.nl with smtp (Smail3.1.29.1 #16) id m0v4DO9-000Dn3C; Fri, 20 Sep 96 23:45 MET DST Message-Id: <1.5.4.32.19960920214436.0067d89c@pop1.tip.nl> X-Sender: t837626@pop1.tip.nl (Unverified) X-Mailer: Windows Eudora Light Version 1.5.4 (32) Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Date: Fri, 20 Sep 1996 23:44:36 +0200 To: info-sr@cs.arizona.edu, fresco@x.org From: Tjing Siang The Subject: Quick And Easy Money >Date: Fri, 20 Sep 1996 22:03:23 +0200 >To: alan-keyes@sandh.com >From: Tjing Siang The >Subject: Quick And Easy Money > > >> I was scanning thru a NEWSGROUP and saw an article stating to >>GET CASH FAST!! I thought..."Here on the Internet?? Well, I'll just >>have to see what schemes could possibly be on the internet." The >>article described a way to MAIL A ONE DOLLAR BILL TO ONLY FIVE PEOPLE >>AND MAKE $50, 0000 IN CASH WITHIN 4 WEEKS! Well, the more I thought >>about it, the more I became very curious. Why? Because of the way it >>worked AND BECAUSE IT WOULD ONLY COST ME FIVE DOLLARS (AND FIVE >>STAMPS), THAT'S ALL I EVER PAY....EVER!! >> >> Ok, so the $50,000 in cash was maybe a tough amount to reach, but >>it was possible. I knew that I could at least get a return of $1,000 >>or so. So I did it!! As per the instructions in the article, I mailed >>out ('snail mail'for you e-mail fanatics) a single dollar bill to each >>of the five people on the list that was contained in the article. I >>included a small note, with the dollar, that stated "Please Add Me To >>Your List." I then removed the first position name of the five names >>listed and moved everyone up one position, and I put my name in >>position five of the list. This is how the money starts rolling in! >>I then took this revised article now with my name on the list and >>REPOSTED IT ON AS MANY NEWSGROUPS AND LOCAL BULLETIN BOARD >>MESSAGE AREAS THAT I KNEW. I then waited to watch the money come >>in...prepared to maybe receive about $1000 to $1500 in cash or so.... >>But what a welcome surprise when those envelopes kept coming in!!! I >>knew what they were as soon as I saw the return addresses from people >>all over the world-Most from the U.S., but some from Canada, even some >>>from Australia! I tell you, THAT WAS EXCITING!! So how much did I >>get in total return? $1000? $5000? Not even!!! I received a total of >>$23,343!!! I couldn't believe it!! >> >> I now have a brand new black Acura Integra to speak for, due to >>this!! Now after almost 8 months, I am ready to do it again!!! So >>maybe it was possible to get $50,000 in cash, I don't know, but IT >>COMPLETELY DEPENDS ON YOU, THE INDIVIDUAL! You must follow through >>and repost this article everywhere you can think of! The more >>postings you achieve will determine how much cash will arrive in your >>very own mailbox!! It's just too easy to pass up!!! >> >> Let's review the reasons why you should do this: The only cost >>factors are for the five stamps, the 5 envelopes and the 5 one dollar >>bills that you send out to the listed names by snail mail (US Postal >>Service Mail). Then just simply repost the article (WITH YOUR NAME >>ADDED) to all the newsgroups and local BBS's you can. Then sit back >>and, (ironically), enjoy walking (you can run if you like! :o ) down >>your driveway to your mailbox and scoop up your rewards!! We all have >>five dollars to put into such an easy effortless investment with >>SPECTACULAR REALISTIC RETURNS OF $15,000 to $25,000 in about 3-5 >>weeks! So HOLD OFF ON THOSE LOTTERY NUMBERS FOR TODAY,EAT AT HOME >>TONIGHT INSTEAD OF TAKEOUT FROM McDONALDS AND INVEST FIVE DOLLARS IN >>THIS AMAZING MONEY MAKING SYSTEM NOW!!! YOU CAN'T LOSE!! >> >> So how do you do it exactly, you ask? I have carefully provided >>the mostdetailed, yet straightforward instructions on how to easily >>get this underway and get your cash on its way. SO, ARE YOU READY TO >>MAKE SOME CASH!!!?? HERE WE GO!!! >> >>*** THE LIST OF NAMES IS AT THE END OF THIS ARTICLE. *** >> >>OK, Read this carefully. Get a printout of this information, if you >>like, so you can easily refer to it as often as needed. >> >>INSTRUCTIONS: >> >>1. Take a sheet of paper and write on it the following: >>"Please add my name to your list". This creates a service out of this >>money making system and thus making it completely legal. You are not >>just randomly sending a dollar to someone, you are paying one dollar >>for a legitimate service. Make sure you include your name and >>address. I assure you that, again, this is completely legal! For a >>neat little twist, also write what slot their name was in: "You were >>in slot 3", Just to add a little fun! This is all about having fun >>and making money at the same time! >> >>2. Now fold this sheet of paper around a dollar bill ,(no checks or >>money orders), and put them into an envelope and send it on its way to >>the five people listed. The folding of the paper around the bill will >>insure its arrival to its recipient. THIS STEP IS IMPORTANT!! >> >>3. Now listen carefully, here's where you get YOUR MONEY COMING TO >>YOUR MAILBOX. Look at the list of five people; remove the first >>name from position one and move everyone on the list up slot one on >>the list. Position 2 name will now move to the position 1 slot , >>position 3 will now become position 2, 4 will be be 3, 5 wil be 4. >>Now put your name, address, zipcode AND COUNTRY in position 5, the >>bottom position on the list. >> >>4. Now upload this updated file to as many newsgroups and local >>bulletin boards' message areas & file section as possible. Give a >>catchy description of the file so it gets noticed!! Such as: >>"NEED FAST CASH?, HERE IT IS!" or "NEED CASH TO PAY OFF >>YOUR DEBTS??", etc. And the more uploads, the more money you will >>make, and of course, the more money the others on the list will make >>too. LET'S ALL TAKE CARE OF EACH OTHER BY BEING HONEST AND BY PUTTING >>FORTH 120 PERCENT INTO THIS PROFITABLE & AMAZING SYSTEM!!! You'll reap >>the benefits, believe me!!! Set a goal for the number of total uploads >>you'll post, such as 15-20 postings or more! Always have a goal in >>mind!!! If you can UUE encode the file when uploading, that will make >>it easier for the people to receive it and have it downloaded to their >>hard drive. That way they get a copy of the article right on their >>computer without hassles of viewing and then saving the article from >>the File menu. Don't alter the file type, leave it as an MS-DOS Text >>file. The best test is to be able to view this file using Microsoft's >>Notepad for Windows 3.x or WordPad for Windows '95. If the margins >>look right without making the screen slide left or right when at the >>ends of the sentences, you're in business! >> >>5. If you need help uploading, simply ask the sysop of the BBS, or >>"POST" a message on a newsgroup asking how to post a file, tell them >>who your Internet provider is and PEOPLE WILL ALWAYS BE GLAD TO HELP. >>I would try to describe how to do it but there are simply too many >>internet software packages with slightly different yet relatively >>simple ways to post or upload a file. Just ask for help or look in >>the help section for 'posting'. I do know that for GNN, you simply >>select 'POST' then enter a catchy description under the subject box, >>choose 'ATTACH', selecting 'UUE' and NOT 'TXT', then choose 'Browse' >>to go look for the file. Find your text file CASH.TXT and click on it >>and choose 'OK'. Place a one line statement in the main body section >>of the message post screen. Something like "Download this to read how >>to get cash arriving in your mailbox with no paybacks!" or whatever. >>Just make sure it represents its true feasibility, NOT something >>like..."Get one million dollars flooding in your mailbox in two days!" >> >>You'll never get ANY responses! >> >>6. And this is the step I like. JUST SIT BACK AND ENJOY LIFE BECAUSE >>CASH IS ON THE WAY!! Expect to see a little money start to >>trickle in around 2 weeks, but AT ABOUT WEEKS 3 & 4, THE MONEY STORM >>WILL HIT YOUR MAILBOX!! All you have to do is take it out of the >>mailbox and try not to scream too loud (outside anyway) when you >>realize YOU HIT THE BIG TIME AT LAST!! >> >>7. So go PAY OFF YOUR BILLS AND DEBTS and then get that something >>special you always wanted or buy that special person in your life (or >>the one you want in your life) a gift they'll never forget. ENJOY >>LIFE! >> >>8. Now when you get low on this money supply, simply re-activate >>this file again; Reposting it in the old places where you originally >>posted and possibly some new places you now know of. Don't ever lose >>this file, always keep a copy at your reach for when you ever need >>cash. THIS IS AN INCREDIBLE TOOL THAT YOU CAN ALWAYS RE-USE TIME AND >>TIME AGAIN WHEN CASH IS NEEDED! >> >>9. (This step added by Charles Reiley). Hello, This is exciting, >>isn't it?! While I'm on the list, just add a note saying "Please >>include extra money tips" with your name & E-MAIL address, and I will >>(FOR FREE) send you some neat methods to increase the money you will >>receive with this plan. Why?... Why not? I'm not a selfish jerk...I >>like helping out others. E-mail just makes it a touch easier and >>cheaper, too! After I drop off the list, I can no longer offer you >>this advice, obviously, but maybe someone else who gets my tips will >>offer and simply replace my name on this step number 9. Good luck and >>give this plan your all, it will definitely pay off! Like Mike said, >>HAVE FUN WITH IT!!! >> >>10. (This comment added by Mike Lorincz) Hell dude, this is great, just >>send the money and wait like 1 week, then all of a sudden, BOOOOOOM! >>Mail flood full of dollar bills. Hahahah its great >>****************************************************************** >>****************************************************************** >>THE NAMES LIST THE NAMES LIST THE NAME LIST >>****************************************************************** >>* HONESTY IS WHAT MAKES THIS PROGRAM SUCCESSFUL!!! >>* >>* >>* 1. Sandy Kim >>* 3047 David Ave #10 >>* Campbell, CA 95128 >>* >>* 2. Kevin Warkentin >>* 1709 Ulex >>* McAllen, TX 78504 >>* >>* 3. Ernie Hunter >>* 1179 Chestnut Avenue >>* Moose Jaw, Saskatchewan, Canada, S6H 1A9 >>* >>* 4. Ernest Aleixandre >>* 108 Cedar Meadow Drive >>* Regina, Saskatchewan, Canada, S4X 3J6 >>* >>* 5. Bertram The >>* Heemraadssingel 98 >>* 3021 DG Rotterdam >>* The Netherlands >>* >>*********************************************************************** >>This works, I did it and have already received $682.00 in the past week. >>************************************************************************ >> >> >> > From colin@misco.co.uk Thu Oct 10 14:36:36 1996 Received: from optima.CS.Arizona.EDU by cheltenham.cs.arizona.edu; Thu, 10 Oct 1996 06:36:18 MST Message-Id: <199610101333.AA26439@optima.cs.arizona.edu> Received: from ukdev.misco.co.uk by optima.cs.arizona.edu (5.65c/15) via SMTP id AA26439; Thu, 10 Oct 1996 06:33:31 MST Date: Thu, 10 Oct 1996 14:36:36 +0100 From: Colin Archer Organization: misco.co.uk X-Mailer: Mozilla 2.02Gold (WinNT; I) Mime-Version: 1.0 To: info-sr@cs.arizona.edu Content-Length: 23 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit subscribe colin archer From s2184161@cse.unsw.edu.au Mon Oct 14 18:07:37 1996 Received: from optima.CS.Arizona.EDU by cheltenham.cs.arizona.edu; Mon, 14 Oct 1996 01:07:53 MST Received: from albeniz.orchestra.cse.unsw.EDU.AU by optima.cs.arizona.edu (5.65c/15) via SMTP id AA09120; Mon, 14 Oct 1996 01:05:04 MST Return-Path: s2184161@cse.unsw.edu.au Received: From harp05 With LocalMail ; Mon, 14 Oct 96 18:07:39 +1000 From: Kin Ming Ng To: info-sr@cs.arizona.edu Date: Mon, 14 Oct 1996 18:07:37 +1000 (EST) X-Sender: s2184161@harp05.orchestra.cse.unsw.EDU.AU Subject: manual for ccr syntax accepted by ccr2sr Message-Id: Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Dear Sir/Madam, I am studying synchronization. I try to compare synchro. mechanisms using semaphore, ccr, monitor, csp by programming in the sr language. I have read example .ccr, .m, .csp programs to get some syntax, and find some more by try and error. It will be great if some syntax list or more example programs are available. If you know where I can get more info or further examples on .ccr, .m, .csp program syntax, please drop me a few words. Thank you. Best regards, Victor P.S. My immediate item of interest is : How to declare an array of _resource in ccr ? If you know that there is no reference materials available but you know the answer to my problem, please give me an example declaration. Thank you very much. From wkulcz@icslab10.icslab.agh.edu.pl Mon Oct 14 15:43:39 1996 Received: from optima.CS.Arizona.EDU by cheltenham.cs.arizona.edu; Mon, 14 Oct 1996 07:43:35 MST Received: from icslab10.icslab.agh.edu.pl by optima.cs.arizona.edu (5.65c/15) via SMTP id AA12289; Mon, 14 Oct 1996 07:40:44 MST Received: (from wkulcz@localhost) by icslab10.icslab.agh.edu.pl (8.6.12/8.6.12) id PAA00579 for info-sr@CS.Arizona.EDU; Mon, 14 Oct 1996 15:43:39 +0100 Date: Mon, 14 Oct 1996 15:43:39 +0100 From: Wojciech Kulczucki Message-Id: <199610141443.PAA00579@icslab10.icslab.agh.edu.pl> To: info-sr@cs.arizona.edu Subject: Problem with linking SR's program. Content-Type: X-sun-attachment ---------- X-Sun-Data-Type: text X-Sun-Data-Description: text X-Sun-Data-Name: text X-Sun-Content-Lines: 0 ---------- X-Sun-Data-Type: default X-Sun-Data-Description: default X-Sun-Data-Name: mail X-Sun-Content-Lines: 27 Hello !!! We have a little problem with linking SR's program. The point is: This very simple program don't want to be linked: resource simple() begin write("Hello Fred!!!!!!!!!!!!!!!!!!!!") end end The compilation and creation of Interfaces directory is successfull, but after this following errors occur: ld: /home/ernie2/usr/alang/sr/lib/srlib.a: warning: table of contents for archive is out of date; rerun ranlib(1) ld: Undefined symbol _sr_acount _sr_cvint _sr_init_array _sr_cvbool We use SR version 2.3 and we don't know reasons of this error. If You would like to help us, please contact: wkulcz@ernie.icslab.agh.edu.pl lafred@ernie.icslab.agh.edu.pl dariusz@ernie.icslab.agh.edu.pl From wkulcz@icslab10.icslab.agh.edu.pl Mon Oct 14 15:43:47 1996 Received: from optima.CS.Arizona.EDU by cheltenham.cs.arizona.edu; Mon, 14 Oct 1996 07:43:38 MST Received: from icslab10.icslab.agh.edu.pl by optima.cs.arizona.edu (5.65c/15) via SMTP id AA12293; Mon, 14 Oct 1996 07:40:46 MST Received: (from wkulcz@localhost) by icslab10.icslab.agh.edu.pl (8.6.12/8.6.12) id PAA00582 for info-sr@CS.Arizona.EDU; Mon, 14 Oct 1996 15:43:47 +0100 Date: Mon, 14 Oct 1996 15:43:47 +0100 From: Wojciech Kulczucki Message-Id: <199610141443.PAA00582@icslab10.icslab.agh.edu.pl> To: info-sr@cs.arizona.edu Subject: Problem with linking SR's program. Content-Type: X-sun-attachment ---------- X-Sun-Data-Type: text X-Sun-Data-Description: text X-Sun-Data-Name: text X-Sun-Content-Lines: 0 ---------- X-Sun-Data-Type: default X-Sun-Data-Description: default X-Sun-Data-Name: mail X-Sun-Content-Lines: 27 Hello !!! We have a little problem with linking SR's program. The point is: This very simple program don't want to be linked: resource simple() begin write("Hello Fred!!!!!!!!!!!!!!!!!!!!") end end The compilation and creation of Interfaces directory is successfull, but after this following errors occur: ld: /home/ernie2/usr/alang/sr/lib/srlib.a: warning: table of contents for archive is out of date; rerun ranlib(1) ld: Undefined symbol _sr_acount _sr_cvint _sr_init_array _sr_cvbool We use SR version 2.3 and we don't know reasons of this error. If You would like to help us, please contact: wkulcz@ernie.icslab.agh.edu.pl lafred@ernie.icslab.agh.edu.pl dariusz@ernie.icslab.agh.edu.pl From gmt Mon Oct 14 12:30:28 1996 Received: from hawk.CS.Arizona.EDU by cheltenham.cs.arizona.edu; Mon, 14 Oct 1996 12:30:29 MST Received: by hawk.CS.Arizona.EDU; (5.65/1.1.8.2/08Nov94-0446PM) id AA06310; Mon, 14 Oct 1996 12:30:28 -0700 Date: Mon, 14 Oct 1996 12:30:28 -0700 From: Gregg Townsend Message-Id: <9610141930.AA06310@hawk.CS.Arizona.EDU> To: info-sr@cs.arizona.edu, wkulcz@icslab10.icslab.agh.edu.pl Subject: Re: Problem with linking SR's program. Date: Mon, 14 Oct 1996 15:43:47 +0100 From: Wojciech Kulczucki ...The compilation and creation of Interfaces directory is successfull, but after this following errors occur: ld: /home/ernie2/usr/alang/sr/lib/srlib.a: warning: table of contents for archive is out of date; rerun ranlib(1) ... It would appear from the message that you need to rerun ranlib(1) to fix the library. I would guess that the problem resulted from copying it from one place to another. If you copied the whole SR hirearchy using "cp -r", then it's likely that symbolic links turned into duplicated files. If that is indeed the case you may need to get a fresh copy of SR and rebuild it. Gregg Townsend / gmt@CS.Arizona.EDU / +1 520 621 4325 / 32 13 45N 110 57 16W Computer Science / Univ of Arizona / 1040 E 4th St / Tucson AZ 85721-0077 From michael.moore@central.sun.com Fri Oct 25 16:29:35 1996 Received: from optima.CS.Arizona.EDU by cheltenham.cs.arizona.edu; Fri, 25 Oct 1996 13:32:38 MST Received: from mercury.Sun.COM by optima.cs.arizona.edu (5.65c/15) via SMTP id AA24506; Fri, 25 Oct 1996 13:32:35 MST Received: from Central.Sun.COM ([129.152.1.7]) by mercury.Sun.COM (SMI-8.6/mail.byaddr) with SMTP id NAA01262 for ; Fri, 25 Oct 1996 13:32:33 -0700 Received: from greatlakes.Central.Sun.COM by Central.Sun.COM (SMI-8.6/SMI-5.3) id PAA25548; Fri, 25 Oct 1996 15:32:27 -0500 Received: from mkmoore.Central.Sun.COM by greatlakes.Central.Sun.COM (SMI-8.6/SMI-SVR4) id QAA20044; Fri, 25 Oct 1996 16:29:38 -0400 Received: by mkmoore.Central.Sun.COM (SMI-8.6/SMI-SVR4) id QAA04493; Fri, 25 Oct 1996 16:29:35 -0400 Date: Fri, 25 Oct 1996 16:29:35 -0400 From: michael.moore@central.sun.com (Keith Moore- SE) Message-Id: <199610252029.QAA04493@mkmoore.Central.Sun.COM> To: info-sr@cs.arizona.edu Subject: A stupid SR newbie make question... Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Content-Md5: B/xR1zLehjDeAbLhdBr4ug== Please be gentle, I am new to unix. This is a problem I am having installing on a Sun SPARCstation during the assembly code portion of the make (csw). I have looked at and changed several things, but have not figured out what might cause this error. I have set up LIBC = -lsocket -lnsl and LIBR = -lthread. I have changed LIBM and LIBL to = nothing. ( LIBR = ) Nothing following the equals sign. Is this correct for a sparc setup? I am going to remove LIBR and try without MULTIsr next. Any other suggestions? Thanks in advance. Here's the output (final excerpt) from make: cc -g -E asm.c | \ sed -e '/^ *$/d' -e '/^#/'d -e 's/ :/:/' >asm.s as -o asm.o asm.s . ../paths.sh; cc -g -o cstest \ cstest.o asm.o $LIBM $LIBC ild: (undefined symbol) sr_chg_context -- referenced in the text segment of cste st.o ild: (undefined symbol) _sr_stk_overflow -- referenced in the text segment of as m.o ild: (undefined symbol) sr_check_stk -- referenced in the text segment of cstest .o ild: (undefined symbol) sr_build_context -- referenced in the text segment of cs test.o ild: (undefined symbol) _sr_stk_corrupted -- referenced in the text segment of a sm.o ild: (undefined symbol) _sr_stk_underflow -- referenced in the text segment of a sm.o *** Error code 5 make: Fatal error: Command failed for target `cstest' ---------------------------------------------------------- All opinions expressed are my own. M. Keith Moore Sun Microsystems Computer Company 1000 Town Center, Suite 1700 Southfield, MI 48075 USA Phone: 810-948-2623 Mailto:kmoore@central.sun.com http://www.sun.com/ From gmt Fri Oct 25 14:12:13 1996 Received: from hawk.CS.Arizona.EDU by cheltenham.cs.arizona.edu; Fri, 25 Oct 1996 14:12:13 MST Received: by hawk.CS.Arizona.EDU; (5.65v3.2/1.1.8.2/08Nov94-0446PM) id AA15233; Fri, 25 Oct 1996 14:12:13 -0700 Date: Fri, 25 Oct 1996 14:12:13 -0700 From: Gregg Townsend Message-Id: <9610252112.AA15233@hawk.CS.Arizona.EDU> To: michael.moore@central.sun.com Subject: Re: A stupid SR newbie make question... Cc: info-sr From info-sr-sender Fri Oct 25 13:32:42 1996 ...This is a problem I am having installing on a Sun SPARCstation during the assembly code portion of the make (csw)... ild: (undefined symbol) sr_chg_context -- referenced in the text segment of cstest.o ... I'm guessing you're installing on Solaris 2.x, because I've seen similar messages there and because that's the only Sun system that supports MultiSR. I suggest the following configuration: CCPATH = /opt/SUNWspro/bin/cc RSHPATH = /bin/rsh LIBC = -lsocket -lnsl LIBR = -lthread LIBM = -lm LIBL = -ll The Systems file notes one more special changes needed for Solaris 2.x, basically because Sun didn't provide a predefined symbol for distinguishing Solaris from SunOS: You must set "CFLAGS=-D__svr4__ -g" in the main Makefile. This also implies that typing "make" in a subdirectory doesn't work; you have to do it from the top level. Gregg Townsend / gmt@CS.Arizona.EDU / +1 520 621 4325 / 32 13 45N 110 57 16W Computer Science / Univ of Arizona / 1040 E 4th St / Tucson AZ 85721-0077 From andrew@cs.chalmers.se Tue Nov 26 18:48:49 1996 Received: from optima.CS.Arizona.EDU by cheltenham.cs.arizona.edu; Tue, 26 Nov 1996 10:48:56 MST Received: from animal.cs.chalmers.se by optima.cs.arizona.edu (5.65c/15) via SMTP id AA19689; Tue, 26 Nov 1996 10:48:55 MST Received: from groob.cs.chalmers.se (groob.cs.chalmers.se [129.16.226.115]) by animal.cs.chalmers.se (8.8.3/8.7.3) with ESMTP id SAA26427 for ; Tue, 26 Nov 1996 18:48:49 +0100 (MET) Date: Tue, 26 Nov 1996 18:48:49 +0100 (MET) Message-Id: <199611261748.SAA26427@animal.cs.chalmers.se> Received: by groob.cs.chalmers.se (8.7.6/3.14+gl) id RAA20625; Tue, 26 Nov 1996 17:48:49 GMT From: Andrew Moran To: info-sr@cs.arizona.edu Subject: Formal Semantics for SR? Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit Has there been any work done on a formal semantics for SR or a significant subset? I'm particularly interested in how the complex behaviour of multiple mutually-exclusive in-statements would be modelled. Cheers, Andy From greg Tue Nov 26 15:19:06 1996 Received: from paloverde.CS.Arizona.EDU by cheltenham.cs.arizona.edu; Tue, 26 Nov 1996 15:19:08 MST Received: by paloverde.CS.Arizona.EDU; (5.65/1.1.8.2/08Nov94-0446PM) id AA27893; Tue, 26 Nov 1996 15:19:06 -0700 Date: Tue, 26 Nov 1996 15:19:06 -0700 From: Greg Andrews Message-Id: <9611262219.AA27893@paloverde.CS.Arizona.EDU> To: andrew@cs.chalmers.se, info-sr@cs.arizona.edu Subject: Re: Formal Semantics for SR? From: Andrew Moran To: info-sr@cs.arizona.edu Subject: Formal Semantics for SR? Has there been any work done on a formal semantics for SR or a significant subset? I'm particularly interested in how the complex behaviour of multiple mutually-exclusive in-statements would be modelled. Cheers, Andy Not that I know of. However, the semantics are discussed in Chapter 9 of my book on Concurrent Programming. See also the the discussion and references at the end of the chapter (in particular, page 542). Greg Andrews From andrew@cs.chalmers.se Thu Nov 28 11:37:54 1996 Received: from optima.CS.Arizona.EDU by cheltenham.cs.arizona.edu; Thu, 28 Nov 1996 03:37:59 MST Received: from animal.cs.chalmers.se by optima.cs.arizona.edu (5.65c/15) via SMTP id AA00927; Thu, 28 Nov 1996 03:37:56 MST Received: from groob.cs.chalmers.se (groob.cs.chalmers.se [129.16.226.115]) by animal.cs.chalmers.se (8.8.3/8.7.3) with ESMTP id LAA29907 for ; Thu, 28 Nov 1996 11:37:54 +0100 (MET) Date: Thu, 28 Nov 1996 11:37:54 +0100 (MET) Message-Id: <199611281037.LAA29907@animal.cs.chalmers.se> Received: by groob.cs.chalmers.se (8.7.6/3.14+gl) id KAA28975; Thu, 28 Nov 1996 10:37:53 GMT From: Andrew Moran To: info-sr@cs.arizona.edu Subject: Servicing operations passed in as resource parameters Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit In the course I'm teaching at the moment, some of the students have tried to do this: resource blah (p: cap (int)) .... process Server do true -> in p (x) -> ... ni od end Server end blah resulting in blocking/hanging. I tell them that this is because in attempting to service p it with the in statement, they are effectively trying to "assign" to a value parameter. I have two questions: 1. Is this correct? 2. What is the code produced by the compiler actually doing in this case? Cheers, Andy From olsson@cs.ucdavis.edu Thu Nov 28 06:17:04 1996 Received: from optima.CS.Arizona.EDU by cheltenham.cs.arizona.edu; Thu, 28 Nov 1996 07:17:06 MST Received: from toadflax.cs.ucdavis.edu by optima.cs.arizona.edu (5.65c/15) via SMTP id AA03171; Thu, 28 Nov 1996 07:17:05 MST Received: from ivy.cs.ucdavis.edu by toadflax.cs.ucdavis.edu (4.1/UCD.CS.2.6) id AA22178; Thu, 28 Nov 96 06:17:05 PST Received: by ivy.cs.ucdavis.edu (5.65/UCD.CS.2.6) id AA26676; Thu, 28 Nov 1996 06:17:04 -0800 Date: Thu, 28 Nov 1996 06:17:04 -0800 From: olsson@cs.ucdavis.edu Message-Id: <9611281417.AA26676@ivy.cs.ucdavis.edu> To: andrew@cs.chalmers.se Cc: andrew@cs.chalmers.se, info-sr@cs.arizona.edu In-Reply-To: <199611281037.LAA29907@animal.cs.chalmers.se> (message from Andrew Moran on Thu, 28 Nov 1996 11:37:54 +0100 (MET)) Subject: Servicing operations passed in as resource parameters Date: Thu, 28 Nov 1996 11:37:54 +0100 (MET) From: Andrew Moran In the course I'm teaching at the moment, some of the students have tried to do this: resource blah (p: cap (int)) .... process Server do true -> in p (x) -> ... ni od end Server end blah resulting in blocking/hanging. I tell them that this is because in attempting to service p it with the in statement, they are effectively trying to "assign" to a value parameter. I have two questions: 1. Is this correct? The code is legal and should work; I've attached a similar program that works. Servicing an operation capability, under certain restrictions, has been allowed since version 2.2. See the release notes or Appendix G of newer printings of the book. 2. What is the code produced by the compiler actually doing in this case? You can see the actual generated code via sr -C. ---- resource blah (p: cap (int)) process Server do true -> in p (x) -> write("p got", x) ni od end Server end blah resource main() import blah op w(int) var b := create blah(w) send w(3) send w(8) end From andrew@cs.chalmers.se Thu Nov 28 16:27:40 1996 Received: from optima.CS.Arizona.EDU by cheltenham.cs.arizona.edu; Thu, 28 Nov 1996 08:27:43 MST Received: from animal.cs.chalmers.se by optima.cs.arizona.edu (5.65c/15) via SMTP id AA03948; Thu, 28 Nov 1996 08:27:42 MST Received: from groob.cs.chalmers.se (groob.cs.chalmers.se [129.16.226.115]) by animal.cs.chalmers.se (8.8.3/8.7.3) with ESMTP id QAA12175 for ; Thu, 28 Nov 1996 16:27:40 +0100 (MET) Date: Thu, 28 Nov 1996 16:27:40 +0100 (MET) Message-Id: <199611281527.QAA12175@animal.cs.chalmers.se> Received: by groob.cs.chalmers.se (8.7.6/3.14+gl) id PAA29971; Thu, 28 Nov 1996 15:27:39 GMT From: Andrew Moran To: info-sr@cs.arizona.edu Subject: Re: Servicing operations passed in as resource parameters In-Reply-To: <9611281417.AA26676@ivy.cs.ucdavis.edu> References: <199611281037.LAA29907@animal.cs.chalmers.se> <9611281417.AA26676@ivy.cs.ucdavis.edu> Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit Olsson writes: > The code is legal and should work; I've attached a similar program that > works. Servicing an operation capability, under certain restrictions, has > been allowed since version 2.2. See the release notes or Appendix G of > newer printings of the book. This is closer to what my students had (apologies for not trying the first example code myself before mailing): resource blah (p: cap (int); q: cap (int)) process Server do true -> in p (x) -> write("p got", x) [] q (x) -> write("q got", x) ni od end Server end blah resource main() import blah op w(int) op v(int) var b := create blah(w,v) send w(3) send w(8) send v(10) send v(15) end This results in: > a.out RTS warning: blocked process: blah.Server : file opcap.sr, line 4 Checking the release notes, I see that this is not correct SR, since the input statement has more than one arm (1). Conceptually, if I want to service an operation capability from outside the current resource, then I must treat it as a simple message queue. What is the motivation for this restriction? Practicality or theory? Cheers, Andy (1) "An operation capability can now replace an operation name in an input statement, without regard to how the capability was created, subject to meeting _either_ of the following two restrictions: + the input statement has just one arm and no by or st (but it may have an else), or + the capability references an operation in the current resource." From olsson@cs.ucdavis.edu Thu Nov 28 08:12:02 1996 Received: from optima.CS.Arizona.EDU by cheltenham.cs.arizona.edu; Thu, 28 Nov 1996 09:12:03 MST Received: from toadflax.cs.ucdavis.edu by optima.cs.arizona.edu (5.65c/15) via SMTP id AA04504; Thu, 28 Nov 1996 09:12:02 MST Received: from ivy.cs.ucdavis.edu by toadflax.cs.ucdavis.edu (4.1/UCD.CS.2.6) id AA24043; Thu, 28 Nov 96 08:12:03 PST Received: by ivy.cs.ucdavis.edu (5.65/UCD.CS.2.6) id AA27125; Thu, 28 Nov 1996 08:12:02 -0800 Date: Thu, 28 Nov 1996 08:12:02 -0800 From: olsson@cs.ucdavis.edu Message-Id: <9611281612.AA27125@ivy.cs.ucdavis.edu> To: andrew@cs.chalmers.se Cc: info-sr@cs.arizona.edu In-Reply-To: <199611281527.QAA12175@animal.cs.chalmers.se> (message from Andrew Moran on Thu, 28 Nov 1996 16:27:40 +0100 (MET)) Subject: Re: Servicing operations passed in as resource parameters Date: Thu, 28 Nov 1996 16:27:40 +0100 (MET) From: Andrew Moran Checking the release notes, I see that this is not correct SR, since the input statement has more than one arm (1). Conceptually, if I want to service an operation capability from outside the current resource, then I must treat it as a simple message queue. What is the motivation for this restriction? Practicality or theory? Practicality. For example, with two arms each servicing an op cap, the ops themselves could be located on different virtual machines, so the run-time support in those two VMs would need to coordinate. (Such an input statement would also put those two ops into the same operation equivalence class (see Appendix E), which would also greatly complicate the implementation.) From sihattha@jaist.ac.jp Thu Nov 28 09:47:55 1996 Received: from optima.CS.Arizona.EDU by cheltenham.cs.arizona.edu; Thu, 28 Nov 1996 09:47:55 MST Received: from mikan.jaist.ac.jp by optima.cs.arizona.edu (5.65c/15) via SMTP id AA04878; Thu, 28 Nov 1996 09:47:53 MST Received: from lithium.jaist.ac.jp (R. Sihattha ) by mikan.jaist.ac.jp (8.7.5); id BAA03629; Fri, 29 Nov 1996 01:47:48 +0900 (JST) From: "R. Sihattha" Received: by lithium.jaist.ac.jp (4.1/JE-C); Fri, 29 Nov 96 01:47:47 JST Date: Fri, 29 Nov 96 01:47:47 JST Message-Id: <9611281647.AA16397@lithium.jaist.ac.jp> To: info-sr@cs.arizona.edu Subject: unsubcribe unsubcribe from sr mailing list From s2156907@cse.unsw.edu.au Fri Nov 29 10:53:08 1996 Received: from optima.CS.Arizona.EDU by cheltenham.cs.arizona.edu; Thu, 28 Nov 1996 16:53:27 MST Received: from albeniz.orchestra.cse.unsw.EDU.AU by optima.cs.arizona.edu (5.65c/15) via SMTP id AA09929; Thu, 28 Nov 1996 16:53:25 MST Return-Path: s2156907@cse.unsw.edu.au Received: From flute07 With LocalMail ; Fri, 29 Nov 96 10:53:18 +1100 From: Benjamin Wong To: info-sr@cs.arizona.edu Date: Fri, 29 Nov 1996 10:53:08 +1100 (EST) X-Sender: s2156907@flute07.orchestra.cse.unsw.EDU.AU Subject: unsubcribe In-Reply-To: <9611281647.AA16397@lithium.jaist.ac.jp> Message-Id: Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII How do i unscribe to the sr mailing list From s2172712@cse.unsw.edu.au Fri Nov 29 11:50:23 1996 Received: from optima.CS.Arizona.EDU by cheltenham.cs.arizona.edu; Thu, 28 Nov 1996 17:50:37 MST Received: from albeniz.orchestra.cse.unsw.EDU.AU by optima.cs.arizona.edu (5.65c/15) via SMTP id AA10611; Thu, 28 Nov 1996 17:50:34 MST Return-Path: s2172712@cse.unsw.edu.au Received: From boodle With LocalMail ; Fri, 29 Nov 96 11:50:23 +1100 From: Toby Hill To: SR Date: Fri, 29 Nov 1996 11:50:23 +1100 (EST) X-Sender: s2172712@boodle.circus.cse.unsw.EDU.AU Subject: Re: unsubcribe In-Reply-To: Message-Id: Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Unsubscribe me please I can't remember what the other e-mail is sorry. // // AMIGA! \\ // Toby Hill \X/ --------- s2172712@cse.unsw.edu.au From gmt Thu Nov 28 19:06:32 1996 Received: from hawk.CS.Arizona.EDU by cheltenham.cs.arizona.edu; Thu, 28 Nov 1996 19:06:32 MST Received: by hawk.CS.Arizona.EDU; (5.65v3.2/1.1.8.2/08Nov94-0446PM) id AA10735; Thu, 28 Nov 1996 19:06:32 -0700 Date: Thu, 28 Nov 1996 19:06:32 -0700 From: Gregg Townsend Message-Id: <9611290206.AA10735@hawk.CS.Arizona.EDU> To: info-sr Subject: all these unsubscription requests Please, folks, send unsubscription requests to info-sr-request@cs.arizona.edu Messages sent to info-sr get redistributed to everyone on the list. Thank you. Gregg Townsend / gmt@CS.Arizona.EDU / +1 520 621 4325 / 32 13 45N 110 57 16W Computer Science / Univ of Arizona / 1040 E 4th St / Tucson AZ 85721-0077 From andrew@cs.chalmers.se Tue Dec 17 09:16:54 1996 Received: from optima.CS.Arizona.EDU by cheltenham.cs.arizona.edu; Tue, 17 Dec 1996 01:16:59 MST Received: from animal.cs.chalmers.se by optima.cs.arizona.edu (5.65c/15) via SMTP id AA28233; Tue, 17 Dec 1996 01:16:57 MST Received: from groob.cs.chalmers.se (groob.cs.chalmers.se [129.16.226.115]) by animal.cs.chalmers.se (8.8.3/8.7.3) with ESMTP id JAA03326 for ; Tue, 17 Dec 1996 09:16:54 +0100 (MET) Date: Tue, 17 Dec 1996 09:16:54 +0100 (MET) Message-Id: <199612170816.JAA03326@animal.cs.chalmers.se> Received: by groob.cs.chalmers.se (8.7.6/3.14+gl) id IAA03213; Tue, 17 Dec 1996 08:16:54 GMT From: Andrew Moran To: info-sr@cs.arizona.edu Subject: Can use instance after destroy? Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit One of my students sent me a program that seemed to allow invocation of an operation in an instance after that instance had been destroyed. Here's a pared-down version that has the anomalous behaviour: resource Bleeb op thump () body Bleeb () proc thump () write ("Thumped.") end thump final write("Gone.") end end Bleeb resource main() import Bleeb var bleeb: cap Bleeb := create Bleeb() bleeb.thump() destroy bleeb bleeb.thump() end main When run, I get this: ~/work/realtid > a.out Thumped. Gone. Thumped. ~/work/realtid > If thump prints a local variable instead, then the call _after_ prints out some nonsense value instead. According to my understanding of the implementation, the second call to thump should generate an RTS error (something like "attempted invocation via null/dead capability"). What's going on here? Cheers, Andy From garnick@polar.Bowdoin.EDU Tue Dec 17 09:19:54 1996 Received: from optima.CS.Arizona.EDU by cheltenham.cs.arizona.edu; Tue, 17 Dec 1996 07:19:58 MST Received: from polar.Bowdoin.EDU by optima.cs.arizona.edu (5.65c/15) via SMTP id AA01095; Tue, 17 Dec 1996 07:19:57 MST Received: from localhost by polar.Bowdoin.EDU (5.65v3.0/Bowdoin-V1.6c) id AA04516; Tue, 17 Dec 1996 09:19:55 -0500 Message-Id: <9612171419.AA04516@polar.Bowdoin.EDU> To: info-sr@cs.arizona.edu Cc: andrew@cs.chalmers.se Subject: Re: Can use instance after destroy? Date: Tue, 17 Dec 96 09:19:54 -0500 From: garnick@polar.Bowdoin.EDU X-Mts: smtp Andy, Running your example which thumps a destroyed resource, I get the following correct output running on DEC alphas under OSF: Thumped. Gone. RTS abort: file beep.sr, line 20: attempting to invoke operation that no longer exists Could this be a system dependent problem? - David