You can subscribe to this list here.
| 2004 | 
          Jan
           (1)  | 
        
        
        
        
          Feb
           (1)  | 
        
        
        
        
          Mar
           (3)  | 
        
        
        
        
          Apr
           (12)  | 
        
        
        
        
          May
           (1)  | 
        
        
        
        
          Jun
           | 
        
        
        
        
          Jul
           | 
        
        
        
        
          Aug
           | 
        
        
        
        
          Sep
           (5)  | 
        
        
        
        
          Oct
           (3)  | 
        
        
        
        
          Nov
           (2)  | 
        
        
        
        
          Dec
           | 
        
      
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 2005 | 
          Jan
           | 
        
        
        
        
          Feb
           | 
        
        
        
        
          Mar
           (6)  | 
        
        
        
        
          Apr
           (2)  | 
        
        
        
        
          May
           (3)  | 
        
        
        
        
          Jun
           (6)  | 
        
        
        
        
          Jul
           | 
        
        
        
        
          Aug
           (1)  | 
        
        
        
        
          Sep
           (5)  | 
        
        
        
        
          Oct
           (32)  | 
        
        
        
        
          Nov
           | 
        
        
        
        
          Dec
           (4)  | 
        
      
| 2006 | 
          Jan
           (1)  | 
        
        
        
        
          Feb
           (1)  | 
        
        
        
        
          Mar
           (3)  | 
        
        
        
        
          Apr
           (1)  | 
        
        
        
        
          May
           (1)  | 
        
        
        
        
          Jun
           | 
        
        
        
        
          Jul
           (1)  | 
        
        
        
        
          Aug
           (1)  | 
        
        
        
        
          Sep
           | 
        
        
        
        
          Oct
           (6)  | 
        
        
        
        
          Nov
           (6)  | 
        
        
        
        
          Dec
           | 
        
      
| 2007 | 
          Jan
           | 
        
        
        
        
          Feb
           (7)  | 
        
        
        
        
          Mar
           (20)  | 
        
        
        
        
          Apr
           (9)  | 
        
        
        
        
          May
           (4)  | 
        
        
        
        
          Jun
           (13)  | 
        
        
        
        
          Jul
           (9)  | 
        
        
        
        
          Aug
           (8)  | 
        
        
        
        
          Sep
           | 
        
        
        
        
          Oct
           (7)  | 
        
        
        
        
          Nov
           (7)  | 
        
        
        
        
          Dec
           (3)  | 
        
      
| 2008 | 
          Jan
           | 
        
        
        
        
          Feb
           (5)  | 
        
        
        
        
          Mar
           (1)  | 
        
        
        
        
          Apr
           (46)  | 
        
        
        
        
          May
           (7)  | 
        
        
        
        
          Jun
           (5)  | 
        
        
        
        
          Jul
           (1)  | 
        
        
        
        
          Aug
           (15)  | 
        
        
        
        
          Sep
           (19)  | 
        
        
        
        
          Oct
           | 
        
        
        
        
          Nov
           (2)  | 
        
        
        
        
          Dec
           (1)  | 
        
      
| 2009 | 
          Jan
           (3)  | 
        
        
        
        
          Feb
           (2)  | 
        
        
        
        
          Mar
           (10)  | 
        
        
        
        
          Apr
           (16)  | 
        
        
        
        
          May
           (18)  | 
        
        
        
        
          Jun
           (12)  | 
        
        
        
        
          Jul
           (13)  | 
        
        
        
        
          Aug
           (10)  | 
        
        
        
        
          Sep
           (5)  | 
        
        
        
        
          Oct
           | 
        
        
        
        
          Nov
           (2)  | 
        
        
        
        
          Dec
           (3)  | 
        
      
| 2010 | 
          Jan
           (17)  | 
        
        
        
        
          Feb
           (10)  | 
        
        
        
        
          Mar
           (3)  | 
        
        
        
        
          Apr
           (2)  | 
        
        
        
        
          May
           (12)  | 
        
        
        
        
          Jun
           (17)  | 
        
        
        
        
          Jul
           (27)  | 
        
        
        
        
          Aug
           (20)  | 
        
        
        
        
          Sep
           (8)  | 
        
        
        
        
          Oct
           (12)  | 
        
        
        
        
          Nov
           (3)  | 
        
        
        
        
          Dec
           (2)  | 
        
      
| 2011 | 
          Jan
           (16)  | 
        
        
        
        
          Feb
           (6)  | 
        
        
        
        
          Mar
           (3)  | 
        
        
        
        
          Apr
           (2)  | 
        
        
        
        
          May
           | 
        
        
        
        
          Jun
           (11)  | 
        
        
        
        
          Jul
           (4)  | 
        
        
        
        
          Aug
           (9)  | 
        
        
        
        
          Sep
           (10)  | 
        
        
        
        
          Oct
           (8)  | 
        
        
        
        
          Nov
           (10)  | 
        
        
        
        
          Dec
           (3)  | 
        
      
| 2012 | 
          Jan
           (6)  | 
        
        
        
        
          Feb
           (4)  | 
        
        
        
        
          Mar
           (3)  | 
        
        
        
        
          Apr
           (10)  | 
        
        
        
        
          May
           (7)  | 
        
        
        
        
          Jun
           (5)  | 
        
        
        
        
          Jul
           (4)  | 
        
        
        
        
          Aug
           (18)  | 
        
        
        
        
          Sep
           (14)  | 
        
        
        
        
          Oct
           (17)  | 
        
        
        
        
          Nov
           (12)  | 
        
        
        
        
          Dec
           | 
        
      
| 2013 | 
          Jan
           (6)  | 
        
        
        
        
          Feb
           (7)  | 
        
        
        
        
          Mar
           (4)  | 
        
        
        
        
          Apr
           (8)  | 
        
        
        
        
          May
           (5)  | 
        
        
        
        
          Jun
           (7)  | 
        
        
        
        
          Jul
           (4)  | 
        
        
        
        
          Aug
           (1)  | 
        
        
        
        
          Sep
           (3)  | 
        
        
        
        
          Oct
           | 
        
        
        
        
          Nov
           | 
        
        
        
        
          Dec
           (6)  | 
        
      
| 2014 | 
          Jan
           (4)  | 
        
        
        
        
          Feb
           | 
        
        
        
        
          Mar
           (6)  | 
        
        
        
        
          Apr
           (2)  | 
        
        
        
        
          May
           | 
        
        
        
        
          Jun
           (10)  | 
        
        
        
        
          Jul
           (1)  | 
        
        
        
        
          Aug
           (2)  | 
        
        
        
        
          Sep
           (1)  | 
        
        
        
        
          Oct
           | 
        
        
        
        
          Nov
           | 
        
        
        
        
          Dec
           | 
        
      
| 2015 | 
          Jan
           | 
        
        
        
        
          Feb
           | 
        
        
        
        
          Mar
           (3)  | 
        
        
        
        
          Apr
           (3)  | 
        
        
        
        
          May
           (7)  | 
        
        
        
        
          Jun
           (5)  | 
        
        
        
        
          Jul
           (1)  | 
        
        
        
        
          Aug
           (3)  | 
        
        
        
        
          Sep
           (2)  | 
        
        
        
        
          Oct
           (2)  | 
        
        
        
        
          Nov
           (6)  | 
        
        
        
        
          Dec
           (3)  | 
        
      
| 2016 | 
          Jan
           (2)  | 
        
        
        
        
          Feb
           | 
        
        
        
        
          Mar
           | 
        
        
        
        
          Apr
           (7)  | 
        
        
        
        
          May
           | 
        
        
        
        
          Jun
           (5)  | 
        
        
        
        
          Jul
           (1)  | 
        
        
        
        
          Aug
           (2)  | 
        
        
        
        
          Sep
           (5)  | 
        
        
        
        
          Oct
           (5)  | 
        
        
        
        
          Nov
           (2)  | 
        
        
        
        
          Dec
           | 
        
      
| 2017 | 
          Jan
           (5)  | 
        
        
        
        
          Feb
           (4)  | 
        
        
        
        
          Mar
           (3)  | 
        
        
        
        
          Apr
           (6)  | 
        
        
        
        
          May
           | 
        
        
        
        
          Jun
           | 
        
        
        
        
          Jul
           | 
        
        
        
        
          Aug
           (2)  | 
        
        
        
        
          Sep
           (1)  | 
        
        
        
        
          Oct
           | 
        
        
        
        
          Nov
           (1)  | 
        
        
        
        
          Dec
           | 
        
      
| 2018 | 
          Jan
           (2)  | 
        
        
        
        
          Feb
           | 
        
        
        
        
          Mar
           | 
        
        
        
        
          Apr
           | 
        
        
        
        
          May
           (6)  | 
        
        
        
        
          Jun
           (1)  | 
        
        
        
        
          Jul
           (3)  | 
        
        
        
        
          Aug
           (2)  | 
        
        
        
        
          Sep
           | 
        
        
        
        
          Oct
           (6)  | 
        
        
        
        
          Nov
           (4)  | 
        
        
        
        
          Dec
           | 
        
      
| 2019 | 
          Jan
           (1)  | 
        
        
        
        
          Feb
           (5)  | 
        
        
        
        
          Mar
           (6)  | 
        
        
        
        
          Apr
           (5)  | 
        
        
        
        
          May
           | 
        
        
        
        
          Jun
           (5)  | 
        
        
        
        
          Jul
           (2)  | 
        
        
        
        
          Aug
           (7)  | 
        
        
        
        
          Sep
           (1)  | 
        
        
        
        
          Oct
           (7)  | 
        
        
        
        
          Nov
           | 
        
        
        
        
          Dec
           | 
        
      
| 2020 | 
          Jan
           | 
        
        
        
        
          Feb
           | 
        
        
        
        
          Mar
           | 
        
        
        
        
          Apr
           | 
        
        
        
        
          May
           | 
        
        
        
        
          Jun
           | 
        
        
        
        
          Jul
           | 
        
        
        
        
          Aug
           | 
        
        
        
        
          Sep
           | 
        
        
        
        
          Oct
           (1)  | 
        
        
        
        
          Nov
           (2)  | 
        
        
        
        
          Dec
           | 
        
      
| 2021 | 
          Jan
           | 
        
        
        
        
          Feb
           | 
        
        
        
        
          Mar
           | 
        
        
        
        
          Apr
           | 
        
        
        
        
          May
           | 
        
        
        
        
          Jun
           | 
        
        
        
        
          Jul
           | 
        
        
        
        
          Aug
           (2)  | 
        
        
        
        
          Sep
           (2)  | 
        
        
        
        
          Oct
           (3)  | 
        
        
        
        
          Nov
           | 
        
        
        
        
          Dec
           | 
        
      
| 2022 | 
          Jan
           (5)  | 
        
        
        
        
          Feb
           (1)  | 
        
        
        
        
          Mar
           | 
        
        
        
        
          Apr
           | 
        
        
        
        
          May
           (5)  | 
        
        
        
        
          Jun
           (9)  | 
        
        
        
        
          Jul
           | 
        
        
        
        
          Aug
           | 
        
        
        
        
          Sep
           (2)  | 
        
        
        
        
          Oct
           | 
        
        
        
        
          Nov
           (4)  | 
        
        
        
        
          Dec
           | 
        
      
| 2023 | 
          Jan
           | 
        
        
        
        
          Feb
           | 
        
        
        
        
          Mar
           (1)  | 
        
        
        
        
          Apr
           (4)  | 
        
        
        
        
          May
           | 
        
        
        
        
          Jun
           (5)  | 
        
        
        
        
          Jul
           (1)  | 
        
        
        
        
          Aug
           | 
        
        
        
        
          Sep
           (3)  | 
        
        
        
        
          Oct
           | 
        
        
        
        
          Nov
           | 
        
        
        
        
          Dec
           (3)  | 
        
      
| 2024 | 
          Jan
           (7)  | 
        
        
        
        
          Feb
           (1)  | 
        
        
        
        
          Mar
           | 
        
        
        
        
          Apr
           (17)  | 
        
        
        
        
          May
           | 
        
        
        
        
          Jun
           | 
        
        
        
        
          Jul
           | 
        
        
        
        
          Aug
           | 
        
        
        
        
          Sep
           | 
        
        
        
        
          Oct
           | 
        
        
        
        
          Nov
           | 
        
        
        
        
          Dec
           | 
        
      
| 2025 | 
          Jan
           | 
        
        
        
        
          Feb
           | 
        
        
        
        
          Mar
           (3)  | 
        
        
        
        
          Apr
           | 
        
        
        
        
          May
           | 
        
        
        
        
          Jun
           | 
        
        
        
        
          Jul
           | 
        
        
        
        
          Aug
           | 
        
        
        
        
          Sep
           | 
        
        
        
        
          Oct
           | 
        
        
        
        
          Nov
           | 
        
        
        
        
          Dec
           | 
        
      
| S | M | T | W | T | F | S | 
|---|---|---|---|---|---|---|
| 
          1
           | 
        
        
          2
           | 
        
        
          3
           | 
        
        
          4
           | 
        
        
          5
           | 
        
        
          6
           | 
        
        
          7
           | 
        
      
| 
          8
           | 
        
        
          9
           | 
        
        
          10
           | 
        
        
          11
           | 
        
        
          12
           | 
        
        
          13
           | 
        
        
          14
           | 
        
      
| 
          15
           | 
        
        
          16
           | 
        
        
          17
           | 
        
        
          18
           | 
        
        
          19
           | 
        
        
          20
           | 
        
        
          21
           | 
        
      
| 
          22
           | 
        
        
          23
           | 
        
        
          24
           | 
        
        
          25
           | 
        
        
          26
           | 
        
        
          27
           | 
        
        
          28
           | 
        
      
| 
          29
           | 
        
        
          30
           (1)  | 
        
        
          31
           (2)  | 
        
        
           
           | 
        
        
           
           | 
        
        
           
           | 
        
        
           
           | 
        
      
| 
     
      
      
      From: Fabio Y. O. <ok...@in...> - 2005-05-31 16:13:39
      
     
   | 
Thanks, it helped a lot.
Fabio Yoshimitsu Okuyama
ok...@in...
----- Original Message ----- 
From: "Rafael H Bordini" <R.B...@du...>
To: "Fabio Yoshimitsu Okuyama" <ok...@in...>
Cc: <jas...@li...>
Sent: Tuesday, May 31, 2005 10:50 AM
Subject: Re: [Jason-users] Environment Synchronization
>
> Hi Fabio,
>
> Yes, you need to worry about synchronisation. In the old
> days Jason used to do that automatically (the executeAction
> method was "synchronized"), but that turned the environment
> too much into a bottleneck of the system, so we now leave
> it for the programmer to handle that, i.e., to synchronise
> only at the points where changes are actually being made
> to the list of percepts. You can do something like:
>
> synchronized(getPercepts()) {
>   // change percepts here...
> }
>
> when you need to update the percepts. Having this kind
> of synchronisation greatly improves the performance of
> the environment.
>
> Version 0.7 which will be realeased in one or a couple
> of weeks, the mechanism used for individual and global
> percepts will be improved too, so you can synchronise
> on an angent's individual list of percepts rather than
> the global one, which can also make it more efficient.
>
> Hope that helps,
>
> Rafael
>
>
> Fabio Yoshimitsu Okuyama writes:
> > Hi,
> >
> >     I was programming an environment for Jason and the following doubt 
> > came
> >     out: On the implementation of the executeAction function, do I have 
> > to
> >     worry about synchronization??  Avoiding deadlocks or inconsistency 
> > due
> >     to multiple access on my environment data (getPercepts and 
> > executAction
> >     functions) is done by Jason or I have to implement some kind of
> >     lock-unlock on my environment? Is it something to worry?
> >
> > best regards,
> >
> > Fabio Yoshimitsu Okuyama
> > ok...@in... 
 | 
| 
     
      
      
      From: Rafael H B. <R.B...@du...> - 2005-05-31 13:54:23
      
     
   | 
Hi Fabio,
Yes, you need to worry about synchronisation. In the old
days Jason used to do that automatically (the executeAction
method was "synchronized"), but that turned the environment
too much into a bottleneck of the system, so we now leave
it for the programmer to handle that, i.e., to synchronise
only at the points where changes are actually being made
to the list of percepts. You can do something like:
synchronized(getPercepts()) {
   // change percepts here...
}
when you need to update the percepts. Having this kind
of synchronisation greatly improves the performance of
the environment.
Version 0.7 which will be realeased in one or a couple
of weeks, the mechanism used for individual and global
percepts will be improved too, so you can synchronise
on an angent's individual list of percepts rather than
the global one, which can also make it more efficient.
Hope that helps,
Rafael
Fabio Yoshimitsu Okuyama writes:
 > Hi,
 > 
 >     I was programming an environment for Jason and the following doubt came
 >     out: On the implementation of the executeAction function, do I have to
 >     worry about synchronization??  Avoiding deadlocks or inconsistency due
 >     to multiple access on my environment data (getPercepts and executAction
 >     functions) is done by Jason or I have to implement some kind of
 >     lock-unlock on my environment? Is it something to worry?
 > 
 > best regards,
 > 
 > Fabio Yoshimitsu Okuyama
 > ok...@in...
 | 
| 
     
      
      
      From: Fabio Y. O. <ok...@in...> - 2005-05-30 19:24:37
      
     
   | 
Hi,
    I was programming an environment for Jason and the following doubt =
came out:
    On the implementation of the executeAction function, do I have to =
worry about synchronization??
    Avoiding deadlocks or inconsistency due to multiple access on my =
environment data (getPercepts and executAction functions) is done by =
Jason or I have to implement some kind of lock-unlock on my environment? =
Is it something to worry?
best regards,
Fabio Yoshimitsu Okuyama
ok...@in... |