Fast evaluation of boolean circuits based on two-players game and optical connectivity circuits

Yosi Ben Asher, Eldar Fisher, Gadi Haber, Vladislav Tartakovsky

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

In this work we consider the problem of fast parallel evaluation of boolean circuits - namely to evaluate a boolean circuit C, with input leaf values, faster than its depth, which would practically require log depth iterations to complete. Finding a general parallel algorithm that can evaluate any circuit using log depth iterations is known as the Circuit Value Problem (CVP). The CVP and its approximations are known to be P-complete and therefore, a heuristically solution that practically works for all "real-computations" is sought. In this work we propose a new algorithm based on a two players game that can reduce the evaluation time of a boolean circuit C by up to min(h, min (log d, log co -d )) iterations where h is the maximal number of and-or alternations along any path in C and d (and co - d) is the algebraic degree (and co-degree) of C. This improves the theoretical bound of the MRK algorithm (Miller, Ramachandran and Kaltofen 86) for the case of parallel evaluation of boolean circuits. More importantly we show, via experiments, that for circuits emanating from real programs, the proposed algorithm can practically evaluate circuits in log - depth iterations. Each iteration can be evaluated in parallel using a connectivity step, and although it can be implemented using log-depth boolean circuits, we consider an optical switching realization that is based on Optical Ring Resonators (ORR). Due to quantum effects, propagating a light beam through a sequence of ORRs can be done with zero latency, thus making ORRs ideal for implementing the connectivity step required by the proposed algorithm. In order to obtain the needed experiments, we have extended the LLVM compiler to transform C-code into boolean circuits and then simulated the optical evaluation of these circuits using the proposed two player game. Our experiments indeed show that circuits emanating from real applications can be evaluated in log-depth iterations of the proposed algorithm and that the optical implementation is feasible.

Original languageEnglish
Title of host publicationProceedings - 41st International Conference on Parallel Processing, ICPP 2012
Pages21-29
Number of pages9
DOIs
StatePublished - 2012
Event41st International Conference on Parallel Processing, ICPP 2012 - Pittsburgh, PA, United States
Duration: 10 Sep 201213 Sep 2012

Publication series

NameProceedings of the International Conference on Parallel Processing
ISSN (Print)0190-3918

Conference

Conference41st International Conference on Parallel Processing, ICPP 2012
Country/TerritoryUnited States
CityPittsburgh, PA
Period10/09/1213/09/12

Keywords

  • Circuit value problem
  • Integrated Optics
  • Parallel

ASJC Scopus subject areas

  • Software
  • Mathematics (all)
  • Hardware and Architecture

Fingerprint

Dive into the research topics of 'Fast evaluation of boolean circuits based on two-players game and optical connectivity circuits'. Together they form a unique fingerprint.

Cite this