Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/C/Linux/drivers/perf/hisilicon/   (Open Source Betriebssystem Version 6.17.9©)  Datei vom 24.10.2025 mit Größe 16 kB image not shown  

Quelle  hisi_uncore_l3c_pmu.c   Sprache: C

 
// SPDX-License-Identifier: GPL-2.0-only
/*
 * HiSilicon SoC L3C uncore Hardware event counters support
 *
 * Copyright (C) 2017 HiSilicon Limited
 * Author: Anurup M <anurup.m@huawei.com>
 *         Shaokun Zhang <zhangshaokun@hisilicon.com>
 *
 * This code is based on the uncore PMUs like arm-cci and arm-ccn.
 */

#include <linux/acpi.h>
#include <linux/bug.h>
#include <linux/cpuhotplug.h>
#include <linux/interrupt.h>
#include <linux/irq.h>
#include <linux/list.h>
#include <linux/smp.h>

#include "hisi_uncore_pmu.h"

/* L3C register definition */
#define L3C_PERF_CTRL  0x0408
#define L3C_INT_MASK  0x0800
#define L3C_INT_STATUS  0x0808
#define L3C_INT_CLEAR  0x080c
#define L3C_CORE_CTRL           0x1b04
#define L3C_TRACETAG_CTRL       0x1b20
#define L3C_DATSRC_TYPE         0x1b48
#define L3C_DATSRC_CTRL         0x1bf0
#define L3C_EVENT_CTRL         0x1c00
#define L3C_VERSION  0x1cf0
#define L3C_EVENT_TYPE0  0x1d00
/*
 * If the HW version only supports a 48-bit counter, then
 * bits [63:48] are reserved, which are Read-As-Zero and
 * Writes-Ignored.
 */

#define L3C_CNTR0_LOWER  0x1e00

/* L3C has 8-counters */
#define L3C_NR_COUNTERS  0x8

#define L3C_PERF_CTRL_EN 0x10000
#define L3C_TRACETAG_EN  BIT(31)
#define L3C_TRACETAG_REQ_SHIFT 7
#define L3C_TRACETAG_MARK_EN BIT(0)
#define L3C_TRACETAG_REQ_EN (L3C_TRACETAG_MARK_EN | BIT(2))
#define L3C_TRACETAG_CORE_EN (L3C_TRACETAG_MARK_EN | BIT(3))
#define L3C_CORE_EN  BIT(20)
#define L3C_COER_NONE  0x0
#define L3C_DATSRC_MASK  0xFF
#define L3C_DATSRC_SKT_EN BIT(23)
#define L3C_DATSRC_NONE  0x0
#define L3C_EVTYPE_NONE  0xff
#define L3C_V1_NR_EVENTS 0x59
#define L3C_V2_NR_EVENTS 0xFF

HISI_PMU_EVENT_ATTR_EXTRACTOR(tt_core, config1, 7, 0);
HISI_PMU_EVENT_ATTR_EXTRACTOR(tt_req, config1, 10, 8);
HISI_PMU_EVENT_ATTR_EXTRACTOR(datasrc_cfg, config1, 15, 11);
HISI_PMU_EVENT_ATTR_EXTRACTOR(datasrc_skt, config1, 16, 16);

static void hisi_l3c_pmu_config_req_tracetag(struct perf_event *event)
{
 struct hisi_pmu *l3c_pmu = to_hisi_pmu(event->pmu);
 u32 tt_req = hisi_get_tt_req(event);

 if (tt_req) {
  u32 val;

  /* Set request-type for tracetag */
  val = readl(l3c_pmu->base + L3C_TRACETAG_CTRL);
  val |= tt_req << L3C_TRACETAG_REQ_SHIFT;
  val |= L3C_TRACETAG_REQ_EN;
  writel(val, l3c_pmu->base + L3C_TRACETAG_CTRL);

  /* Enable request-tracetag statistics */
  val = readl(l3c_pmu->base + L3C_PERF_CTRL);
  val |= L3C_TRACETAG_EN;
  writel(val, l3c_pmu->base + L3C_PERF_CTRL);
 }
}

static void hisi_l3c_pmu_clear_req_tracetag(struct perf_event *event)
{
 struct hisi_pmu *l3c_pmu = to_hisi_pmu(event->pmu);
 u32 tt_req = hisi_get_tt_req(event);

 if (tt_req) {
  u32 val;

  /* Clear request-type */
  val = readl(l3c_pmu->base + L3C_TRACETAG_CTRL);
  val &= ~(tt_req << L3C_TRACETAG_REQ_SHIFT);
  val &= ~L3C_TRACETAG_REQ_EN;
  writel(val, l3c_pmu->base + L3C_TRACETAG_CTRL);

  /* Disable request-tracetag statistics */
  val = readl(l3c_pmu->base + L3C_PERF_CTRL);
  val &= ~L3C_TRACETAG_EN;
  writel(val, l3c_pmu->base + L3C_PERF_CTRL);
 }
}

static void hisi_l3c_pmu_write_ds(struct perf_event *event, u32 ds_cfg)
{
 struct hisi_pmu *l3c_pmu = to_hisi_pmu(event->pmu);
 struct hw_perf_event *hwc = &event->hw;
 u32 reg, reg_idx, shift, val;
 int idx = hwc->idx;

 /*
 * Select the appropriate datasource register(L3C_DATSRC_TYPE0/1).
 * There are 2 datasource ctrl register for the 8 hardware counters.
 * Datasrc is 8-bits and for the former 4 hardware counters,
 * L3C_DATSRC_TYPE0 is chosen. For the latter 4 hardware counters,
 * L3C_DATSRC_TYPE1 is chosen.
 */

 reg = L3C_DATSRC_TYPE + (idx / 4) * 4;
 reg_idx = idx % 4;
 shift = 8 * reg_idx;

 val = readl(l3c_pmu->base + reg);
 val &= ~(L3C_DATSRC_MASK << shift);
 val |= ds_cfg << shift;
 writel(val, l3c_pmu->base + reg);
}

static void hisi_l3c_pmu_config_ds(struct perf_event *event)
{
 struct hisi_pmu *l3c_pmu = to_hisi_pmu(event->pmu);
 u32 ds_cfg = hisi_get_datasrc_cfg(event);
 u32 ds_skt = hisi_get_datasrc_skt(event);

 if (ds_cfg)
  hisi_l3c_pmu_write_ds(event, ds_cfg);

 if (ds_skt) {
  u32 val;

  val = readl(l3c_pmu->base + L3C_DATSRC_CTRL);
  val |= L3C_DATSRC_SKT_EN;
  writel(val, l3c_pmu->base + L3C_DATSRC_CTRL);
 }
}

static void hisi_l3c_pmu_clear_ds(struct perf_event *event)
{
 struct hisi_pmu *l3c_pmu = to_hisi_pmu(event->pmu);
 u32 ds_cfg = hisi_get_datasrc_cfg(event);
 u32 ds_skt = hisi_get_datasrc_skt(event);

 if (ds_cfg)
  hisi_l3c_pmu_write_ds(event, L3C_DATSRC_NONE);

 if (ds_skt) {
  u32 val;

  val = readl(l3c_pmu->base + L3C_DATSRC_CTRL);
  val &= ~L3C_DATSRC_SKT_EN;
  writel(val, l3c_pmu->base + L3C_DATSRC_CTRL);
 }
}

static void hisi_l3c_pmu_config_core_tracetag(struct perf_event *event)
{
 struct hisi_pmu *l3c_pmu = to_hisi_pmu(event->pmu);
 u32 core = hisi_get_tt_core(event);

 if (core) {
  u32 val;

  /* Config and enable core information */
  writel(core, l3c_pmu->base + L3C_CORE_CTRL);
  val = readl(l3c_pmu->base + L3C_PERF_CTRL);
  val |= L3C_CORE_EN;
  writel(val, l3c_pmu->base + L3C_PERF_CTRL);

  /* Enable core-tracetag statistics */
  val = readl(l3c_pmu->base + L3C_TRACETAG_CTRL);
  val |= L3C_TRACETAG_CORE_EN;
  writel(val, l3c_pmu->base + L3C_TRACETAG_CTRL);
 }
}

static void hisi_l3c_pmu_clear_core_tracetag(struct perf_event *event)
{
 struct hisi_pmu *l3c_pmu = to_hisi_pmu(event->pmu);
 u32 core = hisi_get_tt_core(event);

 if (core) {
  u32 val;

  /* Clear core information */
  writel(L3C_COER_NONE, l3c_pmu->base + L3C_CORE_CTRL);
  val = readl(l3c_pmu->base + L3C_PERF_CTRL);
  val &= ~L3C_CORE_EN;
  writel(val, l3c_pmu->base + L3C_PERF_CTRL);

  /* Disable core-tracetag statistics */
  val = readl(l3c_pmu->base + L3C_TRACETAG_CTRL);
  val &= ~L3C_TRACETAG_CORE_EN;
  writel(val, l3c_pmu->base + L3C_TRACETAG_CTRL);
 }
}

static void hisi_l3c_pmu_enable_filter(struct perf_event *event)
{
 if (event->attr.config1 != 0x0) {
  hisi_l3c_pmu_config_req_tracetag(event);
  hisi_l3c_pmu_config_core_tracetag(event);
  hisi_l3c_pmu_config_ds(event);
 }
}

static void hisi_l3c_pmu_disable_filter(struct perf_event *event)
{
 if (event->attr.config1 != 0x0) {
  hisi_l3c_pmu_clear_ds(event);
  hisi_l3c_pmu_clear_core_tracetag(event);
  hisi_l3c_pmu_clear_req_tracetag(event);
 }
}

/*
 * Select the counter register offset using the counter index
 */

static u32 hisi_l3c_pmu_get_counter_offset(int cntr_idx)
{
 return (L3C_CNTR0_LOWER + (cntr_idx * 8));
}

static u64 hisi_l3c_pmu_read_counter(struct hisi_pmu *l3c_pmu,
         struct hw_perf_event *hwc)
{
 return readq(l3c_pmu->base + hisi_l3c_pmu_get_counter_offset(hwc->idx));
}

static void hisi_l3c_pmu_write_counter(struct hisi_pmu *l3c_pmu,
           struct hw_perf_event *hwc, u64 val)
{
 writeq(val, l3c_pmu->base + hisi_l3c_pmu_get_counter_offset(hwc->idx));
}

static void hisi_l3c_pmu_write_evtype(struct hisi_pmu *l3c_pmu, int idx,
          u32 type)
{
 u32 reg, reg_idx, shift, val;

 /*
 * Select the appropriate event select register(L3C_EVENT_TYPE0/1).
 * There are 2 event select registers for the 8 hardware counters.
 * Event code is 8-bits and for the former 4 hardware counters,
 * L3C_EVENT_TYPE0 is chosen. For the latter 4 hardware counters,
 * L3C_EVENT_TYPE1 is chosen.
 */

 reg = L3C_EVENT_TYPE0 + (idx / 4) * 4;
 reg_idx = idx % 4;
 shift = 8 * reg_idx;

 /* Write event code to L3C_EVENT_TYPEx Register */
 val = readl(l3c_pmu->base + reg);
 val &= ~(L3C_EVTYPE_NONE << shift);
 val |= (type << shift);
 writel(val, l3c_pmu->base + reg);
}

static void hisi_l3c_pmu_start_counters(struct hisi_pmu *l3c_pmu)
{
 u32 val;

 /*
 * Set perf_enable bit in L3C_PERF_CTRL register to start counting
 * for all enabled counters.
 */

 val = readl(l3c_pmu->base + L3C_PERF_CTRL);
 val |= L3C_PERF_CTRL_EN;
 writel(val, l3c_pmu->base + L3C_PERF_CTRL);
}

static void hisi_l3c_pmu_stop_counters(struct hisi_pmu *l3c_pmu)
{
 u32 val;

 /*
 * Clear perf_enable bit in L3C_PERF_CTRL register to stop counting
 * for all enabled counters.
 */

 val = readl(l3c_pmu->base + L3C_PERF_CTRL);
 val &= ~(L3C_PERF_CTRL_EN);
 writel(val, l3c_pmu->base + L3C_PERF_CTRL);
}

static void hisi_l3c_pmu_enable_counter(struct hisi_pmu *l3c_pmu,
     struct hw_perf_event *hwc)
{
 u32 val;

 /* Enable counter index in L3C_EVENT_CTRL register */
 val = readl(l3c_pmu->base + L3C_EVENT_CTRL);
 val |= (1 << hwc->idx);
 writel(val, l3c_pmu->base + L3C_EVENT_CTRL);
}

static void hisi_l3c_pmu_disable_counter(struct hisi_pmu *l3c_pmu,
      struct hw_perf_event *hwc)
{
 u32 val;

 /* Clear counter index in L3C_EVENT_CTRL register */
 val = readl(l3c_pmu->base + L3C_EVENT_CTRL);
 val &= ~(1 << hwc->idx);
 writel(val, l3c_pmu->base + L3C_EVENT_CTRL);
}

static void hisi_l3c_pmu_enable_counter_int(struct hisi_pmu *l3c_pmu,
         struct hw_perf_event *hwc)
{
 u32 val;

 val = readl(l3c_pmu->base + L3C_INT_MASK);
 /* Write 0 to enable interrupt */
 val &= ~(1 << hwc->idx);
 writel(val, l3c_pmu->base + L3C_INT_MASK);
}

static void hisi_l3c_pmu_disable_counter_int(struct hisi_pmu *l3c_pmu,
          struct hw_perf_event *hwc)
{
 u32 val;

 val = readl(l3c_pmu->base + L3C_INT_MASK);
 /* Write 1 to mask interrupt */
 val |= (1 << hwc->idx);
 writel(val, l3c_pmu->base + L3C_INT_MASK);
}

static u32 hisi_l3c_pmu_get_int_status(struct hisi_pmu *l3c_pmu)
{
 return readl(l3c_pmu->base + L3C_INT_STATUS);
}

static void hisi_l3c_pmu_clear_int_status(struct hisi_pmu *l3c_pmu, int idx)
{
 writel(1 << idx, l3c_pmu->base + L3C_INT_CLEAR);
}

static const struct acpi_device_id hisi_l3c_pmu_acpi_match[] = {
 { "HISI0213", },
 { "HISI0214", },
 {}
};
MODULE_DEVICE_TABLE(acpi, hisi_l3c_pmu_acpi_match);

static int hisi_l3c_pmu_init_data(struct platform_device *pdev,
      struct hisi_pmu *l3c_pmu)
{
 hisi_uncore_pmu_init_topology(l3c_pmu, &pdev->dev);

 /*
 * Use the SCCL_ID and CCL_ID to identify the L3C PMU, while
 * SCCL_ID is in MPIDR[aff2] and CCL_ID is in MPIDR[aff1].
 */

 if (l3c_pmu->topo.sccl_id < 0) {
  dev_err(&pdev->dev, "Can not read l3c sccl-id!\n");
  return -EINVAL;
 }

 if (l3c_pmu->topo.ccl_id < 0) {
  dev_err(&pdev->dev, "Can not read l3c ccl-id!\n");
  return -EINVAL;
 }

 l3c_pmu->base = devm_platform_ioremap_resource(pdev, 0);
 if (IS_ERR(l3c_pmu->base)) {
  dev_err(&pdev->dev, "ioremap failed for l3c_pmu resource\n");
  return PTR_ERR(l3c_pmu->base);
 }

 l3c_pmu->identifier = readl(l3c_pmu->base + L3C_VERSION);

 return 0;
}

static struct attribute *hisi_l3c_pmu_v1_format_attr[] = {
 HISI_PMU_FORMAT_ATTR(event, "config:0-7"),
 NULL,
};

static const struct attribute_group hisi_l3c_pmu_v1_format_group = {
 .name = "format",
 .attrs = hisi_l3c_pmu_v1_format_attr,
};

static struct attribute *hisi_l3c_pmu_v2_format_attr[] = {
 HISI_PMU_FORMAT_ATTR(event, "config:0-7"),
 HISI_PMU_FORMAT_ATTR(tt_core, "config1:0-7"),
 HISI_PMU_FORMAT_ATTR(tt_req, "config1:8-10"),
 HISI_PMU_FORMAT_ATTR(datasrc_cfg, "config1:11-15"),
 HISI_PMU_FORMAT_ATTR(datasrc_skt, "config1:16"),
 NULL
};

static const struct attribute_group hisi_l3c_pmu_v2_format_group = {
 .name = "format",
 .attrs = hisi_l3c_pmu_v2_format_attr,
};

static struct attribute *hisi_l3c_pmu_v1_events_attr[] = {
 HISI_PMU_EVENT_ATTR(rd_cpipe,  0x00),
 HISI_PMU_EVENT_ATTR(wr_cpipe,  0x01),
 HISI_PMU_EVENT_ATTR(rd_hit_cpipe, 0x02),
 HISI_PMU_EVENT_ATTR(wr_hit_cpipe, 0x03),
 HISI_PMU_EVENT_ATTR(victim_num,  0x04),
 HISI_PMU_EVENT_ATTR(rd_spipe,  0x20),
 HISI_PMU_EVENT_ATTR(wr_spipe,  0x21),
 HISI_PMU_EVENT_ATTR(rd_hit_spipe, 0x22),
 HISI_PMU_EVENT_ATTR(wr_hit_spipe, 0x23),
 HISI_PMU_EVENT_ATTR(back_invalid, 0x29),
 HISI_PMU_EVENT_ATTR(retry_cpu,  0x40),
 HISI_PMU_EVENT_ATTR(retry_ring,  0x41),
 HISI_PMU_EVENT_ATTR(prefetch_drop, 0x42),
 NULL,
};

static const struct attribute_group hisi_l3c_pmu_v1_events_group = {
 .name = "events",
 .attrs = hisi_l3c_pmu_v1_events_attr,
};

static struct attribute *hisi_l3c_pmu_v2_events_attr[] = {
 HISI_PMU_EVENT_ATTR(l3c_hit,  0x48),
 HISI_PMU_EVENT_ATTR(cycles,  0x7f),
 HISI_PMU_EVENT_ATTR(l3c_ref,  0xb8),
 HISI_PMU_EVENT_ATTR(dat_access,  0xb9),
 NULL
};

static const struct attribute_group hisi_l3c_pmu_v2_events_group = {
 .name = "events",
 .attrs = hisi_l3c_pmu_v2_events_attr,
};

static const struct attribute_group *hisi_l3c_pmu_v1_attr_groups[] = {
 &hisi_l3c_pmu_v1_format_group,
 &hisi_l3c_pmu_v1_events_group,
 &hisi_pmu_cpumask_attr_group,
 &hisi_pmu_identifier_group,
 NULL,
};

static const struct attribute_group *hisi_l3c_pmu_v2_attr_groups[] = {
 &hisi_l3c_pmu_v2_format_group,
 &hisi_l3c_pmu_v2_events_group,
 &hisi_pmu_cpumask_attr_group,
 &hisi_pmu_identifier_group,
 NULL
};

static const struct hisi_uncore_ops hisi_uncore_l3c_ops = {
 .write_evtype  = hisi_l3c_pmu_write_evtype,
 .get_event_idx  = hisi_uncore_pmu_get_event_idx,
 .start_counters  = hisi_l3c_pmu_start_counters,
 .stop_counters  = hisi_l3c_pmu_stop_counters,
 .enable_counter  = hisi_l3c_pmu_enable_counter,
 .disable_counter = hisi_l3c_pmu_disable_counter,
 .enable_counter_int = hisi_l3c_pmu_enable_counter_int,
 .disable_counter_int = hisi_l3c_pmu_disable_counter_int,
 .write_counter  = hisi_l3c_pmu_write_counter,
 .read_counter  = hisi_l3c_pmu_read_counter,
 .get_int_status  = hisi_l3c_pmu_get_int_status,
 .clear_int_status = hisi_l3c_pmu_clear_int_status,
 .enable_filter  = hisi_l3c_pmu_enable_filter,
 .disable_filter  = hisi_l3c_pmu_disable_filter,
};

static int hisi_l3c_pmu_dev_probe(struct platform_device *pdev,
      struct hisi_pmu *l3c_pmu)
{
 int ret;

 ret = hisi_l3c_pmu_init_data(pdev, l3c_pmu);
 if (ret)
  return ret;

 ret = hisi_uncore_pmu_init_irq(l3c_pmu, pdev);
 if (ret)
  return ret;

 if (l3c_pmu->identifier >= HISI_PMU_V2) {
  l3c_pmu->counter_bits = 64;
  l3c_pmu->check_event = L3C_V2_NR_EVENTS;
  l3c_pmu->pmu_events.attr_groups = hisi_l3c_pmu_v2_attr_groups;
 } else {
  l3c_pmu->counter_bits = 48;
  l3c_pmu->check_event = L3C_V1_NR_EVENTS;
  l3c_pmu->pmu_events.attr_groups = hisi_l3c_pmu_v1_attr_groups;
 }

 l3c_pmu->num_counters = L3C_NR_COUNTERS;
 l3c_pmu->ops = &hisi_uncore_l3c_ops;
 l3c_pmu->dev = &pdev->dev;
 l3c_pmu->on_cpu = -1;

 return 0;
}

static int hisi_l3c_pmu_probe(struct platform_device *pdev)
{
 struct hisi_pmu *l3c_pmu;
 char *name;
 int ret;

 l3c_pmu = devm_kzalloc(&pdev->dev, sizeof(*l3c_pmu), GFP_KERNEL);
 if (!l3c_pmu)
  return -ENOMEM;

 platform_set_drvdata(pdev, l3c_pmu);

 ret = hisi_l3c_pmu_dev_probe(pdev, l3c_pmu);
 if (ret)
  return ret;

 name = devm_kasprintf(&pdev->dev, GFP_KERNEL, "hisi_sccl%d_l3c%d",
         l3c_pmu->topo.sccl_id, l3c_pmu->topo.ccl_id);
 if (!name)
  return -ENOMEM;

 ret = cpuhp_state_add_instance(CPUHP_AP_PERF_ARM_HISI_L3_ONLINE,
           &l3c_pmu->node);
 if (ret) {
  dev_err(&pdev->dev, "Error %d registering hotplug\n", ret);
  return ret;
 }

 hisi_pmu_init(l3c_pmu, THIS_MODULE);

 ret = perf_pmu_register(&l3c_pmu->pmu, name, -1);
 if (ret) {
  dev_err(l3c_pmu->dev, "L3C PMU register failed!\n");
  cpuhp_state_remove_instance_nocalls(
   CPUHP_AP_PERF_ARM_HISI_L3_ONLINE, &l3c_pmu->node);
 }

 return ret;
}

static void hisi_l3c_pmu_remove(struct platform_device *pdev)
{
 struct hisi_pmu *l3c_pmu = platform_get_drvdata(pdev);

 perf_pmu_unregister(&l3c_pmu->pmu);
 cpuhp_state_remove_instance_nocalls(CPUHP_AP_PERF_ARM_HISI_L3_ONLINE,
         &l3c_pmu->node);
}

static struct platform_driver hisi_l3c_pmu_driver = {
 .driver = {
  .name = "hisi_l3c_pmu",
  .acpi_match_table = ACPI_PTR(hisi_l3c_pmu_acpi_match),
  .suppress_bind_attrs = true,
 },
 .probe = hisi_l3c_pmu_probe,
 .remove = hisi_l3c_pmu_remove,
};

static int __init hisi_l3c_pmu_module_init(void)
{
 int ret;

 ret = cpuhp_setup_state_multi(CPUHP_AP_PERF_ARM_HISI_L3_ONLINE,
          "AP_PERF_ARM_HISI_L3_ONLINE",
          hisi_uncore_pmu_online_cpu,
          hisi_uncore_pmu_offline_cpu);
 if (ret) {
  pr_err("L3C PMU: Error setup hotplug, ret = %d\n", ret);
  return ret;
 }

 ret = platform_driver_register(&hisi_l3c_pmu_driver);
 if (ret)
  cpuhp_remove_multi_state(CPUHP_AP_PERF_ARM_HISI_L3_ONLINE);

 return ret;
}
module_init(hisi_l3c_pmu_module_init);

static void __exit hisi_l3c_pmu_module_exit(void)
{
 platform_driver_unregister(&hisi_l3c_pmu_driver);
 cpuhp_remove_multi_state(CPUHP_AP_PERF_ARM_HISI_L3_ONLINE);
}
module_exit(hisi_l3c_pmu_module_exit);

MODULE_IMPORT_NS("HISI_PMU");
MODULE_DESCRIPTION("HiSilicon SoC L3C uncore PMU driver");
MODULE_LICENSE("GPL v2");
MODULE_AUTHOR("Anurup M ");
MODULE_AUTHOR("Shaokun Zhang ");

Messung V0.5
C=97 H=100 G=98

¤ Dauer der Verarbeitung: 0.9 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.