From b4b9434d5d862a4ff8b7ea28a18df11c4f730c66 Mon Sep 17 00:00:00 2001 From: "Hassan @Ubuntu" Date: Sun, 11 Jul 2021 00:01:20 +0200 Subject: [PATCH 1/2] Change copyright year in detector module --- src/detector/commutativity/CommutativityChecker.cc | 2 +- src/detector/commutativity/CommutativityChecker.h | 2 +- src/detector/commutativity/CriticalSectionBody.h | 2 +- src/detector/commutativity/CriticalSections.h | 2 +- src/detector/determinacy/checker.cc | 6 +++--- src/detector/determinacy/checker.h | 2 +- src/detector/determinacy/conflict.h | 2 +- src/detector/determinacy/operationSet.h | 2 +- src/detector/determinacy/report.h | 2 +- 9 files changed, 11 insertions(+), 11 deletions(-) diff --git a/src/detector/commutativity/CommutativityChecker.cc b/src/detector/commutativity/CommutativityChecker.cc index 237a666..cbd3317 100644 --- a/src/detector/commutativity/CommutativityChecker.cc +++ b/src/detector/commutativity/CommutativityChecker.cc @@ -2,7 +2,7 @@ // TaskSanitizer: a lightweight determinacy race checking // tool for OpenMP task applications // -// Copyright (c) 2015 - 2018 Hassan Salehe Matar +// Copyright (c) 2015 - 2021 Hassan Salehe Matar // Copying or using this code by any means whatsoever // without consent of the owner is strictly prohibited. // diff --git a/src/detector/commutativity/CommutativityChecker.h b/src/detector/commutativity/CommutativityChecker.h index c48bd81..4ed624d 100644 --- a/src/detector/commutativity/CommutativityChecker.h +++ b/src/detector/commutativity/CommutativityChecker.h @@ -2,7 +2,7 @@ // TaskSanitizer: a lightweight determinacy race checking // tool for OpenMP task applications // -// Copyright (c) 2015 - 2018 Hassan Salehe Matar +// Copyright (c) 2015 - 2021 Hassan Salehe Matar // Copying or using this code by any means whatsoever // without consent of the owner is strictly prohibited. // diff --git a/src/detector/commutativity/CriticalSectionBody.h b/src/detector/commutativity/CriticalSectionBody.h index 9015500..62f4608 100644 --- a/src/detector/commutativity/CriticalSectionBody.h +++ b/src/detector/commutativity/CriticalSectionBody.h @@ -2,7 +2,7 @@ // TaskSanitizer: a lightweight determinacy race checking // tool for OpenMP task applications // -// Copyright (c) 2015 - 2018 Hassan Salehe Matar +// Copyright (c) 2015 - 2021 Hassan Salehe Matar // Copying or using this code by any means whatsoever // without consent of the owner is strictly prohibited. // diff --git a/src/detector/commutativity/CriticalSections.h b/src/detector/commutativity/CriticalSections.h index c9255c4..fac2bc4 100644 --- a/src/detector/commutativity/CriticalSections.h +++ b/src/detector/commutativity/CriticalSections.h @@ -2,7 +2,7 @@ // TaskSanitizer: a lightweight determinacy race checking // tool for OpenMP task applications // -// Copyright (c) 2015 - 2018 Hassan Salehe Matar +// Copyright (c) 2015 - 2021 Hassan Salehe Matar // Copying or using this code by any means whatsoever // without consent of the owner is strictly prohibited. // diff --git a/src/detector/determinacy/checker.cc b/src/detector/determinacy/checker.cc index 5153d80..882e20b 100644 --- a/src/detector/determinacy/checker.cc +++ b/src/detector/determinacy/checker.cc @@ -2,7 +2,7 @@ // TaskSanitizer: a lightweight determinacy race checking // tool for OpenMP task applications // -// Copyright (c) 2015 - 2018 Hassan Salehe Matar +// Copyright (c) 2015 - 2021 Hassan Salehe Matar // Copying or using this code by any means whatsoever // without consent of the owner is strictly prohibited. // @@ -51,7 +51,7 @@ void Checker::onTaskCreate(int taskID) { // 1.find the parent bag which can be inherited SerialBagPtr taskBag = NULL; auto inEdge = graph[taskID].inEdges.begin(); -/* Hassan 02.01.2018 modify this code to accommodate chunked tasks. +/* Hassan 02.01.2021 modify this code to accommodate chunked tasks. for (; inEdge != graph[taskID].inEdges.end(); inEdge++) { // take with outstr 1 and longest @@ -78,7 +78,7 @@ void Checker::onTaskCreate(int taskID) { auto aBag = serial_bags[*inEdge]; taskBag->HB.insert(aBag->HB.begin(), aBag->HB.end()); // merging... taskBag->HB.insert(*inEdge); // parents happen-before me -/* Hassan 02.01.2018 modify this code to accommodate chunked tasks. +/* Hassan 02.01.2021 modify this code to accommodate chunked tasks. aBag->outBufferCount--; // for inheriting bags if (!aBag->outBufferCount) serial_bags.erase(*inEdge); diff --git a/src/detector/determinacy/checker.h b/src/detector/determinacy/checker.h index 7d76ae4..0b5acd6 100644 --- a/src/detector/determinacy/checker.h +++ b/src/detector/determinacy/checker.h @@ -2,7 +2,7 @@ // TaskSanitizer: a lightweight determinacy race checking // tool for OpenMP task applications // -// Copyright (c) 2015 - 2018 Hassan Salehe Matar +// Copyright (c) 2015 - 2021 Hassan Salehe Matar // Copying or using this code by any means whatsoever // without consent of the owner is strictly prohibited. // diff --git a/src/detector/determinacy/conflict.h b/src/detector/determinacy/conflict.h index c098288..d7e03ba 100644 --- a/src/detector/determinacy/conflict.h +++ b/src/detector/determinacy/conflict.h @@ -2,7 +2,7 @@ // TaskSanitizer: a lightweight determinacy race checking // tool for OpenMP task applications // -// Copyright (c) 2015 - 2018 Hassan Salehe Matar +// Copyright (c) 2015 - 2021 Hassan Salehe Matar // Copying or using this code by any means whatsoever // without consent of the owner is strictly prohibited. // diff --git a/src/detector/determinacy/operationSet.h b/src/detector/determinacy/operationSet.h index f283e6c..1128ef3 100644 --- a/src/detector/determinacy/operationSet.h +++ b/src/detector/determinacy/operationSet.h @@ -2,7 +2,7 @@ // TaskSanitizer: a lightweight determinacy race checking // tool for OpenMP task applications // -// Copyright (c) 2015 - 2018 Hassan Salehe Matar +// Copyright (c) 2015 - 2021 Hassan Salehe Matar // Copying or using this code by any means whatsoever // without consent of the owner is strictly prohibited. // diff --git a/src/detector/determinacy/report.h b/src/detector/determinacy/report.h index 8c78c67..d073466 100644 --- a/src/detector/determinacy/report.h +++ b/src/detector/determinacy/report.h @@ -2,7 +2,7 @@ // TaskSanitizer: a lightweight determinacy race checking // tool for OpenMP task applications // -// Copyright (c) 2015 - 2018 Hassan Salehe Matar +// Copyright (c) 2015 - 2021 Hassan Salehe Matar // Copying or using this code by any means whatsoever // without consent of the owner is strictly prohibited. // From e4197b2185eb7a31030ff94f00a68fad7a0d7cee Mon Sep 17 00:00:00 2001 From: "Hassan @Ubuntu" Date: Sun, 11 Jul 2021 00:04:02 +0200 Subject: [PATCH 2/2] Changed copyright year in all files --- LICENSE.txt | 2 +- README.md | 2 +- evaluation.py | 2 +- install.sh | 2 +- src/benchmarks/RacyBackgroundExample.cc | 2 +- src/benchmarks/RacyBanking.cc | 2 +- src/benchmarks/RacyFibonacci.cc | 2 +- src/benchmarks/RacyMapReduce.cc | 2 +- src/benchmarks/RacyPointerChasing.cc | 2 +- src/common/CriticalSignatures.h | 2 +- src/common/MemoryActions.h | 2 +- src/common/action.h | 2 +- src/common/defs.h | 2 +- src/common/instruction.h | 2 +- src/functionengine/CallStack.h | 2 +- src/functionengine/FunctionEngine.h | 2 +- src/unittests/critical.cc | 2 +- tasksan | 2 +- test/CMakeLists.txt | 2 +- 19 files changed, 19 insertions(+), 19 deletions(-) diff --git a/LICENSE.txt b/LICENSE.txt index 7a49d9f..4d5a7b5 100644 --- a/LICENSE.txt +++ b/LICENSE.txt @@ -1,4 +1,4 @@ -Copyright (c) 2015 - 2018 Hassan Salehe Matar +Copyright (c) 2015 - 2021 Hassan Salehe Matar All rights reserved. This is BSD License file TaskSanitizer. For details about diff --git a/README.md b/README.md index 3b1f386..fd8aa59 100644 --- a/README.md +++ b/README.md @@ -211,6 +211,6 @@ The following 1 task pairs have conflicts: ``` #### Copyright notice -(c) 2015 - 2018 Hassan Salehe Matar +(c) 2015 - 2021 Hassan Salehe Matar All rights reserved. Please read license file LICENSE on usage license. diff --git a/evaluation.py b/evaluation.py index 0f488c8..8dceea8 100755 --- a/evaluation.py +++ b/evaluation.py @@ -1,6 +1,6 @@ #!/usr/bin/env python -# Copyright (c) 2015 - 2018 Hassan Salehe Matar +# Copyright (c) 2015 - 2021 Hassan Salehe Matar # All rights reserved. # # This file is part of TaskSanitizer. For details, see diff --git a/install.sh b/install.sh index 9e7067e..3fd4a34 100755 --- a/install.sh +++ b/install.sh @@ -1,6 +1,6 @@ #!/usr/bin/env bash -# Copyright (c) 2015 - 2018 Hassan Salehe Matar +# Copyright (c) 2015 - 2021 Hassan Salehe Matar # All rights reserved. # # This file is part of TaskSanitizer. For details, see diff --git a/src/benchmarks/RacyBackgroundExample.cc b/src/benchmarks/RacyBackgroundExample.cc index dc1bbdd..061e6f2 100644 --- a/src/benchmarks/RacyBackgroundExample.cc +++ b/src/benchmarks/RacyBackgroundExample.cc @@ -1,6 +1,6 @@ /////////////////////////////////////////////////////////////////////// // -// (c) 2015 - 2018 Hassan Salehe Matar +// (c) 2015 - 2021 Hassan Salehe Matar // // Description: // diff --git a/src/benchmarks/RacyBanking.cc b/src/benchmarks/RacyBanking.cc index c29c551..9c9717e 100644 --- a/src/benchmarks/RacyBanking.cc +++ b/src/benchmarks/RacyBanking.cc @@ -1,6 +1,6 @@ /////////////////////////////////////////////////////////////////////// // -// (c) 2015 - 2018 Hassan Salehe Matar +// (c) 2015 - 2021 Hassan Salehe Matar // // Description: // diff --git a/src/benchmarks/RacyFibonacci.cc b/src/benchmarks/RacyFibonacci.cc index 3076f9d..afe9bf0 100644 --- a/src/benchmarks/RacyFibonacci.cc +++ b/src/benchmarks/RacyFibonacci.cc @@ -1,6 +1,6 @@ /////////////////////////////////////////////////////////////////////// // -// (c) 2015 - 2018 Hassan Salehe Matar +// (c) 2015 - 2021 Hassan Salehe Matar // // Description: // diff --git a/src/benchmarks/RacyMapReduce.cc b/src/benchmarks/RacyMapReduce.cc index 770199d..ea7fe67 100644 --- a/src/benchmarks/RacyMapReduce.cc +++ b/src/benchmarks/RacyMapReduce.cc @@ -1,6 +1,6 @@ /////////////////////////////////////////////////////////////////////// // -// (c) 2015 - 2018 Hassan Salehe Matar +// (c) 2015 - 2021 Hassan Salehe Matar // // Description: // diff --git a/src/benchmarks/RacyPointerChasing.cc b/src/benchmarks/RacyPointerChasing.cc index f7fbacb..de296e4 100644 --- a/src/benchmarks/RacyPointerChasing.cc +++ b/src/benchmarks/RacyPointerChasing.cc @@ -2,7 +2,7 @@ // // RacyPointerChasing.cc // -// Copyright (c) 2015 - 2018 Hassan Salehe Matar +// Copyright (c) 2015 - 2021 Hassan Salehe Matar // All rights reserved. // // This code has been influenced by an OpenMP forum: diff --git a/src/common/CriticalSignatures.h b/src/common/CriticalSignatures.h index 514efae..33b589f 100644 --- a/src/common/CriticalSignatures.h +++ b/src/common/CriticalSignatures.h @@ -2,7 +2,7 @@ // TaskSanitizer: a lightweight determinacy race checking // tool for OpenMP task applications // -// Copyright (c) 2015 - 2018 Hassan Salehe Matar +// Copyright (c) 2015 - 2021 Hassan Salehe Matar // Copying or using this code by any means whatsoever // without consent of the owner is strictly prohibited. // diff --git a/src/common/MemoryActions.h b/src/common/MemoryActions.h index 15b1d18..eb23fb4 100644 --- a/src/common/MemoryActions.h +++ b/src/common/MemoryActions.h @@ -2,7 +2,7 @@ // TaskSanitizer: a lightweight determinacy race checking // tool for OpenMP task applications // -// Copyright (c) 2015 - 2018 Hassan Salehe Matar +// Copyright (c) 2015 - 2021 Hassan Salehe Matar // Copying or using this code by any means whatsoever // without consent of the owner is strictly prohibited. // diff --git a/src/common/action.h b/src/common/action.h index e898354..e43f8ed 100644 --- a/src/common/action.h +++ b/src/common/action.h @@ -2,7 +2,7 @@ // TaskSanitizer: a lightweight determinacy race checking // tool for OpenMP task applications // -// Copyright (c) 2015 - 2018 Hassan Salehe Matar +// Copyright (c) 2015 - 2021 Hassan Salehe Matar // Copying or using this code by any means whatsoever // without consent of the owner is strictly prohibited. // diff --git a/src/common/defs.h b/src/common/defs.h index 8619bdf..9d711aa 100644 --- a/src/common/defs.h +++ b/src/common/defs.h @@ -2,7 +2,7 @@ // TaskSanitizer: a lightweight determinacy race checking // tool for OpenMP task applications // -// Copyright (c) 2015 - 2018 Hassan Salehe Matar +// Copyright (c) 2015 - 2021 Hassan Salehe Matar // Copying or using this code by any means whatsoever // without consent of the owner is strictly prohibited. // diff --git a/src/common/instruction.h b/src/common/instruction.h index 06db49b..e363a8e 100644 --- a/src/common/instruction.h +++ b/src/common/instruction.h @@ -2,7 +2,7 @@ // TaskSanitizer: a lightweight determinacy race checking // tool for OpenMP task applications // -// Copyright (c) 2015 - 2018 Hassan Salehe Matar +// Copyright (c) 2015 - 2021 Hassan Salehe Matar // Copying or using this code by any means whatsoever // without consent of the owner is strictly prohibited. // diff --git a/src/functionengine/CallStack.h b/src/functionengine/CallStack.h index 911074a..ca8f643 100644 --- a/src/functionengine/CallStack.h +++ b/src/functionengine/CallStack.h @@ -2,7 +2,7 @@ // // CallStack.h // -// Copyright (c) 2015 - 2018 Hassan Salehe Matar +// Copyright (c) 2015 - 2021 Hassan Salehe Matar // All rights reserved. // // This file is part of TaskSanitizer. For details, see diff --git a/src/functionengine/FunctionEngine.h b/src/functionengine/FunctionEngine.h index fc77d5e..400bef2 100644 --- a/src/functionengine/FunctionEngine.h +++ b/src/functionengine/FunctionEngine.h @@ -2,7 +2,7 @@ // // FunctionEngine.h // -// Copyright (c) 2015 - 2018 Hassan Salehe Matar +// Copyright (c) 2015 - 2021 Hassan Salehe Matar // All rights reserved. // // This file is part of TaskSanitizer. For details, see diff --git a/src/unittests/critical.cc b/src/unittests/critical.cc index 66c499e..5c7fa5f 100644 --- a/src/unittests/critical.cc +++ b/src/unittests/critical.cc @@ -2,7 +2,7 @@ // // critical.cc // -// Copyright (c) 2017, Hassan Salehe Matar +// Copyright (c) 2017 - 2021, Hassan Salehe Matar // All rights reserved. // // This file is part of TaskSanitizer. For details, see diff --git a/tasksan b/tasksan index 4e96461..bc748bd 100755 --- a/tasksan +++ b/tasksan @@ -1,6 +1,6 @@ #!/usr/bin/env bash -# Copyright (c) 2015 - 2018 Hassan Salehe Matar +# Copyright (c) 2015 - 2021 Hassan Salehe Matar # All rights reserved. # # This file is part of TaskSanitizer. For details, see diff --git a/test/CMakeLists.txt b/test/CMakeLists.txt index 1fb3ab6..cb1bda6 100644 --- a/test/CMakeLists.txt +++ b/test/CMakeLists.txt @@ -2,7 +2,7 @@ ## TaskSanitizer: a lightweight determinacy race checking ## tool for OpenMP task applications ## -## Copyright (c) 2015 - 2018 Hassan Salehe Matar +## Copyright (c) 2015 - 2021 Hassan Salehe Matar ## Copying or using this code by any means whatsoever ## without consent of the owner is strictly prohibited. ##