Patch title: Release 87 bulk changes
Abstract:
File: /pliant/language/schedule/pentium.pli
Key:
    Removed line
    Added line
   
# Copyright  Hubert Tonneau  hubert.tonneau@pliant.cx
#
# This program is free software; you can redistribute it and
# modify it under the terms of the GNU General Public Licens
# as published by the Free Software Foundation.
#
# This program is distributed in the hope that it will be us
# but WITHOUT ANY WARRANTY; without even the implied warrant
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See 
# GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public 
# version 2 along with this program; if not, write to the Fr
# Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 


function is_pentium -> pentium
  arg CBool pentium
  if processor_name<>"i386"
    return false
  if processor_count>1
    return true
  var Int handle := file_open "/pliant_security/this_compute
  if handle<>(-1)
    while (file_readline handle (var Str l))
      if (l parse "<pdata path=[dq]/env/hardware/processor/m
        pentium := not (id parse "i" (var Int num) any) or n
        file_close handle
        return
    file_close handle
  if os_api="linux" or os_kernel="Linux"
    var Int handle := file_open "/proc/cpuinfo" 1
    if handle<>(-1)
      pentium := false
      while (file_readline handle (var Str l))
        if (l parse word:"flags" ":" any word:"tsc" any)
          pentium := true
      file_close handle
      return
# Copyright  Hubert Tonneau  hubert.tonneau@pliant.cx
#
# This program is free software; you can redistribute it and
# modify it under the terms of the GNU General Public Licens
# as published by the Free Software Foundation.
#
# This program is distributed in the hope that it will be us
# but WITHOUT ANY WARRANTY; without even the implied warrant
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See 
# GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public 
# version 2 along with this program; if not, write to the Fr
# Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 


function is_pentium -> pentium
  arg CBool pentium
  if processor_name<>"i386"
    return false
  if processor_count>1
    return true
  var Int handle := file_open "/pliant_security/this_compute
  if handle<>(-1)
    while (file_readline handle (var Str l))
      if (l parse "<pdata path=[dq]/env/hardware/processor/m
        pentium := not (id parse "i" (var Int num) any) or n
        file_close handle
        return
    file_close handle
  if os_api="linux" or os_kernel="Linux"
    var Int handle := file_open "/proc/cpuinfo" 1
    if handle<>(-1)
      pentium := false
      while (file_readline handle (var Str l))
        if (l parse word:"flags" ":" any word:"tsc" any)
          pentium := true
      file_close handle
      return
  console "  assuming that the processor is pentium class[lf
  # console "  assuming that the processor is pentium class[lf]"
  pentium := true


  export pentium_counter
  pentium := true


  export pentium_counter