Anforderungen  |   Konzepte  |   Entwurf  |   Entwicklung  |   Qualitätssicherung  |   Lebenszyklus  |   Steuerung
 
 
 
 


Quelle  inconsistency-check.c   Sprache: C

 
/* Time inconsistency check test
 * by: john stultz (johnstul@us.ibm.com)
 * (C) Copyright IBM 2003, 2004, 2005, 2012
 * (C) Copyright Linaro Limited 2015
 * Licensed under the GPLv2
 *
 *  To build:
 * $ gcc inconsistency-check.c -o inconsistency-check -lrt
 *
 *   This program is free software: you can redistribute it and/or modify
 *   it under the terms of the GNU General Public License as published by
 *   the Free Software Foundation, either version 2 of the License, or
 *   (at your option) any later version.
 *
 *   This program is distributed in the hope that it will be useful,
 *   but WITHOUT ANY WARRANTY; without even the implied warranty of
 *   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 *   GNU General Public License for more details.
 */




#include <stdio.h>
#include <unistd.h>
#include <stdlib.h>
#include <time.h>
#include <sys/time.h>
#include <sys/timex.h>
#include <string.h>
#include <signal.h>
#include <include/vdso/time64.h>
#include "../kselftest.h"

/* CLOCK_HWSPECIFIC == CLOCK_SGI_CYCLE (Deprecated) */
#define CLOCK_HWSPECIFIC  10

#define CALLS_PER_LOOP 64

char *clockstring(int clockid)
{
 switch (clockid) {
 case CLOCK_REALTIME:
  return "CLOCK_REALTIME";
 case CLOCK_MONOTONIC:
  return "CLOCK_MONOTONIC";
 case CLOCK_PROCESS_CPUTIME_ID:
  return "CLOCK_PROCESS_CPUTIME_ID";
 case CLOCK_THREAD_CPUTIME_ID:
  return "CLOCK_THREAD_CPUTIME_ID";
 case CLOCK_MONOTONIC_RAW:
  return "CLOCK_MONOTONIC_RAW";
 case CLOCK_REALTIME_COARSE:
  return "CLOCK_REALTIME_COARSE";
 case CLOCK_MONOTONIC_COARSE:
  return "CLOCK_MONOTONIC_COARSE";
 case CLOCK_BOOTTIME:
  return "CLOCK_BOOTTIME";
 case CLOCK_REALTIME_ALARM:
  return "CLOCK_REALTIME_ALARM";
 case CLOCK_BOOTTIME_ALARM:
  return "CLOCK_BOOTTIME_ALARM";
 case CLOCK_TAI:
  return "CLOCK_TAI";
 }
 return "UNKNOWN_CLOCKID";
}

/* returns 1 if a <= b, 0 otherwise */
static inline int in_order(struct timespec a, struct timespec b)
{
 /* use unsigned to avoid false positives on 2038 rollover */
 if ((unsigned long)a.tv_sec < (unsigned long)b.tv_sec)
  return 1;
 if ((unsigned long)a.tv_sec > (unsigned long)b.tv_sec)
  return 0;
 if (a.tv_nsec > b.tv_nsec)
  return 0;
 return 1;
}



int consistency_test(int clock_type, unsigned long seconds)
{
 struct timespec list[CALLS_PER_LOOP];
 int i, inconsistent;
 long now, then;
 time_t t;
 char *start_str;

 clock_gettime(clock_type, &list[0]);
 now = then = list[0].tv_sec;

 /* timestamp start of test */
 t = time(0);
 start_str = ctime(&t);

 while (seconds == -1 || now - then < seconds) {
  inconsistent = -1;

  /* Fill list */
  for (i = 0; i < CALLS_PER_LOOP; i++)
   clock_gettime(clock_type, &list[i]);

  /* Check for inconsistencies */
  for (i = 0; i < CALLS_PER_LOOP - 1; i++)
   if (!in_order(list[i], list[i+1]))
    inconsistent = i;

  /* display inconsistency */
  if (inconsistent >= 0) {
   unsigned long long delta;

   ksft_print_msg("\%s\n", start_str);
   for (i = 0; i < CALLS_PER_LOOP; i++) {
    if (i == inconsistent)
     ksft_print_msg("--------------------\n");
    ksft_print_msg("%lu:%lu\n", list[i].tv_sec,
       list[i].tv_nsec);
    if (i == inconsistent + 1)
     ksft_print_msg("--------------------\n");
   }
   delta = list[inconsistent].tv_sec * NSEC_PER_SEC;
   delta += list[inconsistent].tv_nsec;
   delta -= list[inconsistent+1].tv_sec * NSEC_PER_SEC;
   delta -= list[inconsistent+1].tv_nsec;
   ksft_print_msg("Delta: %llu ns\n", delta);
   fflush(0);
   /* timestamp inconsistency*/
   t = time(0);
   ksft_print_msg("%s\n", ctime(&t));
   return -1;
  }
  now = list[0].tv_sec;
 }
 return 0;
}


int main(int argc, char *argv[])
{
 int clockid, opt;
 int userclock = CLOCK_REALTIME;
 int maxclocks = CLOCK_TAI + 1;
 int runtime = 10;
 struct timespec ts;

 /* Process arguments */
 while ((opt = getopt(argc, argv, "t:c:")) != -1) {
  switch (opt) {
  case 't':
   runtime = atoi(optarg);
   break;
  case 'c':
   userclock = atoi(optarg);
   maxclocks = userclock + 1;
   break;
  default:
   printf("Usage: %s [-t ] [-c ]\n", argv[0]);
   printf(" -t: Number of seconds to run\n");
   printf(" -c: clockid to use (default, all clockids)\n");
   exit(-1);
  }
 }

 setbuf(stdout, NULL);

 ksft_print_header();
 ksft_set_plan(maxclocks - userclock);

 for (clockid = userclock; clockid < maxclocks; clockid++) {

  if (clockid == CLOCK_HWSPECIFIC || clock_gettime(clockid, &ts)) {
   ksft_test_result_skip("%-31s\n", clockstring(clockid));
   continue;
  }

  if (consistency_test(clockid, runtime)) {
   ksft_test_result_fail("%-31s\n", clockstring(clockid));
   ksft_exit_fail();
  } else {
   ksft_test_result_pass("%-31s\n", clockstring(clockid));
  }
 }
 ksft_exit_pass();
}

Messung V0.5
C=95 H=97 G=95

¤ Dauer der Verarbeitung: 0.4 Sekunden  ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.






                                                                                                                                                                                                                                                                                                                                                                                                     


Neuigkeiten

     Aktuelles
     Motto des Tages

Software

     Produkte
     Quellcodebibliothek

Aktivitäten

     Artikel über Sicherheit
     Anleitung zur Aktivierung von SSL

Muße

     Gedichte
     Musik
     Bilder

Jenseits des Üblichen ....

Besucherstatistik

Besucherstatistik

Monitoring

Montastic status badge