Rosetta: 2 jaar studeren Comet 67p/Churyumov-Gerasimenko Philippe Garnier

Komt zijn ijzige lichamen remantures van de vroegste heren van de vorming van het zonnestelsel en die nu in details worden gesticht door ruimtemissies. Het meest recente ruimtevaartuig, Rosetta, zal zijn studies in september 2016 beëindigen na Filae voor het eerst te hebben geland op het oppervlak van een cometry -kern en volgde 67p op zijn baan voor meer twee aardjaren. De ingebouwde wetenschappelijke instrumenten hebben het chaotische gedrag van de komeetische activiteit aangetoond als een functie van zijn orbitale schepen. Camera’s hebben een onregelmatig oppervlak onthuld dat vatbaar is voor erosie en stofafzetting, met weinig vlekken van CE op het oppervlak. Detectoren van stofdeeltjes hebben aangetoond dat twee soorten vaste deeltjes worden uitgeworpen door de kern, de ene is dichte en compacte korrels en de andere zijn zeer donzige onregelmatige stofdeeltjes. Geen specifieke structuren in de komeetische kern die we hebben vastgemaakt door instrumenten die in de kern klinken, en de zeer lage dichtheid van het kometaire materiaal (0.5 g.CM-3) blijft moeilijk uit te leggen. Gasealdeeltjes die door de komeet zijn uitgeworpen, bevatten een hoge fractie van O2 en complexe koolstofachtige moleculen zoals glycine, een zuur dat voor het eerst werd vastgehouden in situ door Rosetta.
We zullen de resultaten van de hele Rosetta/Philae -missie en Destiles in details bekijken wat we over deze objecten hebben geleerd.

Rosetta 2 op Mac met Apple Silicon

Een Mac met Apple Silicon is in staat om code uit te voeren die is gecompileerd voor de X86_64 -instructieset met behulp van een vertaalmechanisme dat wordt genoemd Rosetta 2. Er worden twee soorten vertaling aangeboden: net op tijd en van tevoren.

Just Time Vertaling

In de Just-In-Time (JIT) vertaalpijplijn wordt een X86_64 Mach-object al vroeg in het uitvoeringspad geïdentificeerd. Wanneer deze afbeeldingen worden aangemoedigd, bestuurt de kernel de controle naar een speciale Rosetta -vertalingstub in plaats van naar de dynamische linkeditor, Dyld (1) . De vertaalplaats vertaalt vervolgens x86_64 pagina’s tijdens de uitvoering van de afbeelding. Deze vertaling vindt enthousiast plaats in het proces. De kernel verifieert nog steeds de code van elke x86_64 -pagina tegen de code -handtekening die aan het binaire getal is gekoppeld, aangezien de pagina wordt beschuldigd. In het geval van een hash -mismatch handhaaft de kernel het saneringsbeleid voor dat proces.

Voorafdunaar vertaling

In het vertaalpad van tevoren (AOT) worden x86_64 binaies gelezen uit opslag op het moment dat het systeem optimaal acht voor responsiviteit van die code. De vertaalde artefacten worden op de opslag geschreven als een speciaal type mach -objectbestand. Dat bestand is vergelijkbaar met een uitvoerbare afbeelding, maar het is gemarkeerd om aan te geven dat het het vertaalde product van een andere afbeelding is.

In dit model ontleent het AOT -artefact al zijn identiteitsinformatie aan de originele X86_64 uitvoerbare afbeelding. Om deze binding af te dwingen, ondertekent een bevoorrechte gebruikersruimte-entiteit het vertaalartefact met behulp van een apparaatspecifieke sleutel die wordt beheerd door de beveiligde enclave. Deze sleutel wordt alleen vrijgegeven aan de bevoorrechte gebruikersruimte -entiteit, die als zodanig wordt geïdentificeerd met behulp van een beperkt recht. De code directory die is gemaakt voor het vertaalartefact bevat de code directory van de originele X86_64 uitvoerbare afbeelding. De handtekening op het vertaalartefact zelf staat bekend als de Aanvullende handtekening.

De AOT -pijplijn begint op dezelfde manier als de JIT -pijplijn, waarbij de kernel controle overbrengt naar de Rosetta -runtime in plaats van de Dynamic Link Editor, Dyld (1) . Maar de Rosetta Runtime stuurt vervolgens een interprecess -communicatie (IPC) -service naar de Rosetta System Service, die vraagt ​​dat de een aotable vertaling voor de huidige uitvoerbare afbeelding. Indien gevonden, biedt de Rosetta -service een handvat voor die vertaling, en deze wordt in kaart gebracht in het proces en uitgevoerd. Tijdens de uitvoering handhaaft de kernel de code-map van het vertaalartefact dat wordt geverifieerd door de handtekening geroot in de ondertekende sleutel van apparaatbeveiliging. De originele x86_64 -afbeelding codemaphashes zijn niet bij dit proces betrokken.

Vertaalde artefacten worden opgeslagen in Data Vault, die niet van runtime toegankelijk is, behalve de Rosetta-service. De Rosetta-service beheren de toegang tot zijn cache door lees-nous-descriptoren te distribueren naar individuele vertaalartefacten; Dit beperkt de toegang tot de AOT Artifact -cache. De communicatie en afhankelijke voetafdruk van deze service worden opzettelijk erg smal gehouden om het aanvalsoppervlak te beperken.

Als de codedirectory heeft van de originele X86_64 -afbeelding, komt niet overeen met die welke is gecodeerd in de handtekening van het AOT Translation Artifact, dit resultaat is om het equivalent van een ongeldige code -handtekening te overwegen, en de po -ankeractie wordt genomen.

Als een externe proces de kernel vraagt ​​voor de rechten of andere code-identiteitseigenschappen van een AOT-getranslater-uitvoerbaar bestand, worden de identiteitseigenschappen van de originele x86_64-afbeelding er naartoe geretourneerd.

Statische vertrouwensinhoud

MacOS 11 of later wordt geleverd met mach “vet” binaies die plakjes x86_64 en ARM64 -computercode bevatten. Op een Mac met Apple Silicon kan de gebruiker besluiten om het X86_64-plakje van een systeem binair door de Rosetta-pijplijn uit te voeren, bijvoorbeeld om een ​​plug-in te laden die geen native ARM64-variant heeft. Om deze goedkeuring te ondersteunen, is de statische vertrouwenscache die met macOS wordt verzonden, in het algemeen drie codemirectory gemaakt van:

• Een code -map hash van de arm64 -plak
• Een codemap van de x86_64 -plak
• Een codemap van de AOT -vertaling van de X86_64 -plak

De Rosetta AOT -vertalingsprocedure is deterministisch omdat deze een identieke uitvoer voor een bepaalde invoer reproduceert, ongeacht wanneer de vertaling werd uitgevoerd of op welk apparaat het werd uitgevoerd.

Tijdens de MacOS -build wordt elk Mach -objectbestand uitgevoerd via de Rosetta AOT -vertaalpijplijn die is geassocieerd met de versie van MacOS die wordt gebouwd, en de resulterende codemap is opgenomen in de trustcache. Voor efficiëntie worden de werkelijke vertaalde producten niet verzonden met het besturingssysteem en worden ze op aanvraag gereconstitueerd wanneer de gebruiker hen vraagt.

Wanneer een X86_64 -afbeelding wordt uitgevoerd op een Mac met Apple Silicon, als de code directory van die afbeelding heeft in de statische trustcache, is de resuuterende AOT Artifact’s Code Directory Hash ish is Ook naar verwachting in de statische trustcache. Dergelijke producten zijn niet ondertekend door de apparaatspecifieke sleutel, omdat de ondertekeningsautoriteit is geworteld in de Apple Secure Boot-keten.

Niet ondertekende x86_64 code

Een Mac met Apple Silicon heeft geen native ARM64 -code toegestaan ​​uit te voeren, tenzij een geldige handtekening is bijgevoegd. Deze handtekening kan zo eenvoudig zijn als een ad hoc code -handtekening (CF. Codesign (1)) die geen werkelijke identiteit draagt ​​van de geheime helft van een asymetrisch sleutelpaar (het is eenvoudig een niet -geauthenticeerde meting van het binaire getal).

Voor binaire compatibiliteit is de vertaalde X86_64 -code toegestaan ​​om via Rosetta te uitvoeren zonder handtekeninginformatie. Er wordt geen specifieke identiteit overgebracht naar deze code via de beveiligde enclave-ondertekeningprocedure voor apparaatbeveiliging, en deze wordt uitgevoerd met precies dezelfde beperkingen als native niet-ondertekende code die uitvoert op een Intel-gebaseerde Mac.

Rosetta: 2 jaar studeren Comet 67p/Churyumov-Gerasimenko Philippe Garnier

Komt zijn ijzige lichamen remantures van de vroegste heren van de vorming van het zonnestelsel en die nu in details worden gesticht door ruimtemissies. Het meest recente ruimtevaartuig, Rosetta, zal zijn studies in september 2016 beëindigen na Filae voor het eerst te hebben geland op het oppervlak van een cometry -kern en volgde 67p op zijn baan voor meer twee aardjaren. De ingebouwde wetenschappelijke instrumenten hebben het chaotische gedrag van de komeetische activiteit aangetoond als een functie van zijn orbitale schepen. Camera’s hebben een onregelmatig oppervlak onthuld dat vatbaar is voor erosie en stofafzetting, met weinig vlekken van CE op het oppervlak. Detectoren van stofdeeltjes hebben aangetoond dat twee soorten vaste deeltjes worden uitgeworpen door de kern, de ene is dichte en compacte korrels en de andere zijn zeer donzige onregelmatige stofdeeltjes. Geen specifieke structuren in de komeetische kern die we hebben vastgemaakt door instrumenten die in de kern klinken, en de zeer lage dichtheid van het kometaire materiaal (0.5 g.CM-3) blijft moeilijk uit te leggen. Gasealdeeltjes die door de komeet zijn uitgeworpen, bevatten een hoge fractie van O2 en complexe koolstofachtige moleculen zoals glycine, een zuur dat voor het eerst werd vastgehouden in situ door Rosetta.
We zullen de resultaten van de hele Rosetta/Philae -missie en Destiles in details bekijken wat we over deze objecten hebben geleerd.

Meer nieuws

Maximaal 11 maken: Outburst -accretie in jonge stellaire objecten

Op 15 december 2023, 10:45 uur om 12:45 uur, Fernando Cruz, Salle Jules Verne, OMP, Belin Resumée Site: Accretion is een van de belangrijkste fysieke processen tijdens de vorming van sterren. Eruptieve jonge sterren zijn jonge stellaire objecten (YSO’s) die plotselinge en dramatische accretie -uitbarstingen hebben ervaren, waar de massa -accretie kan toenemen tot 5 […]

Magnetische velden, chemie, protoplanetaire schijven, … overzicht van niet-iideale MHD in stertraining

Op 8 december 2023, 10:45 uur om 12:45 uur, Pierre Marchand, Salle Jules Verne, OMP, Bélin Resumée Site: Magnetische velden spelen een belangrijke rol tijdens de vorming van sterren. Van het interstellaire medium waar ze werken op de vorming van pre-verhalende kernen tot protoplanetaire schijven waarin ze hoekmomentum reguleren en uitstroom maken, een nauwkeurige beschrijving […]

Een stapsgewijze ruptuur (Vth Century Ad – XVth Century na Christus)

Op 1 december 2023, 10:45 uur om 12:45 uur, Guillaume Loizelet, Salle Jules Verne, OMP, Bélin CVEE: In deze sessie zal ik de resultaten bekijken die door historici van astronomie de afgelopen vijftig jaar hebben leidde tot een volledige heroverweging van het idee van een wetenschappelijke revolutie die in het midden van de twintigste eeuw is ontwikkeld.Ik zal eerst […]

De ruimtevaartomgeving van de aarde tijdens verstoorde zonnecondities: een spa ..

Tussentijdse massa zwarte gaten Natalie Webb