[Cs5500] Fwd: [Cs4800] Tips for running local tournaments

[Madhuvanthi Balasubramanian]

Professor,
       I agree that this problem needs to be addressed at the playground
level. We will work on it.
       But the current HSR's baby avatar has a random boolean variable that
it uses to generate claims with existsforall and forallexists. I think we
should remove this logic. Otherwise, it would get the undergrads confused
when they develop clever avatars, on the model of baby avatars.

On Fri, Nov 4, 2011 at 2:03 PM, Karl Lieberherr <lieber at ccs.neu.edu> wrote:

> Hi Tuba:
>
> that does not solve the problem. The admin should check that only protocols
> allowed by config object are used during the tournament. If not, the
> avatar is kicked.
> Apparently the baby avatar was not kicked.
>
> How do we have to change the admin?
>
> -- Karl
>
> On Fri, Nov 4, 2011 at 12:18 PM, <tkoc at ccs.neu.edu> wrote:
>
>> Hi Prof.,
>>
>> I discussed this issue with Madhu and she said actually the problem is
>> solved for teacher avatar but they didn`t change baby avatar. The changes
>> we need are:
>>
>> in hsr baby avatar generateRandomClaim() function while returning new
>> claim
>>
>>        return new Claim(instanceSet,
>> protocol,((double)randQ)/randN,((double)randQ)/randN);
>>
>> instead of "protocol" we will pass ForAllExistMin.
>>
>> And in SCG Default Config, protocol field is "protocols:
>> scg.protocol.ForAllExists scg.protocol.ExistsForAll\n" we need to change
>> ForAllExists to ForAllExistMin.
>>
>> Best,
>>
>>
>> Tuba
>>
>>
>> ----- Original Message -----
>> From: "Karl Lieberherr" <lieber at ccs.neu.edu>
>> To: "Managing Software Development" <cs5500 at lists.ccs.neu.edu>
>> Cc: "Dennis Zografos" <dzog at ccs.neu.edu>, "David Richards" <
>> dirich at ccs.neu.edu>
>> Sent: Thursday, November 3, 2011 10:33:42 PM GMT -05:00 US/Canada Eastern
>> Subject: [Cs5500] Fwd: [Cs4800] Tips for running local tournaments
>>
>>
>> Another good catch by Dennis.
>>
>>
>> Please can Tuba propose a way to check that only protocols permitted by
>> the
>> configuration file can be used by the avatar.
>>
>>
>> -- Karl
>>
>>
>> ---------- Forwarded message ----------
>> From: Dennis Zografos < dzog at ccs.neu.edu >
>> Date: Thu, Nov 3, 2011 at 7:42 PM
>> Subject: Re: [Cs4800] Tips for running local tournaments
>> To: David Richards < dirich at ccs.neu.edu >
>> Cc: CS4800 Mailing List < cs4800 at lists.ccs.neu.edu >
>>
>>
>> To continue this thread of tidbits,
>>
>> The Admin doesn't seem to care if players violate the "protocols"
>> restriction.
>>
>> The baby avatar also doesn't seem play by this rule?
>>
>> e.g. I have
>>
>> protocols: scg.protocol.ForAllExistsMin
>>
>> in my configuration file
>>
>> but my games are full of Maxes and Equals as well (Baby-sourced and
>> without Admin intervention)
>>
>>
>>
>>
>>
>>
>> ----- "David Richards" < dirich at ccs.neu.edu > wrote:
>>
>> > I think I found my problem.
>> >
>> > It's useful to note that it seems you need javacc in your path when
>> > you run the server/avatars
>> > as well as when you generate the templates.
>> >
>> > -Dave
>> >
>> > On Nov 3, 2011, at 6:49 PM, Dennis Zografos wrote:
>> >
>> > > Yes.
>> > >
>> > > To totally rule out something with your avatar,
>> > >
>> > > what happens if you use two baby avatars instead?
>> > >
>> > >
>> > > ----- "David Richards" < dirich at ccs.neu.edu > wrote:
>> > >
>> > >> Were you (or anyone else) able to actually run a tournament?  As
>> > soon
>> > >> as my tournament started, I got a whole slew of
>> > >> null pointer exceptions from both the server and clients in places
>> > >> that didn't seem to touch my avatar code directly.
>> > >>
>> > >> -Dave Richards
>> > >>
>> > >> On Nov 3, 2011, at 5:59 PM, Dennis Zografos wrote:
>> > >>
>> > >>> Some tips for getting local SCG tournaments up and running, from
>> > my
>> > >> experiences:
>> > >>>
>> > >>> * You might need to install a copy of javacc (in all major repos,
>> > >> including MacPorts)
>> > >>>
>> > >>> * At the "Generate Java files using Demeterf" step,
>> > <outputfolder>
>> > >> should be set to `/GenericSCG/gen'
>> > >>>
>> > >>> * The `PlayerMainHSR' class (as referenced in Step 3) does not
>> > >> exist; use `PlayerMainBabyHSR' instead. (`PlayerMainBabyHSR' is no
>> > way
>> > >> specific to the Baby avatar; this is just a naming thing)
>> > >>>
>> > >>> * This will be obvious to most, but, the documentation lists a
>> > >> constant "8020" for your avatar port (note: this is a
>> > >> listening/"server" socket, NOT a connect/"client" socket); if you
>> > are
>> > >> running multiple avatars locally, you will have to assign
>> > different
>> > >> ports to each of them
>> > >>>
>> > >>> --Dennis
>> > >>>
>> > >>>
>> > >>> (note: information herein not authorized by course staff)
>> > >>>
>> > >>> (note2: I may conduct a tournament tonight if the official
>> > warm-up
>> > >> fails to materialize; details perhaps forthcoming)
>> > >>>
>> > >>> _______________________________________________
>> > >>> Cs4800 mailing list
>> > >>> Cs4800 at lists.ccs.neu.edu
>> > >>> https://lists.ccs.neu.edu/bin/listinfo/cs4800
>>
>> _______________________________________________
>> Cs4800 mailing list
>> Cs4800 at lists.ccs.neu.edu
>> https://lists.ccs.neu.edu/bin/listinfo/cs4800
>>
>>
>> _______________________________________________
>> Cs5500 mailing list
>> Cs5500 at lists.ccs.neu.edu
>> https://lists.ccs.neu.edu/bin/listinfo/cs5500
>>
>
>
> _______________________________________________
> Cs5500 mailing list
> Cs5500 at lists.ccs.neu.edu
> https://lists.ccs.neu.edu/bin/listinfo/cs5500
>
>


-- 
 Thanks
- Madhu
-------------- next part --------------
HTML attachment scrubbed and removed