date: 2021-07-26T07:54:10Z pdf:PDFVersion: 1.5 pdf:docinfo:title: Nested, but Separate: Isolating Unrelated Critical Sections in Real-Time Nested Locking xmp:CreatorTool: LaTeX with lipics-v2019.cls and hyperref.sty access_permission:can_print_degraded: true subject: LIPIcs, Vol.165, ECRTS 2020; Copyright (C) James Robb and Björn B. Brandenburg; licensed under Creative Commons License CC-BY dc:format: application/pdf; version=1.5 pdf:docinfo:creator_tool: LaTeX with lipics-v2019.cls and hyperref.sty access_permission:fill_in_form: true pdf:encrypted: false dc:title: Nested, but Separate: Isolating Unrelated Critical Sections in Real-Time Nested Locking modified: 2021-07-26T07:54:10Z cp:subject: LIPIcs, Vol.165, ECRTS 2020; Copyright (C) James Robb and Björn B. Brandenburg; licensed under Creative Commons License CC-BY pdf:docinfo:subject: LIPIcs, Vol.165, ECRTS 2020; Copyright (C) James Robb and Björn B. Brandenburg; licensed under Creative Commons License CC-BY pdf:docinfo:creator: James Robb, Björn B. Brandenburg PTEX.Fullbanner: This is pdfTeX, Version 3.14159265-2.6-1.40.21 (TeX Live 2020) kpathsea version 6.3.2 meta:author: James Robb trapped: False meta:creation-date: 2020-06-30T13:12:52Z created: 2020-06-30T13:12:52Z access_permission:extract_for_accessibility: true Creation-Date: 2020-06-30T13:12:52Z Author: James Robb producer: pdfTeX-1.40.21 pdf:docinfo:producer: pdfTeX-1.40.21 pdf:unmappedUnicodeCharsPerPage: 0 dc:description: LIPIcs, Vol.165, ECRTS 2020; Copyright (C) James Robb and Björn B. Brandenburg; licensed under Creative Commons License CC-BY Keywords: multiprocessor real-time locking, nested locking, independence preservation, suspension-oblivious analysis, priority inversion, asymptotically optimal blocking, RNLP, OMIP access_permission:modify_annotations: true dc:creator: James Robb description: LIPIcs, Vol.165, ECRTS 2020; Copyright (C) James Robb and Björn B. Brandenburg; licensed under Creative Commons License CC-BY dcterms:created: 2020-06-30T13:12:52Z Last-Modified: 2021-07-26T07:54:10Z dcterms:modified: 2021-07-26T07:54:10Z title: Nested, but Separate: Isolating Unrelated Critical Sections in Real-Time Nested Locking xmpMM:DocumentID: uuid:0f4075e3-578c-4f13-a833-3937f57b6bda Last-Save-Date: 2021-07-26T07:54:10Z pdf:docinfo:keywords: multiprocessor real-time locking, nested locking, independence preservation, suspension-oblivious analysis, priority inversion, asymptotically optimal blocking, RNLP, OMIP pdf:docinfo:modified: 2021-07-26T07:54:10Z meta:save-date: 2021-07-26T07:54:10Z pdf:docinfo:custom:PTEX.Fullbanner: This is pdfTeX, Version 3.14159265-2.6-1.40.21 (TeX Live 2020) kpathsea version 6.3.2 Content-Type: application/pdf X-Parsed-By: org.apache.tika.parser.DefaultParser creator: James Robb dc:subject: multiprocessor real-time locking, nested locking, independence preservation, suspension-oblivious analysis, priority inversion, asymptotically optimal blocking, RNLP, OMIP access_permission:assemble_document: true xmpTPg:NPages: 23 pdf:charsPerPage: 3032 access_permission:extract_content: true access_permission:can_print: true pdf:docinfo:trapped: False meta:keyword: multiprocessor real-time locking, nested locking, independence preservation, suspension-oblivious analysis, priority inversion, asymptotically optimal blocking, RNLP, OMIP access_permission:can_modify: true pdf:docinfo:created: 2020-06-30T13:12:52Z