Trådsikkerhed er et programmeringskoncept , der kan anvendes til flertrådede programmer. Koden er trådsikker, hvis den fungerer korrekt, når den bruges fra flere tråde på samme tid. Det skal især sikre, at delte data er korrekt tilgået af flere tråde.
Generelt er trådsikkerhed svær at opnå. Men der er flere kilder til at opdage trådsikkerhedsbrud:
Der er flere måder at opnå trådsikkerhed på:
Genindtræden At skrive kode på en sådan måde, at den delvist kan udføres af én tråd, derefter en anden og fortsættes af den første. Dette kræver lagring af tilstand i lokale variabler, normalt på stakken, i stedet for globale eller statiske variabler . Lineariserbarhed At skrive koden for procedurer (operationer) på en sådan måde, at resultatet af enhver af deres parallelle udførelse svarer til en eller anden sekventiel udførelse.