Towards a Java multiprocessor

Abstract

The subtyping relation in Java exhibits self-similarity. The self-similarity in Java subtyping is interesting and intricate due to the existence of wild-card types and, accordingly, the existence of three subtyping rules for generic types: covariant subtyp-ing, contravariant subtyping and invariant subtyping. Supporting bounded type variables also adds to the complexity of the subtyping relation in Java and in other generic nominally-typed OO languages such as C# and Scala. In this paper we explore defining an operad to model the construction of the subtyping relation in Java and in similar generic nominally-typed OO programming languages. Operads, from category theory, are frequently used to model self-similar phenomena. The Java subtyping operad, we hope, will shed more light on understanding the type systems of generic nominally-typed OO languages.

Overview of Real-Time Java Computing

“…So it is possible to combine it with some simulators such as SimpleScalar or Trimaran so as to build a multiprocessor system. There is some research work [110] focusing on multiprocessor, and I think this is a very promising research field.…”

Hardware Support for Embedded Java

“…The main focus of the CMP version of JOP [39,40] is to keep the CMP time-predictable, even with access to shared main memory. Pitter implemented a TDMA based memory arbiter and integrated the timing model of the arbiter into the WCET analysis tool for JOP.…”

JEOPARD -- Java Environment for Parallel Real-Time Development

“…2) Multi-JOP -a number of hardware Java processors with some shared memory (based upon the Java processor JOP, [11], [12]). JOP is a small processor design and we will implement 8 (or more) cores on a medium sized field programmable gate array (FPGA).…”