CLIP Lab
The Computational logic, Languages, Implementation, and Parallelism Laboratory

Hardware Resources of the CLIP Laboratory

Apart from the resources (computers, printers, etc.) provided by the School of Computer Science, the CLIP Laboratory has its own hardware resources, devoted to the group's projects and activities. These currently include:

  • A new multiprocessor server with 24 processors, 16 Gb of Memory
  • A multiprocessor PC server (Dell PowerEdge 4600, 2 processors, 4 Gb of Mem).
  • Several workstations (currently Intel Dual Core 2.4GHz), with 24" monitors, headphones, webcams, and several flavors of Linux, Windows, etc.
  • A server mirroring the main server, used mainly for backup purposes.
  • A Disk Array of 6 Tb in RAID5
  • A net of testing machines (for continuous testing of the SW packages we distribute, specially Ciao), including a server with several Linux and Windows virtual machines, a Macintosh workstation, with MacOsX, and a SPARC station with Solaris.
  • Several laptops (with auxiliary monitors and keyboards) and presentation equipment.
  • A videconferencing-equipped meeting room, and videconferencing on most workstations and laptops.
  • Access to the Magerit supercomputer, a cluster of 180 eServer BladeCenter JS20 located in our department which is part of the National Supercomputing Center.
Plus the usual set of printers, tape and CD/DVD, devices, projectors, etc.

We also have gathered over the years some now museum-type older equipment, including just to name an example a mid-80's multiprocessor Sequent Balance (6 processors), an early precursor of modern multicore architectures (with, e.g., coherent caches) on which the &-Prolog system (the precursor of Ciao) ran in parallel for the first time.