(j3.2006) [Fwd: SIGPLAN Posting (Upcoming Events and Deadlines)]

[Van Snyder]

On Fri, 2015-11-20 at 13:54 +0000, Bill Long wrote:
> Noteworthy goal of the program:
> 
> Research is needed in: (a) design of new programming languages,
> program logics, type theories, and language mechanisms that support
> new computational and data models, raise the level of abstraction, and
> have programmability, verifiability, modularity, compositionality, and
> scalable performance as design goals;
> 
> Not clear why ?new programming languages? are needed to accomplish
> what is mostly already available.  Maybe they would fund Damian to
> have him explain this to them. 

Maybe people will start looking again at dataflow.  But we already have
Haskell, Id, pH, and SISAL.

There are still features of parallelism that could be added to Fortran:
A Fork/Join construct (syntactic sugar for a DO CONCURRENT with a SELECT
CASE inside it), asynchronous blocks or processes (like Ada tasks),
futures, lazy evaluation, monitors, coroutines....  Ada has an entity
called a protected variable, that (IIRC) makes synchronization more
efficient.  I believe (again IIRC) that it's primarily for realtime, not
parallelism.  I need to read Burns and Wellings again.

> Cheers,
> Bill
> 
> 
> On Nov 19, 2015, at 8:04 PM, Van Snyder <van.snyder at jpl.nasa.gov> wrote:
> 
> > 
> > TITLE:    Exploiting Parallelism and Scalability (XPS) (nsf16507) |
> >           NSF - National Science Foundation
> > 
> > Program Solicitation:
> > NSF 16-507
> > http://www.nsf.gov/pubs/2016/nsf16507/nsf16507.htm
> > 
> > Full Proposal Deadline Date:
> > January 19, 2016 (5 p.m. proposer's local time)
> > 
> > SYNOPSIS
> > 
> > Computing systems have undergone a fundamental transformation from the
> > single-core processor-devices of the turn of the century to today's
> > ubiquitous and networked-devices with multicore/many-core processors
> > along with warehouse-scale computing via the cloud. At the same time,
> > semiconductor technology is facing fundamental physical limits and
> > single-processor performance has plateaued. This means that the
> > ability to achieve predictable performance improvements through
> > improved processor technologies alone has ended. Thus, parallelism has
> > become critically important.
> > 
> > The Exploiting Parallelism and Scalability (XPS) program aims to
> > support groundbreaking research leading to a new era of parallel
> > computing. Achieving the needed breakthroughs will require a
> > collaborative effort among researchers representing all areas -- from
> > services and applications down to the micro-architecture -- and will
> > be built on new concepts, theories, and foundational principles. New
> > approaches to achieving scalable performance and usability need new
> > abstract models and algorithms, new programming models and languages,
> > and new hardware architectures, compilers, operating systems and
> > run-time systems, and must exploit domain and application-specific
> > knowledge. Research is also needed on energy efficiency, communication
> > efficiency, and on enabling the division of effort between edge
> > devices and clouds.
> > 
> > 
> > _______________________________________________
> > J3 mailing list
> > J3 at mailman.j3-fortran.org
> > http://mailman.j3-fortran.org/mailman/listinfo/j3
> 
> Bill Long                                                                       longb at cray.com
> Fortran Technical Support  &                                  voice:  651-605-9024
> Bioinformatics Software Development                     fax:  651-605-9142
> Cray Inc./ Cray Plaza, Suite 210/ 380 Jackson St./ St. Paul, MN 55101
> 
>